45 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] |
| 7798 | There are three axiom schemas for propositional logic [Girle] |
| 7786 | Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations [Girle] |
| 7799 | Proposition logic has definitions for its three operators: or, and, and identical [Girle] |
| 7797 | Axiom systems of logic contain axioms, inference rules, and definitions of proof and theorems [Girle] |
| 7794 | There are seven modalities in S4, each with its negation [Girle] |
| 7793 | ◊p → □◊p is the hallmark of S5 [Girle] |
| 7795 | S5 has just six modalities, and all strings can be reduced to those [Girle] |
| 7787 | Possible worlds logics use true-in-a-world rather than true [Girle] |
| 7796 | Modal logics were studied in terms of axioms, but now possible worlds semantics is added [Girle] |
| 7788 | Modal logic has four basic modal negation equivalences [Girle] |
| 7789 | Necessary implication is called 'strict implication'; if successful, it is called 'entailment' [Girle] |
| 7790 | If an argument is invalid, a truth tree will indicate a counter-example [Girle] |
| 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] |
| 7800 | Analytic truths are divided into logically and conceptually necessary [Girle] |
| 7801 | Possibilities can be logical, theoretical, physical, economic or human [Girle] |
| 7792 | A world has 'access' to a world it generates, which is important in possible worlds semantics [Girle] |
| 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] |
| 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] |
| 21241 | Even the fool can hold 'a being than which none greater exists' in his understanding [Anselm] |
| 21243 | An existing thing is even greater if its non-existence is inconceivable [Anselm] |
| 21244 | Conceiving a greater being than God leads to absurdity [Anselm] |
| 21242 | If that than which a greater cannot be thought actually exists, that is greater than the mere idea [Anselm] |
| 1421 | A perfection must be independent and unlimited, and the necessary existence of Anselm's second proof gives this [Malcolm on Anselm] |
| 21245 | The word 'God' can be denied, but understanding shows God must exist [Anselm] |
| 21246 | Guanilo says a supremely fertile island must exist, just because we can conceive it [Anselm] |
| 21247 | Nonexistence is impossible for the greatest thinkable thing, which has no beginning or end [Anselm] |
| 1420 | Anselm's first proof fails because existence isn't a real predicate, so it can't be a perfection [Malcolm on Anselm] |
| 363 | Whether the soul pre-exists our body depends on whether it contains the ultimate standard of reality [Plato] |