Combining Texts

All the ideas for 'Topics', 'Logical Consequence' and 'Universals'

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


66 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 / B. Laws of Thought / 6. Ockham's Razor
Epistemological Ockham's Razor demands good reasons, but the ontological version says reality is simple [Moreland]
2. Reason / C. Styles of Reason / 1. Dialectic
Dialectic starts from generally accepted opinions [Aristotle]
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
We describe the essence of a particular thing by means of its differentiae [Aristotle]
The differentia indicate the qualities, but not the essence [Aristotle]
In definitions the first term to be assigned ought to be the genus [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]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 8. Material Implication
A step is a 'material consequence' if we need contents as well as form [Beall/Restall]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Models are mathematical structures which interpret the non-logical primitives [Beall/Restall]
5. Theory of Logic / L. Paradox / 2. Aporiai
Puzzles arise when reasoning seems equal on both sides [Aristotle]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
Unit is the starting point of number [Aristotle]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall]
7. Existence / D. Theories of Reality / 1. Ontologies
Existence theories must match experience, possibility, logic and knowledge, and not be self-defeating [Moreland]
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 / B. Properties / 13. Tropes / a. Nature of tropes
Tropes are like Hume's 'impressions', conceived as real rather than as ideal [Moreland]
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
A colour-trope cannot be simple (as required), because it is spread in space, and so it is complex [Moreland]
In 'four colours were used in the decoration', colours appear to be universals, not tropes [Moreland]
8. Modes of Existence / D. Universals / 1. Universals
If properties are universals, what distinguishes two things which have identical properties? [Moreland]
One realism is one-over-many, which may be the model/copy view, which has the Third Man problem [Moreland]
Realists see properties as universals, which are single abstract entities which are multiply exemplifiable [Moreland]
8. Modes of Existence / D. Universals / 2. Need for Universals
Evidence for universals can be found in language, communication, natural laws, classification and ideals [Moreland]
The traditional problem of universals centres on the "One over Many", which is the unity of natural classes [Moreland]
8. Modes of Existence / D. Universals / 3. Instantiated Universals
The One-In-Many view says universals have abstract existence, but exist in particulars [Moreland]
8. Modes of Existence / D. Universals / 4. Uninstantiated Universals
How could 'being even', or 'being a father', or a musical interval, exist naturally in space? [Moreland]
Maybe universals are real, if properties themselves have properties, and relate to other properties [Moreland]
A naturalist and realist about universals is forced to say redness can be both moving and stationary [Moreland]
There are spatial facts about red particulars, but not about redness itself [Moreland]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
Redness is independent of red things, can do without them, has its own properties, and has identity [Moreland]
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
Moderate nominalism attempts to embrace the existence of properties while avoiding universals [Moreland]
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
Unlike Class Nominalism, Resemblance Nominalism can distinguish natural from unnatural classes [Moreland]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
There can be predicates with no property, and there are properties with no predicate [Moreland]
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
We should abandon the concept of a property since (unlike sets) their identity conditions are unclear [Moreland]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
Genus gives the essence better than the differentiae do [Aristotle]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
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 / 7. Indiscernible Objects
Most philosophers think that the identity of indiscernibles is false [Moreland]
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]
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]
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
Abstractions are formed by the mind when it concentrates on some, but not all, the features of a thing [Moreland]
18. Thought / D. Concepts / 4. Structure of Concepts / b. Analysis of concepts
It is always open to a philosopher to claim that some entity or other is unanalysable [Moreland]
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]
26. Natural Theory / B. Natural Kinds / 2. Defining Kinds
All water is the same, because of a certain similarity [Aristotle]
27. Natural Reality / D. Time / 1. Nature of Time / h. Presentism
'Presentism' is the view that only the present moment exists [Moreland]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
'Being' and 'oneness' are predicated of everything which exists [Aristotle]