a catraca nas cataratas
22 views
Skip to first unread message
jean-yves beziau
Jun 5, 2024, 8:31:36 AMJun 5
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
A EVOLUÇÃO DA LÓGICA MODERNA DO PONTO DE VISTA DA CATRACA
O símbolo “⊦” é o mais famoso da lógica moderna e foi criado por Frege. É hoje usado em vários sentidos bem diferentes do seu sentido original. Esta palestra visa a considerar a lógica moderna e a sua história em seus múltiplos aspectos e a ter um melhor entendimento de como ela está se desenvolveu.
Estudaremos nove pontos: Simbolização: Nascimento e infância da catraca; A catraca na teoria da prova; A dupla catraca e a teoria dos modelos; Catracas e teorema de completude; Negação da catraca; Quadratura da catraca; Generalizações e transformações da catraca; A catraca na lógica universal.
Minha palestra amanhã no AFHIC em Foz do Iguaçu.
JYB
Reply all
Reply to author
Forward
0 new messages