33 ideas
| 354 | Wisdom makes virtue and true goodness possible [Plato] |
| 370 | Philosophy is a purification of the soul ready for the afterlife [Plato] |
| 350 | In investigation the body leads us astray, but the soul gets a clear view of the facts [Plato] |
| 362 | The greatest misfortune for a person is to develop a dislike for argument [Plato] |
| 13838 | A decent modern definition should always imply a semantics [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] |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [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] |
| 13155 | If you add one to one, which one becomes two, or do they both become two? [Plato] |
| 21347 | If Simmias is taller than Socrates, that isn't a feature that is just in Simmias [Plato] |
| 360 | We must have a prior knowledge of equality, if we see 'equal' things and realise they fall short of it [Plato] |
| 1 | There is only one source for all beauty [Plato] |
| 368 | Other things are named after the Forms because they participate in them [Plato] |
| 16516 | The ship which Theseus took to Crete is now sent to Delos crowned with flowers [Plato] |
| 357 | People are obviously recollecting when they react to a geometrical diagram [Plato] |
| 359 | If we feel the inadequacy of a resemblance, we must recollect the original [Plato] |
| 9343 | To achieve pure knowledge, we must get rid of the body and contemplate things with the soul [Plato] |
| 15859 | To investigate the causes of things, study what is best for them [Plato] |
| 13154 | Do we think and experience with blood, air or fire, or could it be our brain? [Plato] |
| 364 | One soul can't be more or less of a soul than another [Plato] |
| 7258 | The forefather of modern intuitionism is Richard Price [Price,R, by Dancy,J] |
| 361 | It is a mistake to think that the most violent pleasure or pain is therefore the truest reality [Plato] |
| 351 | War aims at the acquisition of wealth, because we are enslaved to the body [Plato] |
| 13156 | Fancy being unable to distinguish a cause from its necessary background conditions! [Plato] |
| 369 | If the Earth is spherical and in the centre, it is kept in place by universal symmetry, not by force [Plato] |
| 363 | Whether the soul pre-exists our body depends on whether it contains the ultimate standard of reality [Plato] |