Combining Texts

All the ideas for 'Theaetetus', 'Rationality and Logic' and 'De Corpore (Elements, First Section)'

unexpand these ideas     |    start again     |     specify just one area for these texts


101 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / e. Philosophy as reason
Definitions are the first step in philosophy [Hobbes]
     Full Idea: In beginning philosophy, the first beginning is from definitions.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.15)
     A reaction: Note that he doesn't say that definitions are the aim of philosophy, as some analysts might think.
1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
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.
1. Philosophy / F. Analytic Philosophy / 2. Analysis by Division
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)
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)
1. Philosophy / F. Analytic Philosophy / 6. Logical Analysis
Frege's logical approach dominates the analytical tradition [Hanna]
     Full Idea: Pure logic constantly controls Frege's philosophy, and in turn Frege's logically oriented philosophy constantly controls the analytic tradition.
     From: Robert Hanna (Rationality and Logic [2006], 1.1)
     A reaction: Hanna seeks to reintroduce the dreaded psychological aspect of logic, and I say 'good for him'.
1. Philosophy / G. Scientific Philosophy / 3. Scientism
Scientism says most knowledge comes from the exact sciences [Hanna]
     Full Idea: Scientism says that the exact sciences are the leading sources of knowledge about the world.
     From: Robert Hanna (Rationality and Logic [2006], 1.2)
     A reaction: I almost agree, but I would describe the exact sciences as the chief 'evidence' for our knowledge, with the chief 'source' being our own ability to make coherent sense of the evidence. Exact sciences rest on mathematics.
2. Reason / A. Nature of Reason / 6. Coherence
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?
2. Reason / C. Styles of Reason / 3. Eristic
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)
2. Reason / D. Definition / 2. Aims of Definition
Definitions of things that are caused must express their manner of generation [Hobbes]
     Full Idea: Definitions of things which may be understood to have some cause, must consist of such names as express the cause or manner of their generation, as when we define a circle to be a figure made by the circumduction of a straight line in a plane etc.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.13)
     A reaction: His account of the circle is based on its mode of construction, which is the preferred account of Euclid, rather than a statement of its pure nature.
2. Reason / D. Definition / 4. Real Definition
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'.
2. Reason / D. Definition / 5. Genus and Differentia
Definition is resolution of names into successive genera, and finally the difference [Hobbes]
     Full Idea: The definition is nothing but a resolution of the name into its most universal parts; ...definitions of this kind always consist of genus and difference; the former names being all, till the last, general; and the last of all, difference.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.14)
     A reaction: This is basically the scholastic Aristotelian view of definition. Note that Hobbes explicitly denies that the last step of the definition is general in character.
2. Reason / D. Definition / 8. Impredicative Definition
A defined name should not appear in the definition [Hobbes]
     Full Idea: A defined name ought not to be repeated in the definition. ...No total can be part of itself.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.15)
2. Reason / F. Fallacies / 1. Fallacy
'Denying the antecedent' fallacy: φ→ψ, ¬φ, so ¬ψ [Hanna]
     Full Idea: The fallacy of 'denying the antecedent' is of the form φ→ψ, ¬φ, so ¬ψ.
     From: Robert Hanna (Rationality and Logic [2006], 5.4)
'Affirming the consequent' fallacy: φ→ψ, ψ, so φ [Hanna]
     Full Idea: The fallacy of 'affirming the consequent' is of the form φ→ψ, ψ, so φ.
     From: Robert Hanna (Rationality and Logic [2006], 5.4)
We can list at least fourteen informal fallacies [Hanna]
     Full Idea: Informal fallacies: appeals to force, circumstantial factors, ignorance, pity, popular consensus, authority, generalisation, confused causes, begging the question, complex questions, irrelevance, equivocation, black-and-white, slippery slope etc.
     From: Robert Hanna (Rationality and Logic [2006], 7.3)
2. Reason / F. Fallacies / 3. Question Begging
'Petitio principii' is reusing the idea to be defined, in disguised words [Hobbes]
     Full Idea: 'Petitio principii' is when the conclusion to be proved is disguised in other words, and put for the definition or principle from whence it is to be demonstrated.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.18)
