Linguagens Infinitárias

de primeira ordem

Discutiremos certos aspectos do uso de linguagens infinitárias em lógica clássica de primeira ordem. Em particular, apresentaremos como linguagens infinitárias possuem a capacidade de aumentar o poder de expressabilidade de enunciados. Para isto, colocaremos o foco na noção de definibilidade de conceitos nestas linguagens e como esta noção se torna mais ampla com o uso de operadores infinitários. Apresentaremos um resultado geral sobre definibilidade por meio da noção de invariância por automorfismos de estruturas de primeira ordem.

Inscrições: https://forms.gle/erHR8zEXCv4fRwp48
Informações: acm@acm-itea.org

Vídeo no Youtube: https://youtu.be/nMk-xRs6JkQ

Edélcio G. de Souza

Edelcio Gonçalves de Souza é graduado, mestre e doutor em filosofia pela Universidade de São Paulo. Atualmente é professor do Departamento de Filosofia da Faculdade de Filosofia, Letras e Ciências Humanas da USP. É especialista em lógica matemática e filosofia da ciência. Trabalhou com teoria de modelos de linguagens infinitárias, lógicas abstratas e teoria de categorias. Fez estágios de pesquisa na Universidade de Stanford e na Universidade de Miami. Atualmente está envolvido em dois projetos principais: para consistentização de estruturas lógicas e desenvolvimento de aspectos da lógica categorial para linguagens proposicionais.

Comentários

Parabéns professor,muito bem explicado
Solange Silva

Esse assunto é muito interessante! Parabéns pela explicação.
Samuel Xavier Ribeiro:

Parabéns professor!
Maria Aliciane Martins Pereira

Aonde encontro material para estudar esse assunto?
Marcio Amélio Jesus

Parabéns, professor Edelcio! Muito interessante a explicação.
Francisca Maria Mendes de Souza

Há ligação entre completude e lógica infinitária?
Carlos Nehab

Uma linguagem infinitaria é decidível?
Francisco Gomes Martins

Novo para mim
Ricardo Sousa Alves

Prof. Carlos, do IMPA-PAPMEM, que maravilha ver o senhor aqui no evento da ACM.
Jefte Dodth

Parabéns pela palestra!
Flávio Rocha

Muito, obrigado! Parabéns, professor!
Elisangela dos Santos

Obrigada
Solange Silva

Palestra muito interessante, gostei.
Angela Maria Pinto de Aguiar

Excelente palestra
Carlos Magno de Moraes

Excelente , aprendendo bastante.
Carlos Roberto de Almeida Rodrigues

Muito interessante a palestra!
Claudinalva Frasão dos Anjos

Aula excelente. Por isso estou sempre presente.
Erandi Freire Pontes

Parabéns pelo evento, gostei muito
Fidel Eduardo Huayhuas Chipana

Parabéns pela palestra!
Flávio Maximiano da Silva Rocha

Palestra sensacional. Parabéns, professor Edelcio!
Francisca Maria Mendes de Souza Macedo

Excelente
Francisco Odecio Sales

Magnífica apresentação. Difícil expressar em palavras tamanha gratidão por essas contribuições para a minha evolução nos estudos.
Geisibel Romanek

Excelente palestra
Jefte Dodth Telles Monteiro

Excelente palestra.
José Jânio Ferreira dos Santos

Excelente, palestra!
Josefa Elizangela dos Santos

Incrível a aula.
Luiza de Oliveira Félix

Muito boa apresentação.
Meiry da Silva Carvalho

Uma excelente palestra, algo que me surpreende a didática do professor, e muita informações que não tinha visto antes.
Miron Menezes Coutinho

Achei a palestra maravilhosa! Gostaria que tivesse mais assuntos sobre Lógica. Por exemplo, Lógicas Modais. Parabéns!!!🙏👏 Samuel Xavier Ribeiro

Gostei muita da aula,principalmente da Teoria Cayley na Algebra sobre grupos
Silbeli de Oliveira Fontenely

Maravilhoso esses seminários
Solange Aparecida Silva Nunes