Combining Texts

All the ideas for 'Parmenides', 'Contemporary theories of Knowledge (2nd)' and 'Deriving Kripkean Claims with Abstract Objects'

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


60 ideas

2. Reason / A. Nature of Reason / 1. On Reason
When questions are doubtful we should concentrate not on objects but on ideas of the intellect [Plato]
     Full Idea: Doubtful questions should not be discussed in terms of visible objects or in relation to them, but only with reference to ideas conceived by the intellect.
     From: Plato (Parmenides [c.364 BCE], 135e)
2. Reason / B. Laws of Thought / 5. Opposites
Opposites are as unlike as possible [Plato]
     Full Idea: Opposites are as unlike as possible.
     From: Plato (Parmenides [c.364 BCE], 159a)
2. Reason / C. Styles of Reason / 1. Dialectic
Plato's 'Parmenides' is the greatest artistic achievement of the ancient dialectic [Hegel on Plato]
     Full Idea: Plato's 'Parmenides' is the greatest artistic achievement of the ancient dialectic.
     From: comment on Plato (Parmenides [c.364 BCE]) by Georg W.F.Hegel - Phenomenology of Spirit Pref 71
     A reaction: It is a long way from the analytic tradition of philosophy to be singling out a classic text for its 'artistic' achievement. Eventually we may even look back on, say, Kripke's 'Naming and Necessity' and see it in that light.
5. Theory of Logic / L. Paradox / 3. Antinomies
Plato found antinomies in ideas, Kant in space and time, and Bradley in relations [Plato, by Ryle]
     Full Idea: Plato (in 'Parmenides') shows that the theory that 'Eide' are substances, and Kant that space and time are substances, and Bradley that relations are substances, all lead to aninomies.
     From: report of Plato (Parmenides [c.364 BCE]) by Gilbert Ryle - Are there propositions? 'Objections'
Plato's 'Parmenides' is perhaps the best collection of antinomies ever made [Russell on Plato]
     Full Idea: Plato's 'Parmenides' is perhaps the best collection of antinomies ever made.
     From: comment on Plato (Parmenides [c.364 BCE]) by Bertrand Russell - The Principles of Mathematics §337
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato]
     Full Idea: If one is, there must also necessarily be number - Necessarily - But if there is number, there would be many, and an unlimited multitude of beings. ..So if all partakes of being, each part of number would also partake of it.
     From: Plato (Parmenides [c.364 BCE], 144a)
     A reaction: This seems to commit to numbers having being, then to too many numbers, and hence to too much being - but without backing down and wondering whether numbers had being after all. Aristotle disagreed.
7. Existence / A. Nature of Existence / 3. Being / c. Becoming
The one was and is and will be and was becoming and is becoming and will become [Plato]
     Full Idea: The one was and is and will be and was becoming and is becoming and will become.
     From: Plato (Parmenides [c.364 BCE], 155d)
7. Existence / A. Nature of Existence / 3. Being / f. Primary being
Plato's Parmenides has a three-part theory, of Primal One, a One-Many, and a One-and-Many [Plato, by Plotinus]
     Full Idea: The Platonic Parmenides is more exact [than Parmenides himself]; the distinction is made between the Primal One, a strictly pure Unity, and a secondary One which is a One-Many, and a third which is a One-and-Many.
     From: report of Plato (Parmenides [c.364 BCE]) by Plotinus - The Enneads 5.1.08
     A reaction: Plotinus approves of this three-part theory. Parmenides has the problem that the highest Being contains no movement. By placing the One outside Being you can give it powers which an existent thing cannot have. Cf the concept of God.
7. Existence / D. Theories of Reality / 3. Reality
Absolute ideas, such as the Good and the Beautiful, cannot be known by us [Plato]
     Full Idea: The absolute good and the beautiful and all which we conceive to be absolute ideas are unknown to us.
     From: Plato (Parmenides [c.364 BCE], 134c)
8. Modes of Existence / D. Universals / 2. Need for Universals
You must always mean the same thing when you utter the same name [Plato]
     Full Idea: You must always mean the same thing when you utter the same name.
     From: Plato (Parmenides [c.364 BCE], 147d)
