Combining Philosophers
Ideas for Herodotus, Edwin D. Mares and Nicholas of Autrecourt
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
3 ideas
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
18790
|
Intuitionism as natural deduction has no rule for negation [Mares]
|
18789
|
Intuitionist logic looks best as natural deduction [Mares]
|
4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
18787
|
Three-valued logic is useful for a theory of presupposition [Mares]
|