Buscar
Mostrando ítems 1-10 de 1100
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 ...
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 ...
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 ...
An alternative approach for quasi-truth
(Oxford Univ PressOxfordInglaterra, 2014)
Decision problems and recursiveness in formal logic systemsProblemas de decisión y recursividad en sistemas lógicos formales
(Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA), 2017)
The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics
(2017-03-27)
The present paper analyses the topic of scientific discovery and the problem of the existence of a logical framework involved in such endeavour. We inquire how several non-monotonic logic frameworks and other formalisms ...
Volume I: Recovery operators in logics of formal inconsistency
(Oxford University Press, 2019-01)
The classical recovery is an important result for non-classical logics and for the para- consistent programs in particular. Nevertheless, the main problem with some non-classical logics and with paraconsistency is its ...