79 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) |
| 22270 | Frege changed philosophy by extending logic's ability to check the grounds of thinking [Potter on Frege] |
| Full Idea: Frege's 1879 logic transformed philosophy because it greatly expanded logic's reach - what thought can achieve unaided - and hence compelled a re-examination of everything previously said about the grounds of thought when logic gives out. | |
| From: comment on Gottlob Frege (Begriffsschrift [1879]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 Intro | |
| A reaction: I loved the gloss on logic as 'what thought can achieve unaided'. I largely see logic in terms of what is mechanically computable. |
| 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? |
| 8939 | We should not describe human laws of thought, but how to correctly track truth [Frege, by Fisher] |
| Full Idea: Frege disagree that logic should merely describe the laws of thought - how people actually did reason. Logic is essentially normative, not descriptive. We want the one logic which successfully tracks the truth. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Jennifer Fisher - On the Philosophy of Logic 1.III | |
| A reaction: This explains Frege's sustained attack on psychologism, and it also explains we he ended up as a platonist about logic - because he wanted its laws to be valid independently of human thinking. A step too far, perhaps. Brains are truth machines. |
| 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'. |
| 4971 | I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege] |
| Full Idea: A distinction of subject and predicate finds no place in my way of representing a judgement. | |
| From: Gottlob Frege (Begriffsschrift [1879], §03) | |
| A reaction: Perhaps this sentence could be taken as the beginning of modern analytical philosophy. The old view doesn't seem to me entirely redundant - merely replaced by a much more detailed analysis of what makes a 'subject' and what makes a 'predicate'. |
| 17745 | For Frege, 'All A's are B's' means that the concept A implies the concept B [Frege, by Walicki] |
| Full Idea: 'All A's are B's' meant for Frege that the concept A implies the concept B, or that to be A implies also to be B. Moreover this applies to arbitrary x which happens to be A. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Michal Walicki - Introduction to Mathematical Logic History D.2 | |
| A reaction: This seems to hit the renate/cordate problem. If all creatures with hearts also have kidneys, does that mean that being enhearted logically implies being kidneyfied? If all chimps are hairy, is that a logical requirement? Is inclusion implication? |
| 7728 | Frege has a judgement stroke (vertical, asserting or judging) and a content stroke (horizontal, expressing) [Frege, by Weiner] |
| Full Idea: Frege distinguished between asserting a proposition and expressing it, and he introduced the judgement stroke (a small vertical line, assertion) and the content stroke (a long horizontal line, expression) to represent them. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege Ch.3 | |
| A reaction: There are also strokes for conditional and denial. |
| 16881 | The laws of logic are boundless, so we want the few whose power contains the others [Frege] |
| Full Idea: Since in view of the boundless multitude of laws that can be enunciated we cannot list them all, we cannot achieve completeness except by searching out those that, by their power, contain all of them. | |
| From: Gottlob Frege (Begriffsschrift [1879], §13) | |
| A reaction: He refers to these laws in the previous sentence as the 'core'. His talk of 'power' is music to my ears, since it implies a direction of explanation. Burge says the power is that of defining other concepts. |
| 7622 | In 1879 Frege developed second order logic [Frege, by Putnam] |
| Full Idea: By 1879 Frege had discovered an algorithm, a mechanical proof procedure, that embraces what is today standard 'second order logic'. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Hilary Putnam - Reason, Truth and History Ch.5 | |
| A reaction: Note that Frege did more than introduce quantifiers, and the logic of predicates. |
| 7729 | Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner] |
| Full Idea: Frege's regimentation is based on the view of the simplest sort of statement as having, not subject/predicate form (as in Aristotle), but function/argument form. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege | |
| A reaction: This looks like being a crucial move into the modern world, where one piece of information is taken in and dealt with, as in computer procedures. Have educated people reorganised their minds along Fregean lines? |
| 9950 | A quantifier is a second-level predicate (which explains how it contributes to truth-conditions) [Frege, by George/Velleman] |
| Full Idea: The contribution of the quantifier to the truth conditions of sentences of which it is a part cannot be adequately explained if it is treated as other than a second-level predicate (for instance, if it is viewed as name). | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: They suggest that this makes it something like a 'property of properties'. With this account it becomes plausible to think of numbers as quantifiers (since they do, after all, specify quantities). |
| 9991 | For Frege the variable ranges over all objects [Frege, by Tait] |
| Full Idea: For Frege the variable ranges over all objects. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by William W. Tait - Frege versus Cantor and Dedekind XII | |
| A reaction: The point is that Frege had not yet seen the necessity to define the domain of quantification, and this leads him into various difficulties. |
| 10536 | Frege's domain for variables is all objects, but modern interpretations first fix the domain [Dummett on Frege] |
| Full Idea: For Frege there is no need to specify the domain of the individual variables, which is taken as the totality of all objects. This contrasts with the standard notion of an interpretation, which demands that we first fix the domain. | |
| From: comment on Gottlob Frege (Begriffsschrift [1879]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.14 | |
| A reaction: What intrigues me is how domains of quantification shift according to context in ordinary usage, even in mid-sentence. I ought to go through every idea in this database, specifying its domain of quantification. Any volunteers? |
| 7742 | Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh] |
| Full Idea: Frege treated 'everything' as basic, and suggested ways of recasting propositions containing other quantifiers so that this was the only one remaining. He recast 'something' as 'at least one thing', and defined this in terms of 'everything' and 'not'. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Gregory McCullogh - The Game of the Name 1.6 | |
| A reaction: Extreme parsimony seems highly desirable in logic as well as ontology, but it can lead to frustrations, especially over the crucial question of the existence of things quantified over. See Idea 6068. |
| 7730 | Frege introduced quantifiers for generality [Frege, by Weiner] |
| Full Idea: In order to express generality, Frege introduced quantifier notation. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege | |
| A reaction: This is the birth of predicate logic, beloved of analytical philosophers (but of no apparent interest to phenomenalists, deconstructionists, existentialists?). Generality is what you get from induction (which is, of course, problematic). |
| 13824 | Proof theory began with Frege's definition of derivability [Frege, by Prawitz] |
| Full Idea: Frege's formal definition of derivability is perhaps the first investigation in general proof theory. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Dag Prawitz - Gentzen's Analysis of First-Order Proofs 2 n2 | |
| A reaction: In 'On General Proof Theory §1' Prawitz says "proof theory originated with Hilbert" in 1900. Presumably Frege offered a theory, and then Hilbert saw it as a general project. |
| 13609 | Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan] |
| Full Idea: Frege's work supplied a set of axioms for logic itself, at least partly because it was a well-known way of presenting the foundations in other disciplines, especially mathematics, but it does not nowadays strike us as natural for logic. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by David Kaplan - Dthat 5.1 | |
| A reaction: What Bostock has in mind is the so-called 'natural' deduction systems, which base logic on rules of entailment, rather than on a set of truths. The axiomatic approach uses a set of truths, plus the idea of possible contradictions. |
| 17855 | It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C] |
| Full Idea: Frege's account of the ancestral has made it possible, in effect, to define the natural numbers as entities for which induction holds. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Crispin Wright - Frege's Concept of Numbers as Objects 4.xix | |
| A reaction: This is the opposite of the approach in the Peano Axioms, where induction is used to define the natural numbers. |
| 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. |
| 10607 | Frege's logic has a hierarchy of object, property, property-of-property etc. [Frege, by Smith,P] |
| Full Idea: Frege's general logical system involves a type hierarchy, distinguishing objects from properties from properties-of-properties etc., with every item belonging to a determinate level. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Peter Smith - Intro to Gödel's Theorems 14.1 | |
| A reaction: The Theory of Types went on to apply this hierarchy to classes, where Frege's disastrous Basic Law V flattens the hierarchy of classes, putting them on the same level (Smith p.119) |
| 11008 | Existence is not a first-order property, but the instantiation of a property [Frege, by Read] |
| Full Idea: When Kant said that existence was not a property, what he meant was, according to Frege, that existence is not a first-order property - it is not a property of individuals but a property of properties, that the property has an instance. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Stephen Read - Thinking About Logic Ch.5 |
| 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) | |
| A reaction: Idea 1700 is better than this. |
| 12747 | Monads are not extended, but have a kind of situation in extension [Leibniz] |
| Full Idea: Even if monads are not extended, they nonetheless have a certain kind of situation in extension. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1703.06.20), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 8 | |
| A reaction: This is the kind of metaphysical mess you get into if you start from the wrong premisses (in this case, a dualism of the spiritual and the material). Later (Garber p.359) he says they are situated because they 'preside' over a mass. |
| 12748 | Only monads are substances, and bodies are collections of them [Leibniz] |
| Full Idea: A monad alone is a substance; a body is substances not a substance. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1704.01.21), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 8 | |
| A reaction: So how many monads in a drop of urine, as Voltaire bluntly wondered. I take the Cartesian dualism (without interaction) that ran through Leibniz's career to be the source of most of his metaphysical problems. In late career it went badly wrong. |
| 13184 | The division of nature into matter makes distinct appearances, and that presupposes substances [Leibniz] |
| Full Idea: If there were no divisions of matter in nature, there would be no things that are different; just the mere possibility of things. It is the actual division into masses that really produces things that appear distinct, which presupposes simple substances. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1704 or 1705) | |
| A reaction: This shows Leibniz to be a straightforward realist about the physical world, and certainly not an 'idealist', despite the mind-like character of monads. I take this to be an argument for reality from best explanation, which is all that's available. |
| 13188 | The only indications of reality are agreement among phenomena, and their agreement with necessities [Leibniz] |
| Full Idea: We don't have, nor should we hope for, any mark of reality in phenomena, but the fact that they agree with one another and with eternal truths. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1706.01.19) | |
| A reaction: Elsewhere he says that divisions in appearance imply divisions in matter. Now he adds two further arguments in favour of realism, but admits that nothing conclusive is available. Quite right. |
| 12752 | Only unities have any reality [Leibniz] |
| Full Idea: There is no reality in anything except the reality of unities. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1704.06.30), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 9 | |
| A reaction: This seems to leave indeterminate stuff like air and water with no reality, as nicely discussed by Henry Laycock. Do we just force unities on the world because that is the only way our minds can cope with it? |
| 13187 | In actual things nothing is indefinite [Leibniz] |
| Full Idea: In actual things nothing is indefinite. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1706.01.19) | |
| A reaction: This seems to be the germ of the controversial modern view of Williamson, that vagueness is entirely epistemic, and that the facts of nature are entirely definite. Thus there is a tallest short giraffe, which I find a bit hard to grasp. |
| 19383 | A man's distant wife dying is a real change in him [Leibniz] |
| Full Idea: No one can become a widower in India because of the death of his wife in Europe unless a real change occurs in him. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], GP ii 240), quoted by Richard T.W. Arthur - Leibniz 7 'Nominalist' | |
| A reaction: This is Leibniz heroically denying so-called 'Cambridge Change'. It is hard to see how a widower is changed if he has not yet heard the bad news. But his situation in life has changed. Compare eudaimonia, which you can lose without realising it. |
| 13179 | A complete monad is a substance with primitive active and passive power [Leibniz] |
| Full Idea: What I take to be the indivisible or complete monad is the substance endowed with primitive power, active and passive, like the 'I' or something similar. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1703.06.20) | |
| A reaction: I love powers, so I really like this quotation. By this date even Garber thinks that he has more or less arrived at his mature view of monads. I used to think monads were mad, but I now think he is closing in on the right answer - sort of. |
| 12749 | Derivate forces are in phenomena, but primitive forces are in the internal strivings of substances [Leibniz] |
| Full Idea: I relegate derivative forces to the phenomena, but I think that it is clear that primitive forces can be nothing other than the internal strivings of simple substances. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1705.01), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 8 | |
| A reaction: I like 'internal strivings', which sounds to me like the Will to Power (Idea 7140). There seems to be an epistemological challenge in trying to disentangle the derivative forces from the primitive ones. |
| 12722 | Thought terminates in force, rather than extension [Leibniz] |
| Full Idea: I believe that our thought is completed and terminated more in the notion of the dynamic [i.e. force] than in that of extension. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], G II 170), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 4 | |
| A reaction: Presenting this as the place where 'our thought' is 'terminated' seems to place it as mainly having a role in explanation, rather than in speculative metaphysics. |
| 19379 | The law of the series, which determines future states of a substance, is what individuates it [Leibniz] |
| Full Idea: That there should be a persistent law of the series, which involves the future states of that which we conceive to be the same, is exactly what I say constitutes it as the same substance. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1704), quoted by Richard T.W. Arthur - Leibniz 4 'Applying' | |
| A reaction: The 'law of the series' is a bit dubious, but it is reasonable to say that a substance is individuated by its coherent progress of change over time. Disjointed change would imply an absence of substance. The law of the series is called 'primitive force'. |
| 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. |
| 13182 | Changeable accidents are modifications of unchanging essences [Leibniz] |
| Full Idea: Everything accidental or changeable ought to be a modification of something essential or perpetual. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1704.06.30) | |
| A reaction: Clear evidence that Leibniz is very much a traditional Aristotelian essentialist, and not as modal logicians tend to characterise him, as a super-essentialist who thinks all properties are essential. They are necessary for identity, but that's different. |
| 13178 | Things in different locations are different because they 'express' those locations [Leibniz] |
| Full Idea: Things that differ in place must express their place, that is, they must express the things surrounding, and thus they must be distinguished not only by place, that is, not by an extrinsic denomination alone, as is commonly thought. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1703.06.20) | |
| A reaction: This is an unusual view, which has some attractions, as it enables the relations of a thing to individuate it, while maintaining that this is a real difference in character. |
| 19411 | In nature there aren't even two identical straight lines, so no two bodies are alike [Leibniz] |
| Full Idea: In nature any straight line you may take is individually different from any other straight line you may find. Accordingly, it cannot come about that two bodies are perfectly equal and alike. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1703.06.20) | |
| A reaction: Leibniz was very good at persuasive examples! It remains unclear, though, why he takes the Identity of Indiscernibles to be a necessary truth, when he seems to have only observed it from experience. This is counter to his other principles. |
| 19412 | If two bodies only seem to differ in their position, those different environments will matter [Leibniz] |
| Full Idea: If two bodies differ only in their position, their individual relations to the environment must be taken into account, so that more is involved in their distinguishability than just position. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1703.06.20) | |
| A reaction: This seems to allow that two bodies could be intrinsically type-identical (though differing in extrinsic features), which is contrary to his normal view. I suppose a different location in the gravitational field will make an intrinsic difference. |
| 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) |
| 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) |
| 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) |
| 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. |
| 19410 | Scientific truths are supported by mutual agreement, as well as agreement with the phenomena [Leibniz] |
| Full Idea: Among the most powerful indications of truth belongs the fact that scientific propositions agree with one another as well as with phenomena. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1699.03.24/04.03) | |
| A reaction: I take this to be the case not only with science, but with all other truths. Leibniz is particularly keen on the interconnectedness of things, so coherence justification suits him especially well. But surely all scientists embrace this idea? |
| 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) |
| 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) |
| 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. |
| 13183 | Primitive forces are internal strivings of substances, acting according to their internal laws [Leibniz] |
| Full Idea: Primitive forces can be nothing but the internal strivings [tendentia] of simple substances, striving by means of which they pass from perception to perception in accordance with a certain law of their nature. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1704 or 1705) | |
| A reaction: 'Perception' sounds a bit crazy, but he usually qualifies that sort of remark by saying that it is an 'analogy' with conscious willing souls. The 'internal strivings of substances' is a nice phrase for the basic powers in nature where explanations stop. |
| 19409 | Soul represents body, but soul remains unchanged, while body continuously changes [Leibniz] |
| Full Idea: The essence of the soul is to represent bodies. ...The soul and the idea of the body do not signify the same thing. For the soul remains one and the same, while the idea of the body perpetually changes as the body itself changes. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1699.03.24/04.03) | |
| A reaction: This seems to rest on the Cartesian Ego, as the essence of mind which does not change. And yet elsewhere he describes the Ego as a mere abstraction from introspected mental life. |
| 11873 | Our notions may be formed from concepts, but concepts are formed from things [Leibniz] |
| Full Idea: You assert that the notion of substance is formed from concepts, and not from things. But are not concepts themselves formed from things? | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1699.06.23), quoted by David Wiggins - Sameness and Substance Renewed 5.7 | |
| A reaction: A nice remark, which is true even of highly abstruse, abstract or fanciful concepts. You are still left with the question of how far away from reality you have moved when you construct things from your reality-based concepts. |
| 13186 | Universals are just abstractions by concealing some of the circumstances [Leibniz] |
| Full Idea: In forming universals the soul only abstracts certain circumstances by concealing innumerable others. ..A spherical body complete in all respects is nowhere in nature; the soul forms such a notion by concealing aberrations. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1704 or 1705) | |
| A reaction: This is Leibniz's affirmation of traditional 'abstraction by ignoring', which everyone seems to have believed in before Frege, and which I personally think is simply correct, even though it is deeply unfashionable and I keep it to myself. |
| 22280 | Frege's account was top-down and decompositional, not bottom-up and compositional [Frege, by Potter] |
| Full Idea: Frege's account was top-down, not bottom-up: he aimed to decompose and discern function-argument structure in already existing sentences, not to explain how those sentences acquired their meanings in the first place. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 03 'Func' | |
| A reaction: This goes with the holistic account of meaning, which leads to Quine's gavagai and Kuhn's obfuscation of science. I recommend compositionality for everthing. |
| 13185 | Even if extension is impenetrable, this still offers no explanation for motion and its laws [Leibniz] |
| Full Idea: Even if we grant impenetrability is added to extension, nothing complete is brought about, nothing from which a reason for motion, and especially the laws of motion, can be given. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1704 or 1705) | |
| A reaction: When it comes to the reasons for the so-called 'laws of nature', scientists give up, because they've only got mathematical descriptions, whereas the philosopher won't give up (even though, embarassingly, the evidence is running a bit thin). |
| 13177 | An entelechy is a law of the series of its event within some entity [Leibniz] |
| Full Idea: I recognize a primitive entelechy in the active force found in motion, something analogous to the soul, whose nature consists in a certain law of the same series of changes. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1699.03.24) | |
| A reaction: This is his 'law-of-the-series', which is a speculative attempt to pin down the character of the active essence of things which gives rise to activity. The law of such activity is within the things themselves, as scientific essentialists claim. |
| 13093 | The only permanence in things, constituting their substance, is a law of continuity [Leibniz] |
| Full Idea: Nothing is permanent in things except the law itself, which involves a continuous succession ...The fact that a certain law persists ...is the very fact that constitutes the same substance. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1704) | |
| A reaction: Aristotle and Leibniz are the very clear ancestors of modern scientific essentialism. I've left out a few inconvenient bits, about containing 'the whole universe', and containing all 'future states'. For Leibniz, laws are entirely rooted in things. |
| 13096 | The force behind motion is like a soul, with its own laws of continual change [Leibniz] |
| Full Idea: I recognise, in the active force which exerts itself through motion, the primitive entelechy or in a word, something analogous to the soul, whose nature consists in a certain perpetual law of the same series of changes through which it runs unhindered. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1699), quoted by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 6.1.3 | |
| A reaction: This is a hugely metaphysical account of force, contrasting with Newton's largely mathematical account. He very often says that force is 'analogous' to the soul, rather than that it actually is a soul. He never quite believes that monads are real minds. |
| 13180 | Space is the order of coexisting possibles [Leibniz] |
| Full Idea: Extension is the order of coexisting possibles. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1703.06.20) | |
| A reaction: [In his next letter he uses the word 'space' instead of 'extension'] This is a rather startling different and modal definition of space. Cf Idea 13181. |
| 13181 | Time is the order of inconsistent possibilities [Leibniz] |
| Full Idea: Time is the order of inconsistent possibilities. | |
| From: Gottfried Leibniz (Letters to Burcher De Volder [1706], 1703.06.20) | |
| A reaction: Cf. Idea 13180. This sounds wonderfully bold and interesting, but I can't make much sense of it. One might say it is 'an' order for such things, but 'the' order is weird. |
| 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) |
| 7741 | The predicate 'exists' is actually a natural language expression for a quantifier [Frege, by Weiner] |
| Full Idea: On Frege's logical analysis, the predicate 'exists' is actually a natural language expression for a quantifier. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege Ch.8 | |
| A reaction: However see Idea 6067, for McGinn's alternative view of quantifiers. In the normal conventions of predicate logic it may be that existence is treated as a quantifier, but that is not the same as saying that existence just IS a quantifier. |
| 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) |