48 ideas
| 12027 | There must be a plausible epistemological theory alongside any metaphysical theory [Forbes,G] |
| 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] |
| 15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [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] |
| 15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
| 12005 | The symbol 'ι' forms definite descriptions; (ιx)F(x) says 'the x which is such that F(x)' [Forbes,G] |
| 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] |
| 12010 | Is the meaning of 'and' given by its truth table, or by its introduction and elimination rules? [Forbes,G] |
| 15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
| 12023 | Vagueness problems arise from applying sharp semantics to vague languages [Forbes,G] |
| 12017 | In all instances of identity, there must be some facts to ensure the identity [Forbes,G] |
| 12024 | If we combined two clocks, it seems that two clocks may have become one clock. [Forbes,G] |
| 11885 | Only individual essences will ground identities across worlds in other properties [Forbes,G, by Mackie,P] |
| 12014 | An individual essence is a set of essential properties which only that object can have [Forbes,G] |
| 12015 | Non-trivial individual essence is properties other than de dicto, or universal, or relational [Forbes,G] |
| 12013 | Essential properties depend on a category, and perhaps also on particular facts [Forbes,G] |
| 12012 | Essential properties are those without which an object could not exist [Forbes,G] |
| 12025 | Artefacts have fuzzy essences [Forbes,G] |
| 12022 | Same parts does not ensure same artefact, if those parts could constitute a different artefact [Forbes,G] |
| 12020 | An individual might change their sex in a world, but couldn't have differed in sex at origin [Forbes,G] |
| 11888 | Identities must hold because of other facts, which must be instrinsic [Forbes,G, by Mackie,P] |
| 12003 | De re modal formulae, unlike de dicto, are sensitive to transworld identities [Forbes,G] |
| 12028 | De re necessity is a form of conceptual necessity, just as de dicto necessity is [Forbes,G] |
| 12008 | Unlike places and times, we cannot separate possible worlds from what is true at them [Forbes,G] |
| 12009 | The problem with possible worlds realism is epistemological; we can't know properties of possible objects [Forbes,G] |
| 12007 | Possible worlds are points of logical space, rather like other times than our own [Forbes,G] |
| 12011 | Transworld identity concerns the limits of possibility for ordinary things [Forbes,G] |
| 12016 | The problem of transworld identity can be solved by individual essences [Forbes,G] |
| 12004 | Counterpart theory is not good at handling the logic of identity [Forbes,G] |
| 12021 | Haecceitism attributes to each individual a primitive identity or thisness [Forbes,G] |
| 12029 | We believe in thisnesses, because we reject bizarre possibilities as not being about that individual [Forbes,G] |
| 12157 | Kant gave form and status to aesthetics, and Hegel gave it content [Kant, by Scruton] |
| 20346 | The aesthetic attitude is a matter of disinterestedness [Kant, by Wollheim] |
| 18547 | Only rational beings can experience beauty [Kant, by Scruton] |
| 20408 | With respect to the senses, taste is an entirely personal matter [Kant] |
| 20409 | When we judge beauty, it isn't just personal; we judge on behalf of everybody [Kant] |
| 20411 | Saying everyone has their own taste destroys the very idea of taste [Kant] |
| 22711 | The beautiful is not conceptualised as moral, but it symbolises or resembles goodness [Kant, by Murdoch] |
| 4025 | Kant saw beauty as a sort of disinterested pleasure, which has become separate from the good [Kant, by Taylor,C] |
| 20412 | Beauty is only judged in pure contemplation, and not with something else at stake [Kant] |
| 22046 | The mathematical sublime is immeasurable greatness; the dynamical sublime is overpowering [Kant, by Pinkard] |
| 21458 | The sublime is a moral experience [Kant, by Gardner] |
| 5643 | Aesthetic values are not objectively valid, but we must treat them as if they are [Kant, by Scruton] |
| 20410 | The judgement of beauty is not cognitive, but relates, via imagination, to pleasurable feelings [Kant] |