55 ideas
12027 | There must be a plausible epistemological theory alongside any metaphysical theory [Forbes,G] |
9136 | The paradox of analysis says that any conceptual analysis must be either trivial or false [Sorensen] |
9131 | Two long understandable sentences can have an unintelligible conjunction [Sorensen] |
15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
9139 | If nothing exists, no truthmakers could make 'Nothing exists' true [Sorensen] |
9140 | Which toothbrush is the truthmaker for 'buy one, get one free'? [Sorensen] |
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] |
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] |
9119 | No attempt to deny bivalence has ever been accepted [Sorensen] |
12010 | Is the meaning of 'and' given by its truth table, or by its introduction and elimination rules? [Forbes,G] |
9135 | We now see that generalizations use variables rather than abstract entities [Sorensen] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
9125 | Denying problems, or being romantically defeated by them, won't make them go away [Sorensen] |
9137 | Banning self-reference would outlaw 'This very sentence is in English' [Sorensen] |
9116 | Vague words have hidden boundaries [Sorensen] |
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] |
9132 | An offer of 'free coffee or juice' could slowly shift from exclusive 'or' to inclusive 'or' [Sorensen] |
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] |
12022 | Same parts does not ensure same artefact, if those parts could constitute a different artefact [Forbes,G] |
12025 | Artefacts have fuzzy essences [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] |
9128 | It is propositional attitudes which can be a priori, not the propositions themselves [Sorensen] |
9130 | Attributing apriority to a proposition is attributing a cognitive ability to someone [Sorensen] |
9118 | The colour bands of the spectrum arise from our biology; they do not exist in the physics [Sorensen] |
9124 | We are unable to perceive a nose (on the back of a mask) as concave [Sorensen] |
9126 | Bayesians build near-certainty from lots of reasonably probable beliefs [Sorensen] |
9121 | Illusions are not a reason for skepticism, but a source of interesting scientific information [Sorensen] |
9134 | The negation of a meaningful sentence must itself be meaningful [Sorensen] |
9133 | Propositions are what settle problems of ambiguity in sentences [Sorensen] |
9129 | I can buy any litre of water, but not every litre of water [Sorensen] |
9122 | God cannot experience unwanted pain, so God cannot understand human beings [Sorensen] |