Combining Texts

Ideas for 'fragments/reports', 'Vagueness' and 'Existence and Quantification'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Quine says quantified modal logic creates nonsense, bad ontology, and false essentialism [Melia on Quine]
     Full Idea: Quine charges quantified modal systems of logic with giving rise to unintended sense or nonsense, committing us to an incomprehensible ontology, and entailing an implausible or unsustainable Aristotelian essentialism.
     From: comment on Willard Quine (Existence and Quantification [1966]) by Joseph Melia - Modality Ch.3
     A reaction: A nice summary. Personally I like essentialism in accounts of science (see Nature|Laws of Nature|Essentialism), so would like to save it in metaphysics. Possible worlds ontology may be very surprising, rather than 'incomprehensible'.
4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
Many-valued logics don't solve vagueness; its presence at the meta-level is ignored [Williamson]
     Full Idea: It is an illusion that many-valued logic constitutes a well-motivated and rigorously worked out theory of vagueness. ...[top] There has been a reluctance to acknowledge higher-order vagueness, or to abandon classical logic in the meta-language.
     From: Timothy Williamson (Vagueness [1994], 4.12)