Switch to: Citations

Add references

You must login to add references.
  1. Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
    Download  
     
    Export citation  
     
    Bookmark   280 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   596 citations  
  • In contradiction: a study of the transconsistent.Graham Priest - 1987 - New York: Oxford University Press.
    In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...)
    Download  
     
    Export citation  
     
    Bookmark   446 citations  
  • Principia mathematica.A. N. Whitehead - 1926 - Mind 35 (137):130.
    Download  
     
    Export citation  
     
    Bookmark   138 citations  
  • The semantic conception of truth and the foundations of semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
    Download  
     
    Export citation  
     
    Bookmark   546 citations  
  • Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
    A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.
    Download  
     
    Export citation  
     
    Bookmark   880 citations  
  • 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   163 citations  
  • A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
    Download  
     
    Export citation  
     
    Bookmark   140 citations  
  • Universality and the Liar: An Essay on Truth and the Diagonal Argument.Keith Simmons - 1993 - Cambridge, England: Cambridge University Press.
    This book is about one of the most baffling of all paradoxes – the famous Liar paradox. Suppose we say: 'We are lying now'. Then if we are lying, we are telling the truth; and if we are telling the truth we are lying. This paradox is more than an intriguing puzzle, since it involves the concept of truth. Thus any coherent theory of truth must deal with the Liar. Keith Simmons discusses the solutions proposed by medieval philosophers and offers (...)
    Download  
     
    Export citation  
     
    Bookmark   74 citations  
  • Principles of Mathematics.Bertrand Russell - 1903 - New York,: Routledge.
    First published in 1903, _Principles of Mathematics_ was Bertrand Russell’s first major work in print. It was this title which saw him begin his ascent towards eminence. In this groundbreaking and important work, Bertrand Russell argues that mathematics and logic are, in fact, identical and what is commonly called mathematics is simply later deductions from logical premises. Highly influential and engaging, this important work led to Russell’s dominance of analytical logic on western philosophy in the twentieth century.
    Download  
     
    Export citation  
     
    Bookmark   177 citations  
  • A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   225 citations  
  • Principles of Mathematics.Bertrand Russell - 1937 - New York,: Routledge.
    First published in 1937. Routledge is an imprint of Taylor & Francis, an informa company.
    Download  
     
    Export citation  
     
    Bookmark   133 citations  
  • The logical paradoxes.Kurt Grelling - 1936 - Mind 45 (180):481-486.
    Download  
     
    Export citation  
     
    Bookmark   11 citations