" In this book, it is argued that the notorious logical paradoxes-the Liar, Russell's, the Sorites-
are only the noisiest of many. Contradictions arise in the everyday, from the smallest points …

A natural suggestion and increasingly popular account of how to revise our logical beliefs
treats revision of logic analogously to the revision of scientific theories (Hjortland, Priest …

Paraconsistent logic makes it possible to study inconsistent theories in a coherent way. From
its modern start in the mid-20th century, paraconsistency was intended for use in …

I distinguish two ways of developing anti-exceptionalist approaches to logical revision. The
first emphasizes comparing the theoretical virtuousness of developed bodies of logical …

One alternative to Tarski's hierarchy of metalanguages is to consider paraconsistent logics
for theories of truth, to deal with paradoxical sentences. In the face of the possibility of …

This dissertation has two main goals. The first is to provide a practice-based analysis of the
field of inconsistent mathematics: what motivates it? what role does logic have in it? what …

I investigate syntactic notions of theoretical equivalence between logical theories and a
recent objection thereto. I show that this recent criticism of syntactic accounts, as …

In this paper, I argue against the thesis that the meaning of 'computability'is logic-dependent.
I do this from a category-theoretic perspective. Applying a method due to Mortensen and …

Standard reasoning about Kripke semantics for modal logic is almost always based on a
background framework of classical logic. Can proofs for familiar definability theorems be …

There are many approaches to paraconsistency, ranging from the very moderate to the more
radical. In this paper I explore and extend the more radical end of the spectrum, where there …