25 ideas
8092 | Logic was merely a branch of rhetoric until the scientific 17th century [Devlin] |
5784 | In its primary and formal sense, 'true' applies to propositions, not beliefs [Russell] |
5777 | The truth or falsehood of a belief depends upon a fact to which the belief 'refers' [Russell] |
5783 | Propositions of existence, generalities, disjunctions and hypotheticals make correspondence tricky [Russell] |
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] |
15102 | S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron] |
8091 | Situation theory is logic that takes account of context [Devlin] |
8087 | Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic [Devlin] |
8089 | Montague's intensional logic incorporated the notion of meaning [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] |
15103 | Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron] |
5780 | The three questions about belief are its contents, its success, and its character [Russell] |
8088 | People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin] |
5778 | If we object to all data which is 'introspective' we will cease to believe in toothaches [Russell] |
5779 | There are distinct sets of psychological and physical causal laws [Russell] |
8073 | How do we parse 'time flies like an arrow' and 'fruit flies like an apple'? [Devlin] |
5781 | Our important beliefs all, if put into words, take the form of propositions [Russell] |
5782 | A proposition expressed in words is a 'word-proposition', and one of images an 'image-proposition' [Russell] |
5776 | A proposition is what we believe when we believe truly or falsely [Russell] |
8076 | The distinction between sentences and abstract propositions is crucial in logic [Devlin] |
15104 | The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron] |