How Do Metalogical Concepts Emerge?

Main Article Content

Jerzy Pogonowski

Downloads

Download data is not yet available.

Article Details

Jak cytować
Pogonowski, J. (2007). How Do Metalogical Concepts Emerge?. Investigationes Linguisticae, 14, 162-163. https://doi.org/10.14746/il.2006.14.12
Dział
Recenzje

Bibliografia

  1. 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.
  2. 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.
  3. Bernays, P. 1918. Beitrage zur axiomatischen Behandlung des Logik-Kalkuls. Habilitationsschrift, Universitat Gottingen, [unpublished].
  4. Corcoran, J. 1980. Categoricity. History and Philosophy of Logic 1, 187-207.
  5. Dawson, J.W., Jr. 1993. The Compactness of First-Order Logic: From Godel to Lindstrom. History and Philosophy of Logic 14, 15-38.
  6. Godel, K. 1930. Die Vollstandigkeit der Axiome des logischen Funktionenkalkuls. Monatshefte fur Mathematik und Physik37, 349-360.
  7. Godel, K. 1931. Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme. Monatshefte fur Mathematik und Physik 38, 173-198.
  8. Hilbert, D., Ackermann, W. 1928. Grundzuge der theoretischen Logik. Verlag von Julius Springer, Berlin.
  9. Post, E. 1920. Determination of all closed systems of truth tables. Bulletin o f American Mathematical SocietyXXVI, 437.
  10. Post, E. 1921. Introduction to a general theory of elementary propositions. American Journal o f Mathematics XLIII. 163-185.
  11. Read, S. 1997. Completeness and Categoricity: Frege, Godel and Model Theory. History and Philosophy of Logic 18. 79-94.
  12. Surma, S. (Ed.) 1973. Studies in the History of Mathematical Logic. Ossolineum.
  13. Tennant, N. 2000. Deductive versus Expressive Power: a Pre-Godelian Predicament. The Journal o f Philosophy vol. XCVII, No. 5, 257-277.