The Minimum Empirical Basis for the Theory of Being vs. Models for the Logic of Names

  • Piotr Kulicki The John Paul II Catholic University of Lublin, Faculty of Philosophy
Keywords: theory of being, calculus of names, characteristic model

Abstract

In the article attention is paid to the analogy between considerations concerning the number of objects that are the empirical basis for the theory of being and investigations concerning the size of the models necessary for solving formulas on the ground of calculus of names without quantifiers. In both cases a minimum of two objects appear as an answer to the question that has been posed. In explaining the noticed similarity the meaning aspect, as different from the referential aspect of cognition of reality, is pointed to.

References

Ishimoto A.: A propositional fragment of Lesniewski’s ontology, „Studia Logica” 36 (1977), s. 285-299.

Krąpiec M.A., Kamiński S.: Z teorii i metodologii metafizyki, Lublin: RWKUL 19943.

Kulicki P.: Modele dla sylogistyki Arystotelesa w dziedzinie dwuelementowej, „Roczniki Filozoficzne” 46-47 (1998/1999), z. 1, s. 239-242.

Kulicki P.: The use of axiomatic rejection, [w:] T. Childers (wyd.), The Logica Yearbook 1999, Prague: Filosofia 2000, s. 109-117.

Kulicki P.: On axiomatisation of pure calculus of names, [w druku].

Kulicki P.: Minimal models for pure calculi of names, [w druku].

Łukasiewicz J.: O sylogistyce Arystotelesa, „Sprawozdania z czynności i posiedzeń Polskiej Akademii Umiejętności” 44 (1939, nr 6, s. 220-227. Przedruk w: J. Łukasiewicz, Z zagadnień logiki i filozofii, Warszawa 1961, s. 220-227.

McKinsey J.C.C.: The decision problem for some classes of sentences without quantifiers, „Journal of Symbolic Logic” 8 (1943), s. 61-76.

Nieznański E.: Sformalizowana ontologia orientacji klasycznej, Warszawa: UKSW 2007.

Pietruszczak A.: O logice tradycyjnej i rachunku nazw dopuszczającym podstawienia nazw pustych, „Ruch Filozoficzny” 44 (1987), s. 158-166.

Pietruszczak A.: Standardowe rachunki nazw z funktorem Leśniewskiego, „Acta Universitatis Nicolai Copernici. Logica” 1 (1991), s. 5-29.

Słupecki J.: Z badań nad sylogistyka Arystotelesa, Wrocław 1948.

Stępień A.B.: Dwa wykłady. Punkt wyjścia w filozofii. Teorie relacji: filozoficzne i logiczna, Lublin: TNKUL 2005.

Published
2020-06-09
Section
Articles