28 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) |
| 10185 | Set theory is the standard background for modern mathematics [Burgess] |
| Full Idea: In present-day mathematics, it is set theory that serves as the background theory in which other branches of mathematics are developed. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: [He cites Bourbaki as an authority for this] See Benacerraf for a famous difficulty here, when you actually try to derive an ontology from the mathematicians' working practices. |
| 10184 | Structuralists take the name 'R' of the reals to be a variable ranging over structures, not a structure [Burgess] |
| Full Idea: On the structuralist interpretation, theorems of analysis concerning the real numbers R are about all complete ordered fields. So R, which appears to be the name of a specific structure, is taken to be a variable ranging over structures. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: Since I am beginning to think that nearly all linguistic expressions should be understood as variables, I find this very appealing, even if Burgess hates it. Terms slide and drift, and are vague, between variable and determinate reference. |
| 10189 | There is no one relation for the real number 2, as relations differ in different models [Burgess] |
| Full Idea: One might meet the 'Van Inwagen Problem' by saying that the intrinsic properties of the object playing the role of 2 will differ from one model to another, so that no statement about the intrinsic properties of 'the' real numbers will make sense. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §5) | |
| A reaction: There seems to be a potential confusion among opponents of structuralism between relations at the level of actual mathematical operations, and generalisations about relations, which are captured in the word 'patterns'. Call them 'meta-relations'? |
| 10186 | If set theory is used to define 'structure', we can't define set theory structurally [Burgess] |
| Full Idea: It is to set theory that one turns for the very definition of 'structure', ...and this creates a problem of circularity if we try to impose a structuralist interpretation on set theory. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: This seems like a nice difficulty, especially if, like Shapiro, you wade in and try to give a formal account of structures and patterns. Resnik is more circumspect and vague. |
| 10187 | Abstract algebra concerns relations between models, not common features of all the models [Burgess] |
| Full Idea: Abstract algebra, such as group theory, is not concerned with the features common to all models of the axioms, but rather with the relationships among different models of those axioms (especially homomorphic relation functions). | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: It doesn't seem to follow that structuralism can't be about the relations (or patterns) found when abstracting away and overviewing all the models. One can study family relations, or one can study kinship in general. |
| 10188 | How can mathematical relations be either internal, or external, or intrinsic? [Burgess] |
| Full Idea: The 'Van Inwagen Problem' for structuralism is of explaining how a mathematical relation (such as set membership, or the ratios of an ellipse) can fit into one of the three scholastics types of relations: are they internal, external, or intrinsic? | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §5) | |
| A reaction: The difficulty is that mathematical objects seem to need intrinsic properties to get any of these three versions off the ground (which was Russell's complaint against structures). |
| 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) |
| 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. |
| 6000 | The goal is rationality in the selection of things according to nature [Diogenes of Babylon, by Blank] |
| Full Idea: Diogenes of Babylon defined the goal to be rationality in the selection and rejection of the things according to nature. | |
| From: report of Diogenes (Bab) (fragments/reports [c.180 BCE]) by D.L. Blank - Diogenes of Babylon | |
| A reaction: This captures the central Stoic idea quite nicely. 'Live according to nature', but this always meant 'live according to reason', because that is (as Aristotle had taught) the essence of our nature. This only makes sense if reason and nature coincide. |
| 5999 | The good is what is perfect by nature [Diogenes of Babylon, by Blank] |
| Full Idea: Diogenes of Babylon defined the good as what is perfect by nature. | |
| From: report of Diogenes (Bab) (fragments/reports [c.180 BCE]) by D.L. Blank - Diogenes of Babylon | |
| A reaction: This might come close to G.E. Moore's Ideal Utilitarianism, but its dependence on the rather uneasy of concept of 'perfection' makes it questionable. Personally I find it appealing. I wish we had Diogenes' explanation. |
| 6001 | Justice is a disposition to distribute according to desert [Diogenes of Babylon, by Blank] |
| Full Idea: Diogenes of Babylon defined justice as the disposition which distributes to everyone what he deserves. | |
| From: report of Diogenes (Bab) (fragments/reports [c.180 BCE]) by D.L. Blank - Diogenes of Babylon | |
| A reaction: The questions that arise would be 'what does a new-born baby deserve?', and 'what do animals deserve?', and 'does the lowest and worst of criminals deserve anything at all?' |
| 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) |