Combining Texts
Ideas for
'Thinking About Mathematics', 'Abstract Objects' and 'The Theory of Logical Types'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
7 ideas
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
8729
|
Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro]
|
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
21566
|
'Propositional functions' are ambiguous until the variable is given a value [Russell]
|
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
10316
|
We should decide whether singular terms are genuine by their usage [Hale]
|
10312
|
Often the same singular term does not ensure reliable inference [Hale]
|
10313
|
Plenty of clear examples have singular terms with no ontological commitment [Hale]
|
10322
|
If singular terms can't be language-neutral, then we face a relativity about their objects [Hale]
|
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
21567
|
'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell]
|