46 ideas
| 1798 | He studied philosophy by suspending his judgement on everything [Pyrrho, by Diog. Laertius] |
| Full Idea: He studied philosophy on the principle of suspending his judgement on all points. | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.3 | |
| A reaction: In what sense was Pyrrho a philosopher, then? He must have asserted SOME generalised judgments. |
| 1800 | Sceptics say reason is only an instrument, because reason can only be attacked with reason [Pyrrho, by Diog. Laertius] |
| Full Idea: The Sceptics say that they only employ reason as an instrument, because it is impossible to overturn the authority of reason, without employing reason. | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.8 |
| 9672 | Free logic is one of the few first-order non-classical logics [Priest,G] |
| Full Idea: Free logic is an unusual example of a non-classical logic which is first-order. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], Pref) |
| 9697 | X1 x X2 x X3... x Xn indicates the 'cartesian product' of those sets [Priest,G] |
| Full Idea: X1 x X2 x X3... x Xn indicates the 'cartesian product' of those sets, the set of all the n-tuples with its first member in X1, its second in X2, and so on. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.0) |
| 9685 | <a,b&62; is a set whose members occur in the order shown [Priest,G] |
| Full Idea: <a,b> is a set whose members occur in the order shown; <x1,x2,x3, ..xn> is an 'n-tuple' ordered set. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.10) |
| 9675 | a ∈ X says a is an object in set X; a ∉ X says a is not in X [Priest,G] |
| Full Idea: a ∈ X means that a is a member of the set X, that is, a is one of the objects in X. a ∉ X indicates that a is not in X. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.2) |
| 9674 | {x; A(x)} is a set of objects satisfying the condition A(x) [Priest,G] |
| Full Idea: {x; A(x)} indicates a set of objects which satisfy the condition A(x). | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.2) |
| 9673 | {a1, a2, ...an} indicates that a set comprising just those objects [Priest,G] |
| Full Idea: {a1, a2, ...an} indicates that the set comprises of just those objects. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.2) |
| 9677 | Φ indicates the empty set, which has no members [Priest,G] |
| Full Idea: Φ indicates the empty set, which has no members | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.4) |
| 9676 | {a} is the 'singleton' set of a (not the object a itself) [Priest,G] |
| Full Idea: {a} is the 'singleton' set of a, not to be confused with the object a itself. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.4) |
| 9679 | X⊂Y means set X is a 'proper subset' of set Y [Priest,G] |
| Full Idea: X⊂Y means set X is a 'proper subset' of set Y (if and only if all of its members are members of Y, but some things in Y are not in X) | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.6) |
| 9678 | X⊆Y means set X is a 'subset' of set Y [Priest,G] |
| Full Idea: X⊆Y means set X is a 'subset' of set Y (if and only if all of its members are members of Y). | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.6) |
| 9681 | X = Y means the set X equals the set Y [Priest,G] |
| Full Idea: X = Y means the set X equals the set Y, which means they have the same members (i.e. X⊆Y and Y⊆X). | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.6) |
| 9683 | X ∩ Y indicates the 'intersection' of sets X and Y, the objects which are in both sets [Priest,G] |
| Full Idea: X ∩ Y indicates the 'intersection' of sets X and Y, which is a set containing just those things that are in both X and Y. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.8) |
| 9682 | X∪Y indicates the 'union' of all the things in sets X and Y [Priest,G] |
| Full Idea: X ∪ Y indicates the 'union' of sets X and Y, which is a set containing just those things that are in X or Y (or both). | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.8) |
| 9684 | Y - X is the 'relative complement' of X with respect to Y; the things in Y that are not in X [Priest,G] |
| Full Idea: Y - X indicates the 'relative complement' of X with respect to Y, that is, all the things in Y that are not in X. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.8) |
| 9694 | The 'relative complement' is things in the second set not in the first [Priest,G] |
| Full Idea: The 'relative complement' of one set with respect to another is the things in the second set that aren't in the first. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.8) |
| 9693 | The 'intersection' of two sets is a set of the things that are in both sets [Priest,G] |
| Full Idea: The 'intersection' of two sets is a set containing the things that are in both sets. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.8) |
| 9692 | The 'union' of two sets is a set containing all the things in either of the sets [Priest,G] |
| Full Idea: The 'union' of two sets is a set containing all the things in either of the sets | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.8) |
| 9698 | The 'induction clause' says complex formulas retain the properties of their basic formulas [Priest,G] |
| Full Idea: The 'induction clause' says that whenever one constructs more complex formulas out of formulas that have the property P, the resulting formulas will also have that property. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.2) |
| 9688 | A 'singleton' is a set with only one member [Priest,G] |
| Full Idea: A 'singleton' is a set with only one member. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.4) |
| 9687 | A 'member' of a set is one of the objects in the set [Priest,G] |
| Full Idea: A 'member' of a set is one of the objects in the set. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.2) |
| 9695 | An 'ordered pair' (or ordered n-tuple) is a set with its members in a particular order [Priest,G] |
| Full Idea: An 'ordered pair' (or ordered n-tuple) is a set with its members in a particular order. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.10) |
| 9696 | A 'cartesian product' of sets is the set of all the n-tuples with one member in each of the sets [Priest,G] |
| Full Idea: A 'cartesian product' of sets is the set of all the n-tuples with one member in each of the sets. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.10) |
| 9686 | A 'set' is a collection of objects [Priest,G] |
| Full Idea: A 'set' is a collection of objects. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.2) |
| 9689 | The 'empty set' or 'null set' has no members [Priest,G] |
| Full Idea: The 'empty set' or 'null set' is a set with no members. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.4) |
| 9690 | A set is a 'subset' of another set if all of its members are in that set [Priest,G] |
| Full Idea: A set is a 'subset' of another set if all of its members are in that set. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.6) |
| 9691 | A 'proper subset' is smaller than the containing set [Priest,G] |
| Full Idea: A set is a 'proper subset' of another set if some things in the large set are not in the smaller set | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.6) |
| 9680 | The empty set Φ is a subset of every set (including itself) [Priest,G] |
| Full Idea: The empty set Φ is a subset of every set (including itself). | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.6) |
| 6595 | If we need a criterion of truth, we need to know whether it is the correct criterion [Pyrrho, by Fogelin] |
| Full Idea: Against the Stoics, the Pyrrhonians argued that if someone presents a criterion of truth, then it will be important to determine whether it is the correct criterion. | |
| From: report of Pyrrho (reports [c.325 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.4 | |
| A reaction: Hence Davidson says that attempts to define truth are 'folly'. If something has to be taken as basic, then truth seems a good candidate (since, for example, logical operators could not otherwise be defined by means of 'truth' tables). |
| 6593 | The Pyrrhonians attacked the dogmas of professors, not ordinary people [Pyrrho, by Fogelin] |
| Full Idea: The attacks of the Pyrrhonian sceptics are directed against the dogmas of the 'professors', not against the beliefs of the common people pursuing the business of daily life. | |
| From: report of Pyrrho (reports [c.325 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.4 | |
| A reaction: This may be because they thought that ordinary people were too confused to be worth attacking, rather than because they lived in a state of beautifully appropriate beliefs. Naïve realism is certainly worth attacking. |
| 6592 | Academics said that Pyrrhonians were guilty of 'negative dogmatism' [Pyrrho, by Fogelin] |
| Full Idea: The ancient Academic sceptics charged the Pyrrhonian sceptics with 'negative dogmatism' when they claimed that a certain kind of knowledge is impossible. | |
| From: report of Pyrrho (reports [c.325 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.4 | |
| A reaction: It is this kind of point which should push us towards some sort of rationalism, because certain a priori 'dogmas' seem to be indispensable to get any sort of discussion off the ground. The only safe person is Cratylus (see Idea 578). |
| 1805 | Judgements vary according to local culture and law (Mode 5) [Pyrrho, by Diog. Laertius] |
| Full Idea: Fifth mode: judgements vary according to local custom, law and culture (Persians marry their daughters). | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9 |
| 1807 | Perception varies with viewing distance and angle (Mode 7) [Pyrrho, by Diog. Laertius] |
| Full Idea: Seventh mode: perception varies according to viewing distance and angle (the sun, and a dove's neck). | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9 |
| 1810 | Perception and judgement depend on comparison (Mode 10) [Pyrrho, by Diog. Laertius] |
| Full Idea: Tenth mode: perceptions and judgements depend on comparison (light/heavy, above/below). | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9 |
| 1802 | Individuals vary in responses and feelings (Mode 2) [Pyrrho, by Diog. Laertius] |
| Full Idea: Second mode: individual men vary in responses and feelings (heat and cold, for example). | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9 |
| 1801 | Animals vary in their feelings and judgements (Mode 1) [Pyrrho, by Diog. Laertius] |
| Full Idea: First mode: animals vary in their feelings and judgements (of food, for example). | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9 |
| 1804 | Perception varies with madness or disease (Mode 4) [Pyrrho, by Diog. Laertius] |
| Full Idea: Fourth mode: perceivers vary in their mental and physical state (such as the mad and the sick). | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9 |
| 1808 | Perception of things depends on their size or quantity (Mode 8) [Pyrrho, by Diog. Laertius] |
| Full Idea: Eighth mode: perceptions of things depend on their magnitude or quantity (food and wine). | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9 |
| 1806 | Perception of objects depends on surrounding conditions (Mode 6) [Pyrrho, by Diog. Laertius] |
| Full Idea: Sixth mode: the perception of an object depends on surrounding conditions (sunlight and lamplight). | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9 |
| 1809 | Perception is affected by expectations (Mode 9) [Pyrrho, by Diog. Laertius] |
| Full Idea: Ninth mode: we perceive things according to what we expect (earthquakes and sunshine). | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9 |
| 1803 | Objects vary according to which sense perceives them (Mode 3) [Pyrrho, by Diog. Laertius] |
| Full Idea: Third mode: things like an apple vary according to which sense perceives them (yellow, sweet, and fragrant). | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9 |
| 3062 | There are no causes, because they are relative, and alike things can't cause one another [Pyrrho, by Diog. Laertius] |
| Full Idea: The idea of cause is relative to that of which it is the cause, and so has no real existence. …Also cause must either be body causing body, or incorporeal causing incorporeal, and neither of these is possible. | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.11.11 |
| 3063 | Motion can't move where it is, and can't move where it isn't, so it can't exist [Pyrrho, by Diog. Laertius] |
| Full Idea: Motion is not moved in the place in which it is is, and it is impossible that it should be moved in the place in which it is not, so there is no such thing as motion. | |
| From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.11.11 |
| 1474 | Moral evil may be acceptable to God because it allows free will (even though we don't see why this is necessary) [Plantinga, by PG] |
| Full Idea: Moral evil may be acceptable to a benevolent God because it is the only way to allow genuine free will, which may have a supreme value in creation (even if we are unsure what it is). | |
| From: report of Alvin Plantinga (Free Will Defence [1965], Pref.) by PG - Db (ideas) |
| 1475 | It is logically possible that natural evil like earthquakes is caused by Satan [Plantinga, by PG] |
| Full Idea: Physical evil (e.g. earthquakes) may be attributable to a fallen angel (Satan), who is the enemy of God, and this is enough to retain the idea that God is omnipotent and benevolent, and yet evil exists. | |
| From: report of Alvin Plantinga (Free Will Defence [1965], III) by PG - Db (ideas) |