41a edição do Ciclo de Palestras da SBFA (Edição Especial)

[FREDSON MELQUIADES DE ANDRADE JUNIOR]

Boa tarde a todos e a todas! Passando para convida-los para mais uma edição do Ciclo de Palestras da SBFA. 

Nesta edição especial, que ocorrerá no próximo dia 12 de maio, a Sociedade Brasileira de Filosofia Analítica (SBFA) em conjunto com a Sociedade Brasileira de Lógica apresenta a entrevista “O Redespertar da Lógica Paraconsistente e sua Relevância” com o Prof. Carnielli, figura central na transformação deste campo de uma curiosidade teórica em uma ferramenta inovadora para a ciência e a tecnologia. 

A entrevista, motivada pela homenagem recebida pelo Professor Carnielli no livro “Walter Carnielli on Reasoning, Paraconsistency, and Probability” na prestigiosa coleção “Outstanding Contributions to Logic”(Springer, 2026), investigará a revitalização da lógica paraconsistente brasileira. O ponto de partida é a superação de uma certa estagnação teórica através da introdução das Lógicas da Inconsistência Formal (LIFs), que refinaram a maneira como a lógica pode manipular contradições. 

Este "redespertar" transcendeu a teoria, inspirando pesquisas concretas e soluções para problemas complexos em diversas áreas. O debate explorará como os princípios da paraconsistência, potencializados pelas LIFs, são hoje aplicados em:

- Computação e Inteligência Artificial: No desenvolvimento de sistemas de IA mais robustos, capazes de raciocinar a partir de bancos de dados massivos e inerentemente contraditórios.

- Engenharia: Na análise de circuitos digitais e em sistemas de controle que precisam operar com informações conflitantes provenientes de múltiplos sensores.

- Fundamentos da Mecânica Quântica: Na tentativa de construir uma linguagem formal mais adequada para descrever fenômenos como a superposição de estados, que desafiam a lógica clássica. 

- Linguística Computacional: Na modelagem da semântica da linguagem natural, que é frequentemente ambígua e portadora de contradições.

Um aspecto especial é a aplicaçao da paraconsistência à probabildade. A teoria padrão de probabilidade (de Kolmogorov) está fundamentada na lógica clássica. Nela, o evento A ∧ ¬A é impossível, logo sua probabilidade é zero. Como consequência, temos o axioma P(A) + P(¬A) = 1. Isso funciona bem para mundos consistentes, mas é inadequado para modelar crenças ou evidências em cenários de incerteza e conflito. Por exemplo, se dois sensores confiáveis dão informações contraditórias sobre um evento A, um agente inteligente não deveria ser forçado a normalizar suas crenças para que a soma seja 1.

Uma teoria de probabilidade construída sobre uma Lógica da Inconsistência Formal permite uma modelagem mais flexivel, onde P(A) mede a evidência ou o grau de crença em favor de A, enquanto P(¬A) mede a evidência ou grau de crença em favor de ¬A. O grau de inconsistência pode então ser ele mesmo um objeto de estudo probabilístico, P(•A), medindo a probabilidade de que A seja um ponto contraditório no sistema. A importncia desse tipo de abordagem para a racionalidade, com ramificações para a filosofia das ciências formais, tem levado a um grande interesse dentro e fora do Brasil. A entrevista dicutirá como a homenagem a Carnielli serve de inspiração para um certo “estouro da bolha” do reconhecimento acadêmico, contra uma estrutura consolidada de produção e circulação do conhecimento que concentra visibilidade e prestígio no Norte global e na anglosfera.

O Ciclo de Palestras da SBFA é uma atividade mensal da sociedade em que integrantes da comunidade analítica convidam pesquisadoras e pesquisadores para falarem sobre sua pesquisa. Com transmissão ao vivo para o YouTube da SBFA, o ciclo visa reunir nossa comunidade em torno das discussões e pesquisas na área da filosofia analítica. Esta edição especial inaugura a parceria entre a SBFA e a SBL, visando ao fortalecimento institucional de ambas as entidades e a ampliação do diálogo filosófico, científico e acadêmico. 

Link do youtube: www.youtube.com/watch?v=zaDxC-j64PA