Combining Texts
Ideas for
'Thinking About Mathematics', 'Science and Method' and 'Knowledge and the Philosophy of Number'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
3 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 / 2. Logical Connectives / d. and
23628
|
The connective 'and' can have an order-sensitive meaning, as 'and then' [Hossack]
|
5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic
23627
|
'Before' and 'after' are not two relations, but one relation with two orders [Hossack]
|