Switch to: Citations

Add references

You must login to add references.
  1. Philosophy of Logics.Susan Haack - 1978 - London and New York: Cambridge University Press.
    The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack's book has established an international reputation for its accessibility, clarity, conciseness, orderliness, and range as well as for its thorough scholarship and careful analyses. Haack discusses the scope and purpose of logic, validity, truth-functions, quantification and ontology, names, descriptions, truth, truth-bearers, the set-theoretical and semantic paradoxes, and modality. She also explores the motivations for a whole range of non-classical systems of logic, including many-valued logics, (...)
    Download  
     
    Export citation  
     
    Bookmark   149 citations  
  • The Revision Theory of Truth.Anil Gupta & Nuel D. Belnap - 1993 - MIT Press.
    In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological..
    Download  
     
    Export citation  
     
    Bookmark   217 citations  
  • Truth and the Liar in De Morgan-Valued Models.Hannes Leitgeb - 1999 - Notre Dame Journal of Formal Logic 40 (4):496-514.
    The aim of this paper is to give a certain algebraic account of truth: we want to define what we mean by De Morgan-valued truth models and show their existence even in the case of semantical closure: that is, languages may contain their own truth predicate if they are interpreted by De Morgan-valued models. Before we can prove this result, we have to repeat some basic facts concerning De Morgan-valued models in general, and we will introduce a notion of truth (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.
    Download  
     
    Export citation  
     
    Bookmark   343 citations  
  • Four valued semantics and the liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.
    Download  
     
    Export citation  
     
    Bookmark   47 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   884 citations  
  • A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
    A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • On representing ‘true-in-L’ in L.Robert L. Martin - 1975 - Philosophia 5 (3):213-217.
    Download  
     
    Export citation  
     
    Bookmark   72 citations