If you deny that each thing always stays the same, you destroy the possibility of discussion [Plato]
     Full Idea: If a person denies that the idea of each thing is always the same, he will utterly destroy the power of carrying on discussion.
     From: Plato (Parmenides [c.364 BCE], 135c)
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
It would be absurd to think there were abstract Forms for vile things like hair, mud and dirt [Plato]
     Full Idea: Are there abstract ideas for such things as hair, mud and dirt, which are particularly vile and worthless? That would be quite absurd.
     From: Plato (Parmenides [c.364 BCE], 130d)
The concept of a master includes the concept of a slave [Plato]
     Full Idea: Mastership in the abstract is mastership of slavery in the abstract.
     From: Plato (Parmenides [c.364 BCE], 133e)
If admirable things have Forms, maybe everything else does as well [Plato]
     Full Idea: It is troubling that if admirable things have abstract ideas, then perhaps everything else must have ideas as well.
     From: Plato (Parmenides [c.364 BCE], 130d)
If absolute ideas existed in us, they would cease to be absolute [Plato]
     Full Idea: None of the absolute ideas exists in us, because then it would no longer be absolute.
     From: Plato (Parmenides [c.364 BCE], 133c)
Greatness and smallness must exist, to be opposed to one another, and come into being in things [Plato]
     Full Idea: These two ideas, greatness and smallness, exist, do they not? For if they did not exist, they could not be opposites of one another, and could not come into being in things.
     From: Plato (Parmenides [c.364 BCE], 149e)
Plato moves from Forms to a theory of genera and principles in his later work [Plato, by Frede,M]
     Full Idea: It seems to me that Plato in the later dialogues, beginning with the second half of 'Parmenides', wants to substitute a theory of genera and theory of principles that constitute these genera for the earlier theory of forms.
     From: report of Plato (Parmenides [c.364 BCE]) by Michael Frede - Title, Unity, Authenticity of the 'Categories' V
     A reaction: My theory is that the later Plato came under the influence of the brilliant young Aristotle, and this idea is a symptom of it. The theory of 'principles' sounds like hylomorphism to me.
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
Participation is not by means of similarity, so we are looking for some other method of participation [Plato]
     Full Idea: Participation is not by means of likeness, so we must seek some other method of participation.
     From: Plato (Parmenides [c.364 BCE], 133a)
Each idea is in all its participants at once, just as daytime is a unity but in many separate places at once [Plato]
     Full Idea: Just as day is in many places at once, but not separated from itself, so each idea might be in all its participants at once.
     From: Plato (Parmenides [c.364 BCE], 131b)
If things are made alike by participating in something, that thing will be the absolute idea [Plato]
     Full Idea: That by participation in which like things are made like, will be the absolute idea, will it not?
     From: Plato (Parmenides [c.364 BCE], 132e)
The whole idea of each Form must be found in each thing which participates in it [Plato]
     Full Idea: The whole idea of each form (of beauty, justice etc) must be found in each thing which participates in it.
     From: Plato (Parmenides [c.364 BCE], 131a)
If things partake of ideas, this implies either that everything thinks, or that everything actually is thought [Plato]
     Full Idea: If all things partake of ideas, must either everything be made of thoughts and everything thinks, or everything is thought, and so can't think?
     From: Plato (Parmenides [c.364 BCE], 132c)
8. Modes of Existence / D. Universals / 6. Platonic Forms / c. Self-predication
Nothing can be like an absolute idea, because a third idea intervenes to make them alike (leading to a regress) [Plato]
     Full Idea: It is impossible for anything to be like an absolute idea, because a third idea will appear to make them alike, and if that is like anything, it will lead to another idea, and so on.
     From: Plato (Parmenides [c.364 BCE], 133a)
If absolute greatness and great things are seen as the same, another thing appears which makes them seem great [Plato]
     Full Idea: If you regard the absolute great and the many great things in the same way, will not another appear beyond, by which all these must appear to be great?
     From: Plato (Parmenides [c.364 BCE], 132a)
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
Abstract objects are actually constituted by the properties by which we conceive them [Zalta]
     Full Idea: Where for ordinary objects one can discover the properties they exemplify, abstract objects are actually constituted or determined by the properties by which we conceive them. I use the technical term 'x encodes F' for this idea.
     From: Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], 2 n2)
     A reaction: One might say that whereas concrete objects can be dubbed (in the Kripke manner), abstract objects can only be referred to by descriptions. See 10557 for more technicalities about Zalta's idea.
