Inception of Quine's ontology

DOI10.1080/01445340310001613833zbMath1057.03001OpenAlexW2154057256WikidataQ58350434 ScholiaQ58350434MaRDI QIDQ3160444

Lieven Decock

Publication date: 9 February 2005

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340310001613833

zbMATH Keywords

development of Quine's ontological ideas

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Cites Work

• Systems of combinatory logic related to Quine's `New Foundations'
• Systems of combinatory logic related to predicative and ``mildly impredicative fragments of Quine's ``New Foundations
• Unification of universes in set theory
• The consistency of some 4-stratified subsystem of NF including NF₃
• Logic in the twenties: the nature of the quantifier
• Quine's NF--60 Years On
• ONTOLOGICAL REMARKS ON THE PROPOSITIONAL CALCULUS
• A Theory of Classes Presupposing no Canons of Type
• A reinterpretation of Schönfinkel’s logical operators
• Toward a calculus of concepts
• Definition of substitution
• Logic based on inclusion and abstraction
• On derivability
• On Cantor's theorem
• A system of axiomatic set theory—Part I
• On the theory of types
• The problem of interpreting modal logic
• On Universals
• Modality and description
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• On existence conditions for elements and classes
• Element and Number
• Concatenation as a basis for arithmetic
• The Burali-Forti paradox

This page was built for publication: Inception of Quine's ontology