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).
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).
A. A.Fraenkel, Abstract Set Theory, Amsterdam, 1961. (AST).
A. A.Fraenkel and Y.Bar-Hillel, Foundations of Set Theory, Amsterdam, 1958. (FST).
R. O.Gandy, ‘On the Axiom of Extensionality’, Journal of Symbolic Logic 21 (1956), 36–48; 24 (1959), 287–300. (AEx).
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).
K.Gödel, ‘Die Vollständigkeit der Axiome des logischen Funktionenkalküls’, Monatshefte für Mathematik und Physik 37 (1930), 349–360. (VAL).
D.Hilbert and P.Bernays, Grundlagen der Mathematik, Bd.I, Berlin 1934 und 1968. (GLM).
K. J. J.Hintikka, ‘Identity, Variables and Impredicative Definitions’, Journal of Symbolic Logic, 21 (1956), 225–245. (IVI).
R.Kauppi, Einführung in die Theorie der Begriffssysteme, Acta Universitatis Tamperensis, Ser. A, Vol. 15, Tampere 1967. (ETB).
S. C.Kleene, Introduction to Metamathematics, Amsterdam 1952. (IMM).
S. C.Kleene, Mathematical Logic, New York 1967. (MLg).
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.
M. H.Löb, ‘Solution of a Problem of Leon Heukin’, Journal of Symbolic Logic 20 (1955) p. 115–118. (SPH).
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).
W. V. O.Quine, Set Theory and its Logic, Cambridge-Mass. 1969. (STL).
N.Rescher, Many-valued Logic, New York 1969. (MVL).
B.Rosser, Logic for Mathematicians, New York 1953. (LMT).
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).
Th.Skolem, Abstract Set Theory, Notre Dame, 1962. (AST).
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).
A.Tarski, Logic, Semantics, Metamathematics, Oxford, 1956. (LSM).
A.Tarski, A.Mostowski, and R.Robinson, Undecidable Theories, Amsterdam 1953 (1968). (UDT).
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).
B. v.Fraassen, ‘Meaning Relations among Predicates’, Nous 1 (1967), 161–179. (MRP).
H.Wang, A Survey of Mathematical Logic, Peking-Amsterdam, 1963. (SML).
H.Wang, Logic, Computers and Sets (unabridged reprint of (SML)). New York, 1970. (LCS).
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).
P.Weingartner, ‘Der Gegenstandsbereich der Metaphysik’, in Heuresis (ed. by Th.Michels), Salzburg, O. Müller, 1969, p. 102–140. (GBM).
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).
P.Weingartner, ‘Modal Logics with Two Kinds of Necessity and Possibility’, Notre Dame Journal of Formal Logic IX (1968), 97–159. (MLT).
E.Zermelo, ‘Untersuchungen über die Grundlagen der Mengenlehre’, Mathematische Annalen 65 (1908), 261–281. (UGM).
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF00263360