Zach Weber

The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. This paper considers the sub-problem of expressing extensional identity and the subset relation in paraconsistent, relevant solutions, in light of a recent proposal from Beall, Brady, Hazen, Priest and Restall [4]. The main result is that the proposal, in the context of an independently motivated formalization of naive set theory, leads to triviality.

In his ‘On t and u and what they can do’, Greg Restall presents an apparent problem for a handful of well-known non-classical solutions to paradoxes like the liar. In this article, we argue that there is a problem only if classical logic – or classical-enough logic – is presupposed. 1. Background Many have thought that invoking non-classical logic – in particular, a paracomplete or paraconsistent logic – is the correct response to the liar and related paradoxes. At the most basic level, the target non-classical idea is that some expressions, like ‘all and only the true propositions’, do not behave as we would expect from classical logic. Non-classical theorists argue that the class of all and only the truths is either incomplete or inconsistent: when you truly speak of all and only truths , you're either leaving some truths out, or you're letting some untruths in. Truth, in a slogan, is either gappy or glutty. Non-classicality is not a glib or easy-way-out response to the paradoxes. Innocuous-seeming notions can turn out to be philosophically substantial. Moreover, apparently correct forms of reasoning can turn out to be incorrect. To take a example, a glut theorist must hold that the following argument form is not in general valid. Either p is true or q is true. But p is untrue. So q is true. This argument form may strike our ears as acceptable. But if p is a truth value glut, then the inference fails to preserve truth. According to glut theorists, the inference breaks down in inconsistent contexts: if the subject matter involves gluts, then the inference is to be rejected. And the liar paradox, according to such theorists, shows that truth is exactly the kind of subject matter that yields inconsistency. In the …

Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected . In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of empty parts, in delivering a balanced and bounded metaphysics of naive space