49 ideas
| 8013 | In the Reformation, morality became unconditional but irrational, individually autonomous, and secular [MacIntyre] |
| 8021 | The Levellers and the Diggers mark a turning point in the history of morality [MacIntyre] |
| 19199 | Some say metaphysics is a highly generalised empirical study of objects [Tarski] |
| 19193 | Disputes that fail to use precise scientific terminology are all meaningless [Tarski] |
| 19179 | For a definition we need the words or concepts used, the rules, and the structure of the language [Tarski] |
| 19178 | Definitions of truth should not introduce a new version of the concept, but capture the old one [Tarski] |
| 19177 | A definition of truth should be materially adequate and formally correct [Tarski] |
| 19186 | A rigorous definition of truth is only possible in an exactly specified language [Tarski] |
| 19194 | We may eventually need to split the word 'true' into several less ambiguous terms [Tarski] |
| 19180 | It is convenient to attach 'true' to sentences, and hence the language must be specified [Tarski] |
| 19181 | In the classical concept of truth, 'snow is white' is true if snow is white [Tarski] |
| 19196 | Scheme (T) is not a definition of truth [Tarski] |
| 19183 | Each interpreted T-sentence is a partial definition of truth; the whole definition is their conjunction [Tarski] |
| 19182 | Use 'true' so that all T-sentences can be asserted, and the definition will then be 'adequate' [Tarski] |
| 19198 | We don't give conditions for asserting 'snow is white'; just that assertion implies 'snow is white' is true [Tarski] |
| 19184 | The best truth definition involves other semantic notions, like satisfaction (relating terms and objects) [Tarski] |
| 19191 | Specify satisfaction for simple sentences, then compounds; true sentences are satisfied by all objects [Tarski] |
| 19188 | We can't use a semantically closed language, or ditch our logic, so a meta-language is needed [Tarski] |
| 19189 | The metalanguage must contain the object language, logic, and defined semantics [Tarski] |
| 10824 | If listing equivalences is a reduction of truth, witchcraft is just a list of witch-victim pairs [Field,H on Tarski] |
| 19190 | We need an undefined term 'true' in the meta-language, specified by axioms [Tarski] |
| 19197 | Truth can't be eliminated from universal claims, or from particular unspecified claims [Tarski] |
| 19185 | Semantics is a very modest discipline which solves no real problems [Tarski] |
| 19195 | Truth tables give prior conditions for logic, but are outside the system, and not definitions [Tarski] |
| 19192 | The truth definition proves semantic contradiction and excluded middle laws (not the logic laws) [Tarski] |
| 8525 | Relations need terms, so they must be second-order entities based on first-order tropes [Campbell,K] |
| 19187 | The Liar makes us assert a false sentence, so it must be taken seriously [Tarski] |
| 8518 | Events are trope-sequences, in which tropes replace one another [Campbell,K] |
| 8513 | Two red cloths are separate instances of redness, because you can dye one of them blue [Campbell,K] |
| 8514 | Red could only recur in a variety of objects if it was many, which makes them particulars [Campbell,K] |
| 8522 | Tropes solve the Companionship Difficulty, since the resemblance is only between abstract particulars [Campbell,K] |
| 8523 | Tropes solve the Imperfect Community problem, as they can only resemble in one respect [Campbell,K] |
| 8524 | Trope theory makes space central to reality, as tropes must have a shape and size [Campbell,K] |
| 8521 | Nominalism has the problem that without humans nothing would resemble anything else [Campbell,K] |
| 8515 | Tropes are basic particulars, so concrete particulars are collections of co-located tropes [Campbell,K] |
| 8519 | Bundles must be unique, so the Identity of Indiscernibles is a necessity - which it isn't! [Campbell,K] |
| 4033 | Two pure spheres in non-absolute space are identical but indiscernible [Campbell,K] |
| 8006 | When Aristotle speaks of soul he means something like personality [MacIntyre] |
| 8512 | Abstractions come before the mind by concentrating on a part of what is presented [Campbell,K] |
| 8002 | Sophists don't distinguish a person outside one social order from someone outside all order [MacIntyre] |
| 8012 | The value/fact logical gulf is misleading, because social facts involve values [MacIntyre] |
| 8005 | 'Happiness' is a bad translation of 'eudaimonia', which includes both behaving and faring well [MacIntyre] |
| 8001 | 'Dikaiosune' is justice, but also fairness and personal integrity [MacIntyre] |
| 8023 | My duties depend on my identity, which depends on my social relations [MacIntyre] |
| 8022 | I am naturally free if I am not tied to anyone by a contract [MacIntyre] |
| 8031 | Fans of natural rights or laws can't agree on what the actual rights or laws are [MacIntyre] |
| 8517 | Causal conditions are particular abstract instances of properties, which makes them tropes [Campbell,K] |
| 8516 | Davidson can't explain causation entirely by events, because conditions are also involved [Campbell,K] |
| 8008 | The Bible is a story about God in which humans are incidental characters [MacIntyre] |