A Lei da Consequência Admirável do Ponto de Vista Multivalente
Apresentamos uma abordagem das tautologias clássicas (bivalentes) a partir de lógicas com mais de dois valores, examinando alguns exemplos mais específicos, como a chamada Lei de Clávio ou da Consequência Admirável (em Latim Consequentia Mirabilis). Tratamos da noção de aceitabilidade das fórmulas, estendendo a de tautologia, considerando as famílias de sistemas Un e £n, e as relações entre implicação fraca e forte.
Admiráveis Consequências do Ponto de Vista Multivalente
ResponderExcluirApresentamos uma abordagem das tautologias clássicas (bivalentes) a partir de lógicas com mais de dois valores, examinando alguns exemplos mais específicos e reinterpretando o problema da perda de tautologias como um fenômeno de “diluição de força”. Além de discutirmos suscintamente os aspectos filosóficos mais gerais, tratamos da noção de aceitabilidade das fórmulas, estendendo a de tautologia, considerando as famílias de sistemas Pm, Un e £n, e bem assim as relações entre implicação fraca e forte.