- Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.details
|
|
Set theory, model theory, and computability theory.Wilfrid Hodges - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press. pp. 471.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
Frege, hilbert, and the conceptual structure of model theory.William Demopoulos - 1994 - History and Philosophy of Logic 15 (2):211-225.details
|
|
Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.details
|
|
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
|
|
Mathematical Logic.J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376-376.details
|
|
Foundations without Foundationalism: A Case for Second-Order Logic.Gila Sher - 1994 - Philosophical Review 103 (1):150.details
|
|
Carnap's Untersuchungen: Logicism, Formal Axiomatics, and Metatheory.Georg Schiemer - 2012 - In R. Creath (ed.), Vienna Circle Institute Yearbook. Springer Verlag. pp. 13--36.details
|
|
Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory.Georg Schiemer - 2012 - Vienna Circle Institute Yearbook 16:13-36.details
|
|
Carnap on extremal axioms, "completeness of the models," and categoricity.Georg Schiemer - 2012 - Review of Symbolic Logic 5 (4):613-641.details
|
|
On the Matter of Essential Richness.Greg Ray - 2005 - Journal of Philosophical Logic 34 (4):433-457.details
|
|
Philosophy of Logic.Willard V. O. Quine - 1986 - Philosophy 17 (3):392-393.details
|
|
The Logical Syntax of Language. [REVIEW]E. N. - 1937 - Journal of Philosophy 34 (11):303.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
Tarski on Logical Consequence.Mario Gómez-Torrente - 1996 - Notre Dame Journal of Formal Logic 37 (1):125-151.details
|
|
Fixed- versus Variable-domain Interpretations of Tarski’s Account of Logical Consequence.Paolo Mancosu - 2010 - Philosophy Compass 5 (9):745-759.details
|
|
Carnap’s dream: Gödel, Wittgenstein, and Logical, Syntax.S. Awodey & A. W. Carus - 2007 - Synthese 159 (1):23-45.details
|
|
A new approach to semantics – Part II.John G. Kemeny - 1956 - Journal of Symbolic Logic 21 (2):149-161.details
|
|
A new approach to semantics – Part I.John G. Kemeny - 1956 - Journal of Symbolic Logic 21:1.details
|
|
Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.details
|
|
Truth in a Structure.Wilfrid Hodges - 1986 - Proceedings of the Aristotelian Society 86:135 - 151.details
|
|
On the development of the model-theoretic viewpoint in logical theory.Jaakko Hintikka - 1988 - Synthese 77 (1):1 - 36.details
|
|
Carnap's work in the foundations of logic and mathematics in a historical perspective.Jaakko Hintikka - 1992 - Synthese 93 (1-2):167 - 189.details
|
|
Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.details
|
|
The indefinability of truth in the “Wahrheitsbegriff”.Mario Gómez-Torrente - 2004 - Annals of Pure and Applied Logic 126 (1-3):27-37.details
|
|
Rereading Tarski on logical consequence.Mario Gómez-Torrente - 2009 - Review of Symbolic Logic 2 (2):249-297.details
|
|
Comparison of Russell's resolution of the semantical antinomies with that of Tarski.Alonzo Church - 1976 - Journal of Symbolic Logic 41 (4):747-760.details
|
|
Über Extremalaxiome.Rudolf Carnap & Friedrich Bachmann - 1936 - Erkenntnis 6 (1):166-188.details
|
|
Bericht über untersuchungen zur allgemeinen axiomatik.Rudolf Carnap - 1930 - Erkenntnis 1 (1):303-307.details
|
|
On Tarski on models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1701-1726.details
|
|
Carnap, completeness, and categoricity:The gabelbarkeitssatz OF 1928. [REVIEW]S. Awodey & A. W. Carus - 2001 - Erkenntnis 54 (2):145-172.details
|
|
ch. 17. Developments in logic : Carnap, Godel, and Tarski.Erich H. Reck - 2013 - In Michael Beaney (ed.), The Oxford Handbook of The History of Analytic Philosophy. Oxford University Press.details
|
|
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.details
|
|
Hierarchies Ontological and Ideological.Øystein Linnebo & Agustín Rayo - 2012 - Mind 121 (482):269 - 308.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
From Wittgenstein's prison to the boundless ocean : Carnap's dream of logical syntax.Steve Awodey & A. W. Carus - 2009 - In Pierre Wagner (ed.), Carnap's Logical Syntax of Language. Palgrave-Macmillan.details
|
|