2. Reason / F. Fallacies / 4. Circularity
Circular arguments are formally valid, though informally inadmissible [Hanna]
     Full Idea: A circular argument - one whose conclusion is to be found among its premises - is inadmissible in most informal contexts, even though it is formally valid.
     From: Robert Hanna (Rationality and Logic [2006], 2.1)
     A reaction: Presumably this is a matter of conversational implicature - that you are under a conventional obligation to say things which go somewhere, rather than circling around their starting place.
2. Reason / F. Fallacies / 5. Fallacy of Composition
Formally, composition and division fallacies occur in mereology [Hanna]
     Full Idea: Informal fallacies of composition and division go over into formal fallacies of mereological logic.
     From: Robert Hanna (Rationality and Logic [2006], 7.3)
4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
A part of a part is a part of a whole [Hobbes]
     Full Idea: A part of a part is a part of a whole.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.07.09)
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
Logic is explanatorily and ontologically dependent on rational animals [Hanna]
     Full Idea: Logic is explanatorily and ontologically dependent on rational animals.
     From: Robert Hanna (Rationality and Logic [2006], 1.6)
     A reaction: This is a splendid defiance of the standard Fregean view of logic as having an inner validity of its own, having nothing to do with the psychology of thinkers. But if Hanna is right, why does logical consequence seem to be necessary?
Logic is personal and variable, but it has a universal core [Hanna]
     Full Idea: Beyond an innate and thus universally share protologic, each reasoner's mental logic is only more or less similar to the mental logic of any other reasoner.
     From: Robert Hanna (Rationality and Logic [2006], 5.7)
     A reaction: This is the main thesis of Hanna's book. I like the combination of this idea with Stephen Read's remark that each student should work out a personal logic which has their own private endorsement.
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Intensional consequence is based on the content of the concepts [Hanna]
     Full Idea: In intensional logic the consequence relation is based on the form or content of the concepts or properties expressed by the predicates.
     From: Robert Hanna (Rationality and Logic [2006], 2.2)
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
If we just say one, one, one, one, we don't know where we have got to [Hobbes]
     Full Idea: By saying one, one, one, one, and so forward, we know not what number we are at beyond two or three.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.12.05)
     A reaction: This makes ordinals sound like meta-numbers.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
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.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logicism struggles because there is no decent theory of analyticity [Hanna]
     Full Idea: All versions of the thesis that arithmetic is reducible to logic remain questionable as long as no good theory of analyticity is available.
     From: Robert Hanna (Rationality and Logic [2006], 2.4)
     A reaction: He rejects the attempts by Frege, Wittgenstein and Carnap to provide a theory of analyticity.
7. Existence / B. Change in Existence / 1. Nature of Change
Change is nothing but movement [Hobbes]
     Full Idea: All mutation consists in motion only
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.09.06)
     A reaction: Another little gem of simplicity from Hobbes, and one with which I am inclined to agree. The value of a variable can 'change', but that may be metaphorical.
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.
7. Existence / C. Structure of Existence / 5. Supervenience / b. Types of supervenience
Supervenience can add covariation, upward dependence, and nomological connection [Hanna]
     Full Idea: 'Strong supervenience' involves necessary covariation of the properties, and upward dependence of higher level on lower level. ...If we add a nomological connection between the two, then we have 'superdupervenience'.
     From: Robert Hanna (Rationality and Logic [2006], 1.2)
     A reaction: [compressed] Very helpful. A superdupervenient relationship between mind and brain would be rather baffling if they were not essentially the same thing. (which is what I take them to be).
8. Modes of Existence / B. Properties / 8. Properties as Modes
Accidents are just modes of thinking about bodies [Hobbes]
     Full Idea: An accident is a mode of conceiving a body.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.02)
     A reaction: In contrast to the other thinkers who followed Suárez on modes in the early 17th century, Hobbes thinks they are just ways of 'conceiving' bodies, rather than actual features of them.
