Palestras / Conferências / Seminários / Apresentações no Ano de 2023
Ministrou a palestra “RSC a despeito da RSC” durante o Selocog (Seminário de Engenharia Lógica e Cognição) de 2023, realizado em 04/07/2023.
Ministrou a palestra “LÓGICA DOS DISTÚRBIOS COGNITIVOS E NEUROLÓGICOS” durante o Primeiro Simpósio de Lógica e Neurociência (Simlogneu), realizado em 10 de abril de 2023.
Ministrou a conferência “Engenharia Lógica avalia Chat de IA”, realizada em 25 de março de 2023, quando se iniciaram as atividades de 2023 do Cenenlocog (Centro de Engenharia Lógica e Cognição).
Palestras / Conferências / Seminários / Apresentações no Ano de 2022
Ministrou a conferência “A MATEMÁTICA É A FILOSOFIA DA MATEMÁTICA” durante a comemoração dos dez anos de publicação da minha obra PROLEGÔMENOS À FILOSOFIA DA MATEMÁTICA (ISBN 978-85-88925-08-3), realizada no dia 16 de agosto de 2022.
Ministro a palestra “RSC TRILHANDO OS CAMINHOS DA INOVAÇÃO NO MUNDO DISRUPTIVO” durante Selocog (Seminário de Engenharia Lógica e Cognição) de 2022, realizado em 13/07/2022, com o mesmo tema “RSC TRILHANDO OS CAMINHOS DA INOVAÇÃO NO MUNDO DISRUPTIVO”.
Ministrou a palestra "Engenharia Lógica inovando e criando disrupção nas Smart Cities" durante a primeira reunião de 2022 do Cenenlocog (Centro de Engenharia Lógica e Cognição), realizada no dia 18 de março de 2022.
Palestras / Conferências / Seminários / Apresentações no Ano de 2019
Ministrou a palestra “Engenharia Infinita em um Mundo Sem Lixo” durante o Selocog (Seminário de Engenharia Lógica e Cognição) de 2019, realizado em 21/10/2019, com o mesmo tema “Engenharia Infinita em um Mundo Sem Lixo”.
Palestras / Conferências / Seminários / Apresentações no Ano de 2018
Ministrou a palestra “Conexões entre Engenharia Matemática e Indústria” durante a reunião de Planejamento 2019 do GPDTCEI (Grupo de Pesquisa em Desenvolvimento Tecnológico e Científico em Engenharia e na Indústria), realizada 25/10/2018, no Câmpus da Indústria do Sistema Federação das Indústrias do Estado do Paraná (Sistema Fiep).
Ministrou a palestra “Engenharia Lógica como Formação Inovadora e Disruptiva” apresentada durante a reunião de Planejamento 2019 do GPLFC (Grupo de Pesquisa em Lógica e Filosofia da Ciência) realizada na Escola Politécnica da Pontifícia Universidade Católica do Paraná (PUCPR), em 24/10/2018.
Ministrou a palestra “Mãos 3D acenam para futuro disruptivo” durante a reunião de Planejamento do Centro de Engenharia Lógica e Cognição (Cenenlocog) realizada em 05/10/2018, na Escola Politécnica da Pontifícia Universidade Católica do Paraná (PUCPR).
Ministrou a palestra “Engenharia Matemática: Engenharia Disruptiva” durante o III SLAIDEL (III Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica), realizado com o mesmo tema “Engenharia Matemática: Engenharia Disruptiva” em 12/09/2018, no Cenenlocog (Centro de Engenharia Lógica e Cognição),
Ministrou a conferência “Indústria 4.0 é condicionada pelos CPS (CYBER-PHYSICAL SYSTENS)”, realizada em 17/05/2018, com promoção do Cenenlocog (Centro de Engenharia Lógica e Cognição), durante o Primeiro Encontro do Cenenlocog.
Palestras / Conferências / Seminários / Apresentações no Ano de 2017
Ministrou a palestra intitulada Pressupostos da Engenharia Matemática, em 24/10/2017, em um total de 5 (cinco) horas, durante o II COLENLOG (Colóquio de Engenharia Lógica), com o tema Engenharia Matemática para além das Matemáticas.
Ministrou a palestra intitulada Engenharia Matemática para Além das Matemáticas, em 23/10/2017, em um total de 5 (cinco) horas, durante o II COLENLOG (Colóquio de Engenharia Lógica), com o tema Engenharia Matemática para além das Matemáticas.
Ministrou a palestra intitulada Indústria 4.0 e o Mundo Cyber-Físico, em 18/09/2017, em um total de 4 (quatro) horas, durante o II SLAIDEL (Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica), com o tema A Necessidade Matemática nas Engenharias.
Ministrou a palestra intitulada A Necessidade Matemática nas Engenharias, em 18/09/2017, em um total de 2 (duas) horas, durante o II SLAIDEL (Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica), com o tema A Necessidade Matemática nas Engenharias.
Ministrou a palestra intitulada Engenharia matemática e Engenharia Lógica, em 30/08/2017, em um total de 2 (duas) horas, durante o III SEQUANTEI (Seminário de Quantificação em Engenharia e na Indústria) 2017, com o tema Indústria 4.0 e Inovação em Engenharia.
Ministrou a palestra intitulada Engenharia Lógica na Indústria 4.0, em 28/08/2017, em um total de 2 (duas) horas, durante o III SEQUANTEI (Seminário de Quantificação em Engenharia e na Indústria) 2017, com o tema Indústria 4.0 e Inovação em Engenharia.
Ministrou a palestra intitulada Engenharia Lógica e Conhecimento, em 18/07/2017, em um total de 4 (quatro) horas, durante o Seminário sobre Simbiose entre Indústria 4.0 e ODS.
Ministrou a palestra intitulada Teoria da Prova Dedutiva e Raciocínios Válidos, em 13/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra intitulada Análise e Teoria da Argumentação Analítica, em 12/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra intitulada Analítica de Argumentos Dedutivos, em 12/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra intitulada Validade Condicionando Consistência, em 11/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra intitulada Fórmulas Proposicionais e Cálculo Lógico, em 10/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra Simbiose entre Ciências e Tecnologias na Quarta Revolução Industrial, em 20/02/2017, durante o III SETECIEI (Seminário de Tecnologias e Ciências para Engenharia e Indústria), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra História Consisa das Quatro Revoluções Industriais, em 21/02/2017, durante o III SETECIEI (Seminário de Tecnologias e Ciências para Engenharia e Indústria), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra Aspectos Lógicos da Cognição Sistêmica no Meio Industrial, em 16/02/2017, durante o IV SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra Aquisição Analítica de Conhecimento, em 15/02/2017, durante o IV SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra Cognição Computacional e Filosofia Analítica, em 14/02/2017, durante o IV SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra Lógica Condicional entre Nanociências e Nanotecnologias, em 07/02/2017, durante o II SELCANQUARI (II Seminário de Engenharia Lógica nos Caminhos da Quarta Revolução Industrial), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 4 horas.
Ministrou a palestra Engenharia Lógica Aplicada às Nanociências e Nanotecnologias, em 08/02/2017, durante o II SELCANQUARI (II Seminário de Engenharia Lógica nos Caminhos da Quarta Revolução Industrial), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 4 horas.
Ministrou a palestra Cognição Computacional Revoluciona Aquisição de Conhecimento, em 03/02/2017, durante o VI COENTELOG (Colóquio Entelechia Logicae), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra As Razões da Engenharia Universal na Nova Era Computacional, em 02/02/2017, durante o VI COENTELOG (Colóquio Entelechia Logicae), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra Consciência Cibernética Transcende Inteligência Artificial, em 01/02/2017, durante o VI COENTELOG (Colóquio Entelechia Logicae), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra Lógica da Cognição Computacional e Consciência Cibernética, em 01/02/2017, durante o VI COENTELOG (Colóquio Entelechia Logicae), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Palestras / Conferências / Seminários / Apresentações no Ano de 2016
Ministrou a palestra Pressupostos da Lógica Fuzzy, em 20/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 4 horas.
Ministrou a palestra Computabilidade de Sistemnas Algébricos, em 20/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 4 horas.
Ministrou a palestra Lógica Computacional, em 19/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 4 horas.
Ministrou a palestra Lógicas Recursivas Inferenciais, em 19/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 4 horas.
Ministrou a palestra Álgebra da Lógica em Engenharia Lógica, em 17/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 2 horas.
Ministrou a palestra Engenharia Lógica como Modelo Analítico Inferencial, em 17/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 2 horas.
Ministrou a palestra Tríplice Hélice do Conhecimento-Inovação na RI 4.0, em 25/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR).
Ministrou a palestra Modelos Inferenciais Dedutivos, em 24/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR).
Ministrou a palestra Engenharia Lógica e Teoria da Prova Dedutiva, em 19/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR).
Ministrou a palestra Corretude e Completude em Sistemas Consistentes, em 18/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR).
Ministrou a palestra Análise Inferencial e Teoria da Argumentação Lógica, em 17/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR).
Ministrou a palestra Cálculos Lógicos e Álgebra da Lógica Dedutiva, em 16/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR).
Ministrou a palestra Semântica e Sintaxe de Linguagens Formais de Primeira Ordem, em 15/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR).
Ministrou a palestra ANÁLISE LÓGICA EM ENGENHARIA E NA INDÚSTRIA em 10/03/2016, com duração de 2 (duas) horas, como parte integrante do II SETECIEI - Seminário de TECNOLOGIAS E CIÊNCIAS PARA ENGENHARIA E INDÚSTRIA o qual foi promovido e desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR).
Ministrou a conferência Máquinas Lógicas Virtuais no III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência): Máquinas Lógicas Virtuais em Engenharia Lógica, a qual foi ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 24/02/2016, em um total de 2 (duas) horas.
Ministrou a conferência Engenharia Lógica Aplicada às Nanomáquinas no III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência): Máquinas Lógicas Virtuais em Engenharia Lógica, a qual foi ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 23/02/2016, em um total de 2 (duas) horas.
Ministrou a conferência Análise Inferencial Dedutiva Computacional no III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência): Máquinas Lógicas Virtuais em Engenharia Lógica, a qual foi ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 23/02/2016, em um total de 2 (duas) horas.
Palestras / Conferências / Seminários / Apresentações no Ano de 2015
Ministrou a palestra (conferência) intitulada Necessária Simbiose entre Tecnologia da Indústria e Ciência da Academia, em 19/10/2015, com duração de duas horas, apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), como parte da Programação da Semana Nacional de Ciência e Tecnologia (SNCT) 2015, cujo tema da edição de 2015 foi LUZ, CIÊNCIA e VIDA.
Ministrou a palestra (conferência) intitulada Exigências Holísticas entre Tecnologia e Ciência, em 18/08/2015, com duração de duas horas, apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), durante o Seminário de QUANTIFICAÇÃO APLICADA EM ENGENHARIA E NA INDÚSTRIA - RELAÇÃO CORPORATIVA ENTRE TECNOLOGIA E CIÊNCIA.
Ministrou a palestra (conferência) intitulada Modelagem Lógica Sentencial e Inferencial, em 20/08/2015, com duração de duas horas, apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), durante o Seminário de QUANTIFICAÇÃO APLICADA EM ENGENHARIA E NA INDÚSTRIA - RELAÇÃO CORPORATIVA ENTRE TECNOLOGIA E CIÊNCIA.
Ministrou a palestra intitulada UMA LÓGICA ANALÍTICA PARA A SIMBIOSE E EXIGÊNCIAS RELACIONAIS ENTRE ACADEMIA E INDÚSTRIA, em 14/04/2015, em um total de 3 (três) horas-aula, no Seminário de Tecnologias e Ciências para Engenharia e Indústria (SETECIEI), desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 13/04/2015 a 17/04/2015.
Ministrou a palestra ENGENHARIA LÓGICA COMO POSSIBILIDADE TECNOLOGIA PARA AS CIÊNCIAS, em 14/04/2015, em um total de 3 (três) horas, durante o Seminário de Tecnologias e Ciências para Engenharia e Indústria (SETECEIEI) - Simbiose e Exigências Relacionais entre Academia e Indústria, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 13/04/2015 a 17/04/2015.
Ministrou a palestra ENGENHARIA LÓGICA E GERENCIAMENTO INDUSTRIAL, em 07/04/2015, em um total de 5 (cinco) horas-aula, durante o II SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência) - Possibilidades Tecnológicas e Segurança Científica, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 06/04/2015 a 10/04/2015.
Palestras / Conferências / Seminários / Apresentações no Ano de 2014
Ministrou a Palestra intitulada CÁLCULO LÓGICO INFERENCIAL, apresentada no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 08/05/2014, em um total de 2 (duas) horas.
Ministrou a palestra intitulada ENGENHARIA LÓGICA, CÁLCULO LÓGICO INFERENCIAL E ENGENHARIA MATEMÁTICA, durante o Seminário INOVAÇÃO E DESENVOLVIMENTO EM LÓGICA E FILOSOSOFIA DA CIÊNCIA: ENGENHARIAS EM INOVAÇÃO CIENTÍFICA E TECNOLÓGICA, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), por meio do GPLFC (Grupo de Pesquisa em Lógica e Filosofia da Ciência) / UTFPR/CNPq, em 12/03/2014, em um total de 2 (duas) horas-aula.
PDI Uma Questão Nacional. Palestra. 28/01/2014.
Palestras / Conferências / Seminários / Apresentações no Ano de 2013
Benefícios Fiscais Subjugados pelo Academismo. 26/04/2013. Palestra.
Contínua e Constante Escravidão Humana. 17/05/2013. Palestra.
Engenharia Matemática Rumo à Inovação. 09/08/2013.
Ética Maquiavélica Frente à Consciência Política Despótica. 07/02/2013. Palestra.
Filosofia Extemporânea Promove Antagonismo Sobre Fundamentos Estritos. 06/08/2013.
Lógica da Inovação nas Relações de Aproximação entre Indústria e Ciência (In I
COLÓQUIO ENTELECHIA LOGICAE). 23/06/2013. Colóquio.
Morte Como Razão Suficiente. 17/05/2013. Palestra.
Na “Montanha do Rei” é Registrada Transição entre os Medievais e o Renascimento. 02/08/2013.
Nanomáquinas Promovem Nova Revolução Industrial. 01/07/2013. Palestra.
PARADIGMAS DA NECESSIDADE “Assaltam” Possibilidades. 16/08/2013.
Paradoxos Supõem Antinomias Maquiavélicas. 12/07/2013. Palestra.
Potência Lógica e Eficiência das Nanomáquinas. 23/08/2013. Palestra.
Razão Suficiente de Maquiavel. 26/04/2013. Palestra.
Palestras / Conferências / Seminários / Apresentações no Ano de 2012
A Conjunção do Direito Grego (em geral) e da Ordem Helênica (em particular). 18/05/2012. Palestra.
A Lógica da Morte. 30/10/2012. Palestra.
Palestras / Conferências / Seminários / Apresentações no Ano de 2011
Inovação Tecnológica Centrada na Lógica Clássica, 2011. (Seminário, Apresentação de Trabalho).
Lógica Formal e Filosofia Analítica Como Fator de Inovação, 2011. (Seminário, Apresentação de Trabalho).
Os Caminhos da Inovação em Engenharia Matemática, 2011. (Seminário, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 2010
Álgebras computáveis e recursivamente computáveis, 2010. (Conferência ou palestra, Apresentação de Trabalho).
Completude dos Fundamentos Necessários e Suficientes da Matemática, 2010. (Seminário, Apresentação de Trabalho).
Completude dos fundamentos necessários e suficientes da matemática, 2010. (Seminário, Apresentação de Trabalho).
Completude e corretude de sistemas algébricos, 2010. (Conferência ou palestra, Apresentação de Trabalho).
Instâncias sentenciais e funções quantificadas, 2010. (Seminário, Apresentação de Trabalho).
Modelagem diferencial e integral nas engenharias, 2010. (Seminário, Apresentação de Trabalho).
Teoremas da incompletude matemática, 2010. (Conferência ou palestra, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 2009
Álgebra enunciativa de primeira ordem no cálculo proposicional, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Álgebra proposicional e implicações lógicas, 2009. (Outra, Apresentação de Trabalho).
Argumentos dedutivos e teoria da demonstração de primeira odem, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Aritmética de Peano e os fundamentos da aritmética, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Aritmética de primeira ordem e linguagem, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Axiomatização da lógica proposicional de primeira ordem, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Axiomatização do corpo ordenado completo dos números reais, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Cálculo sentencial e predicativo em lógica matemática, 2009. (Apresentação de Trabalho).
Completude da lógica proposicional clássica, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Consistência em matemática e a incompletude, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Demonstração segundo o princípio da indução finita ou indução matemática, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Demonstrações recursivas em análise inferencial, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Paradoxos matemáticos e paradoxos lógicos, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Teorema da dedução e provas como procedimento computável, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Teorema de Gödel e a lógica de primeira ordem, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Teoria axiomática dos conjuntos de acordo com a lógica matemática de primeira ordem, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Teoria dos conjuntos através do cálculo proposicional e dos predicados, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 2008
Teoria da argumentação e análise inferencial em lógica matemática de primeira ordem, 2008. (Apresentação de Trabalho).
Teoria da demonstração em lógica matemática de primeira ordem, 2008. (Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 2007
Modelagem inferencial proposicional em lógica matemática, 2007. (Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 2001
A descoberta do número: história de uma grande invenção, 2001. (Seminário, Apresentação de Trabalho).
A questão: carvalo X figueira, 2001. (Seminário, Apresentação de Trabalho).
As concepções de Leibniz e Descartes sobre a filosofia da matemática, 2001. (Seminário, Apresentação de Trabalho).
As principais correntes filosóficas sobre a matemática ao longo da história, 2001. (Seminário, Apresentação de Trabalho).
Logicismo X formalismo X intuicionismo, 2001. (Seminário, Apresentação de Trabalho).
O formalismo matemático, 2001. (Seminário, Apresentação de Trabalho).
O intuicionismo na matemática, 2001. (Seminário, Apresentação de Trabalho).
O logicismo em matemática, 2001. (Seminário, Apresentação de Trabalho).
Os mundos possíveis em matemática, 2001. (Seminário, Apresentação de Trabalho).
Pré-visões: existem fundamentos (únicos) da matemática? 2001. (Seminário, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 2000
A filosofia da matemática de Henri Poincaré, 2000. (Seminário, Apresentação de Trabalho).
A idade antiga da matemática, 2000. (Seminário, Apresentação de Trabalho).
A Influência dos Paradoxos e Antinomias na Fundamentação da Matemática, 2000. (Seminário, Apresentação de Trabalho).
A Lógica na Atualidade, 2000. (Seminário, Apresentação de Trabalho).
A Lógica na Idade Média, 2000. (Seminário, Apresentação de Trabalho).
A Matemática como Derivação da Lógica segundo Gottlob Frege, 2000. (Seminário, Apresentação de Trabalho).
A Matemática Contemporânea, 2000. (Seminário, Apresentação de Trabalho).
A Matemática na Idade Média, 2000. (Seminário, Apresentação de Trabalho).
A Proposta Lingüistica de Rudolf Carnap para a Fundamentação da Matemática, 2000. (Seminário, Apresentação de Trabalho).
Aristóteles e a Abstração Matemática, 2000. (Seminário, Apresentação de Trabalho).
As Origens da Lógica, 2000. (Seminário, Apresentação de Trabalho).
Descartes e a Matemática Universal, 2000. (Seminário, Apresentação de Trabalho).
Escorço Histórico sobre a Matemática, 2000. (Seminário, Apresentação de Trabalho).
História Concisa sobre o Número, 2000. (Seminário, Apresentação de Trabalho).
Insignes Pensadores e a Matemática, 2000. (Seminário, Apresentação de Trabalho).
Ludwig Wittgenstein: o fundamento da matemática é o não fundamento, 2000. (Seminário, Apresentação de Trabalho).
O Logicismo, 2000. (Seminário, Apresentação de Trabalho).
O Período Moderno da Lógica, 2000. (Seminário, Apresentação de Trabalho).
O Renascimento da Matemática, 2000. (Seminário, Apresentação de Trabalho).
O Sintético a priori em Matemática segundo Immanuel Kant, 2000. (Seminário, Apresentação de Trabalho).
Os Fundamentos da Matemática segundo Bertrand Russell, 2000. (Seminário, Apresentação de Trabalho).
Paradoxos e Antinomias, 2000. (Seminário, Apresentação de Trabalho).
Platão e o Realismo Matemático, 2000. (Seminário, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1999
A Concepção de Rudolf Carnap sobre a Matemática, 1999. (Seminário, Apresentação de Trabalho).
As Concepções de Frege e Kant sobre analítico/sintético ou a priori/a posteriori em relação à Aritmética, 1999. (Seminário, Apresentação de Trabalho).
O Pensamento Matemático e Lógico no Período Medieval Cristão, 1999. (Seminário, Apresentação de Trabalho).
Observações Extemporâneas sobre a Matemática na Idade Média: As Contribuições de Boécio e Regiomontano, 1999. (Seminário, Apresentação de Trabalho).
Prolegômenos sobre o Desenvolvimento da Lógica na Antigüidade e suas Implicações na Atualidade, 1999. (Seminário, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1998
Evolução Histórica da Lógica Matemática, 1998. (Conferência ou palestra, Apresentação de Trabalho).
Modelagem Matemática, 1998. (Conferência ou palestra, Apresentação de Trabalho).
O Pensamento Matemático de Wittgenstein, 1998. (Seminário, Apresentação de Trabalho).
Observações Extemporâneas sobre a Filosofia da Matemática de Wittgenstein, 1998. (Seminário, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1997
Aritmética de Peano e Considerações sobre Modelos Standard e Não-Standard da Aritmética, 1997. (Seminário, Apresentação de Trabalho).
Relação de Dominação e Teorema de Schröder-Bernstein, 1997. (Seminário, Apresentação de Trabalho).
Sistemas de Lógicas Não-Clássicas, 1997. (Conferência ou palestra, Apresentação de Trabalho).
Teoria Axiomática dos Conjuntos de Zermelo-Fraenkel, 1997. (Conferência ou palestra, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1996
Estudo dos Integrais de Superfície, 1996. (Conferência ou palestra, Apresentação de Trabalho).
Impregnações entre Lógica Digital e Inteligência Artificial, 1996. (Conferência ou palestra, Apresentação de Trabalho).
O Teorema de Stokes e suas Aplicações, 1996. (Conferência ou palestra, Apresentação de Trabalho).
Teorema da Divergência e suas Aplicações, 1996. (Conferência ou palestra, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1995
Álgebra Booleana aplicada à Lógica Digital, 1995. (Conferência ou palestra, Apresentação de Trabalho).
Aplicações das Transformadas de Laplace, 1995. (Conferência ou palestra, Apresentação de Trabalho).
Matemática de Comutação: Algebrização de Circuitos Elétricos, 1995. (Conferência ou palestra, Apresentação de Trabalho).
Seminário Avançado em Lógica para o Desenvolvimento do Raciocínio, 1995. (Seminário, Apresentação de Trabalho).
Sistematização das Transformadas de Laplace, 1995. (Conferência ou palestra, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1994
A Álgebra da Lógica e a Fundamentação da Lógica Digital, 1994. (Conferência ou palestra, Apresentação de Trabalho).
Lógica matemática: considerações sobre a teoria da argumentação, 1994. (Conferência ou palestra, Apresentação de Trabalho).
Lógica matemática: prolegômenos à lógica sentencial e à lógica dos predicados, 1994. (Conferência ou palestra, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1992
Lógica clássica, 1992. (Conferência ou palestra, Apresentação de Trabalho).
Álgebras computáveis e recursivamente computáveis, 2010. (Conferência ou palestra, Apresentação de Trabalho).
Completude dos Fundamentos Necessários e Suficientes da Matemática, 2010. (Seminário, Apresentação de Trabalho).
Completude dos fundamentos necessários e suficientes da matemática, 2010. (Seminário, Apresentação de Trabalho).
Completude e corretude de sistemas algébricos, 2010. (Conferência ou palestra, Apresentação de Trabalho).
Instâncias sentenciais e funções quantificadas, 2010. (Seminário, Apresentação de Trabalho).
Modelagem diferencial e integral nas engenharias, 2010. (Seminário, Apresentação de Trabalho).
Teoremas da incompletude matemática, 2010. (Conferência ou palestra, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 2009
Álgebra enunciativa de primeira ordem no cálculo proposicional, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Álgebra proposicional e implicações lógicas, 2009. (Outra, Apresentação de Trabalho).
Argumentos dedutivos e teoria da demonstração de primeira odem, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Aritmética de Peano e os fundamentos da aritmética, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Aritmética de primeira ordem e linguagem, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Axiomatização da lógica proposicional de primeira ordem, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Axiomatização do corpo ordenado completo dos números reais, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Cálculo sentencial e predicativo em lógica matemática, 2009. (Apresentação de Trabalho).
Completude da lógica proposicional clássica, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Consistência em matemática e a incompletude, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Demonstração segundo o princípio da indução finita ou indução matemática, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Demonstrações recursivas em análise inferencial, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Paradoxos matemáticos e paradoxos lógicos, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Teorema da dedução e provas como procedimento computável, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Teorema de Gödel e a lógica de primeira ordem, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Teoria axiomática dos conjuntos de acordo com a lógica matemática de primeira ordem, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Teoria dos conjuntos através do cálculo proposicional e dos predicados, 2009. (Conferência ou palestra, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 2008
Teoria da argumentação e análise inferencial em lógica matemática de primeira ordem, 2008. (Apresentação de Trabalho).
Teoria da demonstração em lógica matemática de primeira ordem, 2008. (Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 2007
Modelagem inferencial proposicional em lógica matemática, 2007. (Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 2001
A descoberta do número: história de uma grande invenção, 2001. (Seminário, Apresentação de Trabalho).
A questão: carvalo X figueira, 2001. (Seminário, Apresentação de Trabalho).
As concepções de Leibniz e Descartes sobre a filosofia da matemática, 2001. (Seminário, Apresentação de Trabalho).
As principais correntes filosóficas sobre a matemática ao longo da história, 2001. (Seminário, Apresentação de Trabalho).
Logicismo X formalismo X intuicionismo, 2001. (Seminário, Apresentação de Trabalho).
O formalismo matemático, 2001. (Seminário, Apresentação de Trabalho).
O intuicionismo na matemática, 2001. (Seminário, Apresentação de Trabalho).
O logicismo em matemática, 2001. (Seminário, Apresentação de Trabalho).
Os mundos possíveis em matemática, 2001. (Seminário, Apresentação de Trabalho).
Pré-visões: existem fundamentos (únicos) da matemática? 2001. (Seminário, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 2000
A filosofia da matemática de Henri Poincaré, 2000. (Seminário, Apresentação de Trabalho).
A idade antiga da matemática, 2000. (Seminário, Apresentação de Trabalho).
A Influência dos Paradoxos e Antinomias na Fundamentação da Matemática, 2000. (Seminário, Apresentação de Trabalho).
A Lógica na Atualidade, 2000. (Seminário, Apresentação de Trabalho).
A Lógica na Idade Média, 2000. (Seminário, Apresentação de Trabalho).
A Matemática como Derivação da Lógica segundo Gottlob Frege, 2000. (Seminário, Apresentação de Trabalho).
A Matemática Contemporânea, 2000. (Seminário, Apresentação de Trabalho).
A Matemática na Idade Média, 2000. (Seminário, Apresentação de Trabalho).
A Proposta Lingüistica de Rudolf Carnap para a Fundamentação da Matemática, 2000. (Seminário, Apresentação de Trabalho).
Aristóteles e a Abstração Matemática, 2000. (Seminário, Apresentação de Trabalho).
As Origens da Lógica, 2000. (Seminário, Apresentação de Trabalho).
Descartes e a Matemática Universal, 2000. (Seminário, Apresentação de Trabalho).
Escorço Histórico sobre a Matemática, 2000. (Seminário, Apresentação de Trabalho).
História Concisa sobre o Número, 2000. (Seminário, Apresentação de Trabalho).
Insignes Pensadores e a Matemática, 2000. (Seminário, Apresentação de Trabalho).
Ludwig Wittgenstein: o fundamento da matemática é o não fundamento, 2000. (Seminário, Apresentação de Trabalho).
O Logicismo, 2000. (Seminário, Apresentação de Trabalho).
O Período Moderno da Lógica, 2000. (Seminário, Apresentação de Trabalho).
O Renascimento da Matemática, 2000. (Seminário, Apresentação de Trabalho).
O Sintético a priori em Matemática segundo Immanuel Kant, 2000. (Seminário, Apresentação de Trabalho).
Os Fundamentos da Matemática segundo Bertrand Russell, 2000. (Seminário, Apresentação de Trabalho).
Paradoxos e Antinomias, 2000. (Seminário, Apresentação de Trabalho).
Platão e o Realismo Matemático, 2000. (Seminário, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1999
A Concepção de Rudolf Carnap sobre a Matemática, 1999. (Seminário, Apresentação de Trabalho).
As Concepções de Frege e Kant sobre analítico/sintético ou a priori/a posteriori em relação à Aritmética, 1999. (Seminário, Apresentação de Trabalho).
O Pensamento Matemático e Lógico no Período Medieval Cristão, 1999. (Seminário, Apresentação de Trabalho).
Observações Extemporâneas sobre a Matemática na Idade Média: As Contribuições de Boécio e Regiomontano, 1999. (Seminário, Apresentação de Trabalho).
Prolegômenos sobre o Desenvolvimento da Lógica na Antigüidade e suas Implicações na Atualidade, 1999. (Seminário, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1998
Evolução Histórica da Lógica Matemática, 1998. (Conferência ou palestra, Apresentação de Trabalho).
Modelagem Matemática, 1998. (Conferência ou palestra, Apresentação de Trabalho).
O Pensamento Matemático de Wittgenstein, 1998. (Seminário, Apresentação de Trabalho).
Observações Extemporâneas sobre a Filosofia da Matemática de Wittgenstein, 1998. (Seminário, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1997
Aritmética de Peano e Considerações sobre Modelos Standard e Não-Standard da Aritmética, 1997. (Seminário, Apresentação de Trabalho).
Relação de Dominação e Teorema de Schröder-Bernstein, 1997. (Seminário, Apresentação de Trabalho).
Sistemas de Lógicas Não-Clássicas, 1997. (Conferência ou palestra, Apresentação de Trabalho).
Teoria Axiomática dos Conjuntos de Zermelo-Fraenkel, 1997. (Conferência ou palestra, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1996
Estudo dos Integrais de Superfície, 1996. (Conferência ou palestra, Apresentação de Trabalho).
Impregnações entre Lógica Digital e Inteligência Artificial, 1996. (Conferência ou palestra, Apresentação de Trabalho).
O Teorema de Stokes e suas Aplicações, 1996. (Conferência ou palestra, Apresentação de Trabalho).
Teorema da Divergência e suas Aplicações, 1996. (Conferência ou palestra, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1995
Álgebra Booleana aplicada à Lógica Digital, 1995. (Conferência ou palestra, Apresentação de Trabalho).
Aplicações das Transformadas de Laplace, 1995. (Conferência ou palestra, Apresentação de Trabalho).
Matemática de Comutação: Algebrização de Circuitos Elétricos, 1995. (Conferência ou palestra, Apresentação de Trabalho).
Seminário Avançado em Lógica para o Desenvolvimento do Raciocínio, 1995. (Seminário, Apresentação de Trabalho).
Sistematização das Transformadas de Laplace, 1995. (Conferência ou palestra, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1994
A Álgebra da Lógica e a Fundamentação da Lógica Digital, 1994. (Conferência ou palestra, Apresentação de Trabalho).
Lógica matemática: considerações sobre a teoria da argumentação, 1994. (Conferência ou palestra, Apresentação de Trabalho).
Lógica matemática: prolegômenos à lógica sentencial e à lógica dos predicados, 1994. (Conferência ou palestra, Apresentação de Trabalho).
Palestras / Conferências / Seminários / Apresentações no Ano de 1992
Lógica clássica, 1992. (Conferência ou palestra, Apresentação de Trabalho).