33 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) |
| 8830 | A belief can be justified when the person has forgotten the evidence for it [Goldman] |
| Full Idea: A characteristic case in which a belief is justified though the cognizer doesn't know that it's justified is where the original evidence for the belief has long since been forgotten. | |
| From: Alvin I. Goldman (What is Justified Belief? [1976], II) | |
| A reaction: This is a central problem for any very literal version of internalism. The fully rationalist view (to which I incline) will be that the cognizer must make a balanced assessment of whether they once had the evidence. Were my teachers any good? |
| 8832 | If justified beliefs are well-formed beliefs, then animals and young children have them [Goldman] |
| Full Idea: If one shares my view that justified belief is, at least roughly, well-formed belief, surely animals and young children can have justified beliefs. | |
| From: Alvin I. Goldman (What is Justified Belief? [1976], III) | |
| A reaction: I take this to be a key hallmark of the externalist view of knowledge. Personally I think we should tell the animals that they have got true beliefs, but that they aren't bright enough to aspire to 'knowledge'. Be grateful for what you've got. |
| 8829 | Justification depends on the reliability of its cause, where reliable processes tend to produce truth [Goldman] |
| Full Idea: The justificational status of a belief is a function of the reliability of the processes that cause it, where (provisionally) reliability consists in the tendency of a process to produce beliefs that are true rather than false. | |
| From: Alvin I. Goldman (What is Justified Belief? [1976], II) | |
| A reaction: Goldman's original first statement of reliabilism, now the favourite version of externalism. The obvious immediate problem is when a normally very reliable process goes wrong. Wise people still get it wrong, or right for the wrong reasons. |
| 7621 | Special relativity, unlike general relativity, was operationalist in spirit [Putnam on Einstein] |
| Full Idea: Einstein's interpretation of special relativity was operationalist in spirit (in marked contrast to the interpretation he gave to general relativity). | |
| From: comment on Albert Einstein (works [1915]) by Hilary Putnam - Reason, Truth and History Ch.5 | |
| A reaction: The late twentieth century was polluted with daft relativism, and I hold Einstein partly responsible, suspecting that he was a bad philosopher. The later development of Einstein's view noted here is interesting. |
| 8831 | Introspection is really retrospection; my pain is justified by a brief causal history [Goldman] |
| Full Idea: Introspection should be regarded as a form of retrospection. Thus, a justified belief that I am 'now' in pain gets its justificational status from a relevant, though brief, causal history. | |
| From: Alvin I. Goldman (What is Justified Belief? [1976], II) | |
| A reaction: He cites Hobbes and Ryle as having held this view. See Idea 6668. I am unclear why the history must be 'causal'. I may not know the cause of the pain. I may not believe an event which causes a proposition, or I may form a false belief from it. |
| 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. |
| 22955 | Einstein took causation to be the bedrock of physics [Einstein, by Coveney/Highfield] |
| Full Idea: It is difficult to overplay Einstein's commitment to the concept of causality as the bedrock of physics. | |
| From: report of Albert Einstein (works [1915]) by P Coveney / R Highfield - The Arrow of Time 3 'problem' | |
| A reaction: I normally avoid arguments from authority, but this carries a bit of weight (e.g. when Russell tries to oppose it). What happens to Einstein's theories if you remove causation from them? |
| 20638 | General relativity assumes laws of nature are the same in all frames of reference [Einstein, by Close] |
| Full Idea: Einstein came to general relativity from the principles that the laws of nature are the same in all frames of reference. | |
| From: report of Albert Einstein (works [1915]) by Frank Close - Theories of Everything 5 'Cosmological' | |
| A reaction: I wish physicists would tell us a bit more about the ontological status of the 'laws of nature'. Presumably they are not supernatural, so there is an aspect of nature which is constant in all frames of reference. Explanation please. |
| 20636 | Newton is a special case of Einstein's general theory, with an infinite speed of light [Einstein, by Close] |
| Full Idea: Einstein's general relativity included Newton's theory as a special case: Newton's theory corresponds to the speed of light being infinite relative to the speed of the interacting bodies. | |
| From: report of Albert Einstein (works [1915]) by Frank Close - Theories of Everything 5 'Gravity' | |
| A reaction: So Newton's theory was NOT wrong, but he made the false assumption that the speed of light was infinite. |
| 21230 | The theory is 'special' because it sticks to observers moving straight, at constant speeds [Einstein, by Farmelo] |
| Full Idea: Einstein's first theory is 'special' because it only deals with observers who move in a straight line at constant speeds with respect to one another. | |
| From: report of Albert Einstein (works [1915]) by Graham Farmelo - The Strangest Man 03 | |
| A reaction: Most theories of this period seem to have focused on the simplest cases, for obvious reasons. |
| 21231 | Assume the speed of light is constant for all observers, and the laws of physics are the same [Einstein, by Farmelo] |
| Full Idea: Einstein assumed that when each observer measures the speed of light in a vacuum, they find the same value, regardless of their speed; and that measurements will lead to agreement on the laws of physics. | |
| From: report of Albert Einstein (works [1915]) by Graham Farmelo - The Strangest Man 03 | |
| A reaction: So are the laws of physics constant for all observers, irrespective of their speed? |
| 20634 | General Relativity says there is no absolute force or acceleration [Einstein, by Close] |
| Full Idea: Einstein's General Theory arose from the idea that there is no absolute measure of force and acceleration. | |
| From: report of Albert Einstein (works [1915]) by Frank Close - Theories of Everything 5 'Gravity' | |
| A reaction: If absolutely everything is only true relative to something else you wonder what the point of measuring anything is. How big can a 'frame of reference' or 'inertial frame' be. Is the multiverse a frame of reference? |
| 20648 | Mass is a measure of energy content [Einstein] |
| Full Idea: The mass of a body is the measure of its energy content. | |
| From: Albert Einstein (works [1915]), quoted by Peter Watson - Convergence 04 'Intro' | |
| A reaction: If I knew what energy was, this would be very illuminating. This idea is e=mc^2 in words. We now have the Higgs field to consider when trying to understand mass. |
| 21232 | Space-time arises from the connection between measurements of space and of time [Einstein, by Farmelo] |
| Full Idea: Einstein noted that the measurements of space and time are not independent but inextricably linked, leading to the idea of unified space-time (introduced by his former teacher Minkowski). | |
| From: report of Albert Einstein (works [1915]) by Graham Farmelo - The Strangest Man 03 | |
| A reaction: Notice the instrumentalist assumptions behind this. |
| 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) |
| 7626 | I do not believe in a personal God [Einstein] |
| Full Idea: I do not believe in a personal God and I have never denied this but have expressed it clearly. | |
| From: Albert Einstein (works [1915]), quoted by Richard Dawkins - The God Delusion Ch.1.15 | |
| A reaction: This is an important corrective to those who claim Einstein as religious, on the basis of remarks about God not playing dice etc. See the whole of Dawkins's chapter on Einstein for full discussion. |