14 ideas
| 19404 | Necessities rest on contradiction, and contingencies on sufficient reason [Leibniz] |
| 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] |
| 12394 | If the result is bad, we change the rule; if we like the rule, we reject the result [Goodman] |
| 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] |
| 14292 | Dispositions seem more ethereal than behaviour; a non-occult account of them would be nice [Goodman] |
| 18749 | Goodman argued that the confirmation relation can never be formalised [Goodman, by Horsten/Pettigrew] |
| 17646 | Goodman showed that every sound inductive argument has an unsound one of the same form [Goodman, by Putnam] |
| 4794 | We don't use laws to make predictions, we call things laws if we make predictions with them [Goodman] |
| 19403 | Each of the infinite possible worlds has its own laws, and the individuals contain those laws [Leibniz] |