Truth as a Mathematical Object

Vol 14, No 1 (2010) • Principia: an international journal of epistemology

Autor: Jean-Yves Béziau

Abstract:

In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some generalizations of it in non-classical logics: many-valued matrix semantics with three and four values, non-truth-functional bivalent semantics, Kripke possible world semantics.

ISSN: 1414-4217

DOI: DOI:10.5007/1808-1711.2010v14n1p31

Texto Completo: https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p31/17973

Palavras-Chave: Truth; truth-table; truth-function; bivaluati

Principia: an international journal of epistemology

"PRINCIPIA
"Principia: an international journal of epistemology" was founded in 1997 and regularly publishes articles, discussions and review. The journal aims to publish original scholarly work especially in epistemology area , with an emphasis on material of general interest to academic philosophers. Originally published only in print version (ISSN: 1414-4247), in 2005 the journal began to be published also in online version (ISSN: 1808-1711). Since 1999 are published three issues per year: in April, August and December. Qualis CAPES: A2