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 projectos 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 projecto 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 concepção cognitiva da linguagem de Leibniz faz dele um pioneiro da teoria da computação.

Informações
O Colóquio de Lógica, organizado pela Sociedade Portuguesa de Lógica SPL, visa promover a investigação e o conhecimento nesta área, desde a lógica matemática até à lógica filosófica assim como lógica para a inteligência artificial e a teoria da computação, através de uma série de palestras mensais. As palestras do Colóquio de Lógica serão realizadas de forma híbrida. Em 2022/2023 têm lugar na sala 3.10 do Departamento de Matemática do Técnico ULisboa, às 17h30 e através de sessão Zoom (https://spl.tecnico.ulisboa.pt/?page_id=17).