In this chapter, we propose a definition of logical consequence based on the relation between the quantity of information present in a particular set of formulae and a particular formula. As a starting point, we use Shannon’s ...

En este artículo, ofrezco una caracterización del desacuerdo lógico. Según mi noción, los desacuerdos meramente verbales en lógica son inusuales. La mayoría de los desacuerdos lógicos son simplemente desacuerdos descriptivos ...

We will present 12 different mixed metainferential consequence relations. Each one of them is specified using two different inferential Tarskian or non-Tarskian consequence relations: K3, LP, ST or TS+. We will show that ...

The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing ...

This thesis proposes as an investigation about Lacan's relation with logic. To do so, it is based on the logical reading that Lacan undertakes on the Freudian hypothesis of the existence of the unconscious, in which the ...

Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence ...