Fabrice Correia

Semantics for Analytic Containment

In 1977, R. B. Angell presented a logic for analytic containment, a notion of “relevant” implication stronger than Anderson and Belnaps entailment. In this paper I provide for the first time the logic of first degree analytic containment, as presented in [2] and [3], with a semantical characterization—leaving higher degree systems for future investigations. The semantical framework I introduce for this purpose involves a special sort of truth-predicates, which apply to pairs of collections of formulas instead of individual formulas, and which behave in some respects like Gentzens sequents. This semantics captures very general properties of the truth-functional connectives, and for that reason it may be used to model a vast range of logics. I briefly illustrate the point with classical consequence and Anderson and Belnaps “tautological entailments”.

Propositional logic of essence

This paper presents a propositional version of Kit Fines (quantified) logic for essentialist statements, provides it with a semantics, and proves the former adequate (i.e. sound and complete) with respect to the latter.

Modality, Quantification, and Many Vlach-Operators

Consider two standard quantified modal languages

An Impure Logic of Representational Grounding

\textbf{\textsf{A}}

The logic of relative fundamentality

and

The Other Contenders

\textbf{\textsf{P}}