Vendredi 6 Juin


Retour à la vue des calendrier
Vendredi 6 Juin
Heure: 10:00 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: On the computational meaning of axioms
Description: Mattia Petrolo An anti-realist theory of meaning suitable for both logical and proper
axioms is investigated. As opposed to other anti-realist accounts, like
Dummett-Prawitz verificationism, the standard framework of classical
logic is not called into question. The reason being that semantical
features are not limited solely to inferential ones, but also
computational aspects are considered as essential in the process of
determination of meaning. In order to deal with such computational
aspects, a relaxation of syntax is shown to be necessary. This leads to
the presentation of a general kind of proof theory, where the objects of
study are not only typed objects like deductions, but untyped ones,
where formulas have been replaced by geometrical configurations.

This is joint work with Alberto Naibo and Thomas Seiller