Switch to: Citations

Add references

You must login to add references.
  1. Theories of Truth: A Critical Introduction.Richard L. Kirkham - 1992 - Cambridge, MA: MIT Press.
    Theories of Truth provides a clear, critical introduction to one of the most difficult areas of philosophy. It surveys all of the major philosophical theories of truth, presenting the crux of the issues involved at a level accessible to nonexperts yet in a manner sufficiently detailed and original to be of value to professional scholars. Kirkham's systematic treatment and meticulous explanations of terminology ensure that readers will come away from this book with a comprehensive general understanding of one of philosophy's (...)
    Download  
     
    Export citation  
     
    Bookmark   162 citations  
  • The Logical Structure of the World. Pseudoproblems in Philosophy.Rudolf Carnap & Rolf A. George - 1967 - Journal of Symbolic Logic 36 (3):551-552.
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  • Foundations of Space-Time Theories.Michael Friedman - 1987 - Noûs 21 (4):595-601.
    Download  
     
    Export citation  
     
    Bookmark   241 citations  
  • The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.
    Download  
     
    Export citation  
     
    Bookmark   599 citations  
  • Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.
    Download  
     
    Export citation  
     
    Bookmark   118 citations  
  • Carnap's aufbau reconsidered.Michael Friedman - 1987 - Noûs 21 (4):521-545.
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • (1 other version)Review: Hao Wang, Truth Definitions and Consistency Proofs. [REVIEW]Richard Montague - 1957 - Journal of Symbolic Logic 22 (4):365-367.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.
    Download  
     
    Export citation  
     
    Bookmark   343 citations  
  • Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
    Download  
     
    Export citation  
     
    Bookmark   104 citations  
  • (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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (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.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • (1 other version)Non-standard models for formal logics.J. Barkley Rosser & Hao Wang - 1950 - Journal of Symbolic Logic 15 (2):113-129.
    In his doctor's thesis [1], Henkin has shown that if a formal logic is consistent, and sufficiently complex, then it must admit a non-standard model. In particular, he showed that there must be a model in which that portion of the model which is supposed to represent the positive integers of the formal logic is not in fact isomorphic to the positive integers; indeed it is not even well ordered by what is supposed to be the relation of ≦.For the (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):274-275.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The Re-evaluation of Logical Positivism.Michael Friedman - 1991 - Journal of Philosophy 88 (10):505-519.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Logical Syntax of Language.Rudolf Carnap & Amethe Smeaton - 1938 - Philosophy 13 (52):485-486.
    Download  
     
    Export citation  
     
    Bookmark   197 citations  
  • (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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Carnap, Tarski and the search for truth.Alberto Coffa - 1987 - Noûs 21 (4):547-572.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Remarks on the Comparison of Axiom Systems.Hao Wang - 1951 - Journal of Symbolic Logic 16 (2):142-143.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The concept of truth in carnap'slogical syntax of language.Thomas Oberdan - 1992 - Synthese 93 (1-2):239 - 260.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)Non-Standard Models for Formal Logics.J. Barkley Rosser & Hao Wang - 1951 - Journal of Symbolic Logic 16 (2):145-146.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • “The boundless ocean of unlimited possibilities”: Logic in carnap'slogical syntax of language. [REVIEW]Sahotra Sarkar - 1992 - Synthese 93 (1-2):191 - 237.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Truth Definitions and Consistency Proofs.Hao Wang - 1957 - Journal of Symbolic Logic 22 (4):365-367.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • A Construction for Models of Consistent Systems.I. L. Novak - 1951 - Journal of Symbolic Logic 16 (4):273-274.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Deux esquisses de logique.J. Barkley Rosser - 1955 - Les Etudes Philosophiques 10 (4):757-758.
    Download  
     
    Export citation  
     
    Bookmark   2 citations