display all the ideas for this combination of texts
12 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). |
13520 | A 'tautology' must include connectives [Wolf,RS] |
Full Idea: 'For every number x, x = x' is not a tautology, because it includes no connectives. | |
From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.2) |
13524 | Deduction Theorem: T∪{P}|-Q, then T|-(P→Q), which justifies Conditional Proof [Wolf,RS] |
Full Idea: Deduction Theorem: If T ∪ {P} |- Q, then T |- (P → Q). This is the formal justification of the method of conditional proof (CPP). Its converse holds, and is essentially modus ponens. | |
From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.3) |
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. |
13522 | Universal Generalization: If we prove P(x) with no special assumptions, we can conclude ∀xP(x) [Wolf,RS] |
Full Idea: Universal Generalization: If we can prove P(x), only assuming what sort of object x is, we may conclude ∀xP(x) for the same x. | |
From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.3) | |
A reaction: This principle needs watching closely. If you pick one person in London, with no presuppositions, and it happens to be a woman, can you conclude that all the people in London are women? Fine in logic and mathematics, suspect in life. |
13521 | Universal Specification: ∀xP(x) implies P(t). True for all? Then true for an instance [Wolf,RS] |
Full Idea: Universal Specification: from ∀xP(x) we may conclude P(t), where t is an appropriate term. If something is true for all members of a domain, then it is true for some particular one that we specify. | |
From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.3) |
13523 | Existential Generalization (or 'proof by example'): if we can say P(t), then we can say something is P [Wolf,RS] |
Full Idea: Existential Generalization (or 'proof by example'): From P(t), where t is an appropriate term, we may conclude ∃xP(x). | |
From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.3) | |
A reaction: It is amazing how often this vacuous-sounding principles finds itself being employed in discussions of ontology, but I don't quite understand why. |
17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
Full Idea: The first-order Sermelo-Fraenkel axiomatisation is highly non-categorical. | |
From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1213) |
17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
Full Idea: The non-categoricity of the axioms which Zermelo demonstrates reveals an incompleteness of a sort, ....for this seems to show that there will always be a set (indeed, an unending sequence) that the basic axioms are incapable of revealing to be sets. | |
From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1215) | |
A reaction: Hallett says the incompleteness concerning Zermelo was the (transfinitely) indefinite iterability of the power set operation (which is what drives the 'iterative conception' of sets). |
13529 | Empty Set: ∃x∀y ¬(y∈x). The unique empty set exists [Wolf,RS] |
Full Idea: Empty Set Axiom: ∃x ∀y ¬ (y ∈ x). There is a set x which has no members (no y's). The empty set exists. There is a set with no members, and by extensionality this set is unique. | |
From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 2.3) | |
A reaction: A bit bewildering for novices. It says there is a box with nothing in it, or a pair of curly brackets with nothing between them. It seems to be the key idea in set theory, because it asserts the idea of a set over and above any possible members. |
13526 | Comprehension Axiom: if a collection is clearly specified, it is a set [Wolf,RS] |
Full Idea: The comprehension axiom says that any collection of objects that can be clearly specified can be considered to be a set. | |
From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 2.2) | |
A reaction: This is virtually tautological, since I presume that 'clearly specified' means pinning down exact which items are the members, which is what a set is (by extensionality). The naïve version is, of course, not so hot. |
17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
Full Idea: Unlike earlier writers (such as Fraenkel), Zermelo clearly allows that there might be ur-elements (that is, objects other than the empty set, which have no members). Indeed he sees in this the possibility of widespread application of set-theory. | |
From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |