“Assertion, Denial and Non-Classical Theories,” pp. 81–99 in Paraconsistency: Logic and Applications, edited by Koji Tanaka, Francesco Berto, Edwin Mares and Francesco Paoli, 2013.

 download pdf

In this paper I urge friends of truth-value gaps and truth-value gluts – proponents of paracomplete and paraconsistent logics – to consider theories not merely as sets of sentences, but as pairs of sets of sentences, or what I call ‘bitheories,’ which keep track not only of what holds according to the theory, but also what fails to hold according to the theory. I explain the connection between bitheories, sequents, and the speech acts of assertion and denial. I illustrate the usefulness of bitheories by showing how they make available a technique for characterising different theories while abstracting away from logical vocabulary such as connectives or quantifiers, thereby making theoretical commitments independent of the choice of this or that particular non-classical logic.

Examples discussed include theories of numbers, classes and truth. In the latter two cases, the bitheoretical perspective brings to light some heretofore unconsidered puzzles for friends of naïve theories of classes and truth.


Do you like this, or do you have a comment? Then please  share or reply on Twitter, or  email me.


← Special Issue of the Logic Journal of the IGPL: Non-Classical Mathematics | Writing Archive | Pluralism and Proofs →

about

I’m Greg Restall, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.

elsewhere

subscribe

To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.

search