Combining Texts

All the ideas for 'Intensional Logic', 'The Moral Problem' and 'Categories'

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


68 ideas

1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
Without extensive examination firm statements are hard, but studying the difficulties is profitable [Aristotle]
1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
Analysis aims to express the full set of platitudes surrounding a given concept [Smith,M]
2. Reason / B. Laws of Thought / 4. Contraries
The contrary of good is bad, but the contrary of bad is either good or another evil [Aristotle]
Both sides of contraries need not exist (as health without sickness, white without black) [Aristotle]
2. Reason / D. Definition / 1. Definitions
Defining a set of things by paradigms doesn't pin them down enough [Smith,M]
2. Reason / F. Fallacies / 8. Category Mistake / a. Category mistakes
The differentiae of genera which are different are themselves different in kind [Aristotle]
3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
A true existence statement has its truth caused by the existence of the thing [Aristotle]
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
If terms change their designations in different states, they are functions from states to objects [Fitting]
Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Predications of predicates are predications of their subjects [Aristotle]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
λ-abstraction disambiguates the scope of modal operators [Fitting]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
One is prior to two, because its existence is implied by two [Aristotle]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
Parts of a line join at a point, so it is continuous [Aristotle]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
Some quantities are discrete, like number, and others continuous, like lines, time and space [Aristotle]
7. Existence / A. Nature of Existence / 3. Being / f. Primary being
Primary being must be more than mere indeterminate ultimate subject of predication [Politis on Aristotle]
7. Existence / B. Change in Existence / 1. Nature of Change
There are six kinds of change: generation, destruction, increase, diminution, alteration, change of place [Aristotle]
7. Existence / C. Structure of Existence / 4. Ontological Dependence
A thing is prior to another if it implies its existence [Aristotle]
Of interdependent things, the prior one causes the other's existence [Aristotle]
7. Existence / E. Categories / 3. Proposed Categories
There are ten basic categories for thinking about things [Aristotle]
The categories (substance, quality, quantity, relation, action, passion, place, time) peter out inconsequentially [Benardete,JA on Aristotle]
Substance,Quantity,Quality,Relation,Place,Time,Being-in-a-position,Having,Doing,Being affected [Aristotle, by Westerhoff]
7. Existence / E. Categories / 4. Category Realism
Aristotle derived categories as answers to basic questions about nature, size, quality, location etc. [Aristotle, by Gill,ML]
8. Modes of Existence / A. Relations / 1. Nature of Relations
Aristotle said relations are not substances, so (if they exist) they must be accidents [Aristotle, by Heil]
8. Modes of Existence / B. Properties / 2. Need for Properties
Aristotle promoted the importance of properties and objects (rather than general and particular) [Aristotle, by Frede,M]
8. Modes of Existence / B. Properties / 6. Categorical Properties
Some things said 'of' a subject are not 'in' the subject [Aristotle]
We call them secondary 'substances' because they reveal the primary substances [Aristotle]
8. Modes of Existence / B. Properties / 9. Qualities
Four species of quality: states, capacities, affects, and forms [Aristotle, by Pasnau]
8. Modes of Existence / D. Universals / 3. Instantiated Universals
Colour must be in an individual body, or it is not embodied [Aristotle]
9. Objects / A. Existence of Objects / 1. Physical Objects
Aristotle gave up his earlier notion of individuals, because it relied on universals [Aristotle, by Frede,M]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
Genus and species are substances, because only they reveal the primary substance [Aristotle, by Wedin]
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
A single substance can receive contrary properties [Aristotle]
Substances have no opposites, and don't come in degrees (including if the substance is a man) [Aristotle]
Is primary substance just an ultimate subject, or some aspect of a complex body? [Aristotle, by Gill,ML]
Primary being is 'that which lies under', or 'particular substance' [Aristotle, by Politis]
9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance
A 'primary' substance is in each subject, with species or genera as 'secondary' substances [Aristotle]
Secondary substances do have subjects, so they are not ultimate in the ontology [Aristotle, by Frede,M]
In earlier Aristotle the substances were particulars, not kinds [Aristotle, by Lawson-Tancred]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
Earlier Aristotle had objects as primary substances, but later he switched to substantial form [Aristotle, by Lowe]
Things are called 'substances' because they are subjects for everything else [Aristotle]
9. Objects / D. Essence of Objects / 3. Individual Essences
A primary substance reveals a 'this', which is an individual unit [Aristotle]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
Primary substances are ontological in 'Categories', and explanatory in 'Metaphysics' [Aristotle, by Wedin]
9. Objects / F. Identity among Objects / 5. Self-Identity
Aristotle denigrates the category of relation, but for modern absolutists self-relation is basic [Benardete,JA on Aristotle]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Definite descriptions pick out different objects in different possible worlds [Fitting]
18. Thought / A. Modes of Thought / 5. Rationality / a. Rationality
Capturing all the common sense facts about rationality is almost impossible [Smith,M]
19. Language / C. Assigning Meanings / 3. Predicates
Only what can be said of many things is a predicable [Aristotle, by Wedin]
Some predicates signify qualification of a substance, others the substance itself [Aristotle]
20. Action / C. Motives for Action / 1. Acting on Desires
In the Humean account, desires are not true/false, or subject to any rational criticism [Smith,M]
Subjects may be fallible about the desires which explain their actions [Smith,M]
A person can have a desire without feeling it [Smith,M]
Goals need desires, and so only desires can motivate us [Smith,M]
Humeans (unlike their opponents) say that desires and judgements can separate [Smith,M]
If first- and second-order desires conflict, harmony does not require the second-order to win [Smith,M]
Objective reasons to act might be the systematic desires of a fully rational person [Smith,M]
A pure desire could be criticised if it were based on a false belief [Smith,M]
20. Action / C. Motives for Action / 3. Acting on Reason / a. Practical reason
Motivating reasons are psychological, while normative reasons are external [Smith,M]
Humeans take maximising desire satisfaction as the normative reasons for actions [Smith,M]
We cannot expect even fully rational people to converge on having the same desires for action [Smith,M]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / h. Against ethics
'Externalists' say moral judgements are not reasons, and maybe not even motives [Smith,M]
A person could make a moral judgement without being in any way motivated by it [Smith,M]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / b. Rational ethics
Moral internalism says a judgement of rightness is thereby motivating [Smith,M]
'Rationalism' says the rightness of an action is a reason to perform it [Smith,M]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / h. Expressivism
Expressivists count attitudes as 'moral' if they concern features of things, rather than their mere existence [Smith,M]
22. Metaethics / B. Value / 1. Nature of Value / a. Nature of value
Is valuing something a matter of believing or a matter of desiring? [Smith,M]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / b. Scientific necessity
It is not possible for fire to be cold or snow black [Aristotle]
27. Natural Reality / A. Classical Physics / 2. Thermodynamics / d. Entropy
Change goes from possession to loss (as in baldness), but not the other way round [Aristotle]