Combining Philosophers
Ideas for Anaxarchus, Mark Colyvan and Immanuel Kant
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
7 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 / A. Overview of Logic / 3. Value of Logic
22275
|
Logic gives us the necessary rules which show us how we ought to think [Kant]
|
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
17924
|
Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan]
|
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 / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
17929
|
Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan]
|
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
17930
|
Axioms are 'categorical' if all of their models are isomorphic [Colyvan]
|
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]
|