Minimalne empiryczne podstawy teorii bytu a modele dla logiki nazw

Piotr Kulicki

Piotr Kulicki Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

Słowa kluczowe: teoria bytu, rachunek nazw, model charakterystyczny

Abstrakt

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.

Bibliografia

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.