29 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 |
| 7807 | The laws of thought are true, but they are not the axioms of logic [Bolzano, by George/Van Evra] |
| Full Idea: Bolzano said the 'laws of thought' (identity, contradiction, excluded middle) are true, but nothing of interest follows from them. Logic obeys them, but they are not logic's first principles or axioms. | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837], §3) by George / Van Evra - The Rise of Modern Logic | |
| A reaction: An interesting and crucial distinction. For samples of proposed axioms of logic, see Ideas 6408, 7798 and 7797. |
| 9987 | An aggregate in which order does not matter I call a 'set' [Bolzano] |
| Full Idea: An aggregate whose basic conception renders the arrangement of its members a matter of indifference, and whose permutation therefore produces no essential difference, I call a 'set'. | |
| From: Bernard Bolzano (Paradoxes of the Infinite [1846], §4), quoted by William W. Tait - Frege versus Cantor and Dedekind IX | |
| A reaction: The idea of 'sets' was emerging before Cantor formalised it, and clarified it by thinking about infinite sets. Nowadays we also have 'ordered' sets, which rather contradicts Bolzano, and we also expect the cardinality to be determinate. |
| 9618 | Bolzano wanted to reduce all of geometry to arithmetic [Bolzano, by Brown,JR] |
| Full Idea: Bolzano if the father of 'arithmetization', which sought to found all of analysis on the concepts of arithmetic and to eliminate geometrical notions entirely (with logicism taking it a step further, by reducing arithmetic to logic). | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by James Robert Brown - Philosophy of Mathematics Ch. 3 | |
| A reaction: Brown's book is a defence of geometrical diagrams against Bolzano's approach. Bolzano sounds like the modern heir of Pythagoras, if he thinks that space is essentially numerical. |
| 10856 | A truly infinite quantity does not need to be a variable [Bolzano] |
| Full Idea: A truly infinite quantity (for example, the length of a straight line, unbounded in either direction) does not by any means need to be a variable. | |
| From: Bernard Bolzano (Paradoxes of the Infinite [1846]), quoted by Brian Clegg - Infinity: Quest to Think the Unthinkable §10 | |
| A reaction: This is an important idea, followed up by Cantor, which relegated to the sidelines the view of infinity as simply something that could increase without limit. Personally I like the old view, but there is something mathematically stable about infinity. |
| 9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett] |
| Full Idea: Bolzano began the process of eliminating intuition from analysis, by proving something apparently obvious (that as continuous function must be zero at some point). Proof reveals on what a theorem rests, and that it is not intuition. | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by Michael Dummett - Frege philosophy of mathematics Ch.6 | |
| A reaction: Kant was the target of Bolzano's attack. Two responses might be to say that many other basic ideas are intuited but impossible to prove, or to say that proof itself depends on intuition, if you dig deep enough. |
| 17265 | Philosophical proofs in mathematics establish truths, and also show their grounds [Bolzano, by Correia/Schnieder] |
| Full Idea: Mathematical proofs are philosophical in method if they do not only demonstrate that a certain mathematical truth holds but if they also disclose why it holds, that is, if they uncover its grounds. | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by Correia,F/Schnieder,B - Grounding: an opinionated introduction 2.3 | |
| A reaction: I aim to defend the role of explanation in mathematics, but this says that this is only if the proofs are 'philosophical', which may be of no interest to mathematicians. Oh well, that's their loss. |
| 9185 | Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved [Bolzano, by Dummett] |
| Full Idea: Bolzano was determined to expel Kantian intuition from analysis, and to prove from first principles anything that could be proved, no matter how obvious it might seem when thought of in geometrical terms. | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by Michael Dummett - The Philosophy of Mathematics 2.3 | |
| A reaction: This is characteristic of the Enlightenment Project, well after the Enlightenment. It is a step towards Frege's attack on 'psychologism' in mathematics. The problem is that it led us into a spurious platonism. We live in troubled times. |
| 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 |
| 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 |
| 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 |
| 22276 | Bolzano saw propositions as objective entities, existing independently of us [Bolzano, by Potter] |
| Full Idea: Bolzano took the entities of which truth is predicated to be not propositions in the subjective sense but 'propositions-in-themselves' - objective entities existing independent of our apprehension. | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Emp' | |
| A reaction: A serious mistake. Presumably the objective propositions are all true (or there would be endless infinities of them). So what is assessed in the case of error? Something other than the objective propositions! We assess these other things! |
| 17264 | Propositions are abstract structures of concepts, ready for judgement or assertion [Bolzano, by Correia/Schnieder] |
| Full Idea: Bolzano conceived of propositions as abstract objects which are structured compounds of concepts and potential contents of judgements and assertions. | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by Correia,F/Schnieder,B - Grounding: an opinionated introduction 2.3 | |
| A reaction: Personally I think of propositions as brain events, the constituents of thought about the world, but that needn't contradict the view of them as 'abstract'. |
| 12232 | A 'proposition' is the sense of a linguistic expression, and can be true or false [Bolzano] |
| Full Idea: What I mean by 'propositions' is not what the grammarians call a proposition, namely the linguistic expression, but the mere sense of this expression, is what is meant by proposition in itself or object proposition. This sense can be true or false. | |
| From: Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837], Pref?) | |
| A reaction: This seems to be the origin of what we understand by 'proposition'. The disputes are over whether such things exists, and whether they are features of minds or features of the world (resembling facts). |
| 12233 | The ground of a pure conceptual truth is only in other conceptual truths [Bolzano] |
| Full Idea: We can find the ground of a pure conceptual truth only in other conceptual truths. | |
| From: Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837], Pref) | |
| A reaction: Elsewhere he insists that these grounds must be in 'truths', and not just in the attributes of the concepts of involved. This conflicts with Kit Fine's view, that the concepts themselves are the source of conceptual truth and necessity. |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
| Full Idea: Hermarchus said that animal killing is justified by considerations of human safety and nourishment and by animals' inability to form contractual relations of justice with us. | |
| From: report of Hermarchus (fragments/reports [c.270 BCE]) by David A. Sedley - Hermarchus | |
| A reaction: Could the last argument be used to justify torturing animals? Or could we eat a human who was too brain-damaged to form contracts? |
| 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 |