Buscar
Mostrando ítems 1-10 de 3110
An epistemic interpretation of paraconsistent weak Kleene logic
(Nicolaus Copernicus University, 2019-06)
This paper extends Fitting’s epistemic interpretation of some Kleene logics to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting’s “cut-down” operator is discussed, leading ...
Disjoint logics
(Nicolaus Copernicus University, 2021-03-27)
We will present all the mixed and impure disjoint three-valued logics based on the Strong Kleene schema. Some, but not all of them, are (inferentially) empty logics, while one of them is trivial. We will compare them ...
Pure Variable Inclusion Logics
(Uniwersytet Mikołaja Kopernika, 2021-11-28)
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 ...
On universality and formality in 19th century symbolic logic: The case of Schröder’s “Absolute Algebra”
(Birkhäuser, 2015)
This paper deals with conceptions of formality underlying 19th Century symbolic logic, where notations and manipulation of signs played an important role. It is devoted specifically to the case of Ernst Schröder’s “formal ...
The Normative Autonomy of Logic
(Springer, 2020-09-21)
Some authors have called into question the normativity of logic, using as an argument that the bridge principles for logical normativity (MacFarlane, In what sense (in any) is logic normative for thought, 2004)? are just ...
Non-reflexive Logical Foundation for Quantum Mechanics
(Springer, 2014-11)
On the one hand, non-reflexive logics are logics in which the principle of identity does not hold in general. On the other hand, quantum mechanics has difficulties regarding the interpretation of ‘particles’ and their ...
A conjectura lógica de Jacques Lacan: a lógica como ciência do real
(Universidade Federal de Minas GeraisBrasilFAFICH - FACULDADE DE FILOSOFIA E CIENCIAS HUMANASPrograma de Pós-Graduação em PsicologiaUFMG, 2019-08-30)
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 ...
Validities, antivalidities and contingencies: A multi-standard approach
(Springer, 2021-07-05)
It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view must be given up. The hierarchy of metainferential logics ...