- Theories of Truth: A Critical Introduction.Richard L. Kirkham - 1992 - Cambridge, MA: MIT Press.details
|
|
The Logical Structure of the World. Pseudoproblems in Philosophy.Rudolf Carnap & Rolf A. George - 1967 - Journal of Symbolic Logic 36 (3):551-552.details
|
|
Foundations of Space-Time Theories.Michael Friedman - 1987 - Noûs 21 (4):595-601.details
|
|
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Carnap's aufbau reconsidered.Michael Friedman - 1987 - Noûs 21 (4):521-545.details
|
|
W. V. Quine on logical truth.Rudolf Carnap - 1963 - In Paul Arthur Schilpp (ed.), The philosophy of Rudolf Carnap. La Salle, Ill.,: Open Court. pp. 915-921.details
|
|
(1 other version)Review: Hao Wang, Truth Definitions and Consistency Proofs. [REVIEW]Richard Montague - 1957 - Journal of Symbolic Logic 22 (4):365-367.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.details
|
|
(1 other version)Wang Hao. Truth definitions and consistency proofs. Transactions of the American Mathematical Society, vol. 73 , pp. 243–275. [REVIEW]Richard Montague - 1957 - Journal of Symbolic Logic 22 (4):365-367.details
|
|
(1 other version)Carnap and the Philosophy of Mathematics.Warren Goldfarb & Thomas Ricketts - 1996 - In Moritz Schlick, Rudolf Carnap, Otto Neurath & Sahotra Sarkar (eds.), Logical empiricism at its peak: Schlick, Carnap, and Neurath. New York: Garland. pp. 337 - 354.details
|
|
(1 other version)Non-standard models for formal logics.J. Barkley Rosser & Hao Wang - 1950 - Journal of Symbolic Logic 15 (2):113-129.details
|
|
(1 other version)Review: Andrzej Mostowski, Some Impredicative Definitions in the Axiomatic Set-Theory. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):274-275.details
|
|
Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):274-275.details
|
|
The Re-evaluation of Logical Positivism.Michael Friedman - 1991 - Journal of Philosophy 88 (10):505-519.details
|
|
From geometry to tolerance: sources of conventionalism in nineteenth-century geometry.Alberto Coffa - 1986 - In Robert G. Colodny (ed.), From Quarks to Quasars: Philosophical Problems of Modern Physics. University of Pittsburgh Press. pp. 7--3.details
|
|
(1 other version)Review: Hao Wang, Remarks on the Comparison of Axiom Systems. [REVIEW]Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):142-143.details
|
|
The Logical Syntax of Language.Rudolf Carnap & Amethe Smeaton - 1938 - Philosophy 13 (52):485-486.details
|
|
(1 other version)Wang Hao. Remarks on the comparison of axiom systems. Proceedings of the National Academy of Sciences of the United States of America, vol. 36 , pp. 448–453. [REVIEW]Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):142-143.details
|
|
Carnap, Tarski and the search for truth.Alberto Coffa - 1987 - Noûs 21 (4):547-572.details
|
|
Remarks on the Comparison of Axiom Systems.Hao Wang - 1951 - Journal of Symbolic Logic 16 (2):142-143.details
|
|
The concept of truth in carnap'slogical syntax of language.Thomas Oberdan - 1992 - Synthese 93 (1-2):239 - 260.details
|
|
(1 other version)Non-Standard Models for Formal Logics.J. Barkley Rosser & Hao Wang - 1951 - Journal of Symbolic Logic 16 (2):145-146.details
|
|
“The boundless ocean of unlimited possibilities”: Logic in carnap'slogical syntax of language. [REVIEW]Sahotra Sarkar - 1992 - Synthese 93 (1-2):191 - 237.details
|
|
Truth Definitions and Consistency Proofs.Hao Wang - 1957 - Journal of Symbolic Logic 22 (4):365-367.details
|
|
A Construction for Models of Consistent Systems.I. L. Novak - 1951 - Journal of Symbolic Logic 16 (4):273-274.details
|
|
Deux esquisses de logique.J. Barkley Rosser - 1955 - Les Etudes Philosophiques 10 (4):757-758.details
|
|