Seminário Permanente de Filosofia das Ciências (sessão conjunta com o Mathematical Logic Seminar - CEMS.UL/CMAFcIO)

An introduction to conditionals and their proof theory

Sala 2.3.13, Ciências ULisboa (com transmissão via Zoom)

Por Marianna Girlando (ILLC, University of Amsterdam).

Conditional logics enrich the language of classical propositional logic with a two-places modal operator, the conditional, suitable to represent fine-grained notions of conditionality, such as counterfactual statements, non-monotonic inferences, and conditional belief assertions. Semantic studies of conditionals date back to the 1970s, with the seminal works of Stalnaker, D. K. Lewis and Chellas. Since then, various classes of models capturing conditionals have been developed and extensively studied. In contrast, the proof theory of conditional logics has been developed only in recent years, relying on the proof-theoretic techniques employed for modal logics. Specifically, to define analytic proof systems for modal logics, two main approaches have been developed: the labelled approach enriches the language of sequent calculus with semantic information, while the structured approach employs additional structural connectives in the calculus. To this latter approach belong, e.g., nested sequents and hypersequents.

After introducing conditional logics and their semantics, that I will define in terms of neighborhood models, I will present sequent calculi for conditional logics belonging both to the labelled and to the structured approach. Namely, I will present a labelled sequent calculus, modularly capturing a large family of conditional systems by internalising their semantics, and a nested-style sequent calculus, featuring a structural connective representing neighborhoods of the model. I will then compare the two calculi and their properties.

This talk is based on joint work with: Bjoern Lellmann, Sara Negri, Nicola Olivetti and Gian Luca Pozzato.

Bio: After a Master in Logic, Philosophy and History of Sciences at the University of Florence, I pursued my interests in proof theory and modal logics with a joint PhD in Computer Science (Aix-Marseille Université) and Philosophy (Helsinki University). Under the supervision of Nicola Olivetti and Sara Negri, I studied the proof theory of conditionals logics, introducing several innovative proof systems for these logics. After discussing my PhD thesis in 2019, I worked as a postdoc at Inria Saclay (Ile de France), under the supervision of Lutz Strassburger. In the course of the postdoc I became interested in studying the decidability of modal logics through proof-theoretic methods. Then, in 2021 I moved to the University of Birmingham to study cyclic proof theory under the supervision of Anupam Das. Cyclic proofs are an elegant and analytic formalism to capture (among others) modal logics with operators expressing forms of recursions, such as transitive closure. From 2022 to August 2024 I was a Marie Skłodowska Curie fellow at the Institute of Logic, Language and Computation (ILLC) of the University of Amsterdam, with a project aiming at finding a general and uniform method to define cyclic proofs for families of modal logics with recursive modalities. Since September 2024, I am assistant professor at the ILLC, and I plan to continue my research in proof theory, targeting both conditional logics and logics with recursive modalities.


Transmissão via Zoom (pw: 195088).

10h00-12h00
João Luís Cordovil (CFCUL/RG2), Silvia Di Marco (CFCUL) e Mattia Petrolo (CFCUL/RG1)
Cartaz do evento

Palestra por Francisco Lobo (CIÊNCIAS ULisboa / Instituto de Astrofísica e Ciências do Espaço), no âmbito do Encontro com a Astronomia.

Pormenor de mecanismo de relógio

Concerto no âmbito do programa Música na Universidade de Lisboa.

Orquestra

Concerto no âmbito do programa Música na Universidade de Lisboa.

Banner Ser Cientista

A 10.ª edição do Ser Cientista realiza-se entre 21 e 25 de julho - vem investigar connosco!

Estátua representativa da biodiversidade do planeta Terra

Seminário de Tese no âmbito do Doutoramento em Biologia e Ecologia das Alterações Globais, por Rita Pereira Eusébio.

Título e data da iniciativa

A iniciativa conta com a participação do MARE - Centro de Ciências do Mar e do Ambiente e do LASIGE Computer Science and Engineering Research Centre.

Aluna a utilizar um computador portátil

A Escola Doutoral Unite! Widening visa apoiar diretamente estudantes de doutoramento que realizem investigação numa das quatro áreas estratégicas selecionadas pelo projeto - as candidaturas decorrem até 26 de julho.

Pormenor de lâmpada

Candidaturas a decorrer de 01 a 30 de setembro.

Microplásticos no ocerano

