32 ideas
| 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. |
| 5311 | If observation goes up a level, we expect the laws of the lower level to remain in force [Wilson,EO] |
| Full Idea: When the observer shifts his attention from one level of organisation to the next, as from physics to chemistry, he expects to find obedience to all the laws of the levels below. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.1) | |
| A reaction: This seems to state a necessary condition of reduction, but not a sufficient one. Wilson points out that new phenomena emerge at higher levels. This principle is similar to Hume's argument against miracles. You don't easily overthrow basic laws. |
| 5312 | A child first sees objects as distinct, and later as members of groups [Wilson,EO] |
| Full Idea: From a single-minded effort to move objects a child's activity grows into a detached reflection on the movements themselves. The objects are first perceived as distinct entities, and then as members of groups to be classified. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.3) | |
| A reaction: This does not, of course, prove anything about the philosophical problems of universals, but it does seem to pinpoint the stage in human development when 'universals' are perceived. The basis seems to be groups or sets, but how do we spot those? |
| 16065 | Constitution is identity (being in the same place), or it isn't (having different possibilities) [Wasserman] |
| Full Idea: Some insist that constitution is identity, on the grounds that distinct material objects cannot occupy the same place at the same time. Others argue that constitution is not identity, since the statue and its material differ in important respects. | |
| From: Ryan Wasserman (Material Constitution [2009], Intro) | |
| A reaction: The 'important respects' seem to concern possibilities rather than actualities, which is suspicious. It is misleading to think we are dealing with two things and their relation here. Objects must have constitutions; constitutions make objects. |
| 16067 | Constitution is not identity, because it is an asymmetric dependence relation [Wasserman] |
| Full Idea: For those for whom 'constitution is not identity' (the 'constitution view'), constitution is said to be an asymmetric relation, and also a dependence relation (unlike identity). | |
| From: Ryan Wasserman (Material Constitution [2009], 2) | |
| A reaction: It seems obvious that constitution is not identity, because there is more to a thing's identity than its mere constitution. But this idea makes it sound as if constitution has nothing to do with identity (chalk and cheese), and that can't be right. |
| 16069 | There are three main objections to seeing constitution as different from identity [Wasserman] |
| Full Idea: The three most common objections to the constitution view are the Impenetrability Objection (two things in one place?), the Extensionality Objection (mereology says wholes are just their parts), and the Grounding Objection (their ground is the same). | |
| From: Ryan Wasserman (Material Constitution [2009], 2) | |
| A reaction: [summary] He adds a fourth, that if two things can be in one place, why stop at two? [Among defenders of the Constitution View he lists Baker, Fine, Forbes, Koslicki, Kripke, Lowe, Oderberg, N.Salmon, Shoemaker, Simons and Yablo.] |
| 16068 | The weight of a wall is not the weight of its parts, since that would involve double-counting [Wasserman] |
| Full Idea: We do not calculate the weight of something by summing the weights of all its parts - weigh bricks and the molecules of a wall and you will get the wrong result, since you have weighed some parts more than once. | |
| From: Ryan Wasserman (Material Constitution [2009], 2) | |
| A reaction: In fact the complete inventory of the parts of a thing is irrelevant to almost anything we would like to know about the thing. The parts must be counted at some 'level' of division into parts. An element can belong to many different sets. |
| 16074 | Relative identity may reject transitivity, but that suggests that it isn't about 'identity' [Wasserman] |
| Full Idea: If the relative identity theorist denies transitivity (to deal with the Ship of Theseus, for example), this would make us suspect that relativised identity relations are not identity relations, since transitivity seems central to identity. | |
| From: Ryan Wasserman (Material Constitution [2009], 6) | |
| A reaction: The problem here, I think, focuses on the meaning of the word 'same'. One change of plank leaves you with the same ship, but that is not transitive. If 'identical' is too pure to give the meaning of 'the same' it's not much use in discussing the world. |
| 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. |
| 5309 | Beliefs are really enabling mechanisms for survival [Wilson,EO] |
| Full Idea: Beliefs are really enabling mechanisms for survival. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.1) | |
| A reaction: How does he know this proposition which he asserts so confidently? Obvious counterexamples seem to be utterly trivial beliefs, and self-destructive beliefs. What is the evolutionary value of low self-esteem? Still, you see his point. |
| 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. |
| 5310 | Philosophers study the consequences of ethics instead of its origins [Wilson,EO] |
| Full Idea: Philosophers examine the precepts of ethical systems with reference to their consequences and not their origins. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.1) | |
| A reaction: He is interested in biological origins, but it strikes me that every moral theory has some account of the origins of morality, be it pure reason, or the love of pleasure, or human nature, or eternal ideas, or the will of God, or selfish desires. |
| 5313 | The rules of human decision-making converge and overlap in a 'human nature' [Wilson,EO] |
| Full Idea: The rules followed in human decision-making are tight enough to produce a broad overlap in the decisions taken by all individuals, and hence a convergence powerful enough to be labelled 'human nature'. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.3) | |
| A reaction: This is a nice empirical criterion for asserting the existence of human nature, and it seems right to examine decisions, rather than more thoughtless or conformist behaviour. Existentialists dream of new possibilities, but the old ways always seem best… |
| 5316 | We undermine altruism by rewarding it, but we reward it to encourage it [Wilson,EO] |
| Full Idea: By sanctifying altruism in order to reward it we make it less true, but by that means we promote its recurrence in others. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.7) | |
| A reaction: So is my preference for not rewarding (or even noticing) altruism an anti-social tendency. The very conspicuous charity of sponsorship seems somehow inferior to the truly anonymous gift. Or super-altruism is very public, to encourage it in others? |
| 5318 | Pure hard-core altruism based on kin selection is the enemy of civilisation [Wilson,EO] |
| Full Idea: Pure hard-core altruism based on kin selection is the enemy of civilisation. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.7) | |
| A reaction: By 'hard-core' he means suicidally self-sacrificing, rather than extensive. This seems a good thesis. It strikes me that the development of civil society is often impeded by family loyalty, such as in the case of the Mafia. |
| 5317 | The actor is most convincing who believes that his performance is real [Wilson,EO] |
| Full Idea: The actor is most convincing who believes that his performance is real. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.7) | |
| A reaction: This is a key element of social contract theory. It shows why natural selection of truly altruistic traits might be beneficial to individuals, provided they are surrounded by possible recipricators. We trust those who are genuine and sincere. |
| 5308 | The only human purpose is that created by our genetic history [Wilson,EO] |
| Full Idea: No species, ours included, possesses a purpose beyond the imperatives created by its genetic history. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.1) | |
| A reaction: This invites the question of what that purpose is perceived to be. Some people feel an imperative to play the piano all day, so presumably genetic history has created that feeling. Presumably we can also choose a purpose, even extinction. |
| 5314 | Cultural evolution is Lamarckian and fast, biological evolution is Darwinian and slow [Wilson,EO] |
| Full Idea: Cultural evolution is Lamarckian and very fast, whereas biological evolution is Darwinian and usually very slow. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.4) | |
| A reaction: An intriguing point, given how discredited Lamarckian evolution is. It links with the Dawkins idea of 'memes' - cultural ideas which spread very fast. Is biological evolution suddenly about to become Lamarckian, as culture influences biology? |
| 5315 | Over 99 percent of human evolution has been in the hunter-gatherer phase [Wilson,EO] |
| Full Idea: Selection pressures of hunter-gatherer existence have persisted for over 99 percent of human genetic evolution. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.4) | |
| A reaction: This seems a key point to bear in mind when assessing human nature. Hunter-gathering isn't just one tendency in our genetics; it more or less constitutes everything we are. |
| 5320 | It is estimated that mankind has produced 100,000 religions [Wilson,EO] |
| Full Idea: Since the first recorded religion (in Iraq 60,000 years ago) it is estimated that mankind has produced in the order of one hundred thousand religions. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.8) | |
| A reaction: If asked to guess the number, I would probably have said '200'! This staggering figure seems to argue both ways - it suggest a certain arbitrariness in the details of religions, but an extremely intense drive to have some sort of religious belief. |