32 ideas
| 19259 | If 2-D conceivability can a priori show possibilities, this is a defence of conceptual analysis [Vaidya] |
| 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] |
| 12056 | An ancestral relation is either direct or transitively indirect [Wiggins] |
| 12050 | Substances contain a source of change or principle of activity [Wiggins] |
| 12052 | We never single out just 'this', but always 'this something-or-other' [Wiggins] |
| 12055 | Sortal predications are answers to the question 'what is x?' [Wiggins] |
| 12059 | A river may change constantly, but not in respect of being a river [Wiggins] |
| 12063 | Sortal classification becomes science, with cross reference clarifying individuals [Wiggins] |
| 12051 | If the kinds are divided realistically, they fall into substances [Wiggins] |
| 12053 | 'Human being' is a better answer to 'what is it?' than 'poet', as the latter comes in degrees [Wiggins] |
| 12054 | Secondary substances correctly divide primary substances by activity-principles and relations [Wiggins] |
| 12047 | We refer to persisting substances, in perception and in thought, and they aid understanding [Wiggins] |
| 12057 | Matter underlies things, composes things, and brings them to be [Wiggins] |
| 19262 | Essential properties are necessary, but necessary properties may not be essential [Vaidya] |
| 19267 | Define conceivable; how reliable is it; does inconceivability help; and what type of possibility results? [Vaidya] |
| 19268 | Inconceivability (implying impossibility) may be failure to conceive, or incoherence [Vaidya] |
| 19265 | Can you possess objective understanding without realising it? [Vaidya] |
| 19260 | Gettier deductive justifications split the justification from the truthmaker [Vaidya] |
| 19266 | In a disjunctive case, the justification comes from one side, and the truth from the other [Vaidya] |
| 12064 | The category of substance is more important for epistemology than for ontology [Wiggins] |
| 12049 | Naming the secondary substance provides a mass of general information [Wiggins] |
| 12065 | Seeing a group of soldiers as an army is irresistible, in ontology and explanation [Wiggins] |
| 19264 | Aboutness is always intended, and cannot be accidental [Vaidya] |