Autor: Axel Barceló

Resumo:

Apesar de sua aparente simplicidade, o método tradicional de tabelas de verdade pressupõe um grande número de teses filosóficas sobre a lógica clássica, de tal maneira que é possível modificarmos algumas de suas características, por exemplo, o número de regras, rechaçando alguma de suas ditas pressuposições. Como ilustração, neste artigo mostro como, se introduzirmos um terceiro valor de verade, o número de regras aumenta; enquanto que, se as proposições com as quais interpretamos as variáveis proposicionais da fórmula forem logicamente independentes entre si, o número de regras diminuem.

Abstract:

Pese a su aparente simplicidad, el método tradicional de tablas de verdad presupone un gran número de tesis filosóficas sobre la lógica clásica, de tal manera que es posible cambiar alguna de sus características – por ejemplo, el número de renglones – rechazando alguna de dichas presuposiciones. Como ilustración, en este artículo muestro cómo, si introducimos un tercero valor de verdad, el número de renglones aumenta; mientras que si las proposiciones con las que interpretamos las variables proposicionales de la fórmula no son lógicamente independientes entre sí, el número de renglones disminuye.

ISSN: 19844255

Texto Completo: http://periodicos.ufc.br/argumentos/article/view/19090

Palavras-Chave: Lógicas multi-valoradas. Lógicas intensionais. Lógica modal. Futuros contingentes. Lógicas rivais.