24 ideas
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] |
22167 | Our images of bodies are not produced by the bodies, but by our own minds [Augustine, by Aquinas] |
22117 | Our minds grasp reality by direct illumination (rather than abstraction from experience) [Augustine, by Matthews] |
22118 | Augustine created the modern concept of the will [Augustine, by Matthews] |
4348 | Love, and do what you will [Augustine] |
7821 | Pagans produced three hundred definitions of the highest good [Augustine, by Grayling] |
22119 | Augustine said (unusually) that 'ought' does not imply 'can' [Augustine, by Matthews] |
21243 | An existing thing is even greater if its non-existence is inconceivable [Anselm] |
21244 | Conceiving a greater being than God leads to absurdity [Anselm] |
21241 | Even the fool can hold 'a being than which none greater exists' in his understanding [Anselm] |
21242 | If that than which a greater cannot be thought actually exists, that is greater than the mere idea [Anselm] |
1421 | A perfection must be independent and unlimited, and the necessary existence of Anselm's second proof gives this [Malcolm on Anselm] |
21245 | The word 'God' can be denied, but understanding shows God must exist [Anselm] |
21246 | Guanilo says a supremely fertile island must exist, just because we can conceive it [Anselm] |
21247 | Nonexistence is impossible for the greatest thinkable thing, which has no beginning or end [Anselm] |
1420 | Anselm's first proof fails because existence isn't a real predicate, so it can't be a perfection [Malcolm on Anselm] |
22116 | Augustine identified Donatism, Pelagianism and Manicheism as the main heresies [Augustine, by Matthews] |
19338 | Augustine said evil does not really exist, and evil is a limitation in goodness [Augustine, by Perkins] |