Combining Texts

All the ideas for 'Precis of 'Limits of Abstraction'', 'works' and 'What is Knowledge-First Epistemology?'

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

9 ideas

2. Reason / D. Definition / 2. Aims of Definition
10528 Definitions concern how we should speak, not how things are [Fine,K]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
15941 For intuitionists excluded middle is an outdated historical convention [Brouwer]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
18247 Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / d. Hume's Principle
10529 If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K]
10530 Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
19540 Don't confuse justified belief with justified believers [Dougherty/Rysiew]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / b. Need for justification
19539 If knowledge is unanalysable, that makes justification more important [Dougherty/Rysiew]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
10527 An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K]
19. Language / C. Assigning Meanings / 2. Semantics
19538 Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew]