24 ideas
1922 | Spiritual qualities only become advantageous with the growth of wisdom [Plato] |
13838 | A decent modern definition should always imply a semantics [Hacking] |
15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
11259 | How can you seek knowledge of something if you don't know it? [Plato] |
20219 | True opinions only become really valuable when they are tied down by reasons [Plato] |
5985 | Seeking and learning are just recollection [Plato] |
5986 | The slave boy learns geometry from questioning, not teaching, so it is recollection [Plato] |
1923 | As a guide to action, true opinion is as good as knowledge [Plato] |
1919 | You don't need to learn what you know, and how do you seek for what you don't know? [Plato] |
1927 | It seems that virtue is neither natural nor taught, but is a divine gift [Plato] |
1913 | Is virtue taught, or achieved by practice, or a natural aptitude, or what? [Plato] |
1921 | If virtue is a type of knowledge then it ought to be taught [Plato] |
1916 | Even if virtues are many and various, they must have something in common to make them virtues [Plato] |
1918 | How can you know part of virtue without knowing the whole? [Plato] |