Combining Texts

All the ideas for 'Parmenides', 'Truthmakers and Converse Barcan Formula' and 'Topics'

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


82 ideas

1. Philosophy / F. Analytic Philosophy / 2. Analysis by Division
Begin examination with basics, and subdivide till you can go no further [Aristotle]
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]
2. Reason / B. Laws of Thought / 5. Opposites
Opposites are as unlike as possible [Plato]
2. Reason / C. Styles of Reason / 1. Dialectic
Dialectic starts from generally accepted opinions [Aristotle]
Plato's 'Parmenides' is the greatest artistic achievement of the ancient dialectic [Hegel on Plato]
2. Reason / D. Definition / 1. Definitions
There can't be one definition of two things, or two definitions of the same thing [Aristotle]
Definitions are easily destroyed, since they can contain very many assertions [Aristotle]
2. Reason / D. Definition / 5. Genus and Differentia
In definitions the first term to be assigned ought to be the genus [Aristotle]
We describe the essence of a particular thing by means of its differentiae [Aristotle]
The differentia indicate the qualities, but not the essence [Aristotle]
The genera and the differentiae are part of the essence [Aristotle]
Differentia are generic, and belong with genus [Aristotle]
'Genus' is part of the essence shared among several things [Aristotle]
2. Reason / D. Definition / 6. Definition by Essence
The definition is peculiar to one thing, not common to many [Aristotle]
3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
The truthmaker principle requires some specific named thing to make the difference [Williamson]
3. Truth / B. Truthmakers / 7. Making Modal Truths
The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson]
Truthmaker is incompatible with modal semantics of varying domains [Williamson]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson]
Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson]
5. Theory of Logic / G. Quantification / 1. Quantification
Not all quantification is either objectual or substitutional [Williamson]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Not all quantification is objectual or substitutional [Williamson]
5. Theory of Logic / L. Paradox / 2. Aporiai
Puzzles arise when reasoning seems equal on both sides [Aristotle]
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]
Plato's 'Parmenides' is perhaps the best collection of antinomies ever made [Russell on Plato]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
Unit is the starting point of number [Aristotle]
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]
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]
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]
7. Existence / D. Theories of Reality / 3. Reality
Absolute ideas, such as the Good and the Beautiful, cannot be known by us [Plato]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson]
7. Existence / E. Categories / 3. Proposed Categories
There are ten categories: essence, quantity, quality, relation, place, time, position, state, activity, passivity [Aristotle]
8. Modes of Existence / B. Properties / 1. Nature of Properties
An individual property has to exist (in past, present or future) [Aristotle]
8. Modes of Existence / B. Properties / 3. Types of Properties
An 'accident' is something which may possibly either belong or not belong to a thing [Aristotle]
8. Modes of Existence / D. Universals / 2. Need for Universals
If you deny that each thing always stays the same, you destroy the possibility of discussion [Plato]
You must always mean the same thing when you utter the same name [Plato]
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]
The concept of a master includes the concept of a slave [Plato]
Greatness and smallness must exist, to be opposed to one another, and come into being in things [Plato]
If admirable things have Forms, maybe everything else does as well [Plato]
If absolute ideas existed in us, they would cease to be absolute [Plato]
Plato moves from Forms to a theory of genera and principles in his later work [Plato, by Frede,M]
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
If things partake of ideas, this implies either that everything thinks, or that everything actually is thought [Plato]
Each idea is in all its participants at once, just as daytime is a unity but in many separate places at once [Plato]
The whole idea of each Form must be found in each thing which participates in it [Plato]
If things are made alike by participating in something, that thing will be the absolute idea [Plato]
Participation is not by means of similarity, so we are looking for some other method of participation [Plato]
8. Modes of Existence / D. Universals / 6. Platonic Forms / c. Self-predication
If absolute greatness and great things are seen as the same, another thing appears which makes them seem great [Plato]
Nothing can be like an absolute idea, because a third idea intervenes to make them alike (leading to a regress) [Plato]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
Genus gives the essence better than the differentiae do [Aristotle]
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]
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]
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]
Anything which has parts must be one thing, and parts are of a one, not of a many [Plato]
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]
In the case of a house the parts can exist without the whole, so parts are not the whole [Aristotle]
9. Objects / D. Essence of Objects / 3. Individual Essences
Everything that is has one single essence [Aristotle]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
An 'idion' belongs uniquely to a thing, but is not part of its essence [Aristotle]
9. Objects / E. Objects over Time / 11. End of an Object
Destruction is dissolution of essence [Aristotle]
9. Objects / E. Objects over Time / 12. Origin as Essential
If two things are the same, they must have the same source and origin [Aristotle]
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]
9. Objects / F. Identity among Objects / 9. Sameness
'Same' is mainly for names or definitions, but also for propria, and for accidents [Aristotle]
Two identical things have the same accidents, they are the same; if the accidents differ, they're different [Aristotle]
Numerical sameness and generic sameness are not the same [Aristotle]
10. Modality / A. Necessity / 6. Logical Necessity
Reasoning is when some results follow necessarily from certain claims [Aristotle]
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
Our ability to count objects across possibilities favours the Barcan formulas [Williamson]
14. Science / C. Induction / 1. Induction
Induction is the progress from particulars to universals [Aristotle]
14. Science / C. Induction / 3. Limits of Induction
We say 'so in cases of this kind', but how do you decide what is 'of this kind'? [Aristotle]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
Friendship is preferable to money, since its excess is preferable [Aristotle]
Justice and self-control are better than courage, because they are always useful [Aristotle]
23. Ethics / C. Virtue Theory / 4. External Goods / d. Friendship
We value friendship just for its own sake [Aristotle]
24. Political Theory / A. Basis of a State / 1. A People / a. Human distinctiveness
Man is intrinsically a civilized animal [Aristotle]
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]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / d. The unlimited
The unlimited has no shape and is endless [Plato]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / e. The One
Everything partakes of the One in some way [Plato]
The only movement possible for the One is in space or in alteration [Plato]
Some things do not partake of the One [Plato]
26. Natural Theory / B. Natural Kinds / 2. Defining Kinds
All water is the same, because of a certain similarity [Aristotle]
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]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
A thing can't be the only necessary existent, because its singleton set would be as well [Williamson]
'Being' and 'oneness' are predicated of everything which exists [Aristotle]