Combining Texts

All the ideas for 'Intensional Logic', 'Topics' and 'Thought and Talk'

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


49 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 / 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
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 / A. Truth Problems / 1. Truth
A sentence is held true because of a combination of meaning and belief [Davidson]
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 / 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]
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]
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]
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 / 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 / a. Transworld identity
Definite descriptions pick out different objects in different possible worlds [Fitting]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
Having a belief involves the possibility of being mistaken [Davidson]
11. Knowledge Aims / A. Knowledge / 4. Belief / e. Belief holism
The concept of belief can only derive from relationship to a speech community [Davidson]
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]
18. Thought / A. Modes of Thought / 1. Thought
Thought depends on speech [Davidson]
18. Thought / A. Modes of Thought / 8. Human Thought
A creature doesn't think unless it interprets another's speech [Davidson]
18. Thought / D. Concepts / 5. Concepts and Language / a. Concepts and language
Concepts are only possible in a language community [Davidson]
19. Language / A. Nature of Meaning / 6. Meaning as Use
An understood sentence can be used for almost anything; it isn't language if it has only one use [Davidson]
19. Language / A. Nature of Meaning / 7. Meaning Holism / b. Language holism
The pattern of sentences held true gives sentences their meaning [Davidson]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
Justice and self-control are better than courage, because they are always useful [Aristotle]
Friendship is preferable to money, since its excess is preferable [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]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
'Being' and 'oneness' are predicated of everything which exists [Aristotle]