O curso procura dar formação sobre a problemática da contaminação por detritos de plástico dos nossos ecossistemas, bem como alertar para os potenciais efeitos deletérios nos organismos, utilizando uma abordagem de ensino científico, com um discurso adequado a formandos sem formação científica - candidaturas até 03 de agosto.

Logótipo do evento, sobre fotografia dos Açores

Um simpósio internacional que reúne investigadores especializados em várias disciplinas (taxonomia, ecologia da vegetação, biogeografia, filogeografia, paleoecologia ou conservação da biodiversidade), focados na flora e vegetação terrestre e marinha da região da Macaronésia (Açores, Madeira, Selvagens, Canárias e Cabo Verde).

Quatro investigadores num laboratório

O curso visa capacitar investigadores, docentes e técnicos para integrar os princípios da economia circular em ambientes laboratoriais académicos - candidaturas até 16 de setembro.

Composição de imagens relativas à área das ciências forenses

O curso visa dotar os formandos com os conhecimento necessários à integração de equipas profissionais multidisciplinares nas áreas Médico-Legais e Forenses, em Laboratórios ou Serviços Médico-Legais e Forenses - candidaturas até 27 de julho.

Três investigadores num laboratório

O curso visa capacitar profissionais para aplicar os princípios da economia circular em ambientes laboratoriais industriais, promovendo práticas sustentáveis e eficientes - candidaturas até 17 de setembro.

Logótipo do evento

Um evento promovido pelo Departamento de Física da Faculdade de Ciências da ULisboa, com um duplo objetivo: valorizar a diversidade e excelência da formação dos doutorados e promover um espaço de diálogo direto entre empresas e estudantes.

Cientista a trabalhar com tubos de ensaio

Os participantes neste curso irão adquirir os conhecimentos essenciais à integração de equipas profissionais multidisciplinares na área das Análises Clínicas/Patologia Clínica, em laboratórios privados, públicos, hospitalares ou do Estado - candidaturas até 27 de julho.

Saída de campo (Geologia)

O curso, com candidaturas até 20 de julho, convida os professores do Ensino Básico e Secundário a explorar a Geologia a partir das rochas que afloram nas imediações da sua escola.

Gotas de água

O curso visa capacitar os formandos para a aplicação dos índices de qualidade ecológica utilizados na avaliação da qualidade ambiental em sistemas de transição, no âmbito da Diretiva Quadro da Água (DQA) - candidaturas até 31 de agosto.

Astronauta, banhado pela luz solar, no meio de uma floresta

Candidaturas até 30 de julho - um evento único, que reunirá estudantes de mestrado e doutoramento com investigadores e líderes da indústria de toda a Europa para uma experiência inesquecível.

Lupa e caneta sobre página com texto e gráfico

O curso visa dar formação inicial a estudantes de pós-graduação sobre o processo de escrita, submissão e publicação de trabalhos científicos, focando principalmente a publicação de artigos científicos em revistas internacionais com revisão por pares.

Iconografia relacionada com a temática do curso

O curso fornece uma exploração aprofundada de isótopos estáveis como uma ferramenta valiosa em Ecologia, usando assinaturas isotópicas para rastrear processos ecológicos e revelando insights sobre o ciclo de nutrientes e água, interações de espécies e condições ambientais em diversos ecossistemas e comunidades.

Composição de três imagens relativas à área da deteção remota

2.ª edição do curso, com candidaturas até 18 de outubro.

O evento pretende reunir investigadores que trabalhem sobre temas ligados à indústria e sobre património técnico e industrial, para uma reflexão prospetiva sobre o património industrial e atuais vias de colaboração no seu estudo, salvaguarda e preservação.

Computador portátil a projetar imagem de sequência biológica

O curso visa a aquisição de conhecimentos sobre as ferramentas bioinformáticas disponíveis para efetuar análises de sequências de DNA e proteínas, bem como a autonomia e espírito crítico na utilização dessas ferramentas. Procura igualmente desenvolver competências na utilização de software de bioinformática disponível gratuitamente na Internet e na interpretação do significado biológico dos resultados.

Bola de cristal colocada no solo

O curso tem como objetivo apresentar aos participantes um estado da arte atualizado sobre a diversidade da biota do solo e os papéis funcionais desempenhados pelos organismos do solo nos principais processos ecológicos.

A conferência visa reunir os principais especialistas no domínio da Imagiologia Médica por Micro-ondas (MMWI) e incluirá palestras, apresentações e pósteres de resumos revistos por pares e artigos de conferências, bem como workshops em áreas satélite de investigação com interesse para a investigação em MMWI.