Truth as a Mathematical Object
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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2010-01-01
|
| Series: | Principia: An International Journal of Epistemology |
| Subjects: | |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/19661 |
| _version_ | 1818327771974205440 |
|---|---|
| author | Jean-Yves Béziau |
| author_facet | Jean-Yves Béziau |
| author_sort | Jean-Yves Béziau |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-13T12:21:34Z |
| format | Article |
| id | doaj.art-1e9350f402a94f05a40f6dcf4262a03e |
| institution | Directory Open Access Journal |
| issn | 1414-4247 1808-1711 |
| language | English |
| last_indexed | 2024-12-13T12:21:34Z |
| publishDate | 2010-01-01 |
| publisher | Universidade Federal de Santa Catarina |
| record_format | Article |
| series | Principia: An International Journal of Epistemology |
| spelling | doaj.art-1e9350f402a94f05a40f6dcf4262a03e2022-12-21T23:46:34ZengUniversidade Federal de Santa CatarinaPrincipia: An International Journal of Epistemology1414-42471808-17112010-01-01141314610.5007/1808-1711.2010v14n1p3115167Truth as a Mathematical ObjectJean-Yves Béziau0Universidade Federal do Rio de JaneiroIn 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.https://periodicos.ufsc.br/index.php/principia/article/view/19661verdadetabela de verdadefunção de verdadebivaloraçãológica polivalentelógica paraconsistentemundos possíveis. |
| spellingShingle | Jean-Yves Béziau Truth as a Mathematical Object Principia: An International Journal of Epistemology verdade tabela de verdade função de verdade bivaloração lógica polivalente lógica paraconsistente mundos possíveis. |
| title | Truth as a Mathematical Object |
| title_full | Truth as a Mathematical Object |
| title_fullStr | Truth as a Mathematical Object |
| title_full_unstemmed | Truth as a Mathematical Object |
| title_short | Truth as a Mathematical Object |
| title_sort | truth as a mathematical object |
| topic | verdade tabela de verdade função de verdade bivaloração lógica polivalente lógica paraconsistente mundos possíveis. |
| url | https://periodicos.ufsc.br/index.php/principia/article/view/19661 |
| work_keys_str_mv | AT jeanyvesbeziau truthasamathematicalobject |