Buscar
Mostrando ítems 11-20 de 2184
On the distinction between Formal Logic and Transcendental Logic in Cassirer and Natorp
(2016)
Abstract: 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) ...
An alternative approach for quasi-truth
(Oxford Univ PressOxfordInglaterra, 2014)
Restricted normal modal logics and levelled possible worlds semantics
(OXFORD UNIV PRESS, 2014-08-01)
Restricted normal modal logics are here defined by imposing conditions on the modal axioms and rules of normal modal systems. The conditions are defined in terms of a depth (associated with the modal connective) and a ...
LFIs and methods of classical recapture
(Oxford University Press, 2018-11)
In this paper, I will argue that Logics of Formal Inconsistency (LFIs) can be used as very sophisticated and powerful methods of classical recapture. I will compare LFIs with the well-known non-monotonic logics by Batens ...
Verificación de lógicas modales dinámicas en Coq
(2019-03)
Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ...
An alternative approach for quasi-truth
(Oxford University Press, 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 ...