Documente Academic
Documente Profesional
Documente Cultură
INDICE:
CAPTULO I: BREVE RESEA HISTRICA...........................................................2
CAPTULO II: LOS PRESUPUESTOS DE LA LGICA DENTICA...........................3
CAPTULO III: EL SISTEMA ESTNDAR DE LA LGICA DENTICA......................4
CONCLUSIONES................................................................................................ 6
BIBLIOGRAFA................................................................................................... 6
LA LGICA DENTICA
proceso a travs del cual la norma se origina o cobra existencia (ser), pero no es
la norma en s misma). En el contexto de esta indefinicin ontolgica von Wright
presenta un sistema de modalidades denticas didicas con el objetivo de superar
la unilateralidad argumental de los operadores mondicos del SDL. Con los
operadores didicos se expresan, implcita o explcitamente, relaciones entre dos
argumentos que constituan el antecedente y el consecuente de la implicacin
normativa, de la implicacin dentica. En el sistema didico, las acciones dejan de
ser obligatorias en s mismas, y es preciso determinar en qu condiciones lo son,
en qu universo normativo o fctico lo son. Este sistema didico se compona de
tres estratos: (i) la lgica proposicional tradicional, basada en el estudio formal de
las expresiones p, q,...; (ii) la lgica del cambio, basada en el estudio formal de las
expresiones T, en la que el suceso descrito por pTq es una transformacin de un
estado inicial de cosas descrito por p a un estado final de cosas descrito por q;
(iii) la lgica de la accin, basada en el estudio formal de las expresiones df, en la
que d(-pTp) significa que un agente, en una determinada ocasin, provoca el
estado de cosas descrito por p, inexistente hasta entonces; y en la que f(- pTp)
significa que un agente, en una determinada ocasin, se abstiene de provocar el
estado de cosas descrito por p. La teora lgica de la accin condicionada
constitua una extensin de la lgica de la accin. Introduca el smbolo / , de
forma que la expresin / elemental de (pTp)/(qTq) describiera una accin
genrica que es ejecutada por un agente de forma que en una determinada
ocasin en la que el estado de cosas descrito por q se da y permanece
independientemente de la accin, el agente impide que desaparezca el estado
descrito por p. O(pTp)/(qTq) es un mandato, cuyo contenido es la accin
descrita por d(pTp), y cuya condicin de aplicacin es el cambio descrito por
pTp & qTq. En su artculo A New System of Deontic Logic (1964), von Wright
perfecciona su sistema didico interpretando la expresin atmica O(p/q) como
se debe hacer que p cuando q o se debe hacer que p si es el caso que q.
p y q describen posibles estados de cosas. Cuando el mundo es como q lo
describe, entonces el mundo debe ser como p lo describe. De anloga forma,
O(p/p) significa que el mundo es como debe ser, por lo que implica el deber de
que el estado de cosas en cuestin no desaparezca; y O(p/-p) significa que se
debe hacer que p cuando no es el caso que p, por lo que el estado de cosas en
cuestin debe llegar a ser. Aunque las reglas de inferencia del nuevo sistema de
lgica dentica (NSDL) se heredan del SDL, los nuevos axiomas difieren de los
antiguos como consecuencia de la introduccin de operadores didicos:
N1 -(O[p/q] & O[-p/q])
N2 O(p & q/r) <--> O(p/r) & O(q/r)
N3 O(p/q v r) <--> O(p/q) & O(p/r)
CONCLUSIONES
La lgica dentica se trata de una lgica formal modal que busca explicitar las
relaciones vlidas inferenciales entre enunciados normativos. Utiliza tres
operadores bsicos, a saber: P (permisin), Ph (prohibicin) y O (obligacin), los
cuales hallan sustento en los conceptos que fundamentales tratamos en el
apartado anterior. Ellos siempre estn referidos a conductas o acciones, ms
precisamente, a descripciones de acciones o conductas. En principio aceptaremos
la premisa de que las normas carecen de valores veritativos, sin embargo, ello nos
trae un grave problema dado que no podremos determinar relaciones inferenciales
de tales expresiones. Este percance es superado convirtiendo las normas en
enunciados normativos, los cuales resultan verdaderos o falsos si de hecho existe
la norma a la cual el enunciado se refiere. Es decir, as como la existencia de un
hecho determina la verdad o falsedad de una proposicin descriptiva, la existencia
de una norma determina la verdad o falsedad de una proposicin normativa. En
sntesis una proposicin normativa, al menos en lo que respecta a este trabajo,
consiste en un enunciado acerca de la existencia de normas, y son capaces de
tener un valor veritativo.
BIBLIOGRAFA
Stisman, A. (2005). Las investigaciones actuales en Lgica, Facultad de