Propositions: Ontology and Logic
This book is a defense of an ontology of propositions and of some logical resources for representing them. It begins with an austere formulation of a theory of propositions in a first-order extensional logic, but then uses the commitments of this theory to justify an enrichment to modal logic—the logic of necessity and possibility—as an appropriate framework for regimented lang...
This book is a defense of an ontology of propositions and of some logical resources for representing them. It begins with an austere formulation of a theory of propositions in a first-order extensional logic, but then uses the commitments of this theory to justify an enrichment to modal logic—the logic of necessity and possibility—as an appropriate framework for regimented languages that are constructed to represent any of our scientific and philosophical commitments. Both the proof theory and the model theory of a first-order quantified modal logic are developed in detail, and it is argued that these formal resources help to sharpen questions about ontology and predication. The clarification of predication helps to provide a motivation for extending our ontological commitment to properties and relations that are expressed by predicates, and for extending the logic to a higher-order modal logic that provides a conception of metaphysical modality that allows for the contingent existence, not only of persons and physical objects but also of properties, relations, and propositions. Even though both the specific ontological commitments defended (to propositions, properties, and relations) and the logical resources that are used to defend them (modal and higher-order logic) were famously rejected by W. V. Quine, the book adopts a self-consciously neo-Quinean methodology and argues that the theory that is developed helps to motivate and clarify Quine’s naturalistic metaphysical picture.
Robert Stalnaker received his PhD from Princeton in 1965, and taught over the next fifty years at Yale, the University of Illinois at Urbana-Champaign, Cornell and MIT. He is the author of four books: Inquiry (1984), Our Knowledge of the Internal World (2007), Mere Possibilities (2012), and Context (2015). He has also published three collections of papers, all with Oxford: Cont...
Robert Stalnaker received his PhD from Princeton in 1965, and taught over the next fifty years at Yale, the University of Illinois at Urbana-Champaign, Cornell and MIT. He is the author of four books: Inquiry (1984), Our Knowledge of the Internal World (2007), Mere Possibilities (2012), and Context (2015). He has also published three collections of papers, all with Oxford: Context and Content (1999), Ways a World Might Be (2003), and Knowledge and Conditionals (2019). He is a fellow of the American Academy of Arts and Sciences, and a corresponding fellow of the British Academy.