Combining Texts

All the ideas for 'Topics', 'talk' and 'Axiomatic Theories of Truth (2013 ver)'

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


61 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
He studied philosophy by suspending his judgement on everything [Pyrrho, by Diog. Laertius]
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 / 9. Limits of Reason
Sceptics say reason is only an instrument, because reason can only be attacked with reason [Pyrrho, by Diog. Laertius]
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 / 2. Defining Truth
If we define truth, we can eliminate it [Halbach/Leigh]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh]
3. Truth / F. Semantic Truth / 2. Semantic Truth
The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh]
If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh]
3. Truth / G. Axiomatic Truth / 2. FS Truth Axioms
The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh]
3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms
KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh]
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]
8. Modes of Existence / B. Properties / 12. Denial of Properties
We can reduce properties to true formulas [Halbach/Leigh]
8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta
Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh]
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]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
If we need a criterion of truth, we need to know whether it is the correct criterion [Pyrrho, by Fogelin]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
The Pyrrhonians attacked the dogmas of professors, not ordinary people [Pyrrho, by Fogelin]
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
Academics said that Pyrrhonians were guilty of 'negative dogmatism' [Pyrrho, by Fogelin]
13. Knowledge Criteria / E. Relativism / 1. Relativism
Perception of things depends on their size or quantity (Mode 8) [Pyrrho, by Diog. Laertius]
Individuals vary in responses and feelings (Mode 2) [Pyrrho, by Diog. Laertius]
Perception varies with viewing distance and angle (Mode 7) [Pyrrho, by Diog. Laertius]
Animals vary in their feelings and judgements (Mode 1) [Pyrrho, by Diog. Laertius]
Objects vary according to which sense perceives them (Mode 3) [Pyrrho, by Diog. Laertius]
Perception of objects depends on surrounding conditions (Mode 6) [Pyrrho, by Diog. Laertius]
Perception varies with madness or disease (Mode 4) [Pyrrho, by Diog. Laertius]
Perception and judgement depend on comparison (Mode 10) [Pyrrho, by Diog. Laertius]
Judgements vary according to local culture and law (Mode 5) [Pyrrho, by Diog. Laertius]
Perception is affected by expectations (Mode 9) [Pyrrho, by Diog. Laertius]
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
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]
26. Natural Theory / C. Causation / 7. Eliminating causation
There are no causes, because they are relative, and alike things can't cause one another [Pyrrho, by Diog. Laertius]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
Motion can't move where it is, and can't move where it isn't, so it can't exist [Pyrrho, by Diog. Laertius]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
'Being' and 'oneness' are predicated of everything which exists [Aristotle]