19 ideas
2676 | Didactic argument starts from the principles of the subject, not from the opinions of the learner [Aristotle] |
2675 | Reasoning is a way of making statements which makes them lead on to other statements [Aristotle] |
2677 | Dialectic aims to start from generally accepted opinions, and lead to a contradiction [Aristotle] |
2674 | Competitive argument aims at refutation, fallacy, paradox, solecism or repetition [Aristotle] |
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
10653 | Maybe set theory need not be well-founded [Varzi] |
10648 | Mereology need not be nominalist, though it is often taken to be so [Varzi] |
10655 | Are there mereological atoms, and are all objects made of them? [Varzi] |
10659 | There is something of which everything is part, but no null-thing which is part of everything [Varzi] |
16967 | 'Are Coriscus and Callias at home?' sounds like a single question, but it isn't [Aristotle] |
10661 | 'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi] |
10647 | Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [Varzi] |
10651 | If 'part' is reflexive, then identity is a limit case of parthood [Varzi] |
10649 | 'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi] |
10654 | The parthood relation will help to define at least seven basic predicates [Varzi] |
10658 | Sameness of parts won't guarantee identity if their arrangement matters [Varzi] |
16149 | Generic terms like 'man' are not substances, but qualities, relations, modes or some such thing [Aristotle] |
11840 | Only if two things are identical do they have the same attributes [Aristotle] |
10652 | Conceivability may indicate possibility, but literary fantasy does not [Varzi] |