9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates
Parts must belong to a created thing with a distinct form [Plato]
     Full Idea: The part would not be the part of many things or all, but of some one character ['ideas'] and of some one thing, which we call a 'whole', since it has come to be one complete [perfected] thing composed [created] of all.
     From: Plato (Parmenides [c.364 BCE], 157d)
     A reaction: A serious shot by Plato at what identity is. Harte quotes it (125) and shows that 'character' is Gk 'idea', and 'composed' will translate as 'created'. 'Form' links this Platonic passage to Aristotle's hylomorphism.
9. Objects / C. Structure of Objects / 5. Composition of an Object
In Parmenides, if composition is identity, a whole is nothing more than its parts [Plato, by Harte,V]
     Full Idea: At the heart of the 'Parmenides' puzzles about composition is the thesis that composition is identity. Considered thus, a whole adds nothing to an ontology that already includes its parts
     From: report of Plato (Parmenides [c.364 BCE]) by Verity Harte - Plato on Parts and Wholes 2.5
     A reaction: There has to be more to a unified identity that mere proximity of the parts. When do parts come together, and when do they actually 'compose' something?
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
Plato says only a one has parts, and a many does not [Plato, by Harte,V]
     Full Idea: In 'Parmenides' it is argued that a part cannot be part of a many, but must be part of something one.
     From: report of Plato (Parmenides [c.364 BCE], 157c) by Verity Harte - Plato on Parts and Wholes 3.2
     A reaction: This looks like the right way to go with the term 'part'. We presuppose a unity before we even talk of its parts, so we can't get into contradictions and paradoxes about their relationships.
Anything which has parts must be one thing, and parts are of a one, not of a many [Plato]
     Full Idea: The whole of which the parts are parts must be one thing composed of many; for each of the parts must be part, not of a many, but of a whole.
     From: Plato (Parmenides [c.364 BCE], 157c)
     A reaction: This is a key move of metaphysics, and we should hang on to it. The other way madness lies.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
It seems that the One must be composed of parts, which contradicts its being one [Plato]
     Full Idea: The One must be composed of parts, both being a whole and having parts. So on both grounds the One would thus be many and not one. But it must be not many, but one. So if the One will be one, it will neither be a whole, nor have parts.
     From: Plato (Parmenides [c.364 BCE], 137c09), quoted by Kathrin Koslicki - The Structure of Objects 5.2
     A reaction: This is the starting point for Plato's metaphysical discussion of objects. It seems to begin a line of thought which is completed by Aristotle, surmising that only an essential structure can bestow identity on a bunch of parts.
9. Objects / F. Identity among Objects / 6. Identity between Objects
Two things relate either as same or different, or part of a whole, or the whole of the part [Plato]
     Full Idea: Everything is surely related to everything as follows: either it is the same or different; or, if it is not the same or different, it would be related as part to whole or as whole to part.
     From: Plato (Parmenides [c.364 BCE], 146b)
     A reaction: This strikes me as a really helpful first step in trying to analyse the nature of identity. Two things are either two or (actually) one, or related mereologically.
11. Knowledge Aims / A. Knowledge / 1. Knowledge
The main epistemological theories are foundationalist, coherence, probabilistic and reliabilist [Pollock/Cruz]
     Full Idea: The most familiar epistemological theories are foundation theories, coherence theories, probabilistic theories, and reliabilist theories.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], Pref)
     A reaction: A helpful list. Reliabilism is now the dominant externalist theory. Probability theories will centre on Bayes' Theorem (Idea 2798). The authors want an internalist theory that includes perceptions as well as beliefs. I currently favour coherence.
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
Most people now agree that our reasoning proceeds defeasibly, rather than deductively [Pollock/Cruz]
     Full Idea: One of the most important modern advances in epistemology was the recognition of defeasible reasons; it is now generally acknowledged that most of our reasoning proceeds defeasibly rather than deductively.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §1.2)
     A reaction: I agree totally. This is why fallibilism is clearly a correct position in epistemology (e.g. Ideas 2736 and 2755). Deduction is not the only grounds given for certainty - there are rationalist foundations (Descartes) and empiricist foundations (Moore).
