Truth as a Mathematical Object
Keywords:Truth, truth-table, truth-function, bivaluation, many-valued logic, paraconsistent logic, possible worlds.
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.
Base available in www.periodicos.ufsc.br.