Seminário de Lógica Matemática

Uniform validity of atomic Kreisel-Putnam rule in monotonic proof-theoretic semantics

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

Por Antonio Piccolomini D'Aragona (University of Tübingen/University of Siena).

Proof-theoretic semantics (PT) is normally understood today as Base-Extension Semantics (B-eS), i.e., as a theory of proof-theoretic consequence over atomic proof systems. Intuitionistic logic (IL) has been proved to be incomplete over a number of variants of B-eS, including a monotonic one where introduction rules play a prior role (miB-eS). In its original formulation by Prawitz, however, PTS consequence is not a primitive, but a derived notion. The main concept is that of argument structure valid relative to atomic systems and assignments of reductions for eliminating generalised detours of inferences in non-introduction form. This is called Proof-Theoretic Validity (P-tV), and it can be given in a monotonic and introduction-based form too (miP-tV). It is unclear whether, and under what conditions, the incompleteness results proved for IL over miB-eS can be transferred to miP-tV. As has been remarked, the main problem seems to be that the notion of argumental validity underlying the miB-eS notion of consequences is one where reductions are either forced to be non-uniform, or non-constructive. Building on some Prawitz-fashion incompleteness proofs for IL based on the notion of (intuitionistic) construction, I provide a set of reductions which are surely uniform (however uniformity is defined) and constructive, and which make atomic Kreisel-Putnam rule logically valid over miP-tV, thus implying the incompleteness of IL over a Prawitzian (monotonic, introduction-based) framework strictly understood.


Transmissão via Zoom (pw: 919 4789 5133).

15h00-16h00
CEMS.UL - Centro de Estudos Matemáticos

Seminário Doutoral III (Doutoramento em Biologia), por Sofia Mendes.

Os portadores de Trissomia 21 têm lugar no ensino superior

A participação no debate é gratuita, mediante inscrição prévia.

Nebulosa de Orionte no infravermelho

Serão abordadas todas as áreas da Astronomia e Astrofísica, de forma ligeira mas cientificamente suportada, havendo também uma breve introdução ao uso prático de telescópios.

Chegou o momento ideal para realizar podas em verde e de frutificação - uma técnica fundamental para estimular uma produção abundante de frutos e manter as árvores equilibradas e saudáveis! Ao contrário das podas de inverno, estas intervenções mais suaves permitem orientar o crescimento e favorecer a frutificação ainda no mesmo ano.

Título/data/local do evento e fotografia do mar

Quais são os conceitos-chave para enfrentar os atuais desafios marinhos e costeiros? 

Representação de programação R

This course aims at providing students with basic knowledge of R programming, allowing them to manipulate and visualize data with R.

Daniel da Silva Distinguished Lecture, por Jean-Pierre Bourguignon (IHÉS).

Título do evento, sobre imagem abstrata em tons de azul e laranja

Muitos parabéns aos investigadores de CIÊNCIAS premiados!

Título "Jornadas Científicas ULisboa" e composição com os logótipos da ULisboa e da União Europeia

A edição de 2025 das Jornadas é dedicada ao tema "Universidade de Lisboa no Espaço Europeu de Investigação: Construir Carreiras Académicas Atrativas, Fortalecer Instituições".

The conference focuses on "Algebra and its role in Computer Science", with special emphasis on the areas of study related to the work of M. V. Volkov, such as semigroups and automata.

Título "Hoje quem manda sou eu" e mapa de Portugal

Palestra por Jorge Buescu (Ciências ULisboa), no âmbito da iniciativa "Hoje quem manda sou eu", promovida pela Ciência Viva.

Luz a atravessar nuvens

O concerto integra o programa Música na Universidade de Lisboa, numa parceria com a Orquestra Académica da Universidade de Lisboa, naquele que é o Concerto Final de Temporada.

Workshop organizado pelo CEMS.UL - Centro de Estudos Matemáticos e pelo CAMGDS - Centro de Análise Matemática, Geometria e Sistemas Dinâmicos.

Título/data/local do evento e fotografia do espaço

How far will you go? The IA Summer Program 2025 is your launchpad to the Universe!

Representação de programação R

This course aims at providing students with statistical knowledge and tools to manipulate, analyse and visualise biological data with R. Introduction to modeling, simulations and Bayesian statistics.

Logótipo do Verão na ULisboa, sobre um fundo azul

Uma iniciativa da Universidade de Lisboa que proporciona a oportunidade única, aos alunos do 8.º ao 12.º anos de estudo, ou que tenham já concluído o 12.º ano, de ficar a conhecer e experimentar o ritmo e o espírito da vida académica na Universidade.

Título/data do evento e vários objetos museológicos

This course aims to provide an updated vision of the potential of museum collections for biodiversity research. More specifically, aims to present case studies on the value of museums and the use of collections and specimens in the 21st century, using new technologies and analytical methods.

Computability in Europe (CiE) is an interdisciplinary series of international conferences organised by the Association Computability in Europe (ACiE).

Horta Solar

E se fosse possível experimentar um curso universitário antes de concorrer ao ensino superior? Agora já é!

Águas subterrâneas

Curso acreditado para efeitos de progressão na carreira dos professores na dimensão cientifico-pedagógica dos grupos 420 e 520.

Título e datas do programa de estágios

Ready to explore research up close?

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

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

An international symposium that convenes researchers specializing in various disciplines focused on the terrestrial and marine flora and vegetation of the Macaronesian region (Azores, Madeira, Selvagens, Canary Islands, and Cabo Verde).

Páginas