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

The course aims at enabling the participants to use different methods to measure the impacts of pollutants on ecosystems. Basic knowledge will be provided through theoretical and practical lessons on how to select and use the most suitable metrics based on the analysis of multiple compartments of the ecosystems.

Logótipo do CFTC, título e datas dos estágios

Three-weeks working on a project with a Researcher as a Supervisor, along with other workshops and activities - open to BSc or MSc students in Physics, Engineering Physics, Biomedical Engineering or other related fields.​

Título da iniciativa e fotografia do espaço

The program involves developing a research or science communication project under the supervision of researchers and science communicators from the Institute of Astrophysics and Space Sciences (IA). Two science communication workshops and a final seminar, in which the work developed is presented, are also part of the program.

Ação de formação para docentes, por Carlos Seco.

Título/data do evento e logótipos das entidades organizadoras

The program will consist of plenary lectures, oral, flash and poster communications, and a round table about “Science beyond academia: entrepreneurship” - registration is mandatory but free of charge!

This course offers an overview of the different ways to measure biodiversity, and provides tips for the stratification of primary biodiversity data and the construction of variables that describe its various facets. It also includes an in-depth review of the different types of data used to measure biodiversity and their problems and limitations.

Logótipo do evento

The most important international scientific meeting on the theory and applications of stochastic processes.

The goal of this course is to provide participants with current and practical knowledge on urban ecology, including its ecological and social aspects.

Logótipo do programa e fotografias de jovens investigadores

Candidata-te até 23 de junho e vem investigar connosco!

Placa de circuito

4.ª edição do Prémio de Inovação IN3+, com candidaturas até 31 de julho de 2023.

Sediment continuum: applying an integrated management approach.

Vista aérea da Estação Experimental de Moluscicultura de Tavira (EEMT)

EDUCOAST Summer School 2023, com candidaturas até 07 de junho de 2023.

RUTTER training school - new deadline for registration: 15 May 2023.

Título, data e localização do evento

The EU PVSEC is the largest international Conference for Photovoltaic research, technologies and applications and at the same time a PV Industry Exhibition, where specialized PV Industry presents technologies, innovations and new concepts in the upstream PV sector.

Páginas