8. Modes of Existence / B. Properties / 12. Denial of Properties
Accidents are not parts of bodies (like blood in a cloth); they have accidents as things have a size [Hobbes]
     Full Idea: An accident's being in a body is not to be taken as something contained in that body - as if redness were in blood like blood in a bloody cloth, as part of the whole, for then accident would be a body. It is like body having size or rest or movement.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.03)
     A reaction: [compressed] Hobbes is fishing for something like the Quinean view of properties, but no one seems to be able to articulate this sceptical view very well. Pasnau says he means to talk of 'the mode of conceiving a body' (De C 8.2).
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
The complete power of an event is just the aggregate of the qualities that produced it [Hobbes]
     Full Idea: The power of agent and patient taken together, which may be called the complete power, is the same as the complete cause, for each consists in the aggregation together of all the accidents that are required to produce an effect in both agent and patient.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.10.01)
     A reaction: They treat powers as macro phenomena, and don't seem to have a sense of the basic powers that build up the big picture.
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
The only generalities or universals are names or signs [Hobbes]
     Full Idea: Nothing is general or universal besides names or signs.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.05)
     A reaction: This is the perfect motto for nominalists, among which I am inclined to include myself. Hobbes had a fabulous gift for economy of phrasing. This website is dedicated to that ideal. Reality does not contain generalities (obviously!!).
9. Objects / A. Existence of Objects / 5. Individuation / c. Individuation by location
Bodies are independent of thought, and coincide with part of space [Hobbes]
     Full Idea: A body is that, which having no dependence on our thought, is coincident or coextended with some part of space.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.01)
     A reaction: This rather Cartesian view doesn't seem to offer any distinction between empty space and space containing an 'object'. Presumably it is the ancestor of the Quinean account just in terms of space-time points. Don't like it.
If you separate the two places of one thing, you will also separate the thing [Hobbes]
     Full Idea: One body cannot be in two places at the same time, ...for the place that a body fills being divided into two, the placed body will also be divided into two; the place and the body that fills that place are divided both together.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.08)
     A reaction: If every time you manipulated one body it affected both of them, you might say that one body was in two places, rather like a mirror image.
If you separated two things in the same place, you would also separate the places [Hobbes]
     Full Idea: Two bodies cannot be together in the same place, ..because when a body that fills its whole place is divided into two, the place itself is divided into two also, so that there will be two places.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.08)
     A reaction: The wonderful things about philosophy is that you are faced with obvious truths of the world, and cannot begin to think why they are true - and then up steps a philosopher and offers you a reason.
9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates
If a whole body is moved, its parts must move with it [Hobbes]
     Full Idea: How can any whole body be moved, unless all its parts be moved together with it?
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.05)
     A reaction: This might be a distinguishing mark for a whole physical body. I think it is probably the main mark for ordinary folk. I've never found this idea in Aristotle.
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
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)
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
A body is always the same, whether the parts are together or dispersed [Hobbes]
     Full Idea: A body is always the same, whether the parts of it be put together or dispersed; or whether it be congealed or dissolved.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.11.07)
     A reaction: This appears to be a commitment by Hobbes to what we now call 'classical' mereology - that any bunch of things can count as a whole, whether they are together or dispersed. He seems to mean more than a watch surviving dismantling.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
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.
To make a whole, parts needn't be put together, but can be united in the mind [Hobbes]
     Full Idea: In composition, it is to be understood that for the making up of a whole there is no need of putting the parts together, so as to make them touch one another, but only of collecting them into one sum in the mind.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.07.08)
     A reaction: This seems to the 'unrestricted composition' of classical mereology, since it appears that Hobbes offers no restriction on which parts can be united by a mind, no matter how bizarre.
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?
9. Objects / D. Essence of Objects / 5. Essence as Kind
Particulars contain universal things [Hobbes]
     Full Idea: Universal things are contained in the nature of singular things.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.04)
     A reaction: That is the neatest and most accurate summary of the situation I have ever read. Particulars come first, but they are all riddled with generalities (but that is not as well said as Hobbes's remark).
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
Some accidental features are permanent, unless the object perishes [Hobbes]
     Full Idea: There are certain accidents which can never perish except the body perish also.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.03)
     A reaction: He is just making an observation, and not proposing a theory about essence.
