display all the ideas for this combination of texts
5 ideas
| 8077 | Stoic propositional logic is like chemistry - how atoms make molecules, not the innards of atoms [Chrysippus, by Devlin] |
| Full Idea: In Stoic logic propositions are treated the way atoms are treated in present-day chemistry, where the focus is on the way atoms fit together to form molecules, rather than on the internal structure of the atoms. | |
| From: report of Chrysippus (fragments/reports [c.240 BCE]) by Keith Devlin - Goodbye Descartes Ch.2 | |
| A reaction: A nice analogy to explain the nature of Propositional Logic, which was invented by the Stoics (N.B. after Aristotle had invented predicate logic). |
| 20791 | Chrysippus has five obvious 'indemonstrables' of reasoning [Chrysippus, by Diog. Laertius] |
| Full Idea: Chrysippus has five indemonstrables that do not need demonstration:1) If 1st the 2nd, but 1st, so 2nd; 2) If 1st the 2nd, but not 2nd, so not 1st; 3) Not 1st and 2nd, the 1st, so not 2nd; 4) 1st or 2nd, the 1st, so not 2nd; 5) 1st or 2nd, not 2nd, so 1st. | |
| From: report of Chrysippus (fragments/reports [c.240 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.80-81 | |
| A reaction: [from his lost text 'Dialectics'; squashed to fit into one quote] 1) is Modus Ponens, 2) is Modus Tollens. 4) and 5) are Disjunctive Syllogisms. 3) seems a bit complex to be an indemonstrable. |
| 15510 | Classes are a host of ethereal, platonic, pseudo entities [Goodman] |
| Full Idea: I will not willingly use apparatus that peoples the world with a host of ethereal, platonic, pseudo entities. | |
| From: Nelson Goodman (The Structure of Appearance [1951], II.2), quoted by David Lewis - Parts of Classes 2.1 | |
| A reaction: This represents the big gap that opened up with Goodman's former comrade in arms, Quine. Lewis quotes it in order to ask whether he means ethereal or platonic, as they are very different. I sympathise with Goodman. |
| 9920 | Two objects can apparently make up quite distinct arrangements in sets [Goodman, by Burgess/Rosen] |
| Full Idea: Goodman argues that the set or class {{a}},{a,b}} is supposed to be distinct from the set or class {{b},{a,b}}, even though both are ultimately constituted from the same a and b. | |
| From: report of Nelson Goodman (The Structure of Appearance [1951]) by JP Burgess / G Rosen - A Subject with No Object I.A.2.a | |
| A reaction: I'm with Goodman all the way here, even though it is deeply unfashionable, particularly in the circles I move in. If there are trillion grains of sand on a beach, how many sets are we supposed to be committed to? |
| 10657 | The counties of Utah, and the state, and its acres, are in no way different [Goodman] |
| Full Idea: A class (counties of Utah) is different neither from the individual (state of Utah) that contains its members, nor from any other class (acres of Utah) whose members exhaust the whole. For nominalists, distinction of entity means distinction of content. | |
| From: Nelson Goodman (The Structure of Appearance [1951], p.26), quoted by Achille Varzi - Mereology 3.1 | |
| A reaction: This is a nice credo for the nominalist version of mereology. You can still have a mereology that commits you to the wholes as well as the parts. Cf. Lewis in Idea 10660. |