in distinction from traditional neo-Thomism, embraced modern formal logic and applied it to traditional Thomist philosophy and theology. Inspired by the logical clarity of Aquinas, members of the Circle held both philosophy and theology to contain "propositions with truth-values…a structured body of propositions connected in meaning and subject matter, and linked by logical relations of compatibility and incompatibility, entailment etc." "The Cracow Circle set about investigating and where possible improving this logical structure with the most advanced logical tools available at the time, namely those of modern mathematical logic, then called ‘logistic’." Other members of the Circle included Jan Salamucha and Jan F. Drewnowski. Précis de logique mathématique Bochenski said "that once when he went to visit Lukasiewicz before the war [World War II], Lukasiewicz conveyed him inside excitedly, indicated a complex formula, beginning something like 'CCC...', and said, 'Look at this beautiful and self-evidently true formula.' Clearly the formula's truth was not immediately evident to the bemused Bochenski." In Bocheński's , he uses this notation, in the style of Łukasiewicz: The logical hexagon for the square of opposition Robert Blanché quoted a passage of Bochenski’s Formale Logik in Structures intellectuelles (1966, 39): "Hindu logic knows of three logical propositions and not the four of western logic. For it Some S are P does not signify Some S at least are P but Some S are P but not all." This passage shows that Indian tradition explicitly speaks of the existence of partial quantity, the third quantity to be considered along with totality apprehended by A the universal affirmative of the square, and zero quantity apprehended by E the universal negative of the square. To the two universals A and E entertaining a relationship of contrariety, one should add the third contrary constituted by the double negation of the first two. As the subcontrary I contradicts E and the subcontrary O contradicts A, the logical proposition apprehending partial quantity can be represented by the conjunction of I and O : I & O. In Blanché’s logical hexagon this conjunction is symbolized by the letter Y. Many scholars think that the logical square of opposition, representing four values, should be replaced by the logical hexagon, which has the power to express more relations of opposition. Works Elementa logicae graecae (1937), Rome: Anonima Libraria Catolica Italiana. Manuale di filosofia bolscevica (1946) La logique de Théophraste (1947), 1987 reprint, New York, Garland Publishing.