Combining Texts

All the ideas for 'Lysis', 'Mathematics without Foundations' and 'Vagueness, Truth and Logic'

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


19 ideas

1. Philosophy / F. Analytic Philosophy / 6. Logical Analysis
Study vagueness first by its logic, then by its truth-conditions, and then its metaphysics [Fine,K]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / d. Infinite Sets
We understand some statements about all sets [Putnam]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Excluded Middle, and classical logic, may fail for vague predicates [Fine,K]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Logic holding between indefinite sentences is the core of all language [Fine,K]
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
I do not believe mathematics either has or needs 'foundations' [Putnam]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
It is conceivable that the axioms of arithmetic or propositional logic might be changed [Putnam]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Maybe mathematics is empirical in that we could try to change it [Putnam]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics
Science requires more than consistency of mathematics [Putnam]
7. Existence / D. Theories of Reality / 4. Anti-realism
You can't deny a hypothesis a truth-value simply because we may never know it! [Putnam]
7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic
Vagueness is semantic, a deficiency of meaning [Fine,K]
7. Existence / D. Theories of Reality / 10. Vagueness / e. Higher-order vagueness
A thing might be vaguely vague, giving us higher-order vagueness [Fine,K]
7. Existence / D. Theories of Reality / 10. Vagueness / f. Supervaluation for vagueness
A vague sentence is only true for all ways of making it completely precise [Fine,K]
Logical connectives cease to be truth-functional if vagueness is treated with three values [Fine,K]
Meaning is both actual (determining instances) and potential (possibility of greater precision) [Fine,K]
With the super-truth approach, the classical connectives continue to work [Fine,K]
Borderline cases must be under our control, as capable of greater precision [Fine,K]
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
Vagueness can be in predicates, names or quantifiers [Fine,K]
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
The good is beautiful [Plato]
23. Ethics / C. Virtue Theory / 4. External Goods / d. Friendship
People say that friendship exists only between good men [Plato]