Lógica: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m traduzindo nome/parâmetro nas citações, outros ajustes usando script |
m ajustes usando script |
||
Linha 146:
:* '''[[Lógica epistêmica]]''': também chamada "lógica do conhecimento", agrega o princípio da certeza, ou da [[Princípio da incerteza|incerteza]] (''ver: [[Indeterminismo]]''). Alguns exemplos de oração: "pode ser que haja vida em outros planetas, mas não se pode provar", "é impossível a existência de gelo a 100 °C", "não se pode saber se duendes existem ou não", etc.
:* '''[[Lógica deôntica]]''': forma de lógica vinculada à [[moral]], agrega os princípios dos [[direitos]], proibições e obrigações. É o sistema de lógica usado para indicar condutas e comportamentos, e que inclui as relações de poder entre indivíduos. Enquanto a lógica clássica trata do que "é ou não é", a lógica deôntica trata do que "se deve ou não fazer". As orações na lógica deôntica são da seguinte forma: "é proibido fumar mas é permitido beber", "se você é obrigado a pagar impostos, você é proibido de sonegar", etc.
:* '''[[Lógica Temporal]]''': Há situações em que os atributos de "Verdadeiro" e "Falso" não bastam, e é preciso determinar se algo é "Verdadeiro no período de tempo A", ou "Falso após o evento B". Para isso, é utilizado um sistema lógico específico que inclui novos operadores para tratar dessas situações.<ref>[http://pt.scribd.com/doc/90446335/Prototipo-de-Sistema-Especialista-em-Direito-Ambiental-para-Auxilio-a-Decisao-em-Situacoes-de-Desmatamento-RuralNT-CRHA-27-2004 Vasconcelos, V.V.;Martins Junior, P.P. Protótipo de Sistema Especialista em Direito Ambiental para Auxílio à decisão em Situações de Desmatamento Rural. NT-27. CETEC-MG. 2004. 80p.]</ref>
| |||