There appears to be few, if any, limits on what sorts of logical connectives can be added to a
given logic. One source of potential limitations is the motivating ideology associated with a …

Do truth tables—the ordinary sort that we use in teaching and explaining basic propositional
logic—require an assumption of consistency for their construction? In this essay we show …

In classically based modal logic, there are three common conceptions of necessity, the
universal conception, the equivalence relation conception, and the axiomatic conception …

There was a time when 'logic'just meant classical logic. The climate is slowly changing, and
non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the …

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 …

Sentences about logic are often used to show that certain embedding expressions (attitude
verbs, conditionals, etc.) are hyperintensional. Yet it is not clear how to regiment “logic talk” …

A world is trivial if it makes every proposition true all at once. Such a world is impossible, an
absurdity. Our world, we hope, is not an absurdity. It is important, nevertheless, for semantic …

What conception of negation a dialetheist might have, in holding that a statement and its
negation can both be true, has been the subject to considerable debate. Several of the …

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 …