Abstract In this paper, Graham Priest's understanding of dialetheism, the view that there exist
true contradictions, is discussed, and various kinds of metaphysical dialetheism are …

En este artículo, considero dos presuntas definiciones alternativas de validez
metainferencial: local y global. Defiendo esta última, en primer lugar, argumentando que no …

Over the last decade or so, a number of writers have argued for solutions to the paradoxes of
semantic self-reference which proceed by dropping some of the structural rules of inference …

The use of models to assign truth values to sentences and to counterexemplify invalid
inferences is a basic feature of model theory. Yet sentences and inferences are not the only …

La idea principal que queremos defender en este artículo es que la pregunta acerca de qué
es una lógica debería ser abordada de una manera especial cuando entran en juego las …

The present note was prompted by Weber's approach to proving Cantor's theorem, ie, the
claim that the cardinality of the power set of a set is always greater than that of the set itself …

We examine the set of formula-to-formula valid inferences of Classical Logic, where the
premise and the conclusion share at least a propositional variable in common. We review …

In both the precis and draft of Uncut, I say as little as possible about logic. I certainly use a lot
of logical tools and techniques to develop the picture, but at the end of the day Uncut is …

We discuss about how to make a new logic with considering a slogan:\it take the inversion of
what you know.\rm Suppose that we have a Gentzen-style logical system $ S $. The …

Markus Gabriel's pluralism and Graham Priest's monism can be considered new forms of
skepticism in contemporary philosophy. Gabriel considers 'emptiness' and Priest …