Buscar
Mostrando ítems 1-10 de 2184
Defining LFIs and LFUs in extensions of infectious logics
(Taylor & Francis, 2016-10)
The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the (¬, ∧, ∨) -fragment of the logics of nonsense, such as the ...
Lógica jurídica e jurisprudência. O conceito de 'lógica jurídica' de Ulrich Klug
(Editora FGV e Editora Fórum, 2016-11-01)
This paper analyzes the concept of legal logic exposed by German jurist Ulrich Klug, confronting the elements that led him to classify legal logic as part of formal logic.
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 ...
First-order swap structures semantics for some logics of formal inconsistency
(Oxford Univ Press, 2020-09-01)
The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (i.e. logics containing contradictory but nontrivial theories) having a consistency connective which allows to recover the ex falso quodlibet ...
An alternative approach for quasi-truth
(Oxford University Press, 2014-04-01)
In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which ...
Lógica jurídica e jurisprudência. O conceito de “lógica jurídica” de Ulrich Klug
(Editora Fórum e Editora FGV, 2016)
Conceitos essenciais da lógica
(Universidade Estadual Paulista (Unesp), 2020-12-10)
O presente trabalho foi realizado com apoio da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior – Brasil (CAPES) – Código de financiamento 001. O objeto central da lógica é investigado através de um estudo ...
An alternative approach for quasi-truth
(Oxford University Press, 2014)
On the distinction between Formal Logic and Transcendental Logic in Cassirer and Natorp
(2016)
The paper compares the distinction between formal and transcendental logic as it is presented by Kant in the CPR, with the understanding of the same distinction by the Marburg’s School, especially Cassirer (1907) and Natorp ...