The Logic We Like

13 - 18 January 2025

On the occasion of World Logic Day (January 14, 2025) Giovanni Sambin, professor of Mathematical Logic at the University of Padua, and I will be in some schools in the Padua area with “The Logic We Like”, some theoretical-practical experiences to train girls and boys in reasoning and critical thinking.

The event, sponsored by UNESCO, AILA Associazione Italiana di Logica e sue Applicazioni, and SILFS Italian Society of Logic and Philosophy of Science, will be included in the website of the Conseil International de Philosophie et des Sciences Humaines (CIPSH), which collects all the initiatives that will be organized in the world.

Programme in progress

Friday, January 10

10:00 a.m. – 12:00 p.m.
Istituto Tecnico Commerciale “Pier Fortunato Calvi” Padova

Monday, January 13

8:30 a.m. – 10:15 a.m. and 11:20 a.m. – 1:10 p.m.
IPSEOA “Pietro d’Abano” Abano Terme

Tuesday, January 14

11:00 a.m. – 1:00 p.m.
Istituto Tecnico Commerciale “Pier Fortunato Calvi” Padova

Wednesday, January 15

8:30-10:15 a.m.
IPSEOA “Pietro d’Abano” Caselle di Selvazzano

Thursday, January 16

10 a.m.-12 p.m.
Convitto nazionale Marco Foscarini – Venezia

Friday, January 17

8 a.m.-1 p.m.
Istituto Istruzione Superiore “Leon Battista Alberti” Abano Terme

Logic

An inclusive tool

Logic, more than any other STEM discipline, has the task of proving the truth of propositions in science and beyond. For this reason we can call it a metadiscipline.
Logic has the “superpower” of making people capable of approaching a problem critically and without undue assumptions.

To train in a logical approach means to thoroughly understand the method underlying all sciences and, in general, to help young people build an armor capable of defending them from misconceptions, accustoming them to reasoning with knowledge.

Our proposal is to use some of the basic concepts of logic (particularly proofs) by practicing girls and boys to reason using the learn-by-doing method.

An important day

Why is WLD celebrated on January 14?

On November 26, 2019, UNESCO’s 40th General Conference declared January 14 as World Logic Day.
The reason: to support the development of logic through teaching, research and public dissemination of the discipline.

The date chosen corresponds to that of the death of Kurt Gödel (January 14, 1978) and the birth of Alfred Tarski (January 14, 1902), two of the most important logicians of the 20th century.

We also recall that another important logician is linked to this day: Lewis Carroll, who died on January 14, 1898.

World Logic Day

La logica che ci piace

Io e Giovanni Sambin, professore di Logica Matematica all’Università di Padova, in occasione della Giornata Mondiale della Logica (14 gennaio 2025), saremo in alcune scuole del territorio padovano con “La logica che ci piace”, esperienze teorico-pratiche per formare ragazze e ragazzi al ragionamento e al pensiero critico.

L’evento, patrocinato da UNESCO, AILA Associazione Italiana di Logica e sue Applicazioni e SILFS Società Italiana di Logica e Filosofia della Scienza, sarà inserito nel sito del Conseil International de Philosophie et des Sciences Humaines (CIPSH), che raccoglie tutte le iniziative che saranno organizzate nel mondo.

Docenti

Giovanni Sambin

Studioso senior di Logica Matematica - Università di Padova

Laurea in matematica a pieni voti (1971), trascorre un anno a Berkeley dove segue un seminario tenuto da Alfred Tarski.
Nei primi anni Settanta è a Siena, nel gruppo di ricerca di Roberto Magari.
È tra i fondatori della logica della dimostrabilità, la prima ricerca originale di logica in Italia dopo Peano, di cui uno dei primi risultati è il teorema del punto fisso (1976), nominato poi teorema de Jongh-Sambin (fu dimostrato nello stesso periodo da Dick De Jongh con una dimostrazione totalmente diversa).
All’inizio degli anni ’80 scrive gli appunti dell’unico libro di Per Martin-Löf sulla sua Teoria dei Tipi. Da allora, basa tutte le sue ricerche su questa teoria.
Inizia a lavorare alla Topologia formale, un approccio costruttivo alla topologia, che studia il concetto di vicinanza in matematica.
È tra i fondatori e primo presidente di AILA, Associazione Italiana di Logica e Applicazioni.
Dal 1990 sviluppa una visione dinamica dei fondamenti della matematica che gli permette di trovare quella che chiamerà Minimalist Foundation.
Dal lavoro con Martin-Löf arriva l’intuizione della Basic Picture, iniziata nel ’95, che è il suo personale contributo alla Teoria dei Tipi e alla matematica costruttiva.
Nel 1995 descrive le costanti logiche (e cioè i connettivi logici “e” “o” “implica” e i quantificatori “esiste” e “per ogni”) con quello che lui chiama Principio di riflessione. Ne nasce la Basic logic grazie alla quale ogni logica conosciuta si ottiene in modo naturale “schiacciando” il metalinguaggio (la parte significante di un linguaggio di base) a livello di linguaggio oggetto (il linguaggio di base appunto) al più basso livello.
Costruttivista per natura, coltiva da sempre un profondo interesse per le questioni fondamentali.

Docenti

Silvia Pittarello

Comunicatrice scientifica

Esperta in comunicazione e divulgazione della scienza, specializzata in logica, sviluppo del pensiero critico, demenze, nudge e scienza gentile, ha una laurea cum laude in Filosofia Teoretica con Emanuele Severino, un master in Comunicazione delle Scienze e un passato nella comunicazione tradizionale e web.
È responsabile della comunicazione del Dipartimento di Scienze del Farmaco dell’Università di Padova, insegna “Comunicazione con i nuovi media” al Master in Comunicazione delle Scienze dell’Università di Padova e "Digital Therapeutics e nudge: nuovi approcci alle demenze" al Master in Comunicazione delle Scienze dell’Università di Torino.
Organizza e modera eventi di scienza, trasferimento tecnologico, innovazione sociale, business etici.