Combining Texts
Ideas for
'Truth and the Past', 'The Philosophy of Mathematics' and 'Critique of Pure Reason'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
8 ideas
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
|
18794
|
Logic has precise boundaries, and is the formal rules for all thinking [Kant]
|
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
|
8195
|
Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett]
|
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
|
9195
|
Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett]
|
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
|
9186
|
First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett]
|
5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
|
5542
|
There must be a general content-free account of truth in the rules of logic [Kant]
|
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
|
9187
|
Logical truths and inference are characterized either syntactically or semantically [Dummett]
|
5. Theory of Logic / L. Paradox / 3. Antinomies
|
21454
|
The battle of the antinomies is usually won by the attacker, and lost by any defender [Kant]
|
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / b. The Heap paradox ('Sorites')
|
8194
|
Surely there is no exact single grain that brings a heap into existence [Dummett]
|