On the first order true in every universe (including the empty universe)

• Autorzy: Dubikajtis L.
• Języki publikacji: EN

Abstrakty

EN

As it is well known, the set of theorems: Th_{LP} of the first order predicate calculus LP contains all formulae which are valid in every universe with non-empty set of individuals. In this paper I investigate a certain restriction LM of LP. Its set of theorems contains only the theorems valid also in the ''empty-universe'' (i.e.\ in the universe with empty set of individuals).

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2003
• Tom: No. 37
• Strony: 41--57
• Opis fizyczny: Bibliogr. 7 poz.

Twórcy

autor

Dubikajtis L.

Bibliografia

• [1] A. Grzegorczyk, An Outline of Mathematical Logic, DordrechtHolland, Boston, Warszawa 1979, pp. 596.
• [2] T. Hailperin, Quantification Theory and Empty Individual-domains, Journal of Symbolic Logic 18 (1953), pp. 197-200.
• [3] S. Jakowski, on the Rules of Suppositions in Formal Logic, Studia Logica 1 (1934), pp. 1-32.
• [4] A. Mostowski, On Rules of Proof in the Pure Functional Calculus of the First Order, Journal of Symbolic Logic 16 (1951), pp. 107-111.
• [5] W. V. Quine, Quantification and the Empty Domain, Journal of Symbolic Logic 19 (1954), pp. 177-179.
• [6] A. Tarski, Ubˆ er einige fundamentale Begriffe der Metamathematik, C. R. Soc. Sci. Varsovie, Cl.III 23 (1930), pp. 22-29.
• [7] A. Tarski, Grundzuge ˆ der Systemenkalkuls, ˆ Fund. Math. 25 (1935) 503-526 and 26 (1936), pp. 283-301.