Sylogistyka z terminami negatywnymi w semantycznie przejrzystym sformułowaniu

  • Eugeniusz Wojciechowski Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Zakład Filozofii Przyrody
Słowa kluczowe: sylogistyka z terminami negatywnymi; dowód przez ecthesis; diagramy Eulera; semantycznie przejrzyste sformułowanie

Abstrakt

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).

Bibliografia

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).

Opublikowane
2020-06-10
Dział
Artykuły