In connection with the discussion on the problem of logic, both within our country and abroad , it has already turned from the general, comparatively abstract, and difficult-to-resolve problem of the "relationship between formal logic and dialectics" to the more concrete problem of the functional scope of formal logic. Some people have even utilized special articles to inquire about a certain law in formal logic: the functional scope of the law of identity or the law of contradiction. The purpose of (...) these philosophers or logicians is to try to define the functional scope of a certain law in formal logic as a starting point, and then to proceed to study the functional scope of formal logic in the entire thinking process of mankind. If the functional scope of formal logic in mankind's entire thinking process is clearly and precisely defined, the solution of this complicated problem of the "relationship between formal logic and dialectics" would certainly not be very difficult. The basic purpose of Comrade Chu-ko Yin-t'ung's article on the problem of "whether or not formal logic's law of contradiction can be contravened in the dialectical thinking process" of men, which appeared in issue No. 82 of the "Philosophy" supplement of Kuang-ming Daily on April 24, is like this. It should be considered as a rather practical method. But I do not quite agree with his basic points of argument and with his analysis of certain examples of dialectics. I intend to present my superficial views here and to study them with Comrade Chu-ko. (shrink)

Having read the works of Wang Ch'ung [A.D. 27-c. 100], I realized that they need to be recapitulated. Here I shall evaluate Wang Ch'ung and his thought and present what I feel to be the real significance that Wang Ch'ung's thought still has today.

In ancient times in our country, Wang Ch'ung was an eminent materialist and a brilliant atheist, a progressive thinker who opposed the orthodox feudal thought. This has gone basically unquestioned. This year the February 21 issue of Kuang-ming jih-pao printed in its philosophy section an article by Comrade T'ung Mo-an, "Is Wang Ch'ung a Peasant Class Thinker?" The article is an evaluation completely denying this. T'ung believes that the purpose of Wang Ch'ung's works was "to uphold the (...) rule of the Han," "ardently and unconditionally to sing the praises of the Han ruler and court," "to make sacred the rule of the Han," "to get the populace to live quietly, forever in a servile position," and "to view inimically and to slander peasant uprisings." "Wang Ch'ung was an orthodox thinker of the landlord class," "a thinker produced in the interests of the rule of the landlord class who confirmed the feudal orthodoxy." Although I myself am not praising Wang Ch'ung as a peasant class thinker or denying that in Wang Ch'ung's thought there are negative elements, I am completely unable to agree with the basic viewpoint that the author puts forward. (shrink)

There have been many discussions on problems of logic over the past several years. While the problem of the nature of the law of contradiction, one of the laws of formal logic, has received particular attention by everyone, the question has not been posed very precisely in the arguments. Actually, the question is not whether the movement, change, and development of things can be reflected in consciousness by use of the methods of formal logic, or in distinguishing the effectiveness of (...) the law of contradiction in disputation, proofs, or theoretical systems from its effectiveness in the general process of cognition, when applied to phenomena. If the development of reality cannot at all be reflected by the use of the logical tools of formal logic, what use do they have? No one denies that formal logic does not suffice as a method of cognition. If, in disputations and proofs, or in the establishment of theoretical systems, one relies only on the logical tools of formal logic, this is also not enough. The scope of applicability of the laws of formal logic, as laws that are studied by a concrete science, is necessarily limited. It is impossible for them to be all-powerful; it is of course impossible, relying on the law of contradiction, to know and grasp the contradictions in reality — the unity and conflict of opposites. All disputations and proofs, and the establishment of theoretical systems, are, in fact, efforts to know real objects, efforts of the subjective to grasp the objective. In principle, the use of formal logic in disputations and proofs and in the establishment of theoretical systems, and its use in knowing an object, should be no different. What, then, is the question? The question should be posed as follows: can thought contravene the law of contradiction? (shrink)

We investigate the class of those algebras in which is a de Morgan algebra, is a quasi-Stone algebra, and the operations \ and \ are linked by the identity x**º = x*º*. We show that such an algebra is subdirectly irreducible if and only if its congruence lattice is either a 2-element chain or a 3-element chain. In particular, there are precisely eight non-isomorphic subdirectly irreducible Stone de Morgan algebras.