34 ideas
| 8092 | Logic was merely a branch of rhetoric until the scientific 17th century [Devlin] |
| 13985 | A true proposition seems true of one fact, but a false proposition seems true of nothing at all. [Ryle] |
| 13984 | Two maps might correspond to one another, but they are only 'true' of the country they show [Ryle] |
| 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] |
| 13430 | Infinity: there is an infinity of distinguishable individuals [Ramsey] |
| 13428 | Reducibility: to every non-elementary function there is an equivalent elementary function [Ramsey] |
| 13979 | Logic studies consequence, compatibility, contradiction, corroboration, necessitation, grounding.... [Ryle] |
| 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] |
| 13427 | Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey] |
| 8072 | Sentences of apparent identical form can have different contextual meanings [Devlin] |
| 13334 | Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey] |
| 8075 | Space and time are atomic in the arrow, and divisible in the tortoise [Devlin] |
| 13426 | Formalists neglect content, but the logicists have focused on generalizations, and neglected form [Ramsey] |
| 13425 | Formalism is hopeless, because it focuses on propositions and ignores concepts [Ramsey] |
| 13988 | Many sentences do not state facts, but there are no facts which could not be stated [Ryle] |
| 22328 | I just confront the evidence, and let it act on me [Ramsey] |
| 13983 | Representation assumes you know the ideas, and the reality, and the relation between the two [Ryle] |
| 22325 | A belief is knowledge if it is true, certain and obtained by a reliable process [Ramsey] |
| 8088 | People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin] |
| 13980 | If you like judgments and reject propositions, what are the relata of incoherence in a judgment? [Ryle] |
| 13978 | Husserl and Meinong wanted objective Meanings and Propositions, as subject-matter for Logic [Ryle] |
| 13977 | When I utter a sentence, listeners grasp both my meaning and my state of mind [Ryle] |
| 8073 | How do we parse 'time flies like an arrow' and 'fruit flies like an apple'? [Devlin] |
| 13976 | 'Propositions' name what is thought, because 'thoughts' and 'judgments' are too ambiguous [Ryle] |
| 8076 | The distinction between sentences and abstract propositions is crucial in logic [Devlin] |
| 13981 | Several people can believe one thing, or make the same mistake, or share one delusion [Ryle] |
| 13987 | We may think in French, but we don't know or believe in French [Ryle] |
| 13989 | There are no propositions; they are just sentences, used for thinking, which link to facts in a certain way [Ryle] |
| 13982 | If we accept true propositions, it is hard to reject false ones, and even nonsensical ones [Ryle] |