To believe maximum truths, believe everything; to have infallible beliefs, believe nothing [Pollock/Cruz]
     Full Idea: If we want an agent to believe as many truths as possible, this could be achieved by simply believing everything; if we want an agent to have only true beliefs, this could be achieved by believing nothing.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §6.6)
     A reaction: I like this. It highlights the pragmatic need for a middle road, in which a core set of beliefs are going to be approved of as 'knowledge', so that we can get on with life. This has to be a social matter, and needs flexibility of Fallibilism.
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / b. Direct realism
Direct realism says justification is partly a function of pure perceptual states, not of beliefs [Pollock/Cruz]
     Full Idea: We defend a version of direct realism, saying that justification must be partly a function of perceptual states themselves, and not just a function of our beliefs about perceptual states.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §1.5.3)
     A reaction: Judgement suggests that perceptual states give good justification about primary qualities (like mass or shape), but not of secondary qualities (like smell or colour). Perceptions can be downright misleading.
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
Phenomenalism offered conclusive perceptual knowledge, but conclusive reasons no longer seem essential [Pollock/Cruz]
     Full Idea: Phenomenalism offered the prospect of explaining perceptual knowledge within a framework that recognised only conclusive reasons; once it is acknowledged that at least induction uses nonconclusive reasons, it is no longer needed.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §2.3.3.2)
     A reaction: I'm not sure that that is the only motivation for phenomenalism, which seemed to be attempting to get as close to 'reality' as intellectual honesty would allow. I certainly favour the modern relaxed attitude to knowledge, which needn't be 'conclusive'.
12. Knowledge Sources / B. Perception / 1. Perception
Perception causes beliefs in us, without inference or justification [Pollock/Cruz]
     Full Idea: Perception is a causal process that inputs beliefs into our doxastic system without their being inferred from or justified on the basis of other beliefs we already have.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §3.2.3)
     A reaction: This topic is much discussed (e.g. by MacDowell). I don't see how something is going to qualify as a 'belief' if it doesn't involve concepts and propositions. The point that we are caused to have many of our beliefs (rather than judging) seems right.
12. Knowledge Sources / B. Perception / 6. Inference in Perception
Sense evidence is not beliefs, because they are about objective properties, not about appearances [Pollock/Cruz]
     Full Idea: We think it is a mistake to suppose that the evidence of our senses comes to us in the form of beliefs; in perception, the beliefs we form are almost invariably about the objective properties of physical objects - not about how they appear to us.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §2.5.5)
     A reaction: The tricky word here is 'evidence'. At what point in the process of perception does something begin to count as evidence? It must at least involve concepts (and maybe even propositions) if it is going to be thought about in that way.
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
Bayesian epistemology is Bayes' Theorem plus the 'simple rule' (believe P if it is probable) [Pollock/Cruz]
     Full Idea: Bayesian epistemology is based upon the 'simple rule' (believe P if it is sufficiently probable) and Bayes' Theorem.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §4.3.1)
     A reaction: For Bayes' Theorem, see Idea 2798. There is the question of whether the proposition is subjectively or objectively probable (I believe in ghosts, so any shadow is probably a ghost). There is also the problem of objective evidence for the calculation.
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
Internalism says if anything external varies, the justifiability of the belief does not vary [Pollock/Cruz]
     Full Idea: Internalist theories make justifiability of a belief a function of the internal states of the believer, in the sense that if we vary anything but his internal states the justifiability of the belief does not vary.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §5.4.3)
     A reaction: This seems to be a nice clear definition of internalism (and, by implication, externalism). It favours externalism. I know my car is in the car park; someone takes it for a joyride, then replaces it; my good justification seems thereby weakened.
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / b. Basic beliefs
People rarely have any basic beliefs, and never enough for good foundations [Pollock/Cruz]
     Full Idea: We argue that all foundations theories are false, for the simple reason that people rarely have any epistemological basic beliefs, and never have enough to provide a foundation for the rest of our knowledge.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §1.5.3)
     A reaction: Once surprising things start to happen in a film, we rapidly jettison our normal basic beliefs, to be ready for surprises. However, it seems to me that quite a lot of beliefs are hard-wired into us, or inescapably arise from the use of our senses.
