27 ideas
8092 | Logic was merely a branch of rhetoric until the scientific 17th century [Devlin] |
8081 | 'No councillors are bankers' and 'All bankers are athletes' implies 'Some athletes are not councillors' [Devlin] |
8085 | Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens [Devlin] |
8086 | Predicate logic retains the axioms of propositional logic [Devlin] |
8091 | Situation theory is logic that takes account of context [Devlin] |
8089 | Montague's intensional logic incorporated the notion of meaning [Devlin] |
8087 | Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic [Devlin] |
8082 | Where a conditional is purely formal, an implication implies a link between premise and conclusion [Devlin] |
8072 | Sentences of apparent identical form can have different contextual meanings [Devlin] |
8075 | Space and time are atomic in the arrow, and divisible in the tortoise [Devlin] |
14296 | Dispositions are physical states of mechanism; when known, these replace the old disposition term [Quine] |
8088 | People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin] |
8073 | How do we parse 'time flies like an arrow' and 'fruit flies like an apple'? [Devlin] |
8076 | The distinction between sentences and abstract propositions is crucial in logic [Devlin] |
20712 | God is 'eternal' either by being non-temporal, or by enduring forever [Davies,B] |
20701 | Can God be good, if he has not maximised goodness? [Davies,B] |
20702 | The goodness of God may be a higher form than the goodness of moral agents [Davies,B] |
20703 | How could God have obligations? What law could possibly impose them? [Davies,B] |
20694 | 'Natural theology' aims to prove God to anyone (not just believers) by reason or argument [Davies,B] |
20706 | A distinct cause of the universe can't be material (which would be part of the universe) [Davies,B] |
20707 | The universe exhibits design either in its sense of purpose, or in its regularity [Davies,B] |
20708 | If God is an orderly being, he cannot be the explanation of order [Davies,B] |
20710 | Maybe an abnormal state of mind is needed to experience God? [Davies,B] |
20711 | A believer can experience the world as infused with God [Davies,B] |
20709 | The experiences of God are inconsistent, not universal, and untestable [Davies,B] |
20697 | One does not need a full understanding of God in order to speak of God [Davies,B] |
20699 | Paradise would not contain some virtues, such as courage [Davies,B] |