59 ideas
8092 | Logic was merely a branch of rhetoric until the scientific 17th century [Devlin] |
1798 | He studied philosophy by suspending his judgement on everything [Pyrrho, by Diog. Laertius] |
1800 | Sceptics say reason is only an instrument, because reason can only be attacked with reason [Pyrrho, by Diog. Laertius] |
15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
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] |
18844 | You would cripple mathematics if you denied Excluded Middle [Hilbert] |
8072 | Sentences of apparent identical form can have different contextual meanings [Devlin] |
17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
8075 | Space and time are atomic in the arrow, and divisible in the tortoise [Devlin] |
12456 | I aim to establish certainty for mathematical methods [Hilbert] |
12461 | We believe all mathematical problems are solvable [Hilbert] |
8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
9633 | No one shall drive us out of the paradise the Cantor has created for us [Hilbert] |
12460 | We extend finite statements with ideal ones, in order to preserve our logic [Hilbert] |
12462 | Only the finite can bring certainty to the infinite [Hilbert] |
12455 | The idea of an infinite totality is an illusion [Hilbert] |
12457 | There is no continuum in reality to realise the infinitely small [Hilbert] |
17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
10113 | The grounding of mathematics is 'in the beginning was the sign' [Hilbert] |
10115 | Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman] |
22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |
12459 | The subject matter of mathematics is immediate and clear concrete symbols [Hilbert] |
10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
18112 | Mathematics divides in two: meaningful finitary statements, and empty idealised statements [Hilbert] |
9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
6595 | If we need a criterion of truth, we need to know whether it is the correct criterion [Pyrrho, by Fogelin] |
6593 | The Pyrrhonians attacked the dogmas of professors, not ordinary people [Pyrrho, by Fogelin] |
6592 | Academics said that Pyrrhonians were guilty of 'negative dogmatism' [Pyrrho, by Fogelin] |
1808 | Perception of things depends on their size or quantity (Mode 8) [Pyrrho, by Diog. Laertius] |
1802 | Individuals vary in responses and feelings (Mode 2) [Pyrrho, by Diog. Laertius] |
1807 | Perception varies with viewing distance and angle (Mode 7) [Pyrrho, by Diog. Laertius] |
1801 | Animals vary in their feelings and judgements (Mode 1) [Pyrrho, by Diog. Laertius] |
1805 | Judgements vary according to local culture and law (Mode 5) [Pyrrho, by Diog. Laertius] |
1809 | Perception is affected by expectations (Mode 9) [Pyrrho, by Diog. Laertius] |
1803 | Objects vary according to which sense perceives them (Mode 3) [Pyrrho, by Diog. Laertius] |
1806 | Perception of objects depends on surrounding conditions (Mode 6) [Pyrrho, by Diog. Laertius] |
1804 | Perception varies with madness or disease (Mode 4) [Pyrrho, by Diog. Laertius] |
1810 | Perception and judgement depend on comparison (Mode 10) [Pyrrho, by Diog. Laertius] |
8088 | People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin] |
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] |
3062 | There are no causes, because they are relative, and alike things can't cause one another [Pyrrho, by Diog. Laertius] |
17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |
3063 | Motion can't move where it is, and can't move where it isn't, so it can't exist [Pyrrho, by Diog. Laertius] |