UMA NOVA ABORDAGEM PARA A NOÇÃO DE QUASE-VERDADE

Mikenberg, da Costa e Chuaqui (1986) introduziram a no.cao de quaseverdade.por meio da no.cao de estruturas parciais, e para tanto, conceberam.os predicados como ternas. O arcabou.co conceitual resultante proporcionou.o emprego de estruturas parciais na ci^encia, pois, em geral, nao sabemos tudo.a respeito de um determinado dom..nio de conhecimento. Generalizamos a.no.cao de predicados como ternas para f.ormulas complexas. A partir desta.nova abordagem, obtemos uma de.ni.cao de quase-verdade via no.cao de satisfa..cao pragm.atica de uma f.ormula A em uma estrutura parcial E. Introduzimos.uma l.ogica subjacente .a nossa nova de.ni.cao de quase-verdade, a.saber, a l.ogica paraconsistente trivalente LPT1, a qual possui uma axiom..atica de primeira ordem. Relacionamos a no.cao de quase-verdade com algumas.l.ogicas paraconsistentes j.a existentes. Defendemos que a formaliza.cao.das Sociedades Abertas, introduzidas por Carnielli e Lima-Marques (1999),.quando combinada com quanti.cadores modulados, introduzidos por Gr.acio.(1999), constitui uma alternativa para capturar a componente indutiva presente.na atividade cient...ca, e mostramos, a partir disso, que a proposta.original de da Costa e colaboradores pode ser explicada em termos da nova.no.c~ao de sociedades moduladas.