Abstract
Besides the method of evaluation given in § 4, there is another known as the ‘canonic’ or ‘normal’ form. Since it cannot be developed before the theory of rules (§ 9), the exposition of it has been postponed until now. Only a summary of the method is given here without any claim to rigor.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Leśniewski, S. (2) Grundzüge eines neuen Systems der Grundlagen der Mathematik, Warschau, 1938.
Abbreviations : ‘PM’ ‘Principia Mathematica’.
Bocheński, J. M. (7) Ancient Formal Logic, Amsterdam, 1951.
Scholz, H. (5) Grundzüge der mathematischen Logik. 2 Bde. Münster, 1950–51.
Quine, W. V. O. (4) Elementary Logic, Boston, 1941.
Lukasiewicz, J. (7) Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic, Oxford, 1951; 2nd edit. 1955.
Lewis, C. I. (1) A Survey of Symbolic Logic, Berkeley, 1918.
Feys, R. (3) Les logiques nouvelles de la modalité,ibid. 40–41, 1937–38.
Feys, R. (4) Directions nouvelles de la logistique aux États-Unis, ibid. 44, 1946. FEYS, R. (5) Logistiek I. Antwerpen-Nijmegen, 1944.
Becker, O. (1) Zur Logik der Modalitäten, Jahrb. f. Phil. u. Phän. Forsch. 11 (1930).
Becker, O. (2) Untersuchungen über den Modalkalkül, Meisenheim, 1952.
Behmann, H. (2) Die typenfreie Logik und die Modalität,Actes du Xlème Congr. d. Philos. Bruxelles, XIV (1953), p. 88 ff.
Carnap, R. (6) Modalities and quantification. JSL 11, 1946.
Carnap, R. (7) Meaning and Necessity: A Study in Semantics and Modal Logic, Chicago 1947; 2nd edit. 1956.
Wright, G. H. VAN (1) An Essay in Modal Logic, Amsterdam, 1951.
Wright, G. H. VAN (2) A New System of Modal Logic,Actes du Xlème Congr. Int. de Philos. Bruxelles, 1953, Vol. V, p. 59 ff.
Bochenski, J. M. (1) Notes historiques sur les propositions modales, Révue des Sciences Philos et Théol. 26. 1937.
Bochenski, J. M. (8) Formale Logik: Problemgeschichte, Freiburg-i-B, 1956, Eng. trans. by No Thomas, Notre Dame, 1960.
Church, A. (4) The Calculus of Lambda Conversion. Princeton, 1941.
Curry, H. B. (1) Grundlagen der kombinatorischen Logik. Amer. Journ. of Math. 52, 1930.
Curry, H. B. (4) R. Feys, W. Craig, Combinatory Logic, Amsterdam, 1958.
Church, A. (4) The Calculus of Lambda Conversion. Princeton, 1941.
Feys, R. (7) La technique de la logique combinatoire,ibid. 44, 1946. Cf. Curry 4.
Sctolz, H. (2) Leibniz und die mathematische Grundlagenforschung, Jahresber. d. deutsch. Math. Vers. 52, 1942.
Scholz, H. (6) Zur Erhellung des Verstehens, in Geistige Gestalten und Probleme. Eduard Spranger zum 60 Geburtstag. Leipzig, 1942, p. 291.
Church, A. (6) Introduction to Mathematical Logic, Vol I, Princeton, 1956.
Rights and permissions
Copyright information
© 1959 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Bocheński, J.M. (1959). Varia. In: A Precis of Mathematical Logic. Synthese Library, vol 1. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0592-9_5
Download citation
DOI: https://doi.org/10.1007/978-94-017-0592-9_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8329-6
Online ISBN: 978-94-017-0592-9
eBook Packages: Springer Book Archive