A trajetória do conhecimento humano é indissociável da busca pela estrutura do pensamento correto. No outono de 2016, iniciava, em 06/04/2016, há mais de dez anos, a proposição, organização e coordenação do Projeto do Curso de Extensão Universitária e Tecnológica em “Cálculo Lógico Dedutivo Sentencial”, o qual passei a ministrar (efetivamente), no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), a partir de 12/04/2016.
DIAS, Carlos Magno Corrêa - 2026
Neste outono de 2026, celebro não apenas a realização daquele evento acadêmico, mas a consolidação de um pensamento estruturado sobre a Lógica no ambiente tecnológico sob a chancela da TECNOLÓGICA (UTFPR).
O Curso de Extensão Universitária e Tecnológica em Cálculo Lógico Dedutivo Sentencial foi o que passei a chamar de “manifesto em prol da lucidez intelectual nas Ciências Exatas e Tecnologias”.
Como proponente e coordenador do evento, meu objetivo foi estruturar uma jornada de estudos intensificados para apresentar (formalmente) a Álgebra da Lógica Formal Bivalente e Dicotômica de Primeira Ordem. Em um mundo onde a informação é vasta, a capacidade de avaliar sistematicamente raciocínios dedutivos por intermédio da “Corretude” e “Completude” Lógica torna-se uma ferramenta de poder inestimável.
DIAS, Carlos Magno Corrêa - 2016
Durante o desenvolvimento do Curso sobre “Cálculo Lógico Dedutivo Sentencial” procurei aproximação mais estrita entre Lógica e Filosofia da Ciência; discutindo desde os termos e expressões da Linguagem Formal até a complexidade da Teoria da Demonstração Sentencial. O que buscava era imprimir a capacidade de distinguir, com precisão, a validade da verdade, as tautologias das contingências e, fundamentalmente, os argumentos consistentes dos sofismas e falácias que frequentemente obscurecem o debate técnico e científico.
A estrutura programática foi desenhada para evoluir da base até o ápice da Análise Inferencial que se tornaria o fundamento da Engenharia Lógica. Presenciar os Acadêmicos dominando procedimentos técnicos de decisão semânticos e sintáticos foi a confirmação de que “a Lógica é a engrenagem que move as Tecnologias”.
Ao olhar para o período de realização daquele curso, vejo mais do que números e diários de classe. Vejo uma Comunidade Acadêmica que se debruçou sobre a Teoria da Argumentação Lógica para fortalecer suas competências em áreas transversais.
O “Cálculo Lógico Dedutivo Sentencial” é, em última análise, a gramática da Ciência. Coordenar e ministrar o Curso de Extensão Universitária e Tecnológica em “Cálculo Lógico Dedutivo Sentencial” foi uma oportunidade de reafirmar que o progresso tecnológico só é sólido quando fundamentado na consistência do raciocínio determinada pelos Cálculos Lógicos.
Carlos Magno Corrêa Dias
07/04/2026