Você está na página 1de 6

Itala Maria Loffredo DOttaviano ENTREVISTA

ENTREVISTA COM A PROFESSORA ITALA MARIA


LOFFREDO DOTTAVIANO: UMA INTRODUO LGICA,
S LGICAS NO CLSSICAS E TEORIA DE SISTEMAS

Itala Maria Loffredo DOttaviano

Professora do Departamento de Filosofia da Universidade Estadual


de Campinas (Unicamp). Ps-doutorado na Universidade da
Califrnia - Berkeley, na Universidade de Stanford e na
Universidade de Oxford. Doutora em Matemtica pela Universidade
Estadual de Campinas. Mestra em Matemtica pela Universidade
Estadual de Campinas. E-mail:itala@cle.unicamp.br

Apresenta a entrevista da Prof. Dr. Itala Maria Loffredo DOttaviano em sua vinda
Belm do Par, para ministrar o minicurso de teoria dos sistemas complexos" referente
Disciplina de UMA INTRODUO LGICA, S LGICAS NO CLSSICAS E
TEORIA DE SISTEMAS, realizada no perodo de 07 a 11 de Novembro de 2016. A
entrevista apresenta questes dadas aos participantes do minicurso, sobretudo, do Grupo de
Filosofia Temtica referente as relaes e indagaes sobre Lgica Paraconsistente.

Sam Alves O princpio da no contradio, ainda pode ser considerado como um


princpio vlido epistemologicamente? Se sim, em quais situaes ele poderia ser vlido?

I. M. L. DOttaviano Desde a criao, a partir do incio do sculo XX, das


contemporaneamente chamadas lgicas no clssicas, sabemos que pode existir uma
pluralidade de lgicas. Lgicas distintas podem ser adequadas, vlidas, para domnios distintos
do conhecimento.
Nas lgicas no clssicas, as leis bsicas do pensamento Aristotlico podem no ser
vlidas, em geral: nas lgicas no reflexivas no vale, em geral, o Princpio da (Reflexividade)
da Identidade; nas lgicas paracompletas no vale o Princpio do Terceiro Excludo; e nas
lgicas paraconsistentes no vale, em geral, o Princpio da (No) Contradio.

Complexitas - Rev. Fil. Tem., Belm, v. 1, n. 2, p. 4-9, jul./dez. 2016 ISSN: 2525-4154
4
Itala Maria Loffredo DOttaviano ENTREVISTA

Uma teoria consistente se no existe uma frmula A de sua linguagem tal que A e a
negao de A sejam teoremas; caso contrrio, a teoria inconsistente. Uma teoria trivial se
toda frmula de sua linguagem teorema.
Uma lgica dita paraconsistente se pode ser usada como lgica subjacente para teorias
inconsistentes e no triviais, que so chamadas teorias paraconsistentes.
Em toda lgica paraconsistente, de uma frmula A e sua negao A no possvel, em
geral, deduzir qualquer frmula B. Ou seja, nas lgicas paraconsistentes no vlido o ex falso
sequitur quodlibet, hoje tambm conhecido como Princpio da Exploso.
A lgica clssica, no seu estado atual, poderosa e encerra toda a velha silogstica
aristotlica, convenientemente reformulada. Toda teoria dedutiva baseada na lgica clssica
como, por exemplo, a matemtica tradicional - inconsistente se, e somente se, trivial. Ou
seja, em toda teoria cuja lgica subjacente a lgica clssica, vlido o Princpio da Exploso.
Nesse sentido, o Princpio da (No) Contradio permanece vlido em todas as teorias
cuja lgica subjacente a lgica clssica Aristotlica. Isso tambm ocorre com teorias
baseadas em outros tipos de lgicas no clssicas, como por exemplo as lgicas modais, as
lgicas intuicionistas e as lgicas polivalentes.
Como bem sabido, Aristteles, no Livro de sua Metafsica, defende o Princpio da
No Contradio para ele, sem o Princpio da No Contradio o conhecimento impossvel.
Nas lgicas paraconsistentes, entretanto, o Princpio da No Contradiao no vlido,
em geral. Porm, mesmo com o desenvolvimento das lgicas paraconsistentes, e apesar de seu
uso em vrias reas, inclusive com aplicaes tecnolgicas (tais como a tica, lgica doxstica,
teoria das probabilidades, fundamentos do clculo diferencial, inteligncia artificial, databases,
data mining, engenharia de software, processamento de sinais, computao neural, controle
inteligente, robtica, controle de trfico em grandes cidades, teoria da deciso, teoria de jogos,
finanas, semntica formal, lingustica computacional e fundamentos da mecnica quntica),
permanence a questo o Princpio da No Contradio pode ainda ser considerado como um
princpio vlido epistemologicamente?
Acredito que, independentemente de sua validade, ou no, em teorias especficas, para
certas reas do conhecimento, o Princpio da No Contradio certamente no vlido, em
geral, no domnio epistemolgico.

