Peirce’s graphs ad absurdum

Authors

  • Frank Thomas Sautter Universidade Federal de Santa Maria (UFSM)
  • Hércules de Araújo Feitosa Departamento de Matemática/FC/UNESP

Keywords:

Information, Classical propositional logic, Diagrammatic method, Resolution method. Peirce

Abstract

Peirce’s diagrammatic method for classical propositional logic uses six derivation rules. We modify this method by using ab initio, the denial of the conclusion, and, for proof of validity, we demand a contradiction. This allows us to eliminate two derivation rules.

Metrics

Metrics Loading ...

Downloads

Additional Files

Published

2015-10-21

How to Cite

Sautter, F. T., & Feitosa, H. de A. (2015). Peirce’s graphs ad absurdum. Cognitio: Revista De Filosofia, 16(1), 153–168. Retrieved from https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/25195

Issue

Vol. 16 No. 1 (2015)

Section

Cognitio Papers