Truth as a Mathematical Object

Detalhes bibliográficos
Autor(a) principal: Béziau, Jean-Yves
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

Registros relacionados