9. Objects / D. Essence of Objects / 13. Nominal Essence
The feature which picks out or names a thing is usually called its 'essence' [Hobbes]
     Full Idea: That accident for which we give a certain name to any body, or the accident which denominates its subject, is commonly called the essence thereof.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.23)
     A reaction: This is clearly a prelude to Locke's more carefully formulated 'nominal essence'. Fairly obvious, for nominalist empiricists. A bit surprising to say this was 'common'.
9. Objects / E. Objects over Time / 8. Continuity of Rivers
It is the same river if it has the same source, no matter what flows in it [Hobbes]
     Full Idea: That will be the same river which flows from one and the same fountain, whether the same water, or other water, or something other than water, flow thence.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.11.07)
     A reaction: This makes the source the one necessity for a river. I think the end matters too. If the Thames reversed direction, and flowed into Wales, it would not be the Thames any more.
9. Objects / E. Objects over Time / 9. Ship of Theseus
Some individuate the ship by unity of matter, and others by unity of form [Hobbes]
     Full Idea: In the Ship of Theseus, some place individuity in the unity of matter; others, in the unity of form.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.11.07)
     A reaction: Simons raises this comment into a dogma, that there are at least two objects present in the ship. If I offered you a sum for the contents of your house, they would have a unity of monetary value.
If a new ship were made of the discarded planks, would two ships be numerically the same? [Hobbes]
     Full Idea: If some man kept the old planks as they were taken out, and by putting them afterwards together again in the same order, had again made a ship of them, ...there would have been two ships numerically the same, which is absurd.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.11.07)
     A reaction: This is the origin of the famous modern problematical example of the Ship of Theseus. The ancient example is just the case of whether you step into the same river, but using an artefact with parts, to make it clearer.
9. Objects / F. Identity among Objects / 3. Relative Identity
As an infant, Socrates was not the same body, but he was the same human being [Hobbes]
     Full Idea: It makes a great difference to ask concerning Socrates whether he is the same human being or whether he is the same body. For his body, when he is old, cannot be the same it was when he was an infant. …He can, however, be the same human being.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.11.07)
     A reaction: This is not commitment to full (Geachian) relative identity, but it notes the problem.
9. Objects / F. Identity among Objects / 8. Leibniz's Law
Two bodies differ when (at some time) you can say something of one you can't say of the other [Hobbes]
     Full Idea: Two bodies are said to differ from one another, when something may be said of one of them, which cannot be said of the other at the same time.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.11.02)
     A reaction: Note the astute addition of 'at the same time'. Note also that it is couched in terms of what is true, rather than in terms of 'properties' or 'accidents'.
10. Modality / A. Necessity / 2. Nature of Necessity
A sentence is necessary if it is true in a set of worlds, and nonfalse in the other worlds [Hanna]
     Full Idea: On my view, necessity is the truth of a sentence in every member of a set of possible worlds, together with its nonfalsity in every other possible worlds.
     From: Robert Hanna (Rationality and Logic [2006], 6.6)
10. Modality / A. Necessity / 5. Metaphysical Necessity
Metaphysical necessity can be 'weak' (same as logical) and 'strong' (based on essences) [Hanna]
     Full Idea: Weak metaphysical necessity is either over the set of all logically possible worlds (in which case it is the same as logical necessity), or it is of a smaller set of worlds, and is determined by the underlying essence or nature of the actual world.
     From: Robert Hanna (Rationality and Logic [2006], 6.6)
     A reaction: I take the first to be of no interest, as I have no interest in a world which is somehow rated as logically possible, but is not naturally possible. The second type should the principle aim of all human cognitive enquiry. The strong version is synthetic.
10. Modality / A. Necessity / 6. Logical Necessity
Logical necessity is truth in all logically possible worlds, because of laws and concepts [Hanna]
     Full Idea: Logical necessity is the truth of a sentence by virtue of logical laws or intrinsic conceptual connections alone, and thus true in all logically possible worlds. Put in traditional terms, logical necessity is analyticity.
     From: Robert Hanna (Rationality and Logic [2006], 6.6)
