Las tablas de verdad como filosofia

Autores

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

Palavras-chave:

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

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.

Downloads

Publicado

2015-01-01

Edição

n. 13

Seção

Varia

Licença

Autores que publicam nesta revista concordam com os seguintes termos (SOBRE  COPYRIGHT E POLÍTICA DE ACESSO LIVRE): 

1. Autores mantém OS DIREITOS AUTORAIS concedidos à revista OU Direito de Primeira Publicação, com o trabalho simultaneamente licenciado à Atribuição de Licença Creative Commons (CC BY) que permite o compartilhamento dos trabalhos com reconhecimento de autoria e publicação inicial nesta revista.

2. Autores têm permissão para aceitar contratos, distribuição não-exclusiva da versão do trabalho publicada nesta revista (por exemplo: publicar no repositório institucional ou como um capítulo do livro), com reconhecimento de autoria e publicação inicial nesta revista.

3. Autores têm permissão e são estimulados a publicar e distribuir seu trabalho on-line (por exemplo: em repositórios institucionais ou em sua página pessoal) mesmo durante o processo editorial, haja visto que isso pode aumentar o impacto e citação do trabalho publicado.