Combining Texts

All the ideas for 'Philosophical Explanations', 'What Numbers Are' and 'fragments/reports'

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


5 ideas

5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP]
     Full Idea: The Löwenheim-Skolem theorem tells us that any theory with a true interpretation has a model in the natural numbers.
     From: Nicholas P. White (What Numbers Are [1974], V)
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP]
     Full Idea: Statements involving finite cardinalities can be made without treating numbers as objects at all, simply by using quantification and identity to define numerically definite quantifiers in the manner of Frege.
     From: Nicholas P. White (What Numbers Are [1974], IV)
     A reaction: [He adds Quine 1960:268 as a reference]
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M]
     Full Idea: Nozick suggests that knowledge is just belief which 'tracks the truth' (hence leaving out justification).
     From: report of Robert Nozick (Philosophical Explanations [1981]) by Michael Williams - Problems of Knowledge Ch. 2
13. Knowledge Criteria / C. External Justification / 4. Tracking the Facts
A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J]
     Full Idea: Nozick says Gettier cases aren't knowledge because the proposition would be believed even if false. Proper justification must be more sensitive to the truth ("track the truth").
     From: report of Robert Nozick (Philosophical Explanations [1981], 3.1) by Jonathan Dancy - Intro to Contemporary Epistemology 3.1
     A reaction: This is a bad idea. I see a genuine tree in my garden and believe it is there, so I know it. That I might have believed it if I was in virtually reality, or observing a mirror, won't alter that.
20. Action / B. Preliminaries of Action / 2. Willed Action / d. Weakness of will
Some reasonings are stronger than we are [Philolaus]
     Full Idea: Some reasonings are stronger than we are.
     From: Philolaus (fragments/reports [c.425 BCE]), quoted by Aristotle - Eudemian Ethics 1225a33
     A reaction: This endorses the Aristotle view of akrasia (as opposed to the Socratic view). This isolated remark seems to imply that we are more clearly embodiments of will than of reason.