Foundationalism requires self-justification, not incorrigibility [Pollock/Cruz]
     Full Idea: What foundationalism requires is self-justification, which is weaker than incorrigibility.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §2.5.3)
     A reaction: The writers oppose foundationalism, but this remark obviously helps the theory. Bonjour votes for a fallible rationalist foundationalism, and an fallible empiricist version seems plausible (because we must check for hallucinations etc.).
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / d. Rational foundations
Reason cannot be an ultimate foundation, because rational justification requires prior beliefs [Pollock/Cruz]
     Full Idea: Reasoning, it seems, can only justify us in holding a belief if we are already justified in holding the beliefs from which we reason, so reasoning cannot provide an ultimate source of justification.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §2.1)
     A reaction: This sounds slick and conclusive, but it isn't. If we accept that some truths might be 'self-evident' to reason, they could stand independently. And a large body of rational beliefs might be mutually self-supporting, as in the coherence theory of truth.
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
Foundationalism is wrong, because either all beliefs are prima facie justified, or none are [Pollock/Cruz]
     Full Idea: Either no belief is prima facie justified or all beliefs are prima facie justified; …we regard this as a decisive refutation of foundationalism.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §2.5.5)
     A reaction: The full text must he examined, but it is not at all clear to me how my belief that quantum theory is correct could be even remotely as prima facie justified as my belief that this is my hand. I don't think basic beliefs need be sharply divided off.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
Negative coherence theories do not require reasons, so have no regress problem [Pollock/Cruz]
     Full Idea: The regress argument has no apparent strength against negative coherence theories, because they do not require reasons for beliefs.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §3.2.3)
     A reaction: A nice point. Such theories endorse Neurath's picture (Idea 6348). On the whole philosophers like positive support for their beliefs, so the rather passive picture of accepting everything unless it is undermined is not appealing. A fall-back position.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / c. Coherentism critique
Coherence theories fail, because they can't accommodate perception as the basis of knowledge [Pollock/Cruz]
     Full Idea: All coherence theories fail, because they are unable to accommodate perception as the basic source of our knowledge of the world.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §1.5.3)
     A reaction: An interesting claim, which the authors attempt to justify. They say it is direct realism, because the perceptions justify, without any intervening beliefs. My immediate thought is that they might justify knowledge of primary qualities, but not secondary.
Coherence theories isolate justification from the world [Pollock/Cruz]
     Full Idea: The Isolation Argument objects that coherence theories cut justification off from the world.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §3.2.4)
     A reaction: I don't see this as a strong objection. Justification can be in the way beliefs cohere together, but the beliefs themselves consist of holding propositions to be true, and truth asserts a connection to the world (I say).
13. Knowledge Criteria / C. External Justification / 1. External Justification
Externalism comes as 'probabilism' (probability of truth) and 'reliabilism' (probability of good cognitive process) [Pollock/Cruz]
     Full Idea: There are two major kinds of externalist theory in the literature - probabilism (which expresses justification in terms of probability of the belief being true), and reliabilism (which refers to the probability of the cognitive processes being right).
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §4.1)
     A reaction: A useful clarification. Reliabilism has an obvious problem, that a process can be reliable, but only luckily correct on this occasion (a clock which has, unusually, stopped). A ghost is more probably there if I believe in ghosts.
13. Knowledge Criteria / C. External Justification / 2. Causal Justification
One belief may cause another, without being the basis for the second belief [Pollock/Cruz]
     Full Idea: If I fall flat on my back running to a class, my belief that I was late for class may cause me to have the belief that there are birds in the trees, but I do not believe the latter on the basis of the former.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §2.3.1)
     A reaction: A nice example, which fairly conclusively demolishes any causal theory of justification. My example is believing correctly that the phone ring is from mother, because she said she would call. Maybe causation is needed somewhere in the right theory.
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
We can't start our beliefs from scratch, because we wouldn't know where to start [Pollock/Cruz]
     Full Idea: We cannot forsake all of our beliefs and start over again, because then we could not know how to start.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §3.1)
     A reaction: A point with which it is hard to disagree, but even Descartes agreed with it (Idea 3604). Presumably all your beliefs can take it in turn to be doubted, while others are held true, or you can whittle the beliefs which can't be abandoned down to a minimum.
14. Science / C. Induction / 1. Induction
Enumerative induction gives a universal judgement, while statistical induction gives a proportion [Pollock/Cruz]
     Full Idea: Enumerative induction examines a sample of objects, observes they all have a property, and infers that they all have that property; statistical induction observes a proportion of the objects having the property, and infers that proportion in general.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §1.4.6)
     A reaction: There is also induction by elimination, where it is either p or q, and observation keeps saying it isn't p. A small sample is very unreliable, but a huge sample (e.g. cigarettes and cancer) is almost certain, so where is the small/huge boundary?
14. Science / C. Induction / 6. Bayes's Theorem
Since every tautology has a probability of 1, should we believe all tautologies? [Pollock/Cruz]
     Full Idea: It follows from the probability calculus that every tautology has probability 1; it then follows in Bayesian epistemology that we are justified in believing every tautology.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §4.3.1.5)
     A reaction: If I say 'a bachelor is a small ant' you wouldn't believe it, but if I said 'I define a bachelor as a small ant' you would have to believe it. 'Bachelors are unmarried' men is a description of English usage, so is not really a simple tautology.
14. Science / D. Explanation / 3. Best Explanation / a. Best explanation
Scientific confirmation is best viewed as inference to the best explanation [Pollock/Cruz]
     Full Idea: The confirmation of scientific theories is probably best viewed in terms of inference to the best explanation.
     From: J Pollock / J Cruz (Contemporary theories of Knowledge (2nd) [1999], §2.3.3.3)
     A reaction: A simple claim, but one with which I strongly agree. 'Inference', of course, implies that there is some fairly strict logical thinking going on, which may not be so. I suspect that dogs can move to the best explanation. It is, though, a rational process.
18. Thought / E. Abstraction / 2. Abstracta by Selection
Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta]
     Full Idea: My object theory is formulated in a 'syntactically second-order' modal predicate calculus modified only so as to admit a second kind of atomic formula ('xF'), which asserts that object x 'encodes' property F.
     From: Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], p.2)
     A reaction: This is summarising Zalta's 1983 theory of abstract objects. See Idea 10558 for Zalta's idea in plain English.
25. Social Practice / E. Policies / 5. Education / c. Teaching
Only a great person can understand the essence of things, and an even greater person can teach it [Plato]
     Full Idea: Only a man of very great natural gifts will be able to understand that everything has a class and absolute essence, and an even more wonderful man can teach this.
     From: Plato (Parmenides [c.364 BCE], 135a)
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / d. The unlimited
The unlimited has no shape and is endless [Plato]
     Full Idea: The unlimited partakes neither of the round nor of the straight, because it has no ends nor edges.
     From: Plato (Parmenides [c.364 BCE], 137e)
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / e. The One
Some things do not partake of the One [Plato]
     Full Idea: The others cannot partake of the one in any way; they can neither partake of it nor of the whole.
     From: Plato (Parmenides [c.364 BCE], 159d)
     A reaction: Compare Idea 231
The only movement possible for the One is in space or in alteration [Plato]
     Full Idea: If the One moves it either moves spatially or it is altered, since these are the only motions.
     From: Plato (Parmenides [c.364 BCE], 138b)
Everything partakes of the One in some way [Plato]
     Full Idea: The others are not altogether deprived of the one, for they partake of it in some way.
     From: Plato (Parmenides [c.364 BCE], 157c)
     A reaction: Compare Idea 233.
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
We couldn't discuss the non-existence of the One without knowledge of it [Plato]
     Full Idea: There must be knowledge of the one, or else not even the meaning of the words 'if the one does not exist' would be known.
     From: Plato (Parmenides [c.364 BCE], 160d)