Combining Texts
Ideas for
'Axiomatic Theories of Truth (2005 ver)', 'The Philosophy of Mathematics' and 'On Fate ('De fato')'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
2 ideas
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
21677
|
How can the not-true fail to be false, or the not-false fail to be true? [Cicero]
|
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]
|