10. Modality / A. Necessity / 7. Natural Necessity
Nomological necessity is truth in all logically possible worlds with our laws [Hanna]
     Full Idea: Physical or nomological necessity is the truth of a sentence in all logically possible worlds governed by our actual laws of nature.
     From: Robert Hanna (Rationality and Logic [2006], 6.6)
     A reaction: Personally I think 'natural necessity' is the best label for this, as it avoids firm commitment to reductive physicalism, and it also avoids commitment to actual necessitating laws.
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / b. Conceivable but impossible
We can imagine a point swelling and contracting - but not how this could be done [Hobbes]
     Full Idea: Even if we can feign in our mind that a point swells to a huge bulk and then contracts to a point - imagining something's made from nothing (ex nihilo), and nothing's made from something - still we cannot comprehend how this could be done in nature.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.20)
     A reaction: [compressed] Pasnau notes that this offers two sorts of conceivability, of something happening, and of a reason for it happening. A really nice idea, significant (I think) for scientific essentialists, who say possibilities are fewer than you think.
11. Knowledge Aims / A. Knowledge / 1. Knowledge
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)
11. Knowledge Aims / A. Knowledge / 2. Understanding
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.
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
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)
11. Knowledge Aims / A. Knowledge / 4. Belief / d. Cause of beliefs
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)
12. Knowledge Sources / B. Perception / 1. Perception
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)
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)
12. Knowledge Sources / C. Rationalism / 1. Rationalism
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)
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)
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)
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
Intuition is only outside the 'space of reasons' if all reasons are inferential [Hanna]
     Full Idea: Intuition is outside the 'space of reasons' if we assume that all reasons are inferential, but inside if we assume that reasons need not always be inferential.
     From: Robert Hanna (Rationality and Logic [2006], 6.4)
     A reaction: I take it that intuition can be firmly inside the space of reasons, and that not all reasons are inferential.
Intuition includes apriority, clarity, modality, authority, fallibility and no inferences [Hanna]
     Full Idea: The nine features of intuition are: a mental act, apriority, content-comprehensiveness, clarity and distinctness, strict-modality-attributivity, authoritativeness,noninferentiality, cognitive indispensability, and fallibility.
     From: Robert Hanna (Rationality and Logic [2006], 6.4)
     A reaction: [See Hanna for a full explanation of this lot] Seems like a good stab at it. Note the trade-off between authority and fallibility.
Intuition is more like memory, imagination or understanding, than like perception [Hanna]
     Full Idea: There is no reason why intuition should be cognitively analogous not to sense perception but instead to either memory, imagination, or conceptual understanding.
     From: Robert Hanna (Rationality and Logic [2006], 6.5)
     A reaction: It is Russell's spotting the analogy with memory that made me come to believe that a priori knowledge is possible, as long as we accept it as being fallible. [Hanna has a good discussion of intuition; he votes for the imagination analogy]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / b. Need for justification
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.
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / a. Agrippa's trilemma
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?
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?
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
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.
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?
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / a. Foundationalism
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?
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
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.
13. Knowledge Criteria / D. Scepticism / 5. Dream Scepticism
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)
13. Knowledge Criteria / E. Relativism / 6. Relativism Critique
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)
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.
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)
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
Science aims to show causes and generation of things [Hobbes]
     Full Idea: The end of science is the demonstration of the causes and generation of things.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.13)
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
Explanatory reduction is stronger than ontological reduction [Hanna]
     Full Idea: As standardly construed, reduction can be either explanatory or ontological. Explanatory reduction is the strongest sort of reduction. ...Ontological reduction can still have an 'explanatory gap'.
     From: Robert Hanna (Rationality and Logic [2006], 1.1)
15. Nature of Minds / C. Capacities of Minds / 2. Imagination
Imagination is just weakened sensation [Hobbes]
     Full Idea: Imagination is nothing else but sense decaying or weakened by the absence of the object.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 4.25.07)
     A reaction: This sounds more like memory than imagination. He needs to say something about unusual combinations of memories, I would have thought.
