> 1. Sim, a regra de necessitação faria sentido também. Por exemplo, todas as > teses de PC seriam consistentes, por essa regra.
Certo, então todas as teses de S5 "fazem sentido"... > 2. Sobre as perguntas finais, consistente p e consistente não p, sob essa > ótica, são contrárias: podem ser ambas falsas, mas não ambas verdadeiras. Se > não-p não for consistente, então p é testável, pela definição do dual de > consistente, e assim por diante. Isto sim faz sentido para algumas lógicas. Bom, como você já assume S5, é natural que assuma a serialidade (de onde segue a sua observação sob contrariedade)... > No caso, uma vantagem de tratar o operador de consistência como um modal > primitivo é que eu o posso usar em lógicas do tipo KT. Não precisa ser um > dentre os muitos cálculos paraconsistentes que se propuseram nas últimas > décadas. Bem, até agora não falamos em negação paraconsistente... Os cálculos da essência e do acidente, em particular, não pressupõem em geral a existência de uma tal negação. > Mas, note que daí eu estou supondo que seja primitivo o operador de > consistência: não estou dando-lhe uma definição. O resto ainda está em > objeto de estudo, mas agradeço sugestões. Como você sabe, assumir que o operador de consistência é primitivo foi *exatamente* o que eu fiz no mencionado paper... E em seguida mostrei como lhe dar uma axiomatização adequada com relação à semântica proposta (que satisfaz a definição precisa de _consistência_ subjacente às chamadas "lógicas da inconsistência formal"). Não sei exatamente o que você está fazendo. Mas me parece no mínimo curioso que o significado de "consistência" para você seja tal que negar (classicamente) a "consistência" resulte na definição de uma negação paraconsistente (já bem estudada). A propósito: todo sistema modal pode ser apresentado a partir de uma linguagem que contém o fragmento positivo da lógica clássica e a negação paraconsistente definida pela rejeição deste seu conectivo de "consistência" / necessidade. Bom trabalho, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
