28 ideas
| 21463 | Hamann, Herder and Jacobi were key opponents of the Enlightenment [Gardner] |
| Full Idea: Hamann, Herder and Jacobi are central figues in the reaction against Enlightenment. | |
| From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 10 'immediate') | |
| A reaction: From a British perspective I would see Hume as the leading such figure. Hamann emphasised the neglect of the role of language. Jacobi was a Christian. |
| 21459 | Kant halted rationalism, and forced empiricists to worry about foundations [Gardner] |
| Full Idea: Kant's Critique swiftly brought rationalism to a halt, and after Kant empiricism has displayed a nervousness regarding its foundations, and been forced to assume more sophisticated forms. | |
| From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 10 Intro) | |
| A reaction: See the ideas of Laurence Bonjour for a modern revival of rationalism. After Kant philosophers either went existential, or stared gloomily into the obscure depths. Formal logic was seen as a possible rope ladder down. |
| 21460 | Only Kant and Hegel have united nature, morals, politics, aesthetics and religion [Gardner] |
| Full Idea: Apart from Hegel, no later philosophical system equals in stature Kant's attempt to weld together the diverse fields of natural science, morality, politics, aesthetics and religion into a systematic overarching epistemological and metaphysical unity. | |
| From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 10) | |
| A reaction: Earlier candidate are Plato and Aristotle. Earlier Enlightenment figures say little about morality or aesthetics. Hobbes ranges widely. Aquinas covered most things. |
| 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) |
| 21443 | Transcendental proofs derive necessities from possibilities (e.g. possibility of experiencing objects) [Gardner] |
| Full Idea: A transcendental proof converts a possibility into a necessity: by saying under what conditions experience of objects is possible, transcendental proofs show those conditions to be necessary for us to the extent that we have any experience of objects. | |
| From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 02 'Transc') | |
| A reaction: They appear to be hypothetical necessities, rather than true metaphysical necessities. Gardner is discussing Kant, but seems to be generalising. Hypothetical necessities are easy: if it is flying, it is necessarily above the ground. |
| 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) |
| 21444 | Modern geoemtry is either 'pure' (and formal), or 'applied' (and a posteriori) [Gardner] |
| Full Idea: There is now 'pure' geometry, consisting of formal systems based on axioms for which truth is not claimed, and which are consequently not synthetic; and 'applied', a branch of physics, the truth of which is empirical, and therefore not a priori. | |
| From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 03 'Maths') | |
| A reaction: His point is that there is no longer any room for a priori geometry. Might the same division be asserted of arithmetic, or analysis, or set theory? |
| 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) |
| 21453 | Leibnizian monads qualify as Kantian noumena [Gardner] |
| Full Idea: Leibnizian monads clearly satisfy Kant's definition of noumena. | |
| From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 06 'Noumena') | |
| A reaction: This needs qualifying, because Leibniz clearly specifies the main attributes of monads, where Kant is adamant that we can saying virtually nothing about noumena. |
| 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. |
| 15675 | We don't condemn people for being bad at reasoning [Finlayson] |
| Full Idea: We do not morally disapprove of people who are incompetent reasoners. | |
| From: James Gordon Finlayson (Habermas [2005], Ch.6:83) | |
| A reaction: Well, we don't morally disapprove simply of their lack of reasoning ability, but we may morally disapprove of their actions, which have arisen entirely from the disability. |
| 15674 | One can universalise good advice, but that doesn't make it an obligation [Finlayson] |
| Full Idea: 'Early to bed and early to rise' is a universalizable maxim, but, though it might be good advice, there is obviously no such obligation. | |
| From: James Gordon Finlayson (Habermas [2005], Ch.6:83) | |
| A reaction: I take it that Kant's rule won't distinguish moral guidance from prudential guidance. Unfair, I think. I may be a lark, but when I universalise this maxim I see that it can't be willed as a universal rule, because we should tolerate the owls. |
| 15662 | The 'culture industry' is an advertisement for the way things are [Finlayson] |
| Full Idea: Critical theory said that culture unwittingly played the role of an advertisement for the way things are. Horkheimer and Adorno referred to this phenomenon as the 'culture industry'. | |
| From: James Gordon Finlayson (Habermas [2005], Ch.1:04) | |
| A reaction: An interesting perspective. However, absolutely everything is an advertisement for what it offers. I think this is especially true of moral (and immoral) actions. |
| 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) |