- (1 other version)Toward a Theory of the Pragmatic A Priori. From Carnap to Lewis and Beyond.Thomas Mormann - 2012 - Rudolf Carnap and the Legacy of Logical Empiricism 16:113 - 132.details
|
|
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.details
|
|
Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics.Thomas E. Uebel - 2005 - History and Philosophy of Logic 26 (3):175-209.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
What is Tarski's common concept of consequence?Ignacio Jané - 2006 - Bulletin of Symbolic Logic 12 (1):1-42.details
|
|
On Walter Dubislav.Nikolay Milkov - 2015 - History and Philosophy of Logic 36 (2):147-161.details
|
|
(1 other version)Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
(1 other version)Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.details
|
|
Carnap on extremal axioms, "completeness of the models," and categoricity.Georg Schiemer - 2012 - Review of Symbolic Logic 5 (4):613-641.details
|
|
(1 other version)Carnap's Untersuchungen: Logicism, Formal Axiomatics, and Metatheory.Georg Schiemer - 2012 - In Richard Creath (ed.), Rudolf Carnap and the Legacy of Logical Empiricism. Dordrecht, Netherland: Springer Verlag. pp. 13--36.details
|
|
Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.details
|
|
(1 other version)Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Completeness and categoricty, part II: 20th century metalogic to 21st century semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):77-92.details
|
|
Hilbert's axiomatic method and Carnap's general axiomatics.Michael Stöltzner - 2015 - Studies in History and Philosophy of Science Part A 53:12-22.details
|
|
(1 other version)Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.details
|
|
Carnap’s early metatheory: scope and limits.Georg Schiemer, Richard Zach & Erich Reck - 2017 - Synthese 194 (1):33-65.details
|
|
(1 other version)Models of logical systems.John G. Kemeny - 1948 - Journal of Symbolic Logic 13 (1):16-30.details
|
|
Carnap’s Defense of Impredicative Definitions.Vera Flocke - 2019 - Review of Symbolic Logic 12 (2):372-404.details
|
|
Carnap, completeness, and categoricity:The gabelbarkeitssatz OF 1928. [REVIEW]S. Awodey & A. W. Carus - 2001 - Erkenntnis 54 (2):145-172.details
|
|