29 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'. |
| 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 |
| 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 |
| 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) | |
| A reaction: Is that 'first' in time, or in priority? If they are the grounds of being, how could there ever be non-necessary existents? Why would necessary being permit intruders? |
| 6230 | If the soul were a tabula rasa, with no innate ideas, there could be no moral goodness or justice [Cudworth] |
| Full Idea: The soul is not a mere rasa tabula, a naked and passive thing, with no innate furniture of its own, nor any thing in it, but what was impressed upon it without; for then there could not possibly be any such thing as moral good and evil, just and unjust. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Bk IV Ch 6.4) | |
| A reaction: He goes on to quote Hobbes saying there is no good in objects themselves. I don't see why we must have an innate moral capacity, provided that we have a capacity to make judgements. |
| 6228 | Senses cannot judge one another, so what judges senses cannot be a sense, but must be superior [Cudworth] |
| Full Idea: The sight cannot judge of sounds, nor the hearing of light and colours; wherefore that which judges of all the senses and their several objects, cannot be itself any sense, but something of a superior nature. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.VI.1) | |
| A reaction: How nice to find a seventeenth century English writer rebelling against empiricism! |
| 6229 | Sense is fixed in the material form, and so can't grasp abstract universals [Cudworth] |
| Full Idea: Sense which lies flat and grovelling in the individuals, and is stupidly fixed in the material form, is not able to rise up or ascend to an abstract universal notion. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.III.III.2) | |
| A reaction: This still strikes me as being one of the biggest problems with reductive physicalism, that a lump of meat in your head can grasp abstractions (whatever they are) and universal concepts. Personally I am a physicalist, but it is weird. |
| 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. |
| 6227 | Keeping promises and contracts is an obligation of natural justice [Cudworth] |
| Full Idea: To keep faith and perform covenants is that which natural justice obligeth to absolutely. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.4) | |
| A reaction: A nice example of an absolute moral intuition, but one which can clearly be challenged. Covenants (contracts) wouldn't work unless everyone showed intense commitment to keeping them, even beyond the grave, and we all benefit from good contracts. |
| 22442 | If lies were ever acceptable, with would undermine all duties based on contract [Kant] |
| Full Idea: Truthfulness is a duty that must be regarded as the basis of all duties to be grounded on a contract, the law of which is made uncertain and useless if even the least exception to it is admitted. | |
| From: Immanuel Kant (On a supposed right to lie [1797], p.30) | |
| A reaction: Should we keep contracts which are made by means of deception and coercion? Where could such absolute authority for contracts come from? Do contracts and treaties tend to lapse after a long period of time? |
| 22441 | The law will protect you if you tell a truth which results in murder [Kant] |
| Full Idea: If you have by a lie prevented someone bent on murder from committing the deed, then you are legally accountable for all the consequences that might arise from it. But if you keep strictly to the truth, then public justice can hold nothing against you. | |
| From: Immanuel Kant (On a supposed right to lie [1797], p.29) | |
| A reaction: Shocking, from a supposedly great thinker. Cowardly hiding behind a perverse law. What would Kant do if the law were changed, to condemn someone who told a truth which would probably lead to a murder? Would he accept a jail sentence? |
| 6225 | Obligation to obey all positive laws is older than all laws [Cudworth] |
| Full Idea: Obligation to obey all positive laws is older than all laws. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.3) | |
| A reaction: Clearly villains can pass wicked laws, so there can't be an obligation to obey all laws (even if they are 'positive', which seems to beg the question). Nevertheless this is a good reason why laws cannot be the grounding of morality. |
| 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) |
| 6224 | An omnipotent will cannot make two things equal or alike if they aren't [Cudworth] |
| Full Idea: Omnipotent will cannot make things like or equal one to another, without the natures of likeness and equality. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.I) | |
| A reaction: This is one of the many classic 'paradoxes of omnipotence'. The best strategy is to define omnipotence as 'being able to do everything which it is possible to do'. Anything beyond that is inviting paradoxical disaster. |
| 6223 | If the will and pleasure of God controls justice, then anything wicked or unjust would become good if God commanded it [Cudworth] |
| Full Idea: If the arbitrary will and pleasure of God is the first and only rule of good and justice, it follows that nothing can be so grossly wicked or unjust but if it were commanded by this omnipotent Deity, it must forthwith become holy, just and righteous. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.I.I.5) | |
| A reaction: This is the strong (Platonic) answer to the Euthyphro Question (Idea 336). One answer is that God would not command in such a way - but why not? We may say that God and goodness merge into one, but we are interested in ultimate authority. |
| 6226 | The requirement that God must be obeyed must precede any authority of God's commands [Cudworth] |
| Full Idea: If it were not morally good and just in its own nature before any positive command of God, that God should be obeyed by his creatures, the bare will of God himself could not beget any obligation upon anyone. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.3) | |
| A reaction: This strikes me as a self-evident truth, and a big problem for anyone who wants to make God the source of morality. You don't have to accept anyone's authority just because they are powerful or clever (though they do bestow a certain natural authority!). |