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. http://www.afhic.com/pt/xiii-encontro-afhic-2024/ JYB -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBzXqzDZRDMGb%2B0p7fztFL2n8dBEx%3DG7UzNGS%3DxhkXSrw%40mail.gmail.com.
