35 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 |
19426 | 'Nominal' definitions just list distinguishing characteristics [Leibniz] |
Full Idea: A 'nominal' definition is nothing more than an enumeration of the sufficient distinguishing characteristics. | |
From: Gottfried Leibniz (Reflections on Knowledge, Truth and Ideas [1684], p.284) | |
A reaction: Not wholly clear. Are these actual distinguishing characteristics, or potential ones? Could DNA be part of a human's nominal definition (for an unidentified corpse, perhaps). |
10702 | Set theory's three roles: taming the infinite, subject-matter of mathematics, and modes of reasoning [Potter] |
Full Idea: Set theory has three roles: as a means of taming the infinite, as a supplier of the subject-matter of mathematics, and as a source of its modes of reasoning. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], Intro 1) | |
A reaction: These all seem to be connected with mathematics, but there is also ontological interest in set theory. Potter emphasises that his second role does not entail a commitment to sets 'being' numbers. |
10713 | Usually the only reason given for accepting the empty set is convenience [Potter] |
Full Idea: It is rare to find any direct reason given for believing that the empty set exists, except for variants of Dedekind's argument from convenience. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 04.3) |
13044 | Infinity: There is at least one limit level [Potter] |
Full Idea: Axiom of Infinity: There is at least one limit level. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 04.9) | |
A reaction: A 'limit ordinal' is one which has successors, but no predecessors. The axiom just says there is at least one infinity. |
10708 | Nowadays we derive our conception of collections from the dependence between them [Potter] |
Full Idea: It is only quite recently that the idea has emerged of deriving our conception of collections from a relation of dependence between them. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 03.2) | |
A reaction: This is the 'iterative' view of sets, which he traces back to Gödel's 'What is Cantor's Continuum Problem?' |
13546 | The 'limitation of size' principles say whether properties collectivise depends on the number of objects [Potter] |
Full Idea: We group under the heading 'limitation of size' those principles which classify properties as collectivizing or not according to how many objects there are with the property. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 13.5) | |
A reaction: The idea was floated by Cantor, toyed with by Russell (1906), and advocated by von Neumann. The thought is simply that paradoxes start to appear when sets become enormous. |
10707 | Mereology elides the distinction between the cards in a pack and the suits [Potter] |
Full Idea: Mereology tends to elide the distinction between the cards in a pack and the suits. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 02.1) | |
A reaction: The example is a favourite of Frege's. Potter is giving a reason why mathematicians opted for set theory. I'm not clear, though, why a pack cannot have either 4 parts or 52 parts. Parts can 'fall under a concept' (such as 'legs'). I'm puzzled. |
10704 | We can formalize second-order formation rules, but not inference rules [Potter] |
Full Idea: In second-order logic only the formation rules are completely formalizable, not the inference rules. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 01.2) | |
A reaction: He cites Gödel's First Incompleteness theorem for this. |
10703 | Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter] |
Full Idea: A 'supposition' axiomatic theory is as concerned with truth as a 'realist' one (with undefined terms), but the truths are conditional. Satisfying the axioms is satisfying the theorem. This is if-thenism, or implicationism, or eliminative structuralism. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 01.1) | |
A reaction: Aha! I had failed to make the connection between if-thenism and eliminative structuralism (of which I am rather fond). I think I am an if-thenist (not about all truth, but about provable truth). |
10712 | If set theory didn't found mathematics, it is still needed to count infinite sets [Potter] |
Full Idea: Even if set theory's role as a foundation for mathematics turned out to be wholly illusory, it would earn its keep through the calculus it provides for counting infinite sets. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 03.8) |
17882 | It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter] |
Full Idea: It is a remarkable fact that all the arithmetical properties of the natural numbers can be derived from such a small number of assumptions (as the Peano Axioms). | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 05.2) | |
A reaction: If one were to defend essentialism about arithmetic, this would be grist to their mill. I'm just saying. |
13043 | A relation is a set consisting entirely of ordered pairs [Potter] |
Full Idea: A set is called a 'relation' if every element of it is an ordered pair. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 04.7) | |
A reaction: This is the modern extensional view of relations. For 'to the left of', you just list all the things that are to the left, with the things they are to the left of. But just listing the ordered pairs won't necessarily reveal how they are related. |
13042 | If dependence is well-founded, with no infinite backward chains, this implies substances [Potter] |
Full Idea: The argument that the relation of dependence is well-founded ...is a version of the classical arguments for substance. ..Any conceptual scheme which genuinely represents a world cannot contain infinite backward chains of meaning. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 03.3) | |
A reaction: Thus the iterative conception of set may imply a notion of substance, and Barwise's radical attempt to ditch the Axiom of Foundation (Idea 13039) was a radical attempt to get rid of 'substances'. Potter cites Wittgenstein as a fan of substances here. |
13041 | Collections have fixed members, but fusions can be carved in innumerable ways [Potter] |
Full Idea: A collection has a determinate number of members, whereas a fusion may be carved up into parts in various equally valid (although perhaps not equally interesting) ways. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 02.1) | |
A reaction: This seems to sum up both the attraction and the weakness of mereology. If you doubt the natural identity of so-called 'objects', then maybe classical mereology is the way to go. |
10709 | Priority is a modality, arising from collections and members [Potter] |
Full Idea: We must conclude that priority is a modality distinct from that of time or necessity, a modality arising in some way out of the manner in which a collection is constituted from its members. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 03.3) | |
A reaction: He is referring to the 'iterative' view of sets, and cites Aristotle 'Metaphysics' 1019a1-4 as background. |
19424 | Knowledge needs clarity, distinctness, and adequacy, and it should be intuitive [Leibniz] |
Full Idea: Knowledge is either obscure or clear; clear ideas are either indistinct or distinct; distinct ideas are either adequate or inadequate, symbolic or intuitive; perfect knowledge is that which is both adequate and intuitive. | |
From: Gottfried Leibniz (Reflections on Knowledge, Truth and Ideas [1684], p.283) | |
A reaction: This is Leibniz's expansion of Descartes's idea that knowledge rests on 'clear and distinct conceptions'. The ultimate target seems to be close to an Aristotelian 'real definition', which is comprehensive and precise. Does 'intuitive' mean coherent? |
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). |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
19427 | True ideas represent what is possible; false ideas represent contradictions [Leibniz] |
Full Idea: An idea is true if what it represents is possible; false if the representation contains a contradiction. | |
From: Gottfried Leibniz (Reflections on Knowledge, Truth and Ideas [1684], p.287) | |
A reaction: Odd in the analytic tradition to talk of a single idea or concept (rather than a proposition or utterance) as being 'true'. But there is clearly a notion of valid or legitimate or useful concepts here. Hilbert said true just meant non-contradictory. |
19425 | In the schools the Four Causes are just lumped together in a very obscure way [Leibniz] |
Full Idea: In the schools the four causes are lumped together as material, formal, efficient, and final causes, but they have no clear definitions, and I would call such a judgment 'obscure'. | |
From: Gottfried Leibniz (Reflections on Knowledge, Truth and Ideas [1684], p.283) | |
A reaction: He picks this to illustrate what he means by 'obscure', so he must feel strongly about it. Elsewhere Leibniz embraces efficient and final causes, but says little of the other two. This immediately become clearer as the Four Modes of Explanation. |
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 |