Evento - Seminário de Lógica e Filosofia Formal
Local - Setor II, sala A1
Dia - sexta-feira, 18/09
Hora: 14h00
Conferencista: Prof. Samir Gorski (DeFil-UFRN)
Título: Paraconsistent Logic and Information Theory
Resumo: With the goal of finding a set-theoretic representation for a
paraconsistent algebra of sets we define an operation P3(A) that
extends the power set of a set. For this operation, if A has n
elements, then P3(A) has 3^n elements. This means that the operation
P3(A) handles some information rather than the information of
belonging to or not about an element in a set. In semantic terms, this
means that if e* is an indeterminate element of a set S then the truth
value of the sentence and e* ∈ S is ½. The idea of these sets is to
enable the processing of information about the elements. We say that
an element x belongs or not to a set S when we have enough information
about this element in relation to the set S. When information is not
sufficient, we say that x* ∈ S, i.e., there is less information about
the relation between the element and the set S than necessary to may
be concluded on the truth value of the sentence x* ∈ S. Now, we define
a Paraconsistent algebra of sets based on the operation P3(A) de um
conjunto A