Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

An alternative approach for quasi-truth

Texto completo
Autor(es):
Coniglio, Marcelo Esteban [1, 2] ; da Cruz Silvestrini, Luiz Henrique [3]
Número total de Autores: 2
Afiliação do(s) autor(es):
[1] State Univ Campinas UNICAMP, Ctr Log Epistemol & Hist Sci CLE, BR-13083859 Campinas, SP - Brazil
[2] State Univ Campinas UNICAMP, Dept Philosophy, BR-13083859 Campinas, SP - Brazil
[3] Sao Paulo State Univ UNESP, Dept Math, BR-17033360 Bauru, SP - Brazil
Número total de Afiliações: 3
Tipo de documento: Artigo Científico
Fonte: LOGIC JOURNAL OF THE IGPL; v. 22, n. 2, SI, p. 387-410, APR 2014.
Citações Web of Science: 14
Resumo

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (AU)

Processo FAPESP: 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS
Beneficiário:Walter Alexandre Carnielli
Linha de fomento: Auxílio à Pesquisa - Temático