Complexitas - Rev. Fil. Tem., Belm, v. 1, n. 2, p. 4-9, jul./dez. 2016 ISSN: 2525-4154
5
Itala Maria Loffredo DOttaviano ENTREVISTA

Pensemos nessa questo, tomando um exemplo sempre mencionado por da Costa, a


geometria: dentre as variadas geometrias, qual a verdadeira? A resposta depende da posio
que se adotar: do prisma matemtico puro, no h geometria mais verdadeira do que as demais,
todas elas so "matematicamente verdadeiras", como, por exemplo, as geometrias no
arquimedianas, as geometrias no euclidianas, a geometria projetiva finita, as no pashianas e
as geometrias de Riemann; do ponto de vista aplicado, de forma semelhante, em mecnica
quntica comum recorre-se geometria euclidiana, em teoria quntica de campos, geometria
da relatividade restrita, e em relatividade geral utiliza-se uma ampliao das geometrias de
Riemann.
Como outro exemplo, pensemos em teorias fsicas. Qual a teoria verdadeira, a mecnica
clssica Newtoniana, a teoria da relatividade (estrita, ou geral), ou a mecnica quntica? A
resposta seria: depende do prisma que se adote, E deve ser observado, aqui, que essas so
teorias fsicas eminentemente contraditrias entre si, porm continuam coexistindo, e cada uma
delas d conta de uma grande gama de fenmenos.
Apesar dos matemticos desenvolverem seu trabalho baseados na suposio de que a
matemtica livre de contradies, nas cincias empricas as contradies parecem inevitveis
e a presena de contradies no condio suficiente para que se perca o interesse pelas
teorias.
Em lgica, parece que a lgica clssica tem papel de relevo; no entanto, j se sugeriu a
aplicao de lgicas paraconsistentes em mecnica quntica, da lgica intuicionista de
Brouwer-Heyting em cosmologia e da lgica paraconsistente em psicanlise.
Assim sendo, reitero minha resposta questo apresentada: a validade do Princpio da
No Contradio depende, no apenas da lgica utilizada, mas tambm da posio
epistemologica e dos pressupostos metafsicos adotados.

Sergio Nunes A histria da Lgica que vai de Aristteles e medievalistas at Frege,


contm proximidades metodolgicas e de princpios e, ainda ao nvel do discurso, a lgica
contempornea da Paraconsistncia de da Costa se mantm no campo da linearidade que inclui
a contradio que uma categoria racional.

Complexitas - Rev. Fil. Tem., Belm, v. 1, n. 2, p. 4-9, jul./dez. 2016 ISSN: 2525-4154
6
Itala Maria Loffredo DOttaviano ENTREVISTA

Nos Sistemas Complexos, alm de abranger essa varivel lgica, suplanta no seu raio
de ao essa condio de contradio e agrega na sua estrutura, digamos assim, uma zona para
alm da contradio que se d nos processos de emergncia por exemplo.
Como sair ou superar, se possvel for, dessa correlao estrita de uma lgica
racionalista, em vista de uma lgica que explicite e decodifique a estrutura da ao de
organismos ou elementos, de forma emergenciada como se d num dado processo, como no
processo histrico por exemplo?

I. M. L. DOttaviano Creio que no temos ainda uma resposta para essa questo.
Entendo que estaramos nos perguntando sobre qual seria uma lgica adequada para expressar
os processos inerentes a sistemas complexos nos quais ocorrem fenmenos de emergncia.
Estaramos buscando uma lgica que pudesse expressar a regularidade desse tipo de
processos dinmicos complexos e, muitas vezes, criativos.
Tenho me preocupado com isso. Uma lgica, que possa ser considerada como
subjacente a processos complexos que comportem emergncias, no a temos ainda
formalmente proposta. Porm, parece-me, dever ser, necessariamente, uma lgica no clssica
pelo menos paraconsistente digo pelo menos, pois parece-me que dever ser tambm
paracompleta.

Lus Eduardo Ramos De um lado, h sistemas que variam em nveis e graus


(princpio gardualista), tal como o caso dos corpos orgnicos e celestes, e mesmo da prpria
mente, os quais podem variar determinadas grandezas ou parmetros em graus infinitos dentro
de uma dada escala, como por exemplo a variao em grau das suas temperaturas ou dos seus
estados mentais (passagem da viglia ao sonho, e vice versa). De outro, h possibilidade de
formalizar o conceito de sistema mediante o conceito de estrutura.
Como seria possvel associar o princpio gradualista ao conceito de estrutura? Seria
possvel elaborar logicamente o conceito de uma estrutura (sistema) que varia em graus?

Complexitas - Rev. Fil. Tem., Belm, v. 1, n. 2, p. 4-9, jul./dez. 2016 ISSN: 2525-4154
7
Itala Maria Loffredo DOttaviano ENTREVISTA

I. M. L. DOttaviano Do meu ponto de vista, sistemas so estruturas (colees de


elementos, munidas de relaes) com funcionalidade. Os sistemas so caracterizados por sua
organizao, cujo estado dado pela medida de parmetros que variam no tempo.
Os sistemas desenvolvem processos, que podem ser auto-organizados, complexos e
criativos. Nesses processos, podem ocorrer variaes significativas no sistema, que alteram sua
estrututura e sua organizao. O grau de complexidade do sistema pode ser alterado, nessa
dinmica sistmica.
Considero que somente pensando em processos podemos considerar a variao do grau
de complexidade de estruturas subjacentes a sistemas.

Angela Lima Gadelha J que a lgica a cincia do pensamento, e tem como papel
fundamental o entendimento da lingstica, seria necessrio que ela conseguisse formalizar
qualquer tipo de argumento. Perante esta assero, quais seriam os problemas, primordiais
entre lgica clssica e no clssica?

I. M. L. DOttaviano No seria correto dizer que o papel fundamental da lgica


consiste no entendimento da lingustica.Os sistemas lgicos contemporneos so construdos a
partir de linguagens artificiais, nas quais so expressos os princpios considerados bsicos
chamados de axiomas.
Os argumentos so desenvolvidos e formalizados - a partir dos axiomas e regras de
deduo da lgica considerada. Qualquer que seja a lgica, ela tem, portanto, suas leis bsicas,
que so expressas na linguagem formalizada considerada.
Como o conjunto de axiomas da lgicas clssica distinto do conjunto de axiomas de
qualquer lgica no clssica, os argumentos so nelas formalizados de forma distinta.
Nesse sentido, no h qualquer problema formal, sinttico ou semntico.

Complexitas - Rev. Fil. Tem., Belm, v. 1, n. 2, p. 4-9, jul./dez. 2016 ISSN: 2525-4154
8
Itala Maria Loffredo DOttaviano ENTREVISTA

DOTTAVIANO, Itala Maria Loffredo. Entrevista com a professora Itala Maria Loffredo
DOttaviano: uma introduo lgica, s lgicas no clssicas e teoria de sistemas.
Complexitas - Rev. Fil. Tem., Belm, v. 1, n. 2, p. 3-9, jul./dez. 2016. Disponvel em:<
http://www.periodicos.ufpa.br/index.php/complexitas/article/view/4354>. Acesso em: 20 abr.
2017.

Complexitas - Rev. Fil. Tem., Belm, v. 1, n. 2, p. 4-9, jul./dez. 2016 ISSN: 2525-4154
9