Truth as a Mathematical Object
Autor(a) principal: | |
---|---|
Data de Publicação: | 2010 |
Tipo de documento: | Artigo |
Idioma: | por |
Título da fonte: | Principia (Florianópolis. Online) |
Texto Completo: | https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p31 |
Resumo: | 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. |
id |
UFSC-5_2bb7dca08a9c9c3c0490082f5c3731fd |
---|---|
oai_identifier_str |
oai:periodicos.ufsc.br:article/19661 |
network_acronym_str |
UFSC-5 |
network_name_str |
Principia (Florianópolis. Online) |
repository_id_str |
|
spelling |
Truth as a Mathematical ObjectTruth as a Mathematical ObjectIn 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.Neste artigo, discutimos em que sentido a verdade é considerada como um objeto matemático na lógica proposicional. Depois de esclarecer como este conceito é usado na lógica clássica, através das noções de tabela de verdade, de função de verdade, de bivaloração, examinamos algumas generalizações desse conceito nas lógicas não clássicas: semânticas matriciais multi-valoradas com três ou quatro valores, semântica bivalente não veritativa, semânticas dos mundos possiveis de Kripke.Federal University of Santa Catarina – UFSC2010-01-05info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p3110.5007/1808-1711.2010v14n1p31Principia: an international journal of epistemology; Vol. 14 No. 1 (2010); 31-46Principia: an international journal of epistemology; Vol. 14 Núm. 1 (2010); 31-46Principia: an international journal of epistemology; v. 14 n. 1 (2010); 31-461808-17111414-4247reponame:Principia (Florianópolis. Online)instname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCporhttps://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p31/17973Copyright (c) 2021 Jean-Yves Béziauinfo:eu-repo/semantics/openAccessBéziau, Jean-Yves2020-01-22T08:47:02Zoai:periodicos.ufsc.br:article/19661Revistahttps://periodicos.ufsc.br/index.php/principiaPUBhttps://periodicos.ufsc.br/index.php/principia/oaiprincipia@contato.ufsc.br||principia@contato.ufsc.br1808-17111414-4247opendoar:2020-01-22T08:47:02Principia (Florianópolis. Online) - Universidade Federal de Santa Catarina (UFSC)false |
dc.title.none.fl_str_mv |
Truth as a Mathematical Object Truth as a Mathematical Object |
title |
Truth as a Mathematical Object |
spellingShingle |
Truth as a Mathematical Object Béziau, Jean-Yves |
title_short |
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_sort |
Truth as a Mathematical Object |
author |
Béziau, Jean-Yves |
author_facet |
Béziau, Jean-Yves |
author_role |
author |
dc.contributor.author.fl_str_mv |
Béziau, Jean-Yves |
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. |
publishDate |
2010 |
dc.date.none.fl_str_mv |
2010-01-05 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p31 10.5007/1808-1711.2010v14n1p31 |
url |
https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p31 |
identifier_str_mv |
10.5007/1808-1711.2010v14n1p31 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p31/17973 |
dc.rights.driver.fl_str_mv |
Copyright (c) 2021 Jean-Yves Béziau info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Copyright (c) 2021 Jean-Yves Béziau |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Federal University of Santa Catarina – UFSC |
publisher.none.fl_str_mv |
Federal University of Santa Catarina – UFSC |
dc.source.none.fl_str_mv |
Principia: an international journal of epistemology; Vol. 14 No. 1 (2010); 31-46 Principia: an international journal of epistemology; Vol. 14 Núm. 1 (2010); 31-46 Principia: an international journal of epistemology; v. 14 n. 1 (2010); 31-46 1808-1711 1414-4247 reponame:Principia (Florianópolis. Online) instname:Universidade Federal de Santa Catarina (UFSC) instacron:UFSC |
instname_str |
Universidade Federal de Santa Catarina (UFSC) |
instacron_str |
UFSC |
institution |
UFSC |
reponame_str |
Principia (Florianópolis. Online) |
collection |
Principia (Florianópolis. Online) |
repository.name.fl_str_mv |
Principia (Florianópolis. Online) - Universidade Federal de Santa Catarina (UFSC) |
repository.mail.fl_str_mv |
principia@contato.ufsc.br||principia@contato.ufsc.br |
_version_ |
1789435111325827072 |