17 ideas
9108 | From an impossibility anything follows [William of Ockham] |
9107 | A proposition is true if its subject and predicate stand for the same thing [William of Ockham] |
13338 | '"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski] |
16300 | Ockham had an early axiomatic account of truth [William of Ockham, by Halbach] |
13337 | A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski] |
9106 | The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham] |
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] |
9113 | Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham] |
9110 | The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham] |
15388 | Universals are single things, and only universal in what they signify [William of Ockham] |
9109 | If essence and existence were two things, one could exist without the other, which is impossible [William of Ockham] |
6672 | Moore's Paradox: you can't assert 'I believe that p but p is false', but can assert 'You believe p but p is false' [Moore,GE, by Lowe] |
9105 | Some concepts for propositions exist only in the mind, and in no language [William of Ockham] |