Combining Texts
Ideas for
'Thinking About Mathematics', 'Towards a Universal Characteristic' and 'Thought and Reality'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
5 ideas
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
19370
|
'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R]
|
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
8173
|
Language can violate bivalence because of non-referring terms or ill-defined predicates [Dummett]
|
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
8179
|
The law of excluded middle is the logical reflection of the principle of bivalence [Dummett]
|
8729
|
Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro]
|
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
19391
|
We can assign a characteristic number to every single object [Leibniz]
|