Anti-exceptionalism about logic states that logical theories have no special epistemological
status. Such theories are continuous with scientific theories. Contemporary anti …

The paper presents a truth-maker semantics for Strict/Tolerant Logic (ST), which is the
currently most popular logic among advocates of the non-transitive approach to paradoxes …

Substructural solutions to the semantic paradoxes have been broadly discussed in recent
years. In particular, according to the non-transitive solution, we have to give up the metarule …

In recent years, some theorists have argued that the clogics are not only defined by their
inferences, but also by their metainferences. In this sense, logics that coincide in their …

I introduce a novel hybrid calculus\(\mathbb {H}\) for the validities and invalidities of classical
propositional logic. The calculus\(\mathbb {H}\) is different in nature from other hybrid calculi …

In this paper, we present a way to translate the metainferences of a mixed metainferential
system into formulae of an extended-language system, called its associated σ-system. To do …

Free logics are a family of first-order logics which came about as a result of examining the
existence assumptions of classical logic (Hintikka The Journal of Philosophy, 56, 125–137; …

This paper analyses the notion of 'interpretation', which is often tied to the semantic
approach to logic, where it is used when referring to truth-value assignments, for instance …

In this chapter, we will introduce the most studied family of pure and impure mixed
metainferential logics of level 1: the Strong Kleene metainferential logics. We will only focus …

As we have seen, there is a whole family of Strong Kleene mixed and impure metainferential
logics. We have already presented the twelve metainferential mixed and impure …