---------- Forwarded message ----------
From: Rafael Testa (CLE-UNICAMP)
![]()
LOCAL: CLE - UNICAMPLembro a todos que na próxima quarta, dia 1 de outubro, às 16h00, teremos seminário de nosso colega Newton Perón (Mestrando IFCH/CLE), cujo resumo segue abaixo.
Abraços,
Rafael
++++++++++++++++++++++++++++++++++++++++++++++++++++
LÓGICAS DA INCONSISTÊNCIA DEÔNTICA
resumo
Lógicas da Inconsistência Formal (LFI's). são lógicas que não trivializam na presença de contradições, pois a partir de A e ~A temos simplesmente que ~oA, ou seja, A não é consistente, ou não é seguro.
De mandeira análoga, as Lógicas da Inconsistência Deôntica (LDI's) são lógicas que não trivializam na presença de obrigações conflitantes, como OA e O~A. Nesse caso teríamos apenas [X]A, ou seja, A é deonticamente inconsistente, ou deonticamente inseguro. Exemplos de LDI's são os sistemas DmbC e BDmbC - esse último com dois operadores deônticos -, que serão apresentados. Já SDmbC é uma LFI deôntica que não pode ser classificada como LDI.
Essa abordagem torna-se interessante sobretudo na análise de paradoxos que, a partir de um conjunto de premissas, inferemos OA e O~A. Trataremos, como exemplo, a análise d'O Paradoxo de Chisholm.
__._,_.___ Abraços,
Rafael
++++++++++++++++++++++++++++++++++++++++++++++++++++
LÓGICAS DA INCONSISTÊNCIA DEÔNTICA
resumo
Lógicas da Inconsistência Formal (LFI's). são lógicas que não trivializam na presença de contradições, pois a partir de A e ~A temos simplesmente que ~oA, ou seja, A não é consistente, ou não é seguro.
De mandeira análoga, as Lógicas da Inconsistência Deôntica (LDI's) são lógicas que não trivializam na presença de obrigações conflitantes, como OA e O~A. Nesse caso teríamos apenas [X]A, ou seja, A é deonticamente inconsistente, ou deonticamente inseguro. Exemplos de LDI's são os sistemas DmbC e BDmbC - esse último com dois operadores deônticos -, que serão apresentados. Já SDmbC é uma LFI deôntica que não pode ser classificada como LDI.
Essa abordagem torna-se interessante sobretudo na análise de paradoxos que, a partir de um conjunto de premissas, inferemos OA e O~A. Trataremos, como exemplo, a análise d'O Paradoxo de Chisholm.
Nenhum comentário:
Postar um comentário