39 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) |
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) |
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! |
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) |
10496 | Monothetic categories have fixed defining features, and polythetic categories do not [Ellen] |
Full Idea: Many categories are 'monothetic' (the defining set of features is always unique), and others are 'polythetic' (single features being neither essential to group membership nor sufficient to allocate an item to a group). | |
From: Roy Ellen (Anthropological Studies of Classification [1996], p.33) | |
A reaction: This seems a rather important distinction which hasn't made its way into philosophy, where there is a horrible tendency to oversimplify, with the dream of a neat and unified picture. But see Goodman's 'Imperfect Community' problem (Idea 7957). |
10497 | In symbolic classification, the categories are linked to rules [Ellen] |
Full Idea: Symbolic classification occurs when we use some things as a means of saying something about other things. ..They enhance the significance of some categories, so that categories imply rules and rules imply categories. | |
From: Roy Ellen (Anthropological Studies of Classification [1996], p.35) | |
A reaction: I'm afraid the anthropologists seem to have more of interest to say about categories than philosophers do. Though maybe we couldn't do anthropology if philosophers had made us more self-conscious about categories. Teamwork! |
10495 | Continuous experience sometimes needs imposition of boundaries to create categories [Ellen] |
Full Idea: Because parts of our experience of the world are complexly continuous, it is occasionally necessary to impose boundaries to produce categories at all. | |
From: Roy Ellen (Anthropological Studies of Classification [1996], p.33) | |
A reaction: I like it. Ellen says that people tend to universally cut nature somewhere around the joints, but we can't cope with large things, so the sea tends to be labelled in sections, even though most of the world's seas are continuous. |
16665 | There are entities, and then positive 'modes', modifying aspects outside the thing's essence [Suárez] |
Full Idea: Beyond the entities there are certain real 'modes', which are positive, and in their own right act on those entities, giving them something that is outside their whole essence as individuals existing in reality. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 7.1.17), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 13.3 | |
A reaction: Suárez is apparently the first person to formulate a proper account of properties as 'modes' of a thing, rather than as accidents which are separate, or are wholly integrated into a thing. A typical compromise proposal in philosophy. Can modes act? |
16666 | A mode determines the state and character of a quantity, without adding to it [Suárez] |
Full Idea: The inherence of quantity is called its mode, because it affects that quantity, which serves to ultimately determine the state and character of its existence, but does not add to it any new proper entity, but only modifies the preexisting entity. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 7.1.17), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 13.3 | |
A reaction: He seems to present mode as a very active thing, like someone who gives it a coat of paint, or hammers it into a new shape. I don't see how a 'mode' can have any ontological status at all. To exist, there has to be some way to exist. |
16667 | Substances are incomplete unless they have modes [Suárez, by Pasnau] |
Full Idea: In the view of Suárez, substances are radically incomplete entities that cannot exist at all until determined in various ways by things of another kind, modes. …Modes are regarded as completers for their subjects. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597]) by Robert Pasnau - Metaphysical Themes 1274-1671 13.3 | |
A reaction: This is correct. In order to be a piece of clay it needs a shape, a mass, a colour etc. Treating clay as an object independently from its shape is a misunderstanding. |
17007 | Forms must rule over faculties and accidents, and are the source of action and unity [Suárez] |
Full Idea: A form is required that, as it were, rules over all those faculties and accidents, and is the source of all actions and natural motions of such a being, and in which the whole variety of accidents and powers has its root and unity. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 15.1.7), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.4 | |
A reaction: Pasnau emphasises that this is scholastics giving a very physical and causal emphasis to forms, which made them vulnerable to doubts among the new experiment physicists. Pasnau says forms are 'metaphysical', following Leibniz. |
16780 | Partial forms of leaf and fruit are united in the whole form of the tree [Suárez] |
Full Idea: In a tree the part of the form that is in the leaf is not the same character as the part that is in the fruit., but yet they are partial forms, and apt to be united ….to compose one complete form of the whole. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 15.10.30), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 26.6 | |
A reaction: This is a common scholastic view, the main opponent of which was Aquinas, who says each thing only has one form. Do leaves have different DNA from the bark or the fruit? Presumably not (since I only have one DNA), which supports Aquinas. |
16758 | The best support for substantial forms is the co-ordinated unity of a natural being [Suárez] |
Full Idea: The most powerful arguments establishing substantial forms are based on the necessity, for the perfect constitution of a natural being, that all the faculties and operations of that being are rooted in one essential principle. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 15.10.64), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.4 | |
A reaction: Note Idea 15756, that this stability not only applies to biological entities (the usual Aristotelian examples), but also to non-living natural kinds. We might say that the drive for survival is someone united around a single entity. |
16743 | We can get at the essential nature of 'quantity' by knowing bulk and extension [Suárez] |
Full Idea: We can say that the form that gives corporeal bulk [molem] or extension to things is the essential nature of quantity. To have bulk is to expel a similar bulk from the same space. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 40.4.16), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 539 | |
A reaction: This is one step away from asking why, once we knew the bulk and extension of the thing, we would still have any interest in trying to grasp something called its 'quantity'. |
16742 | We only know essences through non-essential features, esp. those closest to the essence [Suárez] |
Full Idea: We can almost never set out the essences of things, as they are in things. Instead, we work through their connection to some non-essential feature, and we seem to succeed well enough when we spell it out through the feature closest to the essence. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 40.4.16), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 23.5 | |
A reaction: It is a common view that with geometrical figures we can actually experience the essence itself. So has science broken through, and discerned actual essences of things? |
22143 | Identity does not exclude possible or imagined difference [Suárez, by Boulter] |
Full Idea: To be really the same excludes being really other, but does not exclude being other modally or mentally. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], 7.65) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: So the statue and the clay are identical, but they could become separate, or be imagined as separate. |
22144 | Real Essential distinction: A and B are of different natural kinds [Suárez, by Boulter] |
Full Idea: The Real Essential distinction says if A and B are not of the same natural kind, then they are essentially distinct. This is the highest degree of distinction. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], Bk VII) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: Boulter says Peter is essentially distinct from a cabbage, because neither has the nature of the other. |
22146 | Minor Real distinction: B needs A, but A doesn't need B [Suárez, by Boulter] |
Full Idea: The Minor Real distinction is if A can exist without B, but B ceases to exist without A. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], Bk VII) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: This is one-way independence. Boulter's example is Peter and Peter's actual weight. |
22145 | Major Real distinction: A and B have independent existences [Suárez, by Boulter] |
Full Idea: The Major Real distinction is if A can exist in the real order without B, and B can exist in the real order without A. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], Bk VII) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: Boulter's example is the distinction between Peter and Paul, where their identity of kind is irrelevant. This is two-way independence. |
22147 | Conceptual/Mental distinction: one thing can be conceived of in two different ways [Suárez, by Boulter] |
Full Idea: The Conceptual or Mental distinction is when A and B are actually identical but we have two different ways of conceiving them. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], Bk VII) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: This is the Morning and Evening Star. I bet Frege never read Suarez. This seems to be Spinoza's concept of mind/body. |
22148 | Modal distinction: A isn't B or its property, but still needs B [Suárez, by Boulter] |
Full Idea: The Modal distinction is when A is not B or a property of B, but still could not possibly exist without B. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], Bk VII) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: Duns Scotus proposed in, Ockham rejected it, but Suarez supports it. Suarez proposes that light's dependence on the Sun is distinct from the light itself, in this 'modal' way. |
22149 | Scholastics assess possibility by what has actually happened in reality [Suárez, by Boulter] |
Full Idea: The scholastic view is that Actuality is our only guide to possibility in the real order. One knows that it is possible to separate A and B if one knows that A and B have actually been separated or are separate. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], Bk VII) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: It may be possible to separate A and B even though it has never happened, but it is hard to see how we could know that. (But if I put my pen down where it has never been before, I know I can pick it up again, even though this has not previously happened). |
10498 | Classification is no longer held to be rooted in social institutions [Ellen] |
Full Idea: The view that all classification finds its roots in social institutions is now generally considered untenable. | |
From: Roy Ellen (Anthropological Studies of Classification [1996], p.36) | |
A reaction: And about time too. Ellen (an anthropologist) inevitably emphasises the complexity of the situation, but endorses the idea that people everywhere largely cut nature at the joints. |
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. |
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. |
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) |
16682 | Other things could occupy the same location as an angel [Suárez] |
Full Idea: An angelic substance could be penetrated by other bodies in the same location. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 40.2.21), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 15.3 | |
A reaction: So am I co-located with an angel right now? |