25 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] |
22227 | For Sartre there is only being for-itself, or being in-itself (which is beyond experience) [Sartre, by Daigle] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
20743 | Appearances do not hide the essence; appearances are the essence [Sartre] |
8088 | People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin] |
6151 | Sartre says consciousness is just directedness towards external objects [Sartre, by Rowlands] |
6164 | Sartre rejects mental content, and the idea that the mind has hidden inner features [Sartre, by Rowlands] |
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] |
7074 | Man is a useless passion [Sartre] |
6687 | Man is the desire to be God [Sartre] |
22228 | Sartre's freedom is not for whimsical action, but taking responsibility for our own values [Sartre, by Daigle] |
22233 | Love is the demand to be loved [Sartre] |
20755 | Fear concerns the world, but 'anguish' comes from confronting my self [Sartre] |
20760 | Sincerity is not authenticity, because it only commits to one particular identity [Sartre, by Aho] |
22231 | We flee from the anguish of freedom by seeing ourselves objectively, as determined [Sartre] |