Beth redivivo

Frank Thomas Sautter

Resumo


Desenvolvo um método de prova por refutação para a Lógica Proposicional Clássica, que resgata ideias dos tablôs semânticos de Evert Beth. Primeiro apresento o método em forma conjuntista, depois o utilizo em forma tabular simplificada.

Palavras-chave


Regra de introdução; regra de eliminação; aceitação; rejeição; Evert Beth; refutação.

Texto completo:

PDF

Apontamentos

  • Não há apontamentos.


Bookmark and Share


________________________________________________________________________

DISSERTATIO Revista de Filosofia

Universidade Federal de Pelotas - UFPel | Instituto de Filosofia, Sociologia e Política

Departamento de Filosofia | Programa de Pós-Graduação em Filosofia

Caixa Postal 354 | CEP 96001-970 | Pelotas, RS | Brasil


FILOSOFIA/TEOLOGIA: subcomissão FILOSOFIA

Licença Creative Commons
Revista licenciada pela Creative Commons Atribuição 4.0 Internacional. Com esta licença os leitores podem copiar e compartilhar o conteúdo dos artigos em qualquer meio ou formato, desde que o autor seja devidamente citado.


Indexadores:

      

Diretórios:

    

Associações: