Buscar
Mostrando ítems 1-10 de 16
Monadic Curry System N-1*
(Springer, 2010-01-01)
This paper is a sequel to [5], [6]. We present the Curry monadic system N-1* which has as extensions the Curry monadic algebras C-1* and P-1*. All those systems are extensions of the classical monadic algebras introduced ...
Reino da natureza, reino dos fins, e proto-reino: um estudo de traduções conservativas
(2014)
We provide conservative translations from propositional modal logic KT (the simplest normal alethic logic) into propositional modal logic KD (the simplest normal deontic logic), and from this into the propositional modal ...
Redução plena do deôntico ao ôntico
(Universidade Federal de Santa MariaBRFilosofiaUFSMPrograma de Pós-Graduação em Filosofia, 2008-03-06)
The current dissertation has as its main objective an exposition and critical analysis of
Charles Kielkopf's translation of the Standard Deontic Logic (SDL) into a normal alethic logic,
and the resulting construction of ...
Modalities in ecumenical systems
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA APLICADA E ESTATÍSTICA, 2020-10-27)
The discussion about how to put together Gentzen’s systems for classical and intuitionistic
logic in a single unified system is back in fashion. Indeed, recently Prawitz and others have
been discussing the so-called ...
La lógica deóntica de von Wright en Norm and Action: Estructura y problemas conceptualesVon Wright’s deontic logic inNorm and Action:Structure and conceptuals problems
(Facultad de Filosofía de la Universidad del Salvador, 2020-08)
En 1951 von Wright construyó el primer sistema de lógica deóntica, iniciando el estudio riguroso y sistemático de una nueva rama de la lógica: la lógica deóntica. Dicho sistema, a pesar de sus múltiples virtudes, posee una ...
No hay una teoría de la verdad como la correspondentista.There’s no truth-theory like the correspondence theory.
(Universidad de Caldas, 2019)