26 ideas
8092 | Logic was merely a branch of rhetoric until the scientific 17th century [Devlin] |
13886 | Later Frege held that definitions must fix a function's value for every possible argument [Frege, by Wright,C] |
9845 | We can't define a word by defining an expression containing it, as the remaining parts are a problem [Frege] |
10019 | Only what is logically complex can be defined; what is simple must be pointed to [Frege] |
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] |
8075 | Space and time are atomic in the arrow, and divisible in the tortoise [Devlin] |
9886 | Cardinals say how many, and reals give measurements compared to a unit quantity [Frege] |
9889 | Real numbers are ratios of quantities [Frege, by Dummett] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
10020 | Frege's biggest error is in not accounting for the senses of number terms [Hodes on Frege] |
10553 | A number is a class of classes of the same cardinality [Frege, by Dummett] |
9887 | Formalism misunderstands applications, metatheory, and infinity [Frege, by Dummett] |
8751 | Only applicability raises arithmetic from a game to a science [Frege] |
9891 | The first demand of logic is of a sharp boundary [Frege] |
8088 | People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin] |
9890 | The modern account of real numbers detaches a ratio from its geometrical origins [Frege] |
11846 | If we abstract the difference between two houses, they don't become the same house [Frege] |
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] |