26 ideas
| 5988 | Anaximander produced the first philosophy book (and maybe the first book) [Anaximander, by Bodnár] |
| Full Idea: Anaximander was the first to produce a philosophical book (later conventionally titled 'On Nature'), if not the first to produce a book at all. | |
| From: report of Anaximander (fragments/reports [c.570 BCE]) by István Bodnár - Anaximander | |
| A reaction: Wow! Presumably there were Egyptian 'books', but this still sounds like a stupendous claim to fame. |
| 1496 | The earth is stationary, because it is in the centre, and has no more reason to move one way than another [Anaximander, by Aristotle] |
| Full Idea: Something which is established in the centre and has equality in relation to the extremes has no more reason to move up than it has down or to the sides (so the earth is stationary) | |
| From: report of Anaximander (fragments/reports [c.570 BCE], A26) by Aristotle - On the Heavens 295b11 |
| 22271 | Aristotle was the first to use schematic letters in logic [Aristotle, by Potter] |
| Full Idea: It was Aristotle who initiated the use of the letter of the (Greek) alphabet 'schematically', to stand for an unspecified piece of language of some appropriate grammatical type. | |
| From: report of Aristotle (Prior Analytics [c.328 BCE]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Aris' | |
| A reaction: Did he invent it from scratch, or borrow it from the mathematicians? Euclid labels diagrams with letters. |
| 11060 | Aristotelian syllogisms are three-part, subject-predicate, existentially committed, with laws of thought [Aristotle, by Hanna] |
| Full Idea: Aristotle's logic is based on the triadic syllogism, the distinction between subject and one-place predicates, that universal claims have existential commitment, and bivalence, excluded middle and noncontradiction. | |
| From: report of Aristotle (Prior Analytics [c.328 BCE]) by Robert Hanna - Rationality and Logic 2.2 |
| 18909 | Aristotelian sentences are made up by one of four 'formative' connectors [Aristotle, by Engelbretsen] |
| Full Idea: For Aristotle there are four formatives for sentences: 'belongs to some', 'belongs to every', 'belongs to no', and 'does not belong to every'. These are 'copulae'. Aristotle would have written 'wise belongs to some man'. | |
| From: report of Aristotle (Prior Analytics [c.328 BCE]) by George Engelbretsen - Trees, Terms and Truth 3 | |
| A reaction: A rather set-theoretic reading. This invites a Quinean scepticism about whether wisdom is some entity which can 'belong' to a person. It makes trope theory sound attractive, offering a unique wisdom that is integrated into that particular person. |
| 8080 | Aristotelian identified 256 possible syllogisms, saying that 19 are valid [Aristotle, by Devlin] |
| Full Idea: Aristotle identified four 'figures' of argument, based on combinations of Subject (S) and Predicate (P) and Middle term (M). The addition of 'all' and 'some', and 'has' and 'has not' got the property, resulted in 256 possible syllogisms, 19 of them valid. | |
| From: report of Aristotle (Prior Analytics [c.328 BCE]) by Keith Devlin - Goodbye Descartes Ch.2 | |
| A reaction: [Compressed version of Devlin] What Aristotle did was astonishing, and must be one of the key ideas of western civilization, even though a lot of his assumptions have been revised or rejected. |
| 13912 | Aristotle replaced Plato's noun-verb form with unions of pairs of terms by one of four 'copulae' [Aristotle, by Engelbretsen/Sayward] |
| Full Idea: Aristotle replaced the Platonic noun-verb account of logical syntax with a 'copular' account. A sentence is a pair of terms bound together logically (not necessarily grammatically) by one of four 'logical copulae' (every, none, some, not some). | |
| From: report of Aristotle (Prior Analytics [c.328 BCE]) by Engelbretsen,G/Sayward,C - Philosophical Logic: Intro to Advanced Topics 8 | |
| A reaction: So the four copulas are are-all, are-never, are-sometimes, and are-sometime-not. Consider 'men' and 'mortal'. Alternatively, Idea 18909. |
| 8071 | Aristotle listed nineteen valid syllogisms (though a few of them were wrong) [Aristotle, by Devlin] |
| Full Idea: Aristotle listed a total of nineteen syllogisms involved in logical reasoning, though some of the ones on his list were subsequently shown to be invalid. | |
| From: report of Aristotle (Prior Analytics [c.328 BCE], Ch.1) by Keith Devlin - Goodbye Descartes | |
| A reaction: It is quite upsetting to think that the founding genius got some of it wrong, but that just shows how subtle and complex the analysis of rational thought can be. |
| 13819 | Aristotle's said some Fs are G or some Fs are not G, forgetting that there might be no Fs [Bostock on Aristotle] |
| Full Idea: Aristotle's system accepted as correct some laws which nowadays we reject, for example |= (Some Fs are G) or (some Fs are not G). He failed to take into account the possibility of there being no Fs at all. | |
| From: comment on Aristotle (Prior Analytics [c.328 BCE]) by David Bostock - Intermediate Logic 8.4 |
| 9403 | There are three different deductions for actual terms, necessary terms and possible terms [Aristotle] |
| Full Idea: Since to belong, to belong of necessity, and to be possible to belong are different, ..there will be different deductions for each; one deduction will be from necessary terms, one from terms which belong, and one from possible terms. | |
| From: Aristotle (Prior Analytics [c.328 BCE], 29b29-35) | |
| A reaction: Fitting and Mendelsohn cite this as the earliest thoughts on modal logic. but Kneale and Kneale say that Aristotle got into a muddle, and so was unable to create a workable system. |
| 11148 | Deduction is when we suppose one thing, and another necessarily follows [Aristotle] |
| Full Idea: A deduction is a discourse in which, certain things having been supposed, something different from the things supposed results of necessity because these things are so. | |
| From: Aristotle (Prior Analytics [c.328 BCE], 24b18) | |
| A reaction: Notice that it is modal ('suppose', rather than 'know'), that necessity is involved, which is presumably metaphysical necessity, and that there are assumptions about what would be true, and not just what follows from what. |
| 18896 | Aristotle places terms at opposite ends, joined by a quantified copula [Aristotle, by Sommers] |
| Full Idea: Aristotle often preferred to formulate predications by placing the terms at opposite ends of the sentence and joining them by predicating expressions like 'belongs-to-some' or 'belongs-to-every'. | |
| From: report of Aristotle (Prior Analytics [c.328 BCE]) by Fred Sommers - Intellectual Autobiography 'Conceptions' | |
| A reaction: This is Sommers's picture of Aristotle, which led Sommers to develop his modern Term Logic. |
| 3300 | Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties [Aristotle, by Benardete,JA] |
| Full Idea: Basic to Aristotle's logic is the grammatical distinction between subject and predicate, which he glosses in terms of the contrast between a substance and its properties. | |
| From: report of Aristotle (Prior Analytics [c.328 BCE]) by José A. Benardete - Metaphysics: the logical approach Intro | |
| A reaction: The introduction of quantifiers and 'logical form' can't disguise the fact that we still talk about (and with) objects and predicates, because no one can think of any other way to talk. |
| 11149 | Affirming/denying sentences are universal, particular, or indeterminate [Aristotle] |
| Full Idea: Affirming/denying sentences are universal, particular, or indeterminate. Belonging 'to every/to none' is universal; belonging 'to some/not to some/not to every' is particular; belonging or not belonging (without universal/particular) is indeterminate. | |
| From: Aristotle (Prior Analytics [c.328 BCE], 24a16) |
| 8079 | Aristotelian logic has two quantifiers of the subject ('all' and 'some') [Aristotle, by Devlin] |
| Full Idea: Aristotelian logic has two quantifiers of the subject ('all' and 'some'), and two ways to combine the subject with the predicate ('have', and 'have not'), giving four propositions: all-s-have-p, all-s-have-not-p, some-s-have-p, and some-s-have-not-p. | |
| From: report of Aristotle (Prior Analytics [c.328 BCE]) by Keith Devlin - Goodbye Descartes Ch.2 | |
| A reaction: Frege seems to have switched from 'some' to 'at-least-one'. Since then other quantifiers have been proposed. See, for example, Ideas 7806 and 6068. |
| 14874 | Anaximander saw the contradiction in the world - that its own qualities destroy it [Anaximander, by Nietzsche] |
| Full Idea: Anaximander discovers the contradictory character of our world: it perishes from its own qualities. | |
| From: report of Anaximander (fragments/reports [c.570 BCE]) by Friedrich Nietzsche - Unpublished Notebooks 1872-74 19 [239] | |
| A reaction: A lovely gloss on Anaximander, though I am not sure that I understand what Nietzsche means. |
| 14641 | A deduction is necessary if the major (but not the minor) premise is also necessary [Aristotle] |
| Full Idea: It sometimes results that the deduction becomes necessary when only one of the premises is necessary (not whatever premise it might be, however, but only the premise in relation to the major extreme [premise]). | |
| From: Aristotle (Prior Analytics [c.328 BCE], 30a15) | |
| A reaction: The qualification is brackets is said by Plantinga (1969) to be a recognition of the de re/ de dicto distinction (later taken up by Aquinas). Plantinga gives two examples to illustrate his reading. |
| 18911 | Linguistic terms form a hierarchy, with higher terms predicable of increasing numbers of things [Aristotle, by Engelbretsen] |
| Full Idea: According to Aristotle, the terms of a language form a finite hierarchy, where the higher terms are predicable of more things than are lower terms. | |
| From: report of Aristotle (Prior Analytics [c.328 BCE]) by George Engelbretsen - Trees, Terms and Truth 3 | |
| A reaction: I would be a bit cautious about placing something precisely in a hierarchy according to how many things it can be predicated of. It is a start, though, in trying to give a decent account of generality, which is a major concept in philosophy. |
| 7880 | If a blind persons suddenly sees a kestrel, that doesn't make visual and theoretical kestrels different [Papineau on Jackson] |
| Full Idea: An ornithological Mary might know everything theoretical about kestrels, but be blind from birth, then have her sight restored. She now knows "That bird eats mice", so visual kestrels must be ontologically distinct from theoretical ones. | |
| From: comment on Frank Jackson (Epiphenomenal Qualia [1982]) by David Papineau - Thinking about Consciousness 6.3 | |
| A reaction: A nice reductio, and I think this pinpoints best what is wrong with the knowledge argument. Knowledge, and the means of acquiring it, are two distinct things. When I see x, I don't acquire knowledge of x, AND knowledge of my seeing x. |
| 7378 | No one bothers to imagine what it would really be like to have ALL the physical information [Dennett on Jackson] |
| Full Idea: That Mary "has all the physical information" is not readily imaginable, so no one bothers. They just imagine she knows lots and lots - perhaps everything known today - but that is just a drop in the bucket. | |
| From: comment on Frank Jackson (Epiphenomenal Qualia [1982]) by Daniel C. Dennett - Consciousness Explained 12.5 | |
| A reaction: I certainly don't see how we can rule out a priori the possibility that someone who really had all the physical knowledge might be able to infer the phenomenal properties of colour. |
| 7377 | Mary learns when she sees colour, so her complete physical information had missed something [Jackson] |
| Full Idea: It seems obvious that Mary will learn something about the world when she is released from her black-and-white room; but then it is inescapable that her previous knowledge was incomplete; she had all the physical information, so there is more to have. | |
| From: Frank Jackson (Epiphenomenal Qualia [1982], §1) | |
| A reaction: This is Jackson's famous 'knowledge argument', which seems to me misconceived. Since I don't think phenomenal colours are properties of objects (Idea 5456), Mary learns more about herself, and about her means of acquiring knowledge. |
| 405 | The essential nature, whatever it is, of the non-limited is everlasting and ageless [Anaximander] |
| Full Idea: The essential nature, whatever it is, of the non-limited is everlasting and ageless. | |
| From: Anaximander (fragments/reports [c.570 BCE], B2), quoted by (who?) - where? |
| 13222 | The Boundless cannot exist on its own, and must have something contrary to it [Aristotle on Anaximander] |
| Full Idea: Those thinkers are in error who postulate ...a single matter, for this cannot exist without some 'perceptible contrariety': this Boundless, which they identify with the 'original real', must be either light or heavy, either hot or cold. | |
| From: comment on Anaximander (fragments/reports [c.570 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 329a10 | |
| A reaction: A dubious objection, I would say. If there has to be a contrasting cold thing to any hot thing, what happens when the cold thing is removed? |
| 404 | Things begin and end in the Unlimited, and are balanced over time according to justice [Anaximander] |
| Full Idea: The non-limited is the original material of existing things; their source is also that to which they return after destruction, according to necessity; they give justice and make reparation to each other for injustice, according to the arrangement of Time. | |
| From: Anaximander (fragments/reports [c.570 BCE], B1), quoted by Simplicius - On Aristotle's 'Physics' 24.13- | |
| A reaction: Simplicius is quoting Theophrastus |
| 1495 | Anaximander introduced the idea that the first principle and element of things was the Boundless [Anaximander, by Simplicius] |
| Full Idea: Anaximander said that the first principle and element of existing things was the boundless; it was he who originally introduced this name for the first principle. | |
| From: report of Anaximander (fragments/reports [c.570 BCE], A09) by Simplicius - On Aristotle's 'Physics' 9.24.14- | |
| A reaction: Simplicius is quoting Theophrastus |
| 1746 | The parts of all things are susceptible to change, but the whole is unchangeable [Anaximander, by Diog. Laertius] |
| Full Idea: The parts of all things are susceptible to change, but the whole is unchangeable. | |
| From: report of Anaximander (fragments/reports [c.570 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.An.2 |