Combining Philosophers

All the ideas for Halbach,V/Leigh,G.E., Sara L. Uckelman and Anil Gupta

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


27 ideas

2. Reason / D. Definition / 1. Definitions
Definitions usually have a term, a 'definiendum' containing the term, and a defining 'definiens' [Gupta]
Notable definitions have been of piety (Plato), God (Anselm), number (Frege), and truth (Tarski) [Gupta]
2. Reason / D. Definition / 2. Aims of Definition
A definition needs to apply to the same object across possible worlds [Gupta]
The 'revision theory' says that definitions are rules for improving output [Gupta]
2. Reason / D. Definition / 3. Types of Definition
Traditional definitions are general identities, which are sentential and reductive [Gupta]
Traditional definitions need: same category, mention of the term, and conservativeness and eliminability [Gupta]
A definition can be 'extensionally', 'intensionally' or 'sense' adequate [Gupta]
2. Reason / D. Definition / 4. Real Definition
Chemists aim at real definition of things; lexicographers aim at nominal definition of usage [Gupta]
2. Reason / D. Definition / 6. Definition by Essence
If definitions aim at different ideals, then defining essence is not a unitary activity [Gupta]
2. Reason / D. Definition / 10. Stipulative Definition
Stipulative definition assigns meaning to a term, ignoring prior meanings [Gupta]
2. Reason / D. Definition / 11. Ostensive Definition
Ostensive definitions look simple, but are complex and barely explicable [Gupta]
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 / a. Tarski's truth definition
Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true) [Gupta]
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
A weakened classical language can contain its own truth predicate [Gupta]
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]
4. Formal Logic / E. Nonclassical Logics / 11. Dynamic Logics
Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman]
4. Formal Logic / F. Set Theory ST / 6. Ordering in Sets
The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
The Liar reappears, even if one insists on propositions instead of sentences [Gupta]
Strengthened Liar: either this sentence is neither-true-nor-false, or it is not true [Gupta]
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]