期刊名称：Principia : an International Journal of Epistemology
印刷版ISSN：1414-4247
电子版ISSN：1808-1711
出版年度：2010
卷号：14
期号：1
页码：31-46
语种：Portuguese
出版社：Universidade Federal de Santa Catarina, Brasil
摘要：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. DOI:10.5007/1808-1711.2010v14n1p31
关键词：Verdade;tabela de verdade;função de verdade;bivaloração;lógica polivalente;lógica paraconsistente;mundos possíveis.;Truth;truth-table;truth-function;bivaluation;many-valued logic;paraconsistent logic;possible worlds.