Imagination grasps abstracta, generates images, and has its own correctness conditions [Hanna]
     Full Idea: Three features of imagination are that its objects can be abstract, that it generates spatial images directly available to introspection, and its correctness conditions are not based on either efficacious causation or effective tracking.
     From: Robert Hanna (Rationality and Logic [2006], 6.6)
     A reaction: Hanna makes the imagination faculty central to our grasp of his proto-logic.
15. Nature of Minds / C. Capacities of Minds / 10. Conatus/Striving
A 'conatus' is an initial motion, experienced by us as desire or aversion [Hobbes, by Arthur,R]
     Full Idea: Hobbes' notion of 'conatus' is a 'beginning of motion' - a motion through a point of space in an instant of time. In a human subject this is experience as desire or aversion. It thus forms a bridge between physics and psychology.
     From: report of Thomas Hobbes (De Corpore (Elements, First Section) [1655], p.178) by Richard T.W. Arthur - Leibniz 3 'Worlds'
     A reaction: This sounds rather like the primitive concept of a power which I like, but the term seems to be used very vaguely, and never discussed carefully. The idea provoked Leibniz to connect physical force with mental life.
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Sensation is merely internal motion of the sentient being [Hobbes]
     Full Idea: Sense in the sentient, can be nothing else but motion in some of the internal parts of the sentient; and the parts so moved are parts of the organs of sense.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 3.15.02)
     A reaction: Amazingly bold for the time, and presumably influenced by Lucretius. I am sympathetic, but to suggest that sensation is nothing more sounds a bit like a category mistake. Has he grasped that the brain is involved?
18. Thought / A. Modes of Thought / 1. Thought
Should we take the 'depictivist' or the 'descriptivist/propositionalist' view of mental imagery? [Hanna]
     Full Idea: In the debate in cognitive science on the nature of mental imagery, there is a 'depictivist' side (Johnson-Laird, Kosslyn, Shepard - good images are isomorphic), and a 'descriptivist' or 'propositionalist' side (Pylyshyn and others).
     From: Robert Hanna (Rationality and Logic [2006], 6.6)
     A reaction: Hanna votes firmly in favour of the first view, and implies that they have more or less won the debate.
18. Thought / A. Modes of Thought / 3. Emotions / e. Basic emotions
Apart from pleasure and pain, the only emotions are appetite and aversion [Hobbes]
     Full Idea: All the passions, called passions of the mind, consist of appetite and aversion, except pure pleasure and pain.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 4.25.13)
     A reaction: He now faces the challenge of explaining all the many other emotions in terms of these two. Good luck with that, Thomas.
18. Thought / A. Modes of Thought / 5. Rationality / a. Rationality
Hegelian holistic rationality is the capacity to seek coherence [Hanna]
     Full Idea: The 'holistic' (Hegelian) sense of rationality means the capacity for systematically seeking coherence (or 'reflective equilibrium') across a network or web of beliefs, desires, emotions, intentions and volitions. Traditionally 'the truth is the whole'.
     From: Robert Hanna (Rationality and Logic [2006], Intro)
     A reaction: On the whole this is my preferred view (which sounds Quinean as well as Hegelian), though I reject the notion that truth is a whole. I take coherence to be the hallmark of justification, though not of truth, and reason aims to justify.
Humean Instrumental rationality is the capacity to seek contingent truths [Hanna]
     Full Idea: The 'instrumental' (Humean) sense of rationality means a capacity for generating or recognizing contingent truths, contextually normative rules, consequentialist obligations, and hypothetical 'ought' claims. Reason is 'the slave of the passions'.
     From: Robert Hanna (Rationality and Logic [2006], Intro)
Kantian principled rationality is recognition of a priori universal truths [Hanna]
     Full Idea: The 'principled' (Kantian) sense of rationality means the possession of a capacity for generating or recognizing necessary truths, a priori beliefs, strictly universal normative rules, nonconsequentialist moral obligations, and categorical 'ought' claims.
     From: Robert Hanna (Rationality and Logic [2006], Intro)
