Syllogistic with Negative Terms in the Semantically Transparent Formulation

  • Eugeniusz Wojciechowski Hugo Kołłątaj Agriculture University of Cracow, Division of Philosophy of Nature
Keywords: syllogistic with negative terms; proof by ecthesis; Euler’s diagrams; semantically transparent formulation

Abstract

The paper refers to the classic works of Polish authors (Łukasiewicz, Sleszyński, Zawirski) and comprises the idea of proof by ecthesis (originally formulated by Borkowski) with the use of list notation to show that the five diagrams by Euler, which provide a starting point for Sleszyński’s analysis, adequately formulate the system of syllogistic with negative terms (Iwanuś and Wedberg’s axiomatization).

References

Borkowski Ludwik: Pierwsza nowoczesna monografia o sylogistyce Arystotelesa, „Studia Logica” 5 (1957), s. 13-26.

Iwanuś Bogusław: Proof of Decidability of the Traditional Calculus of Names, „Studia Logica” 32 (1973), s. 131-145.

Kamiński Stanisław: Kwantyfikacja terminów w zdaniach logiki tradycyjnej, „Roczniki Filozoficzne” 8 (1960), z. 1, s. 5-15.

Lejewski Czesław: On Leśniewski's Ontology, „Ratio” (Oxford), 1(1958), s. 150-176. Wersja niemiecka: Zu Leśniewskis Ontologie, „Ratio” (Frankfurt a.M.) 1(1957/58), s. 50-78.

Łukasiewicz Jan: Elementy logiki matematycznej, (skrypt autoryzowany opracowany przez M. Presburgera), Warszawa 1929 [Reprint wydany przez Wydawnictwo Naukowe UAM – Poznań 2008].

Łukasiewicz Jan: Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic, Oxford : Clarendon Press 1951. Po polsku: Sylogistyka Arystotelesa, (w przekładzie Adama Chmielewskiego, z 2. wydania ang.), Warszawa: PWN 1988.

Suchoń Wojciech: Sylogistyka. Interpretacja zakresowa, (Seria: Dialogikon), Kraków: Wydawnictwo Uniwersytetu Jagiellońskiego 1996.

Sleszyński Jan: O logice tradycyjnej, Kraków: Towarzystwo Filozoficzne 1921.

Sleszyński Jan: Teoria dowodu, t. II, Kraków 1929.

Venn John: Symbolic Logic, London: Macmillan and Co. 1881.

Wojciechowski Eugeniusz: Modalny rachunek nazw, „Roczniki Filozoficzne” 58 (2010), nr 2, s. 237-254.

Wojciechowski Eugeniusz: Rachunek nazw z listami, „Roczniki Filozoficzne” 59(2011), nr 1, s. 35-50.

Zawirski Zygmunt: Logika teoretyczna, maszynopis powielany, Kraków 1938. (Biblioteka Jagiellońska).

Published
2020-06-10
Section
Articles