Skip to main content
Log in

A predicate calculus for intensional logic

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  • P.Bernays, ‘Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre’, in Essays on the Foundations of Mathematics (dedicated to A. A.Fraenkel) (ed. by Y.Bar-Hillel a. others), Jerusalem-Amsterdam, 1962, p.32–49. (FUA).

    Google Scholar 

  • P.Bernays, ‘A System of Axiomatic Set Theory’, Journal of Symbolic Logic; Part I JSL 2 (1937), 65–77; II, JSL 6 (1941), 1–17; III, JSL 7 (1942), 65–89; IV ibid., 133–145; V, JSL 8 (1943), 89–106; VI, JSL 13 (1948), 65–79; VII, JSL 19 (1954), 81–96. (SAS).

    Google Scholar 

  • A. A.Fraenkel, Abstract Set Theory, Amsterdam, 1961. (AST).

    Google Scholar 

  • A. A.Fraenkel and Y.Bar-Hillel, Foundations of Set Theory, Amsterdam, 1958. (FST).

    Google Scholar 

  • R. O.Gandy, ‘On the Axiom of Extensionality’, Journal of Symbolic Logic 21 (1956), 36–48; 24 (1959), 287–300. (AEx).

    Google Scholar 

  • K.Gödel, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory, Princeton, 1940. (CCH).

    Google Scholar 

  • K.Gödel, ‘Die Vollständigkeit der Axiome des logischen Funktionenkalküls’, Monatshefte für Mathematik und Physik 37 (1930), 349–360. (VAL).

    Google Scholar 

  • D.Hilbert and P.Bernays, Grundlagen der Mathematik, Bd.I, Berlin 1934 und 1968. (GLM).

    Google Scholar 

  • K. J. J.Hintikka, ‘Identity, Variables and Impredicative Definitions’, Journal of Symbolic Logic, 21 (1956), 225–245. (IVI).

    Google Scholar 

  • R.Kauppi, Einführung in die Theorie der Begriffssysteme, Acta Universitatis Tamperensis, Ser. A, Vol. 15, Tampere 1967. (ETB).

    Google Scholar 

  • S. C.Kleene, Introduction to Metamathematics, Amsterdam 1952. (IMM).

    Google Scholar 

  • S. C.Kleene, Mathematical Logic, New York 1967. (MLg).

    Google Scholar 

  • G. Kreisel-G. Takeuti, ‘Formally self-referential propositions for cut free classical analysis and related systems’ in: Proceedings dedicated to the 6th birthday of Prof. Mostowski (North Holland Publ. Company Amsterdam, to appear). (FSP).

  • A.Lévy, ‘Review of Gandy (AEx) and Scott (MAE)’, Journal of Symbolic Logic 29 (1964), 142.

    Google Scholar 

  • M. H.Löb, ‘Solution of a Problem of Leon Heukin’, Journal of Symbolic Logic 20 (1955) p. 115–118. (SPH).

    Google Scholar 

  • J. Łukasiewicz and A. Tarski, ‘Untersuchungen über den Aussagenkalkül’, in Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie 23 (1930), III, 30–50. Engl. Transl. in: Tarski (LSM), p. 38–59. (UAK).

  • R.Montague and L.Vaught, ‘Natural Models of Set Theories’, Fundamenta Mathematicae 47 (1959), 219–242. (NMS).

    Google Scholar 

  • W. V. O.Quine, Set Theory and its Logic, Cambridge-Mass. 1969. (STL).

    Google Scholar 

  • N.Rescher, Many-valued Logic, New York 1969. (MVL).

    Google Scholar 

  • B.Rosser, Logic for Mathematicians, New York 1953. (LMT).

    Google Scholar 

  • D.Scott, ‘More on the Axiom of Extensionality’, in Essays on the Foundation of Mathematics (dedicated to A. A. Fraenkel) (ed. by Y.Bar-Hillel a. others), Jerusalem-Amsterdam, 1962, p. 115–131. (MAE).

    Google Scholar 

  • Th.Skolem, Abstract Set Theory, Notre Dame, 1962. (AST).

    Google Scholar 

  • W. Szmielew and A. Tarski, ‘Mutual Interpretability of some Essentially Undecidable Theories’, in Proceedings of the International Congress of Mathematicians, Cambr.-Mass., 1950. Vol. I., p. 734. (MIE).

  • G.Takeuti, ‘The Universe of Set Theory’, in: Foundations of Mathematics, Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel (ed. by J. J.Bulloff, Th. C.Holyoke, and S. W.Hahn), Berlin 1969, p. 74–128. (UST).

    Google Scholar 

  • A.Tarski, Logic, Semantics, Metamathematics, Oxford, 1956. (LSM).

    Google Scholar 

  • A.Tarski, A.Mostowski, and R.Robinson, Undecidable Theories, Amsterdam 1953 (1968). (UDT).

    Google Scholar 

  • E. J.Thiele, ‘Ein axiomatisches System der Mengenlehre nach Zermelo und Fraenkel’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 1 (1955), p. 173–195. (ASM).

    Google Scholar 

  • B. v.Fraassen, ‘Meaning Relations among Predicates’, Nous 1 (1967), 161–179. (MRP).

    Google Scholar 

  • H.Wang, A Survey of Mathematical Logic, Peking-Amsterdam, 1963. (SML).

    Google Scholar 

  • H.Wang, Logic, Computers and Sets (unabridged reprint of (SML)). New York, 1970. (LCS).

    Google Scholar 

  • P.Weingartner, ‘Die Fraglichkeit der Extensionalitätsthese und die Probleme einer intensionalen Logik’, in Jenseits von Sein und Nichtsein, Beiträge zur Meinong-Forschung (ed. by R.Haller), Graz, (Akadem. Verlagsgesellschaft), 1972, p. 127–178. (FEP).

    Google Scholar 

  • P.Weingartner, ‘Der Gegenstandsbereich der Metaphysik’, in Heuresis (ed. by Th.Michels), Salzburg, O. Müller, 1969, p. 102–140. (GBM).

    Google Scholar 

  • P. Weingartner, ‘Ein Kalkül für die Begriffe ‘beweisbar’ und ‘entscheidbar’, in: Akten des XIV. Internationalen Kongresses für Philosophie, Vol. III, Vienna, 1969, p. 233–240. (KBB.).

  • P.Weingartner, ‘Modal Logics with Two Kinds of Necessity and Possibility’ (Abstract), Journal of Symbolic Logic 32 (1967), 571. (MLK).

    Google Scholar 

  • P.Weingartner, ‘Modal Logics with Two Kinds of Necessity and Possibility’, Notre Dame Journal of Formal Logic IX (1968), 97–159. (MLT).

    Google Scholar 

  • E.Zermelo, ‘Untersuchungen über die Grundlagen der Mengenlehre’, Mathematische Annalen 65 (1908), 261–281. (UGM).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Weingartner, P. A predicate calculus for intensional logic. J Philos Logic 2, 220–303 (1973). https://doi.org/10.1007/BF00263360

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00263360

Keywords

Navigation