21 ideas
1922 | Spiritual qualities only become advantageous with the growth of wisdom [Plato] |
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
21548 | The null class is the class with all the non-existents as its members [MacColl, by Lackey] |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
11259 | How can you seek knowledge of something if you don't know it? [Plato] |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
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] |
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] |
1927 | It seems that virtue is neither natural nor taught, but is a divine gift [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] |