14 ideas
| 9184 | We can't presume that all interesting concepts can be analysed [Williamson] |
| 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] |
| 9183 | Platonism claims that some true assertions have singular terms denoting abstractions, so abstractions exist [Williamson] |
| 13195 | To explain a house we must describe its use, as well as its parts [Leibniz] |
| 13193 | Active force is not just potential for action, since it involves a real effort or striving [Leibniz] |
| 13194 | God's laws would be meaningless without internal powers for following them [Leibniz] |
| 13196 | All qualities of bodies reduce to forces [Leibniz] |
| 13192 | Power is passive force, which is mass, and active force, which is entelechy or form [Leibniz] |