Zach Weber

15 Nov 2013, 2pm-4pm, Oak Hall 408

Many solutions to the sorties paradox use non-classical logic. But what becomes of the sorties when we turn the tables, and pose the problem using non-classical logics? Is the candidate non-classical logic too weak to be able to formulate the sorites paradox to begin with? There would seem to be something awry if a logic were not strong enough to express the very problems that logic was invoked to address. We will look at some basic tools to demonstrate what a sorties paradox looks like when fully recast in paraconsistent mathematics.