Colóquio de Lógica

O Lugar de Leibniz na História da Lógica

Sala P3.10, Instituto Superior Técnico (com transmissão via Zoom)

Por Olga Pombo (Faculdade de Ciências da Universidade de Lisboa).

Leibniz é universalmente reconhecido como um dos mais importantes precursores da lógica moderna. Procuraremos percorrer os grandes temas do pensamento lógico de Leibniz, apurar o sentido de que eles se revestem face aos desenvolvimentos científicos e filosóficos que lhes servem de fundo (nomeadamente, no que se refere às dificuldades da lógica formal tradicional, ao intuicionismo dogmático de Descartes e à exemplaridade da matemática). Procuraremos ainda sinalizar a especificidade dos projetos leibnizianos da Mathesis Universalis e de uma extensão máxima da ideia de lógica enquanto Generalissima Ars Cogitandi, identificar os fundamentos do seu projeto de uma lógica formalizada, algorítmica e mecanizável e, finalmente, discutir as potencialidades e os limites dos esforços e realizações de Leibniz no campo da construção de uma linguagem simbólica geral, categórica, completa e universal. Teremos ainda oportunidade de salientar de que modo a conceção cognitiva da linguagem de Leibniz faz dele um pioneiro da teoria da computação.

Transmissão via Zoom.

17h30-18h30

2.ª edição do workshop organizado por Luís Ribeiro e Francisco Malta Romeiras (CIUHCT), com a participação de investigadores cujo trabalho incide sobre o "early modern knowledge."

Título/data do evento e fotografia de orquestra em tons natalícios

Concerto de Natal da ULisboa / Alumni ULisboa.

Logótipo do evento

Don’t forget to register until 10 December!

Título/data/local do evento, sobre uma fotografia do Cais das Colunas (Lisboa) ao amanhecer

Algebra, Combinatorics, Differential Equations, Geometry, Logic, Matrix Theory and Operational Research.

Logótipo do Jardim Matemático (ilustração de livro aberto, 2 flores e diversos símbolos matemáticos)

És aluno do secundário? Então este novo projeto é para ti!

Título da campanha, sobre uma fotografia da Ponte sobre o Tejo e de um ecrã de computador

Deposite os seus resíduos até ao dia 20 de dezembro e contribua para esta campanha.

Jovem investigadora a utilizar um laptop na esplanada de um café

Concurso aberto até 31 de dezembro de 2023.

Título "Gostarias de realizar uma mobilidade Erasmus+" e iconografia representativa de candidaturas e sessões de esclarecimento, sobre um fundo verde

Calendário de sessões informativas.

Logótipo da Rede Alumni, slogan "Celebrate your connection", título da call e fotografia de túnel luminoso (em tons de azul)

Call para mentorandos a decorrer até ao dia 02 de janeiro de 2024.

Logótipo do curso

Curso técnico-científico, com inscrições até 31 de dezembro.

Logótipo do evento (morcego e flor) e das entidades organizadoras, sobre fotografia de mosaicos representando uma paisagem tropical

The conference promises to be a gathering of researchers and enthusiasts from around the world. It will be an excellent opportunity to learn, exchange experiences and ideas, establish partnerships, and contribute to the advancement of tropical ecological science.

Páginas