Em novembro de 1995, o jornal "Vida Universitária” da PUC-PR (edição número 81) publicou o artigo seminal intitulado "Lógica Simbólica", destacando a importância da Lógica Simbólica (ou Lógica Matemática) como "parte da bagagem cultural do homem do século XX e instrumento para o exercício efetivo da tarefa científica."
DIAS, C. M. C. - 2025
Conforme exposto no artigo em tela (PUC-PR. Lógica Simbólica. Vida Universitária, Curitiba, n. 81, p. 10, nov. 1995.), fui o proponente e coordenador da perspectiva que ressaltava a necessidade fundamental da Lógica para a formalização e rigor metodológico nos diversos campos do saber.
Mais do que uma simples reflexão teórica, o artigo anunciava um passo institucional estratégico: a implantação, no ano seguinte, do Curso de Especialização (Lato Sensu) em Lógica do Conhecimento Científico; o qual, sob minha proposição e coordenação, revelava-se de vanguarda alinhando a PUC-PR às fronteiras do estudo e da pesquisa em Lógica Aplicada.
Um dos diferenciais do “Curso de Especialização em Lógica do Conhecimento Científico” residia na abrangência de seu currículo o qual confrontava a maioria das formações que ainda se restringiam ao estudo puramente clássico. Aquela Especialização (“Lato Sensu”) propunha temas cruciais para o desenvolvimento tecnológico e filosófico contemporâneo tais como: Lógica Matemática Sentencial e Predicativa (Os pilares fundacionais); Lógica Modal e Temporal; Lógica Fuzzy; e, Lógica Paraconsistente.
O aspecto mais notável do projeto curricular, conforme atestado pelo artigo em referência, foi a ênfase nas chamadas Lógicas Não-Clássicas como a Lógica Fuzzy e Lógica Paraconsistente.
Há de se salientar que a inclusão da Lógica Fuzzy (“Nebulosa”) refletia o reconhecimento de que grande parte do conhecimento científico e das informações do mundo real operava com graus de verdade, e não apenas com o binário “verdadeiro/falso” da Lógica Matemática (Clássica, “Bivalente e Dicotômica”). A Lógica Fuzzy aplicada em Sistemas de Controle era (e continua sendo) fundamental para a engenharia de sistemas inteligentes.
A Lógica Paraconsistente, por sua vez, sempre constituiu um campo de extrema relevância teórica e prática a qual possibilita construir sistemas formais que podem tolerar contradições (inconsistências) sem que o sistema inteiro se torne trivial (ou seja, sem que qualquer proposição possa ser deduzida). A “Paraconsistência Lógica” é vital no tratamento de bases de dados conflitantes, sistemas de informação com múltiplas fontes e no desenvolvimento de raciocínio em ambientes de incerteza ou contradição inevitável.
Aquele artigo de 1995 representa um marco na história da PUC-PR dado atestar o compromisso institucional em proporcionar uma formação sólida baseada na Lógica Formal (espinha dorsal do raciocínio científico).
Carlos Magno Corrêa Dias
14/11/2025