31 ideas
| 11103 | We aren't stuck with our native conceptual scheme; we can gradually change it [Quine] |
| 15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
| 15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
| 15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
| 15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
| 15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
| 15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
| 15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
| 15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
| 15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
| 15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
| 11092 | A river is a process, with stages; if we consider it as one thing, we are considering a process [Quine] |
| 11093 | We don't say 'red' is abstract, unlike a river, just because it has discontinuous shape [Quine] |
| 11101 | General terms don't commit us ontologically, but singular terms with substitution do [Quine] |
| 11096 | Discourse generally departmentalizes itself to some degree [Quine] |
| 11099 | Understanding 'is square' is knowing when to apply it, not knowing some object [Quine] |
| 11094 | 'Red' is a single concrete object in space-time; 'red' and 'drop' are parts of a red drop [Quine] |
| 11097 | Red is the largest red thing in the universe [Quine] |
| 14193 | 'Substance theorists' take modal properties as primitive, without structure, just falling under a sortal [Paul,LA] |
| 14195 | If an object's sort determines its properties, we need to ask what determines its sort [Paul,LA] |
| 14196 | Substance essentialism says an object is multiple, as falling under various different sortals [Paul,LA] |
| 14198 | Absolutely unrestricted qualitative composition would allow things with incompatible properties [Paul,LA] |
| 14190 | Deep essentialist objects have intrinsic properties that fix their nature; the shallow version makes it contextual [Paul,LA] |
| 14191 | Deep essentialists say essences constrain how things could change; modal profiles fix natures [Paul,LA] |
| 14192 | Essentialism must deal with charges of arbitrariness, and failure to reduce de re modality [Paul,LA] |
| 14197 | An object's modal properties don't determine its possibilities [Paul,LA] |
| 17595 | To unite a sequence of ostensions to make one object, a prior concept of identity is needed [Quine] |
| 11095 | We should just identify any items which are indiscernible within a given discourse [Quine] |
| 14189 | 'Modal realists' believe in many concrete worlds, 'actualists' in just this world, 'ersatzists' in abstract other worlds [Paul,LA] |
| 11104 | Concepts are language [Quine] |
| 11102 | Apply '-ness' or 'class of' to abstract general terms, to get second-level abstract singular terms [Quine] |