35 ideas
8092 | Logic was merely a branch of rhetoric until the scientific 17th century [Devlin] |
9786 | Philosophers working like teams of scientists is absurd, yet isolation is hard [Cartwright,R] |
9784 | A false proposition isn't truer because it is part of a coherent system [Cartwright,R] |
13941 | Are the truth-bearers sentences, utterances, ideas, beliefs, judgements, propositions or statements? [Cartwright,R] |
13942 | Logicians take sentences to be truth-bearers for rigour, rather than for philosophical reasons [Cartwright,R] |
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] |
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] |
6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
8075 | Space and time are atomic in the arrow, and divisible in the tortoise [Devlin] |
6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
9783 | While no two classes coincide in membership, there are distinct but coextensive attributes [Cartwright,R] |
14961 | Clearly a pipe can survive being taken apart [Cartwright,R] |
14962 | Bodies don't becomes scattered by losing small or minor parts [Cartwright,R] |
13952 | Essentialism says some of a thing's properties are necessary, and could not be absent [Cartwright,R] |
13954 | The difficulty in essentialism is deciding the grounds for rating an attribute as essential [Cartwright,R] |
13955 | Essentialism is said to be unintelligible, because relative, if necessary truths are all analytic [Cartwright,R] |
13953 | An act of ostension doesn't seem to need a 'sort' of thing, even of a very broad kind [Cartwright,R] |
13945 | A token isn't a unique occurrence, as the case of a word or a number shows [Cartwright,R] |
8088 | People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin] |
13948 | For any statement, there is no one meaning which any sentence asserting it must have [Cartwright,R] |
13950 | People don't assert the meaning of the words they utter [Cartwright,R] |
8073 | How do we parse 'time flies like an arrow' and 'fruit flies like an apple'? [Devlin] |
13944 | We can pull apart assertion from utterance, and the action, the event and the subject-matter for each [Cartwright,R] |
13947 | 'It's raining' makes a different assertion on different occasions, but its meaning remains the same [Cartwright,R] |
8076 | The distinction between sentences and abstract propositions is crucial in logic [Devlin] |
13943 | We can attribute 'true' and 'false' to whatever it was that was said [Cartwright,R] |
13946 | To assert that p, it is neither necessary nor sufficient to utter some particular words [Cartwright,R] |
13951 | Assertions, unlike sentence meanings, can be accurate, probable, exaggerated, false.... [Cartwright,R] |