The truth tables as philosophy

Authors

  • Axel Barceló Professor at the Universidad Nacional Autónoma de México (UNAM)

Keywords:

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

Abstract

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.

Published

2015-01-01

Issue

Section

Varia