O Tworzeniu (się?) Pojęć Metalogicznych

• Authors: Jerzy Pogonowski

Title variants

EN

On the emergence of metalogical concepts

• Languages of publication: PL
• Publisher: Uniwersytet im. Adama Mickiewicza w Poznaniu
• Journal: Investigationes Linguisticae
• Year: 2006
• Volume: 14
• Pages: 164-165

Dates

published

2007-06-16

Contributors

author

Jerzy Pogonowski

• Department of Applied Logic, Adam Mickiewicz University

References

• Awodey, S., Reck, E.H. 2002a. Completeness and Categoricity, Part I: Nineteenth-century Axiomatics to Twentiethcentury Metalogic. History and Philosophy of Logic 23, 1-30.
• Awodey, S., Reck, E.H. 2002b. Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics. History and Philosophy of Logic 23, 77-94.
• Bernays, P. 1918. Beitrage zur axiomatischen Behandlung des Logik-Kalkuls. Habilitationsschrift, Universitat Gottingen, [unpublished].
• Corcoran, J. 1981. From Categoricity to Completeness. History and Philosophy of Logic 2, 113-119.
• Dawson, J.W., Jr. 1993. The Compactness of First-Order Logic: From Godel to Lindstrom. History and Philosophy of Logic 14, 15-38.
• Godel, K. 1930. Die Vollstandigkeit der Axiome des logischen Funktionenkalkuls. Monatshefte fur Mathematik und Physik 37, 349-360.
• Godel, K. 1931. Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme. Monatshefte fur Mathematik und Physik 38, 173-198.
• Hilbert, D., Ackermann, W. 1928. Grundzuge der theoretischen Logik. Verlag von Julius Springer, Berlin.
• Post, E. 1920. Determination of all closed systems of truth tables. Bulletin o f American Mathematical Society XXVI, 437.
• Post, E. 1921. Introduction to a general theory of elementary propositions. American Journal of Mathematics XLIII. 163-185.
• Read, S. 1997. Completeness and Categoricity: Frege, Godel and Model Theory. History and Philosophy of Logic 18. 79-94.
• Surma, S. (red.) 1973. Studies in the History of Mathematical Logic. Ossolineum.
• Tennant, N. 2000. Deductive versus Expressive Power: a Pre-Godelian Predicament. The Journal of Philosophy vol. XCVII, No. 5, 257-277.

Identifiers

DOI

10.14746/il.2006.14.13