Edwin D. Mares

On the Ternary Relation and Conditionality

One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley–Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing a general conception of conditionality that may unify the three given conceptions.

Relevant logic and the theory of information

This paper provides an interpretation of the Routley-Meyer semantics for a weak negation-free relevant logic using Israel and Perrys theory of information. In particular, Routley and Meyers ternary accessibility relation is given an interpretation in information-theoretic terms.

Logical Consequence and the Paradoxes

We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are tightly related, and can be cleared up by adopting a particular substructural logic in place of classical logic. We then argue that our perspective can be justified via an informational semantics of contraction-free substructural logics.

A Paraconsistent Theory Of Belief Revision

This paper presents a theory of belief revision that allows people to come tobelieve in contradictions. The AGM theory of belief revision takes revision,in part, to be consistency maintenance. The present theory replacesconsistency with a weaker property called “coherence”. In addition to herbelief set, we take a set of statements that she rejects. These two sets arecoherent if they do not overlap. On this theory, belief revision maintains coherence.

General information in relevant logic

This paper sets out a philosophical interpretation of the model theory of Mares and Goldblatt (The Journal of Symbolic Logic 71, 2006). This interpretation distinguishes between truth conditions and information conditions. Whereas the usual Tarskian truth condition holds for universally quantified statements, their information condition is quite different. The information condition utilizes general propositions. The present paper gives a philosophical explanation of general propositions and argues that these are needed to give an adequate theory of general information.

A relevant theory of conditionals

In this paper we set out a semantics for relevant (counterfactual) conditionals. We combine the Routley-Meyer semantics for relevant logic with a semantics for conditionals based on selection functions. The resulting models characterize a family of conditional logics free from fallacies of relevance, in particular counternecessities and conditionals with necessary consequents receive a non-trivial treatment.

The nature of information: a relevant approach

In “General Information in Relevant Logic” (Synthese 167, 2009), the semantics for relevant logic is interpreted in terms of objective information. Objective information is potential data that is available in an environment. This paper explores the notion of objective information further. The concept of availability in an environment is developed and used as a foundation for the semantics, in particular, as a basis for the understanding of the information that is expressed by relevant implication. It is also used to understand the nature of misinformation. A form of relevant logic—called “LOI” for “logic of objective information”—is presented and the relationship between the justification of its proof theory and the semantics is discussed. This relationship is rather reciprocal. Intuitive features of the logic are used to interpret and justify aspects of the model theory and intuitive aspects of the model theory are used to interpret and justify features of the logic. Information conditions are presented for the connectives and the way that they fit into the theory of information is discussed.

Conditionals, probability, and non-triviality

We show that the implicational fragment of intuitionism is the weakest logic with a non-trivial probabilistic semantics which satisfies the thesis that the probabilities of conditionals are conditional probabilities. We also show that several logics between intuitionism and classical logic also admit non-trivial probability functions which satisfy that thesis. On the other hand, we also prove that very weak assumptions concerning negation added to the core probability conditions with the restriction that probabilities of conditionals are conditional probabilities are sufficient to trivialize the semantics.

“Four-Valued” Semantics for the Relevant Logic R

This paper sets out two semantics for the relevant logic R based on Dunns four-valued semantics for first-degree entailments. Unlike Routleys semantics for weak relevant logics, they do not use two ternary accessibility relations. Unlike Restalls semantics, they capture all of R. But there is a catch. Both of the present semantics are neighbourhood semantics, that is, they include sets of propositions in the specification of their frames.

CE is Not a Conservative Extension of E

The logic CE (for “Classical E”) results from adding Boolean negation to Anderson and Belnaps logic E. This paper shows that CE is not a conservative extension of E.