31 ideas
16539 | A definition of a circle will show what it is, and show its generating principle [Lowe] |
16540 | Defining an ellipse by conic sections reveals necessities, but not the essence of an ellipse [Lowe] |
16548 | An essence is what an entity is, revealed by a real definition; this is not an entity in its own right [Lowe] |
16549 | Simple things like 'red' can be given real ostensive definitions [Lowe] |
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] |
15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [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] |
16545 | The essence of lumps and statues shows that two objects coincide but are numerically distinct [Lowe] |
16546 | The essence of a bronze statue shows that it could be made of different bronze [Lowe] |
16551 | Grasping an essence is just grasping a real definition [Lowe] |
16542 | Explanation can't give an account of essence, because it is too multi-faceted [Lowe] |
16552 | If we must know some entity to know an essence, we lack a faculty to do that [Lowe] |
16533 | Logical necessities, based on laws of logic, are a proper sub-class of metaphysical necessities [Lowe] |
16531 | 'Metaphysical' necessity is absolute and objective - the strongest kind of necessity [Lowe] |
16532 | 'Epistemic' necessity is better called 'certainty' [Lowe] |
16543 | If an essence implies p, then p is an essential truth, and hence metaphysically necessary [Lowe] |
16544 | Metaphysical necessity is either an essential truth, or rests on essential truths [Lowe] |
16538 | We could give up possible worlds if we based necessity on essences [Lowe] |
4760 | Belief aims at knowledge (rather than truth), and mere believing is a kind of botched knowing [Williamson] |
19512 | Don't analyse knowledge; use knowledge to analyse other concepts in epistemology [Williamson, by DeRose] |
16534 | 'Intuitions' are just unreliable 'hunches'; over centuries intuitions change enormously [Lowe] |
16535 | A concept is a way of thinking of things or kinds, whether or not they exist [Lowe] |
16550 | Direct reference doesn't seem to require that thinkers know what it is they are thinking about [Lowe] |
16547 | H2O isn't necessary, because different laws of nature might affect how O and H combine [Lowe] |