54 ideas
| 2056 | Philosophers are always switching direction to something more interesting [Plato] |
| Full Idea: Philosophers are always ready to change direction, if a topic crops up which is more attractive than the one to hand. | |
| From: Plato (Theaetetus [c.368 BCE], 172d) | |
| A reaction: Which sounds trivial, but it may be what God does. |
| 2086 | Understanding mainly involves knowing the elements, not their combinations [Plato] |
| Full Idea: A perfect grasp of any subject depends far more on knowing elements than on knowing complexes. | |
| From: Plato (Theaetetus [c.368 BCE], 206b) |
| 2083 | Either a syllable is its letters (making parts as knowable as whole) or it isn't (meaning it has no parts) [Plato] |
| Full Idea: Either a syllable is not the same as its letters, in which case it cannot have the letters as parts of itself, or it is the same as its letters, in which case these basic elements are just as knowable as it is. | |
| From: Plato (Theaetetus [c.368 BCE], 205b) |
| 2082 | A rational account is essentially a weaving together of things with names [Plato] |
| Full Idea: Just as primary elements are woven together, so their names may be woven together to produce a spoken account, because an account is essentially a weaving together of names. | |
| From: Plato (Theaetetus [c.368 BCE], 202b) | |
| A reaction: If justification requires 'logos', and logos is a 'weaving together of names', then Plato might be taken as endorsing the coherence account of justification. Or do the two 'weavings' correspond? |
| 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) |
| 2052 | Eristic discussion is aggressive, but dialectic aims to help one's companions in discussion [Plato] |
| Full Idea: Eristic discussions involve as many tricks and traps as possible, but dialectical discussions involve being serious and correcting the interlocutor's mistakes only when they are his own fault or the result of past conditioning. | |
| From: Plato (Theaetetus [c.368 BCE], 167e) |
| 15854 | A primary element has only a name, and no logos, but complexes have an account, by weaving the names [Plato] |
| Full Idea: A primary element cannot be expressed in an account; it can only be named, for a name is all that it has. But with the things composed of these ...just as the elements are woven together, so the names can woven to become an account. | |
| From: Plato (Theaetetus [c.368 BCE], 202b01-3) | |
| A reaction: This is the beginning of what I see as Aristotle's metaphysics, as derived from his epistemology, that is, ontology is what explains, and what we can give an account [logos] of. Aristotle treats this under 'definitions'. |
| 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) |
| 10216 | We master arithmetic by knowing all the numbers in our soul [Plato] |
| Full Idea: It must surely be true that a man who has completely mastered arithmetic knows all numbers? Because there are pieces of knowledge covering all numbers in his soul. | |
| From: Plato (Theaetetus [c.368 BCE], 198b) | |
| A reaction: This clearly views numbers as objects. Expectation of knowing them all is a bit startling! They also appear to be innate in us, and hence they appear to be Forms. See Aristotle's comment in Idea 645. |
| 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) |
| 2060 | There seem to be two sorts of change: alteration and motion [Plato] |
| Full Idea: There are two kinds of change, I think: alteration and motion. | |
| From: Plato (Theaetetus [c.368 BCE], 181d) |
| 2084 | If a word has no parts and has a single identity, it turns out to be the same kind of thing as a letter [Plato] |
| Full Idea: If a complex or a syllable has no parts and is a single identity, hasn't it turned out to be the same kind of thing as an element or letter? | |
| From: Plato (Theaetetus [c.368 BCE], 205d) |
| 15844 | A sum is that from which nothing is lacking, which is a whole [Plato] |
| Full Idea: But this sum now - isn't it just when there is nothing lacking that it is a sum? Yes, necessarily. And won't this very same thing - that from which nothing is lacking - be a whole? | |
| From: Plato (Theaetetus [c.368 BCE], 205a) | |
| A reaction: This seems to be right, be rather too vague and potentially circular to be of much use. What is the criterion for deciding that nothing is lacking? |
| 15843 | The whole can't be the parts, because it would be all of the parts, which is the whole [Plato] |
| Full Idea: The whole does not consist of parts; for it did, it would be all the parts and so would be the sum. | |
| From: Plato (Theaetetus [c.368 BCE], 204e) | |
| A reaction: That is, 'the whole is the sum of its parts' is a tautology! The claim that 'the whole is more than the sum of its parts' gets into similar trouble. See Verity Harte on this. |
| 2080 | Things are only knowable if a rational account (logos) is possible [Plato] |
| Full Idea: Things which are susceptible to a rational account are knowable. | |
| From: Plato (Theaetetus [c.368 BCE], 201d) |
| 16126 | Expertise is knowledge of the whole by means of the parts [Plato] |
| Full Idea: A man has passed from mere judgment to expert knowledge of the being of a wagon when he has done so in virtue of having gone over the whole by means of the elements. | |
| From: Plato (Theaetetus [c.368 BCE], 207c) | |
| A reaction: Plato is emphasising that the expert must know the hundred parts of a wagon, and not just the half dozen main components, but here the point is to go over the whole via the parts, and not just list the parts. |
| 2050 | It is impossible to believe something which is held to be false [Plato] |
| Full Idea: It is impossible to believe something which is not the case. | |
| From: Plato (Theaetetus [c.368 BCE], 167a) |
| 2076 | How can a belief exist if its object doesn't exist? [Plato] |
| Full Idea: If the object of a belief is what is not, the object of this belief is nothing; but if there is no object to a belief, then that is not belief at all. | |
| From: Plato (Theaetetus [c.368 BCE], 189a) |
| 2045 | Perception is infallible, suggesting that it is knowledge [Plato] |
| Full Idea: Perception is always of something that is, and it is infallible, which suggests that it is knowledge. | |
| From: Plato (Theaetetus [c.368 BCE], 152c) |
| 2067 | Our senses could have been separate, but they converge on one mind [Plato] |
| Full Idea: It would be peculiar if each of us were like a Trojan horse, with a whole bunch of senses sitting inside us, rather than that all these perceptions converge onto a single identity (mind, or whatever one ought to call it). | |
| From: Plato (Theaetetus [c.368 BCE], 184d) |
| 2068 | With what physical faculty do we perceive pairs of opposed abstract qualities? [Plato] |
| Full Idea: With what physical faculty do we perceive being and not-being, similarity and dissimilarity, identity and difference, oneness and many, odd and even and other maths, ….fineness and goodness? | |
| From: Plato (Theaetetus [c.368 BCE], 185d) |
| 2078 | You might mistake eleven for twelve in your senses, but not in your mind [Plato] |
| Full Idea: Sight or touch might make someone take eleven for twelve, but he could never form this mistaken belief about the contents of his mind. | |
| From: Plato (Theaetetus [c.368 BCE], 195e) |
| 2069 | Thought must grasp being itself before truth becomes possible [Plato] |
| Full Idea: If you can't apprehend being you can't apprehend truth, and so a thing could not be known. Therefore knowledge is not located in immediate experience but in thinking about it, since the latter makes it possible to grasp being and truth. | |
| From: Plato (Theaetetus [c.368 BCE], 186c) |
| 2089 | An inadequate rational account would still not justify knowledge [Plato] |
| Full Idea: If you don't know which letters belong together in the right syllables…it is possible for true belief to be accompanied by a rational account and still not be entitled to the name of knowledge. | |
| From: Plato (Theaetetus [c.368 BCE], 208b) | |
| A reaction: In each case of justification there is a 'clinching' stage, for which there is never going to be a strict rule. It might be foundational, but equally it might be massive coherence, or no alternative. |
| 2085 | Parts and wholes are either equally knowable or equally unknowable [Plato] |
| Full Idea: Either a syllable and its letters are equally knowable and expressible in a rational account, or they are both equally unknowable and inexpressible. | |
| From: Plato (Theaetetus [c.368 BCE], 205e) | |
| A reaction: Presumably you could explain the syllable by the letters, but not vice versa, but he must mean that the explanation is worthless without the letters being explained too. So all explanation is worthless? |
| 2091 | Without distinguishing marks, how do I know what my beliefs are about? [Plato] |
| Full Idea: If I only have beliefs about Theaetetus when I don't know his distinguishing mark, how on earth were my beliefs about you rather than anyone else? | |
| From: Plato (Theaetetus [c.368 BCE], 209b) | |
| A reaction: This is a rather intellectualist approach to mental activity. Presumably Theaetetus has lots of distinguishing marks, but they are not conscious. Must Socrates know everything? |
| 2087 | A rational account might be seeing an image of one's belief, like a reflection in a mirror [Plato] |
| Full Idea: A rational account might be forming an image of one's belief, as in a mirror or a pond. | |
| From: Plato (Theaetetus [c.368 BCE], 206d) | |
| A reaction: Not promising, since the image is not going to be clearer than the original, or contain any new information. Maybe it would be clarified by being 'framed', instead of drifting in muddle. |
| 2090 | A rational account involves giving an image, or analysis, or giving a differentiating mark [Plato] |
| Full Idea: A third sort of rational account (after giving an image, or analysing elements) is being able to mention some mark which differentiates the object in question ('the sun is the brightest heavenly body'). | |
| From: Plato (Theaetetus [c.368 BCE], 208c) | |
| A reaction: This is Plato's clearest statement of what would be involved in adding the necessary logos to your true belief. An image of it, or an analysis, or an individuation. How about a cause? |
| 2081 | Maybe primary elements can be named, but not receive a rational account [Plato] |
| Full Idea: Maybe the primary elements of which things are composed are not susceptible to rational accounts. Each of them taken by itself can only be named, but nothing further can be said about it. | |
| From: Plato (Theaetetus [c.368 BCE], 201e) | |
| A reaction: This still seems to be more or less the central issue in philosophy - which things should be treated as 'primitive', and which other things are analysed and explained using the primitive tools? |
| 2088 | A rational account of a wagon would mean knowledge of its hundred parts [Plato] |
| Full Idea: In the case of a wagon, we may only have correct belief, but someone who is able to explain what it is by going through its hundred parts has got hold of a rational account. | |
| From: Plato (Theaetetus [c.368 BCE], 207b) | |
| A reaction: A wonderful example. In science, you know smoking correlates with cancer, but you only know it when you know the mechanism, the causal structure. This may be a general truth. |
| 2047 | What evidence can be brought to show whether we are dreaming or not? [Plato] |
| Full Idea: What evidence could be brought if we were asked at this very moment whether we are asleep and are dreaming all our thoughts? | |
| From: Plato (Theaetetus [c.368 BCE], 158b) |
| 2053 | If you claim that all beliefs are true, that includes beliefs opposed to your own [Plato] |
| Full Idea: To say that everyone believes what is the case, is to concede the truth of the oppositions' beliefs; in other words, the person has to concede that he himself is wrong. | |
| From: Plato (Theaetetus [c.368 BCE], 171a) |
| 2059 | How can a relativist form opinions about what will happen in the future? [Plato] |
| Full Idea: Does a relativist have any authority to decide about things which will happen in the future? | |
| From: Plato (Theaetetus [c.368 BCE], 178c) | |
| A reaction: Nice question! It seems commonsense that such speculations are possible, but without a concept of truth they are ridiculous. |
| 2054 | Clearly some people are superior to others when it comes to medicine [Plato] |
| Full Idea: In medicine, at least, most people are not self-sufficient at prescribing and effecting cures for themselves, and here some people are superior to others. | |
| From: Plato (Theaetetus [c.368 BCE], 171e) |
| 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. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 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) |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |
| 2058 | God must be the epitome of goodness, and we can only approach a divine state by being as good as possible [Plato] |
| Full Idea: It is impossible for God to be immoral and not to be the acme of morality; and the only way any of us can approximate to God is to become as moral as possible. | |
| From: Plato (Theaetetus [c.368 BCE], 176c) |
| 2057 | There must always be some force of evil ranged against good [Plato] |
| Full Idea: The elimination of evil is impossible, Theodorus; there must always be some force ranged against good. | |
| From: Plato (Theaetetus [c.368 BCE], 176a) |