Rational animals have a normative concept of necessity [Hanna]
     Full Idea: A rational animal is one that is a normative-reflective possessor of the concepts of necessity, certainty and unconditional obligation.
     From: Robert Hanna (Rationality and Logic [2006], 4.0)
     A reaction: The addition of obligation shows the Kantian roots of this. It isn't enough just to possess a few concepts. You wouldn't count as rational if you didn't desire truth, as well as understanding it. Robots be warned.
One tradition says talking is the essence of rationality; the other says the essence is logic [Hanna]
     Full Idea: In the tradition of Descartes, Chomsky and Davidson, rational animals are essentially talking animals. But in the view of Kant, and perhaps Fodor, it is the cognitive capacity for logic that is the essence of human rationality.
     From: Robert Hanna (Rationality and Logic [2006], 4.9)
18. Thought / B. Mechanics of Thought / 1. Psychology
Most psychologists are now cognitivists [Hanna]
     Full Idea: Most psychologists have now dropped behaviourism and adopted cognitivism: the thesis that the rational human mind is essentially an active innately specified information-processor.
     From: Robert Hanna (Rationality and Logic [2006], Intro)
18. Thought / B. Mechanics of Thought / 5. Mental Files
Words are not for communication, but as marks for remembering what we have learned [Hobbes]
     Full Idea: The use of words consists in this, that they may serve for marks by which whatsoever we have found out may be recalled to memory ...but not as signs by which we declare the same to others.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.11)
     A reaction: This exactly fits the idea of mental files, of which I am a fan. That this is the actual purpose of language is an unusual but interesting view.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / b. Prime matter
Prime matter is body considered with mere size and extension, and potential [Hobbes]
     Full Idea: Prime matter signifies body considered without the consideration of any form or accident except only magnitude or extension, and aptness to receive form and accidents.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.24)
     A reaction: I take 'considered without' to indicate that he thinks of it as a psychological abstraction, rather than some actual existing thing.
26. Natural Theory / C. Causation / 1. Causation
Acting on a body is either creating or destroying a property in it [Hobbes]
     Full Idea: A body is said to work upon or act, that is to say, do something to another body, when it either generates or destroys some accident in it.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.09.01)
26. Natural Theory / C. Causation / 8. Particular Causation / c. Conditions of causation
An effect needs a sufficient and necessary cause [Hobbes]
     Full Idea: There can be no effect but from a sufficient and necessary cause.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.10.02)
     A reaction: To be compared with Mackie's subtler modern account of this matter. If two different separate causes could lead to the same result, it is hard to see how the cause must be 'necessary' (unless you say they lead to different effects).
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
A cause is the complete sum of the features which necessitate the effect [Hobbes]
     Full Idea: A cause it the sum or aggregate of all such accidents, both in the agents and in the patient, as concur to the producing of the effect propounded; all of which existing together, ti cannot be understood but that the effect existenth without them.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.10)
     A reaction: For most causes we meet, this definition will include gravity and electro-magnetism, so it doesn't help in narrowing things down. Notice that he accepts the necessity, despite his committed empiricism.
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
Motion is losing one place and acquiring another [Hobbes]
     Full Idea: Motion is privation of one place, and the acquisition of another.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.06)
     A reaction: This is basically the 'at-at' theory of motion which empiricists like, because it breaks motion down into atoms of experience. Hobbes needs an ontology which includes 'places'.
27. Natural Reality / A. Classical Physics / 1. Mechanics / c. Forces
'Force' is the quantity of movement imposed on something [Hobbes]
     Full Idea: I define 'force' to be the impetus or quickness of motion multiplied either into itself, or into the magnitude of the movent, by means of which whereof the said movent works more or less upon the body that resists it.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 3.15.02)
     A reaction: Not very helpful, perhaps, but it shows a view of force at quite an early date, well before Newton.
27. Natural Reality / D. Time / 2. Passage of Time / k. Temporal truths
Past times can't exist anywhere, apart from in our memories [Hobbes]
     Full Idea: When people speak of the times of their predecessors, they do not think after their predecessors are gone that their times can be any where else than in the memory of those that remember.
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.07.03)
28. God / A. Divine Nature / 6. Divine Morality / c. God is the good
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)
29. Religion / D. Religious Issues / 3. Problem of Evil / a. Problem of Evil
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)