Truth as a Mathematical Object

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.

Keywords

• Truth
• truth-table
• truth-function
• bivaluation
• many-valued logic
• paraconsistent logic
• possible worlds