Soutenance de thèse de BERNARDI Luigi
Titre de thèse
didactique de la logique : jouer avec le vrai et le faux
logic education: playing with true and false
Résumé de la thèse
Cette thèse introduit une interprétation dialogique des preuves à travers le jeu TUVA, en s'appuyant sur le travail de J. L. Krivine et Y. Legrandgérard (2007). En particulier, elle montre la correspondance entre les stratégies gagnantes dans le jeu et les preuves dans LK. Elle explore ensuite l'application de ce cadre théorique dans la didactique des mathématiques, en analysant les connexions entre les concepts de preuve en logique mathématique et en didactique, à travers les lentilles théoriques fournies par le jeu TUVA.
Un programme éducatif pour introduire à la logique, basé sur le jeu et aligné avec les théories de la didactique des mathématiques, est alors proposé et analysé.
Thesis resume
This thesis introduces a dialogical interpretation of proofs through the game TUVA, building on the work of J. L. Krivine and Y. Legrandgérard (2007). In particular, it shows the correspondence between winning strategies in the game and proofs in LK. It then explores the application of this theoretical framework in Mathematics Education, analyzing the connections between the concepts of proof in logic and in education, through the theoretical lenses provided by the game TUVA.
It proposes and analyzes an educational program for an introduction to logic, founded on the game and in line with theories of mathematics education.