Combining Texts

Ideas for 'fragments/reports', 'Posterior Analytics' and 'Human Freedom and the Self'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
Demonstrations by reductio assume excluded middle [Aristotle]
     Full Idea: Demonstrations by reduction to the impossible assume that everything is asserted or denied.
     From: Aristotle (Posterior Analytics [c.327 BCE], 77a23)
     A reaction: This sounds like the lynchpin of classical logic.