30 ideas
| 8877 | We can't attain a coherent system by lopping off any beliefs that won't fit [Sosa] |
| Full Idea: Coherence involves the logical, explanatory and probabilistic relations among one's beliefs, but it could not do to attain a tightly iterrelated system by lopping off whatever beliefs refuse to fit. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.4) | |
| A reaction: This is clearly right, so the coherentist has to distinguish between lopping off a belief because it is inconvenient (fundamentalists rejecting textual contradictions), and lopping it off because it is wrong (chemists rejecting phlogiston). |
| 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) |
| 8884 | The phenomenal concept of an eleven-dot pattern does not include the concept of eleven [Sosa] |
| Full Idea: You could detect the absence of an eleven-dot pattern without having counted the dots, so your phenomenal concept of that array is not an arithmetical concept, and its content will not yield that its dots do indeed number eleven. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.3) | |
| A reaction: Sosa is discussing foundational epistemology, but this draws attention to the gulf that has to be leaped by structuralists. If eleven is not derived from the pattern, where does it come from? Presumably two eleven-dotters are needed, to map them. |
| 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) |
| 8878 | It is acceptable to say a supermarket door 'knows' someone is approaching [Sosa] |
| Full Idea: I am quite flexible on epistemic terminology, and am even willing to grant that a supermarket door can 'know' that someone is approaching. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.6) | |
| A reaction: I take this amazing admission to be a hallmark of externalism. Sosa must extend this to thermostats. So flowers know the sun has come out. This is knowledge without belief. Could the door ever be 'wrong'? |
| 8880 | In reducing arithmetic to self-evident logic, logicism is in sympathy with rationalism [Sosa] |
| Full Idea: In trying to reduce arithmetic to self-evident logical axioms, logicism is in sympathy with rationalism. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.7) | |
| A reaction: I have heard Frege called "the greatest of all rationalist philosophers". However, the apparent reduction of arithmetic to analytic truths played into the hands of logical positivists, who could then marginalise arithmetic. |
| 8881 | Most of our knowledge has insufficient sensory support [Sosa] |
| Full Idea: Almost nothing that one knows of history or geography or science has adequate sensory support, present or even recalled. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.7) | |
| A reaction: This seems a bit glib, and may be false. The main issue to which this refers is, of course, induction, which (almost by definition) is a supposedly empirical process which goes beyond the empirical evidence. |
| 8882 | Perception may involve thin indexical concepts, or thicker perceptual concepts [Sosa] |
| Full Idea: There is a difference between having just an indexical concept which one can apply to a perceptual characteristic (just saying 'this is thus'), and having a thicker perceptual concept of that characteristic. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.2) | |
| A reaction: Both of these, of course, would precede any categorial concepts that enabled one to identify the characteristic or the object. This is a ladder foundationalists must climb if they are to reach the cellar of basic beliefs. |
| 8883 | Do beliefs only become foundationally justified if we fully attend to features of our experience? [Sosa] |
| Full Idea: Are foundationally justified beliefs perhaps those that result from attending to our experience and to features of it or in it? | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.3) | |
| A reaction: A promising suggestion. I do think our ideas acquire a different epistmological status once we have given them our full attention, though is that merely full consciousness, or full thoughtful evaluation? The latter I take to be what matters. Cf Idea 2414. |
| 8885 | Some features of a thought are known directly, but others must be inferred [Sosa] |
| Full Idea: Some intrinsic features of our thoughts are attributable to them directly, or foundationally, while others are attributable only based on counting or inference. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.5) | |
| A reaction: In practice the brain combines the two at a speed which makes the distinction impossible. I'll show you ten dot-patterns: you pick out the sixer. The foundationalist problem is that only those drained of meaning could be foundational. |
| 8876 | Much propositional knowledge cannot be formulated, as in recognising a face [Sosa] |
| Full Idea: Much of our propositional knowledge is not easily formulable, as when a witness looking at a police lineup may know what the culprit's face looks like. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.1) | |
| A reaction: This is actually a very helpful defence of foundationalism, because it shows that we will accept perceptual experiences as knowledge when they are not expressed as explicit propositions. Davidson (Idea 8801), for example, must deal with this difficulty. |
| 8879 | Fully comprehensive beliefs may not be knowledge [Sosa] |
| Full Idea: One's beliefs can be comprehensively coherent without amounting to knowledge. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.6) | |
| A reaction: Beliefs that are fully foundational or reliably sourced may also fail to be knowledge. I take it that any epistemological theory must be fallibilist (Idea 6898). Rational coherentism will clearly be sensitive to error. |
| 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. |
| 4316 | Either all action is rational, or reason dominates, or reason is only concerned with means [Cottingham] |
| Full Idea: We can distinguish rational exclusivism (all activity is guided by reason - Plato and Spinoza), rational hegemonism (all action is dominated by reason), and rational instrumentalism (reason assesses means rather than ends - Hume). | |
| From: John Cottingham (Reason, Emotions and Good Life [2000]) | |
| A reaction: The idea that reason is the only cause of actions seems deeply implausible, but I strongly resist Hume's instrumental approach. Action without desire is not a contradiction. |
| 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) |