Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • Countable choice as a questionable uniformity principle.Peter M. Schuster - 2004 - Philosophia Mathematica 12 (2):106-134.
    Should weak forms of the axiom of choice really be accepted within constructive mathematics? A critical view of the Brouwer-Heyting-Kolmogorov interpretation, accompanied by the intention to include nondeterministic algorithms, leads us to subscribe to Richman's appeal for dropping countable choice. As an alternative interpretation of intuitionistic logic, we propose to renew dialogue semantics.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Road to Modern Logic—An Interpretation.José Ferreirós - 2001 - Bulletin of Symbolic Logic 7 (4):441-484.
    This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order-Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence of (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • The ersatz pluriverse.Theodore Sider - 2002 - Journal of Philosophy 99 (6):279-315.
    While many are impressed with the utility of possible worlds in linguistics and philosophy, few can accept the modal realism of David Lewis, who regards possible worlds as sui generis entities of a kind with the concrete world we inhabit.1 Not all uses of possible worlds require exotic ontology. Consider, for instance, the use of Kripke models to establish formal results in modal logic. These models contain sets often regarded for heuristic reasons as sets of “possible worlds”. But the “worlds” (...)
    Download  
     
    Export citation  
     
    Bookmark   89 citations  
  • Logic Colloquium: Symposium on Logic Held at Boston, 1972-73.Rohit Parikh (ed.) - 1975 - New York, NY, USA: Springer.
    Download  
     
    Export citation  
     
    Bookmark