18 ideas
| 17325 | Truth-maker theory can't cope with non-causal dependence [Liggins] |
| 17318 | Truthmakers for existence is fine; otherwise maybe restrict it to synthetic truths? [Liggins] |
| 13338 | '"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski] |
| 13337 | A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski] |
| 13335 | Semantics is the concepts of connections of language to reality, such as denotation, definition and truth [Tarski] |
| 13336 | A language containing its own semantics is inconsistent - but we can use a second language [Tarski] |
| 13339 | A sentence is satisfied when we can assert the sentence when the variables are assigned [Tarski] |
| 13340 | Satisfaction is the easiest semantical concept to define, and the others will reduce to it [Tarski] |
| 13341 | Using the definition of truth, we can prove theories consistent within sound logics [Tarski] |
| 17320 | Either p is true or not-p is true, so something is true, so something exists [Liggins] |
| 17326 | The dependence of {Socrates} on Socrates involves a set and a philosopher, not facts [Liggins] |
| 17327 | Non-causal dependence is at present only dimly understood [Liggins] |
| 17322 | Necessities supervene on everything, but don't depend on everything [Liggins] |
| 17324 | 'Because' can signal an inference rather than an explanation [Liggins] |
| 17321 | Value, constitution and realisation are non-causal dependences that explain [Liggins] |
| 17323 | If explanations track dependence, then 'determinative' explanations seem to exist [Liggins] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |