X. Wang

The correspondence of a sensory object to the category of a descriptive statement requires a reflexive-identity of the object, and such a reflexive-identity is primarily based on the cognition of spatiality. Spatiality is, however, constituted through visual perception. There are only two occasions on which definitive reflexive-identity is exemplified: the infinitesimal point and the infinite "One," and others are just human stipulations that meet pragmatic needs of rough identification of things at hand. However, if a spatial point is not different from any so-called "other" spatial point, to validate the reflexive identity of any spatial point implies a validation of the reflexive identity of all spatial points. Thus, as "one" and "many" here become absolutely unitary, the infinitely small and the infinitely immense are identical. /// 感觉对象如果要与描述的范畴结构对应，必须以对象的自返同一性为基点，这 种自返同一性原始地建基于对空间性的认知。然而，空间性是通过视觉感知才得到建 构的。确切的自返同一性只有在以下两种情形中才可以被简单为民义地建构:即，无 穷小的点与无穷大的 "太一"。对于在元穷大与无穷小之间的各种客体对象而言，其 自返同一性只是思想强加的，是按照实用目的进行概念化加工的结果。由于任一空间 点和任何所谓"其他"的空间点是无差别的，对任一空间点的同一性的确立也就是对 所有空间点的同一性的确立。结果是，既然 "一" 与 "多" 是绝对同一，无穷小与无 穷大也必然是绝对同一。.

Chaucer tells this story: A knight commits a serious crime and the king hands him over to the queen for disposal, whereupon the queen orders him to answer one question: What is a woman's greatest wish? The knight is unable to answer the question then and there, so the queen gives him a time limit. If he cannot answer the question in that time, his head will be chopped off. So the knight journeys far and wide to find the answer. Eventually he finds it and saves his own head. There would be no story if he did not find it. It is said the noblewomen discussed the answer and all found it to be correct. It was: "A woman's greatest wish is to be loved." If that were today, women's rights activists would probably disagree, but in the Middle Ages, this answer would get full approval marks

To this day I still do not know exactly what sort of people are to be regarded as intellectuals, and what sort of people are not. When I was being re-educated in the countryside during the Cultural Revolution, a military representative once told me that I was a "petty bourgeois intellectual." I was only seventeen at the time, had received six years of primary school education, and was barely literate, so I felt I did not deserve to be called an intellectual. By the way, I also felt I did not deserve the appellation "petty bourgeois." My family lived on wages from the government; even our furniture belonged to the government. We had not set up a stall to sell cigarettes in front of our house, so where did he get the term "petty bourgeois"? As for myself as an individual, it was only right and proper that I should belong to one social class or another, and I was not against doing so. However, to this day, I do not know in what class intellectual youths should be counted. In my opinion, if one insists on making comparisons or analogies, they should be counted as lumpen proletarians or the like. But this is taking the subject too far

In this paper, we define a first-order logic CFʹ with strong negation and bounded static quantifiers, which is a variant of Thomason's logic CF. For the logic CFʹ, the usual Kripke formal semantics is defined based on situations, and a sound and complete axiomatic system is established based on the axiomatic systems of constructive logics with strong negation and Thomason's completeness proof techniques. With the use of bounded quantifiers, CFʹ allows the domain of quantification to be empty and allows for nondenoting constants. CFʹ is intended as a fragment of a logic for situation theory. Thus the connection between CFʹ and infon logic is discussed.