34 ideas
| 1708 | In "Callias is just/not just/unjust", which of these are contraries? [Aristotle] |
| Full Idea: Take, for example, "Callias is just", "Callias is not just", and "Callias is unjust"; which of these are contraries? | |
| From: Aristotle (On Interpretation [c.330 BCE], 23a31) |
| 13070 | If definitions must be general, and general terms can't individuate, then Socrates can't be defined [Aquinas, by Cover/O'Leary-Hawthorne] |
| Full Idea: Socrates has no definition if definitions by their nature must be in purely general terms, and if no purely general terms can succeed in uniquely singling out this signated matter. | |
| From: report of Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], 23) by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 1.1.2 | |
| A reaction: There seem to be two models. That general terms actually individuate the matter of Socrates, or that they cross-reference to (so to speak) define Socrates 'by elimination', as the only individual that fits. But the latter is a poor definition. |
| 11197 | The definitions expressing identity are used to sort things [Aquinas] |
| Full Idea: What sorts things into their proper genus and species are the definitions that express what they are. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.92) | |
| A reaction: This is straight from Aristotle, though Aristotle's view is a little more complex, I think. If the definitions 'express what they are', then definitions seem to specify the essence. |
| 1703 | It is necessary that either a sea-fight occurs tomorrow or it doesn't, though neither option is in itself necessary [Aristotle] |
| Full Idea: It is not necessary for a sea-battle to take place tomorrow, nor for one not to take place tomorrow - though it is necessary for one to take place OR not take place tomorrow. | |
| From: Aristotle (On Interpretation [c.330 BCE], 19a30) |
| 1704 | Statements are true according to how things actually are [Aristotle] |
| Full Idea: Statements are true according to how things actually are. | |
| From: Aristotle (On Interpretation [c.330 BCE], 19a33) |
| 22272 | Aristotle's later logic had to treat 'Socrates' as 'everything that is Socrates' [Potter on Aristotle] |
| Full Idea: When Aristotle moved from basic name+verb (in 'De Interpretatione') to noun+noun logic...names had to be treated as special cases, so that 'Socrates' is treated as short for 'everything that is Socrates'. | |
| From: comment on Aristotle (On Interpretation [c.330 BCE]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Supp' | |
| A reaction: Just the sort of rewriting that Russell introduced for definite descriptions. 'Twas ever the logicians' fate to shoehorn ordinary speech into awkward containers. |
| 9405 | Square of Opposition: not both true, or not both false; one-way implication; opposite truth-values [Aristotle] |
| Full Idea: Square of Opposition: horizontals - 'contraries' can't both be true, and 'subcontraries' can't both be false; verticals - 'subalternatives' have downwards-only implication; diagonals - 'contradictories' have opposite truth values. | |
| From: Aristotle (On Interpretation [c.330 BCE], Ch.12-13) | |
| A reaction: This is still used in modern discussion (e.g. by Stalnaker against Kripke), and there is a modal version of it (Fitting and Mendelsohn p.7). Corners read: 'All F are G', 'No F are G', 'Some F are G' and 'Some F are not G'. |
| 9728 | Modal Square 1: □P and ¬◊¬P are 'contraries' of □¬P and ¬◊P [Aristotle, by Fitting/Mendelsohn] |
| Full Idea: Modal Square of Opposition 1: 'It is necessary that P' and 'It is not possible that not P' are the contraries (not both true) of 'It is necessary that not P' and 'It is not possible that P'. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], Ch.12a) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4 |
| 9729 | Modal Square 2: ¬□¬P and ◊P are 'subcontraries' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
| Full Idea: Modal Square of Opposition 2: 'It is not necessary that not P' and 'It is possible that P' are the subcontraries (not both false) of 'It is not necessary that P' and 'It is possible that not P'. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], Ch.12b) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4 |
| 9730 | Modal Square 3: □P and ¬◊¬P are 'contradictories' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
| Full Idea: Modal Square of Opposition 3: 'It is necessary that P' and 'It is not possible that not P' are the contradictories (different truth values) of 'It is not necessary that P' and 'It is possible that not P'. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], Ch.12c) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4 |
| 9731 | Modal Square 4: □¬P and ¬◊P are 'contradictories' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn] |
| Full Idea: Modal Square of Opposition 4: 'It is necessary that not P' and 'It is not possible that P' are the contradictories (different truth values) of 'It is not necessary that not P' and 'It is possible that P'. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], Ch.12d) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4 |
| 9732 | Modal Square 5: □P and ¬◊¬P are 'subalternatives' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn] |
| Full Idea: Modal Square of Opposition 5: 'It is necessary that P' and 'It is not possible that not P' are the subalternatives (first implies second) of 'It is not necessary that not P' and 'It is possible that P'. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], Ch.12e) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4 |
| 9733 | Modal Square 6: □¬P and ¬◊P are 'subalternatives' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
| Full Idea: Modal Square of Opposition 6: 'It is necessary that not P' and 'It is not possible that P' are the subalternatives (first implies second) of 'It is not necessary that P' and 'It is possible that not P'. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], Ch.12f) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4 |
| 21593 | In talking of future sea-fights, Aristotle rejects bivalence [Aristotle, by Williamson] |
| Full Idea: Unlike Aristotle, Stoics did not reject Bivalence for future contingencies; it is true or false that there will be a sea-fight tomorrow. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], 19a31) by Timothy Williamson - Vagueness 1.2 | |
| A reaction: I'd never quite registered this simple account of the sea-fight. As Williamson emphasises, one should not lightly reject the principle of bivalence. Has Aristotle entered a slippery slope? Stoics disagreed with Aristotle. |
| 1701 | A prayer is a sentence which is neither true nor false [Aristotle] |
| Full Idea: A prayer is a sentence which is neither true nor false. | |
| From: Aristotle (On Interpretation [c.330 BCE], 17a01) |
| 10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
| Full Idea: Contradiction is not a sign of falsity, nor the lack of contradiction a sign of truth. | |
| From: Blaise Pascal (works [1660]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: [Quoted in Auden and Kronenberger's Book of Aphorisms] Presumably we would now say that contradiction is a purely formal, syntactic notion, and not a semantic one. If you hit a contradiction, something has certainly gone wrong. |
| 1706 | Non-existent things aren't made to exist by thought, because their non-existence is part of the thought [Aristotle] |
| Full Idea: It is not true to say that what is not, since it is thought about, is something that is; for what is thought about it is not that it is, but that it is not. | |
| From: Aristotle (On Interpretation [c.330 BCE], 21a31) | |
| A reaction: At least there has been one philosopher who was quite clear about the distinction between a thought and what the thought is about (its content). Often forgotten! |
| 11195 | If affirmative propositions express being, we affirm about what is absent [Aquinas] |
| Full Idea: If being is what makes propositions true, then anything we can express in an affirmative proposition, however unreal, is said to be; so lacks and absences are, since we say that absences are opposed to presences, and blindness exists in an eye. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.92) | |
| A reaction: See Idea 11194 for the alternative Aristotelian approach to being, according to categories. Do absences and lacks have real essences, or causal properties? The absence of the sentry may cause the loss of the city. |
| 1707 | Maybe necessity and non-necessity are the first principles of ontology [Aristotle] |
| Full Idea: Perhaps the necessary and non-necessary are first principles of everything's either being or not being. | |
| From: Aristotle (On Interpretation [c.330 BCE], 23a18) |
| 11201 | Properties have an incomplete essence, with definitions referring to their subject [Aquinas] |
| Full Idea: Incidental properties have an incomplete essence, and need to refer in their definitions to their subject, lying outside their own genus. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.93) | |
| A reaction: These are 'incidental' properties, but it is a nice question whether properties have essences. Presumably they must have if they are universals, or platonic Forms. The notion of being 'strong' can be defined without specific examples. |
| 11205 | If the form of 'human' contains 'many', Socrates isn't human; if it contains 'one', Socrates is Plato [Aquinas] |
| Full Idea: If (in the Platonic view) manyness was contained in humanness it could never be one as it is in Socrates, and if oneness was part of its definition then Socrates would be Plato and the nature couldn't be realised more than once. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.100) | |
| A reaction: I suppose the reply is that since we are trying to explain one-over-many, then this unusual combination of both manyness and oneness is precisely what distinguishes forms from other ideas. |
| 13090 | The principle of diversity for corporeal substances is their matter [Aquinas, by Cover/O'Leary-Hawthorne] |
| Full Idea: In the view of Aquinas, while substantial form is the ultimate ground of identity and difference of angels, it is matter that provides a principle of diversity in the case of corporeal substances. | |
| From: report of Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267]) by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 5.2.3 | |
| A reaction: This is at least as good a proposal as their apatial location. There is more chance of reidentifying matter than of precisely reidentifying a spatial location. Two indistinguishable spheres remain the classic problem case (of Max Black, Idea 10195) |
| 11202 | It is by having essence that things exist [Aquinas] |
| Full Idea: It is by having essence that things exist. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.94) | |
| A reaction: Compare Idea 11199, which gives a fuller picture. This idea seems to suggest essence as the cause of existence, which sounds wrong. Perhaps essence is a necessary condition of existence, but it is necessary that nothing indeterminate can exist? |
| 11203 | Specific individual essence is defined by material, and generic essence is defined by form [Aquinas] |
| Full Idea: Specific essence differs from generic essence by being demarcated: individuals are demarcated within species by dimensionally defined material, but species within genus by a defining differentiation taken from the form. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.95) | |
| A reaction: It clearly won't be enough to define an individual just to define its material and its shape. The material might also be essential to the genus, as when defining fire. Probably not very helpful. |
| 11200 | The definition of a physical object must include the material as well as the form [Aquinas] |
| Full Idea: Form alone cannot be a composite substance's essence. For a thing's essence is expressed by its definition, and unless the definition of a physical substance included both form and material, the definition wouldn't differ from mathematical objects. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.93) | |
| A reaction: This is the sort of thoroughly sensible remark that you only get from the greatest philosophers. Minor philosophers fall in love with things like forms, and then try to use them to explain everything. |
| 11196 | Essence is something in common between the natures which sort things into categories [Aquinas] |
| Full Idea: Since being as belonging to a category expresses the 'isness' of things, and belongs to all ten Aristotelian categories, essence must be something all the natures that sort different beings into genera and species have in common. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.92) | |
| A reaction: I like this because it is the essence which does the sorting, not the sorting which defines the essence (which seems to me to be a deep and widespread confusion). |
| 11208 | A simple substance is its own essence [Aquinas] |
| Full Idea: A simple substance is its own essence. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.103) | |
| A reaction: Aquinas takes complex substances to have their essences in various ways, but this thought is the basis of all essence. Presumably the Greek word 'ousia' names the key ingredient. |
| 11198 | Definition of essence makes things understandable [Aquinas] |
| Full Idea: It is definition of essence that makes things understandable. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.92) | |
| A reaction: The aim of philosophy is understanding, which is achieved by successful explanation. I totally agree with this Aristotelian view, so neatly summarised by Aquinas. |
| 2337 | For Aristotle meaning and reference are linked to concepts [Aristotle, by Putnam] |
| Full Idea: In 'De Interpretatione' Aristotle laid out an enduring theory of reference and meaning, in which we understand a word or any other sign by associating that word with a concept. This concept determines what the word refers to. | |
| From: report of Aristotle (On Interpretation [c.330 BCE]) by Hilary Putnam - Representation and Reality 2 p.19 | |
| A reaction: Sounds right to me, despite all this Wittgensteinian stuff about beetles in boxes. When you meet a new technical term in philosophy, you must struggle to fully grasp the concept it proposes. |
| 11206 | The mind constructs complete attributions, based on the unified elements of the real world [Aquinas] |
| Full Idea: Attribution is something mind brings to completion by constructing propositional connections and disconnections, basing itself on real-world unity possessed by the things being attributed to one another. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.102) | |
| A reaction: This compromise story seems to me to be exactly right. I take it that we respond to the real joints of nature, but using thought and language which is riddled with convention. |
| 13763 | Spoken sounds vary between people, but are signs of affections of soul, which are the same for all [Aristotle] |
| Full Idea: Spoken sounds are symbols of affections in the soul, ...and just as written marks are not the same for all men, neither are spoken sounds. But what these are in the first place signs of - affections of the soul - are the same for all. | |
| From: Aristotle (On Interpretation [c.330 BCE], 16a03-08) | |
| A reaction: Loux identifies this passage as the source of the 'conceptualist' view of propositions, which I immediately identify with. The view that these propositions are 'the same for all' is plausible for normal objects, but dubious for complex abstractions. |
| 1705 | It doesn't have to be the case that in opposed views one is true and the other false [Aristotle] |
| Full Idea: It is not necessary that of every affirmation and opposite negation one should be true and the other false. For what holds for things that are does not hold for things that are not but may possibly be or not be. | |
| From: Aristotle (On Interpretation [c.330 BCE], 19a39) | |
| A reaction: Thus even if Bivalence holds, and the only truth-values are T and F, it doesn't follow that Excluded Middle holds, which says that every proposition must have one of those two values. |
| 11207 | A cause can exist without its effect, but the effect cannot exist without its cause [Aquinas] |
| Full Idea: When things are so related that one causes the other to exist, the cause can exist without what it causes but not vice versa. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.103) | |
| A reaction: This is open to question, if causes are supposed to be sufficient for effects. Presumably Aquinas would support the view that if the cause had not been, the effect would not have happened. But the current idea indicates the priority relation. |
| 1702 | Things may be necessary once they occur, but not be unconditionally necessary [Aristotle] |
| Full Idea: To say that everything that is, is of necessity, when it is, is not the same as saying unconditionally that it is of necessity. | |
| From: Aristotle (On Interpretation [c.330 BCE], 19a25) |