10 ideas
1813 | All reasoning endlessly leads to further reasoning (Mode 12) [Agrippa, by Diog. Laertius] |
Full Idea: Twelfth mode: all reasoning leads on to further reasoning, and this process goes on forever. | |
From: report of Agrippa (fragments/reports [c.60]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.10 |
1811 | Proofs often presuppose the thing to be proved (Mode 15) [Agrippa, by Diog. Laertius] |
Full Idea: Fifteenth mode: proofs often presuppose the thing to be proved. | |
From: report of Agrippa (fragments/reports [c.60]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.10 |
1815 | Reasoning needs arbitrary faith in preliminary hypotheses (Mode 14) [Agrippa, by Diog. Laertius] |
Full Idea: Fourteenth mode: reasoning requires arbitrary faith in preliminary hypotheses. | |
From: report of Agrippa (fragments/reports [c.60]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.10 |
1812 | All discussion is full of uncertainty and contradiction (Mode 11) [Agrippa, by Diog. Laertius] |
Full Idea: Eleventh mode: all topics of discussion are full of uncertainty and contradiction. | |
From: report of Agrippa (fragments/reports [c.60]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.10 |
18200 | Very large sets should be studied in an 'if-then' spirit [Putnam] |
Full Idea: Sets of a very high type or very high cardinality (higher than the continuum, for example), should today be investigated in an 'if-then' spirit. | |
From: Hilary Putnam (The Philosophy of Logic [1971], p.347), quoted by Penelope Maddy - Naturalism in Mathematics | |
A reaction: Quine says the large sets should be regarded as 'uninterpreted'. |
18199 | Indispensability strongly supports predicative sets, and somewhat supports impredicative sets [Putnam] |
Full Idea: We may say that indispensability is a pretty strong argument for the existence of at least predicative sets, and a pretty strong, but not as strong, argument for the existence of impredicative sets. | |
From: Hilary Putnam (The Philosophy of Logic [1971], p.346), quoted by Penelope Maddy - Naturalism in Mathematics II.2 |
8857 | We must quantify over numbers for science; but that commits us to their existence [Putnam] |
Full Idea: Quantification over mathematical entities is indispensable for science..., therefore we should accept such quantification; but this commits us to accepting the existence of the mathematical entities in question. | |
From: Hilary Putnam (The Philosophy of Logic [1971], p.57), quoted by Stephen Yablo - Apriority and Existence | |
A reaction: I'm not surprised that Hartry Field launched his Fictionalist view of mathematics in response to such a counterintuitive claim. I take it we use numbers to slice up reality the way we use latitude to slice up the globe. No commitment to lines! |
13128 | 'Ultimate sortals' cannot explain ontological categories [Westerhoff on Wiggins] |
Full Idea: 'Ultimate sortals' are said to be non-subordinated, disjoint from one another, and uniquely paired with each object. Because of this, the ultimate sortal cannot be a satisfactory explication of the notion of an ontological category. | |
From: comment on David Wiggins (Identity and Spatio-Temporal Continuity [1971], p.75) by Jan Westerhoff - Ontological Categories §26 | |
A reaction: My strong intuitions are that Wiggins is plain wrong, and Westerhoff gives the most promising reasons for my intuition. The simplest point is that objects can obviously belong to more than one category. |
8850 | Agrippa's Trilemma: justification is infinite, or ends arbitrarily, or is circular [Agrippa, by Williams,M] |
Full Idea: Agrippa's Trilemma offers three possible outcomes for a regress of justification: the chain goes on for ever (infinite); or the chain stops at an unjustified proposition (arbitrary); or the chain eventually includes the original proposition (circular). | |
From: report of Agrippa (fragments/reports [c.60], §2) by Michael Williams - Without Immediate Justification §2 | |
A reaction: This summarises Ideas 1911, 1913 and 1914. Agrippa's Trilemma is now a standard starting point for modern discussions of foundations. Personally I reject 2, and am torn between 1 (+ social consensus) and 3 (with a benign, coherent circle). |
1814 | Everything is perceived in relation to another thing (Mode 13) [Agrippa, by Diog. Laertius] |
Full Idea: Thirteenth mode: everything is always perceived in relation to something else. | |
From: report of Agrippa (fragments/reports [c.60]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.10 |