F.: Wissenschaft der Logik I, Gesammelte Werke 5, Ed. Grigg, R.: Lacan and Badiou: Logic of the pas-tout, in: Filozofski vestnik (vol. by Cormac Gallagher, no pagination, (2019) Dordrecht-Holland (1974) 85-131įierens, C.: The fact of saying notall with reference to Le Gaufey's work: Lacan's notall, logical consistency, clinical consequences, trans. Corcoran (ed.), Ancient Logic and Its Modern Interpretations. 1-43), Springer, Basel (2012) Ĭorcoran, J.: Aristotle's natural deduction system, in J. London (2008) 21–42īrunschwig, J.: La proposition particulière et les preuves de nonconcluance chez Aristote, in: Cahier pour l'Analyse 10, La formalisation, Éditions du Seuil, Paris (1969)īéziau, J.-Y.: The Power of the Hexagon, in: Logica Universalis (vol. Sarukkai (ed.), Logic, Navya-Ny¯aya & Applications: Homage to Bimal Krishna Matilal. Ensslin, Diaphanes, Zürich (2012)īenthem, J.: A Brief History of Natural Logic. Dordrecht, Holland (1968)īadiou, A./ Cassin, B.: Es gibt keinen Geschlechtsverkehr, Ed. Patzig, G.: Aristotle's Theory of the Syllogism. Finally, it becomes clear that in Lacan’s logic, a new contribution to the question of naturalness in logic can be found. Furthermore, it deals with Guy Le Gaufey’s Lacanian logical square in order to compare it to the traditional square. This chapter compares Lacan’s four formulas of sexuation with the traditional (quantificational) square of opposition and tries to explain the naturalness of Lacan’s logic. Recently, among logicians, a debate has been triggered that makes it possible to leave the depth of psychoanalytic theoretical content. By using the formula ~(∀ x)Φ x, entitled pas-tout, Lacan made a connection between psychoanalysis and formal logic. In his works in the field of psychoanalysis, especially in his Seminar XX – Encore and in L’Étourdit, Jacques Lacan (1901–1981) developed a logic of incompleteness by rejecting universal negative propositions in the sense of the traditional (quantificational) square of opposition.

The square beyond compare