De 30/11/2010 a 01/12/2010, com o tema “Instâncias Sentenciais e Funções Quantificadas”, foi realizado no Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná), o primeiro “Seminário de Cálculo das Funções Predicativas em Lógica Matemática” (I Secafunp); o qual propus, organizei e coordenei.
Durante o evento ministrei a conferência “Instâncias Sentenciais e Funções Quantificadas” a qual além de ser o tema central do I Secafunp representou, também, marco significativo na atividade acadêmica e científica na área de Lógica Matemática no Câmpus Curitiba da UTFPR quando foram promovidos e disseminados conhecimentos fundamentais sobre o complexo campo da Lógica Matemática.
DIAS, C. M. C. - 2025
O tema central do I Secafunp tratou do cerne da Lógica Matemática o qual é determinante para o desenvolvimento tanto da Matemática quanto da Ciência da Computação e/ou da Filosofia (Analítica), oferecendo o aparato formal necessário para analisar a validade de argumentos que dependem da estrutura interna das sentenças e das relações entre objetos.
As “Funções Predicativas” são expressões abertas que se tornam proposições (com valor de verdade definido) quando seus argumentos são substituídos por constantes ou quando são quantificadas. As “Instâncias Sentenciais” fazem referência ao processo de substituição que transforma uma função predicativa em uma “sentença concreta”; sendo as “Funções Quantificadas” o conjunto de sentenças formadas pela aplicação dos quantificadores a funções predicativas, permitindo expressar afirmações sobre coleções inteiras de objetos.
O I Secafunp abordou, então, a base teórica necessária para a compreensão de sistemas formais mais avançados e para a aplicação da Lógica em áreas como a Teoria dos Modelos e a Fundamentação da Matemática.
Enquanto evento pioneiro, o I Secafunp tem impacto longevo que se estende até a atualidade dada a contribuição fundamental como estímulo à pesquisa na área da Lógica Formal e em áreas afins possibilitando a formação qualificada e o fortalecimento institucional. “O I Secafunp foi uma semente plantada que contribuiu, significativamente, para a consolidação e a excelência do estudo da Lógica Matemática na TECNOLÓGICA”.
Em 2011, foi realizada uma segunda edição do Secafunp na qual tratei de questões relacionadas à “Lógica Formal e Filosofia Analítica como Fator de Inovação”.
Mas, os “Seminários de Cálculo das Funções Predicativas em Lógica Matemática” foram descontinuados e passaram a integrar, juntamente com os “Seminário de Lógica Matemática Sentencial”, o Coentelog (Colóquio Entelechia Logicae) o qual teve sua primeira edição em 23/07/2013 com o tema “Lógica da Inovação nas Relações de Aproximação entre Indústria e Ciência” quando chamei a atenção para a necessidade de uma aproximação efetiva entre a Indústria e a Ciência tomando-se por base a Lógica da Inovação.
Carlos Magno Corrêa Dias
29/11/2025