Switch to: References

Citations of:

Logic, Symbolic

Journal of Symbolic Logic 23 (2):207-209 (1958)

Add citations

You must login to add citations.
  1. On the Substitutional Characterization of First-Order Logical Truth.Matthew McKeon - 2004 - History and Philosophy of Logic 25 (3):205-224.
    I consider the well-known criticism of Quine's characterization of first-order logical truth that it expands the class of logical truths beyond what is sanctioned by the model-theoretic account. Briefly, I argue that at best the criticism is shallow and can be answered with slight alterations in Quine's account. At worse the criticism is defective because, in part, it is based on a misrepresentation of Quine. This serves not only to clarify Quine's position, but also to crystallize what is and what (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Inception of Quine's ontology.Lieven Decock - 2004 - History and Philosophy of Logic 25 (2):111-129.
    This paper traces the development of Quine's ontological ideas throughout his early logical work in the period before 1948. It shows that his ontological criterion critically depends on this work in logic. The use of quantifiers as logical primitives and the introduction of general variables in 1936, the search for adequate comprehension axioms, and problems with proper classes, all forced Quine to consider ontological questions. I also show that Quine's rejection of intensional entities goes back to his generalisation of Principia (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations