34 ideas
1642 | We must fight fiercely for knowledge, understanding and intelligence [Plato] |
1645 | The desire to split everything into its parts is unpleasant and unphilosophical [Plato] |
287 | Good analysis involves dividing things into appropriate forms without confusion [Plato] |
1644 | Dialectic should only be taught to those who already philosophise well [Plato] |
20478 | In discussion a person's opinions are shown to be in conflict, leading to calm self-criticism [Plato] |
10633 | 'Some critics admire only one another' cannot be paraphrased in singular first-order [Linnebo] |
6299 | Axioms are often affirmed simply because they produce results which have been accepted [Resnik] |
10638 | A pure logic is wholly general, purely formal, and directly known [Linnebo] |
10635 | Second-order quantification and plural quantification are different [Linnebo] |
10641 | Traditionally we eliminate plurals by quantifying over sets [Linnebo] |
10640 | Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [Linnebo] |
10636 | Plural plurals are unnatural and need a first-level ontology [Linnebo] |
10639 | Plural quantification may allow a monadic second-order theory with first-order ontology [Linnebo] |
6304 | Mathematical realism says that maths exists, is largely true, and is independent of proofs [Resnik] |
6300 | Mathematical constants and quantifiers only exist as locations within structures or patterns [Resnik] |
6303 | Sets are positions in patterns [Resnik] |
6302 | Structuralism must explain why a triangle is a whole, and not a random set of points [Resnik] |
6295 | There are too many mathematical objects for them all to be mental or physical [Resnik] |
6296 | Maths is pattern recognition and representation, and its truth and proofs are based on these [Resnik] |
6301 | Congruence is the strongest relationship of patterns, equivalence comes next, and mutual occurrence is the weakest [Resnik] |
11278 | What does 'that which is not' refer to? [Plato] |
1643 | If statements about non-existence are logically puzzling, so are statements about existence [Plato] |
7022 | To be is to have a capacity, to act on other things, or to receive actions [Plato] |
1641 | Some alarming thinkers think that only things which you can touch exist [Plato] |
10784 | Whenever there's speech it has to be about something [Plato] |
10643 | We speak of a theory's 'ideological commitments' as well as its 'ontological commitments' [Linnebo] |
10637 | Ordinary speakers posit objects without concern for ontology [Linnebo] |
16122 | Good thinkers spot forms spread through things, or included within some larger form [Plato] |
10422 | The not-beautiful is part of the beautiful, though opposed to it, and is just as real [Plato] |
15855 | If we see everything as separate, we can then give no account of it [Plato] |
1637 | A soul without understanding is ugly [Plato] |
10634 | Predicates are 'distributive' or 'non-distributive'; do individuals do what the group does? [Linnebo] |
1636 | Wickedness is an illness of the soul [Plato] |
1638 | Didactic education is hard work and achieves little [Plato] |