Switch to: Citations

Add references

You must login to add references.
  1. Vagueness.Loretta Torrago - 1998 - Philosophical Review 107 (4):637.
    Consider an object or property a and the predicate F. Then a is vague if there are questions of the form: Is a F? that have no yes-or-no answers. In brief, vague properties and kinds have borderline instances and composite objects have borderline constituents. I'll use the expression "borderline cases" as a covering term for both. ;Having borderline cases is compatible with precision so long as every case is either borderline F, determinately F or determinately not F. Thus, in addition (...)
    Download  
     
    Export citation  
     
    Bookmark   147 citations  
  • (1 other version)Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • (1 other version)The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • Tarski on “essentially richer” metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
    It is well known that Tarski proved a result which can be stated roughly as: no sufficiently rich, consistent, classical language can contain its own truth definition. Tarski's way around this problem is to deal with two languages at a time, an object language for which we are defining truth and a metalanguage in which the definition occurs. An obvious question then is: under what conditions can we construct a definition of truth for a given object language. Tarski claims that (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Irving M. Copi. Introduction to logic. Third edition of XIX 147 and XXIX 92. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1968, xiii + 482 pp. [REVIEW]Alfons Borgers - 1970 - Journal of Symbolic Logic 35 (1):166-166.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • □ In intuitionistic modal logic1.David DeVidi & Graham Solomon - 1997 - Australasian Journal of Philosophy 75 (2):201 – 213.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logic: Techniques of Formal Reasoning. [REVIEW]J. R. Cameron - 1967 - Philosophical Quarterly 17 (66):81.
    Download  
     
    Export citation  
     
    Bookmark   36 citations