> Na Europa durante a Idade Média, uma das componentes da Lógica era a teoria > das “obrigações”, que, ao contrário do que o nome sugere, nada tinha com os > silogismos modais deônticos. Eram as obrigações que alguém assumia quando > se propunha a sustentar uma tese, ou opor-se à mesma. Esse ramo de estudos > está quase esquecido.
Ao contrário, vale apontar que a metodologia correspondente sobrevive firme e forte, por exemplo, na área de especificação e verificação formal, nas chamadas "proof obligations" que são geradas ao longo da aplicação de métodos formais a todo tipo de problemas práticos. JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiVjp%3DTNi5obC9xjeAnmciom5LzgoexEd1pSfDyU7q_aQ%40mail.gmail.com.
