Combining Texts
Ideas for
'fragments/reports', 'Thought and Reality' and 'Mathematical Thought from Ancient to Modern Times'
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 / 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]
|
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
17606
|
Axioms reveal the underlying assumptions, and reveal relationships between different areas [Kline]
|