img-logoInriaTTL2015
img-logoirisaTTL2015
img-logoReNaBIplateForme2013

Scientific lectures - Thursday June 11th (morning)

The scientific talks, in the order of their presentation. The invited talk by Johann Van Benthem and the following talks by Levis Zerpa ; Pierre Joray ; Jacques Duparc ; Ryo Hatano

Back to contents

img-SophiePinchinatTTL2015

LOGIC IN ACTION, a grand old topic with a new twist

Johann van Benthem, Professor Emeritus of pure and applied logic - University of Amsterdam – invited talk

The questions of the audience starts at 43:40 mn

(click to the image to start the video) - duration: 61:44 mn img-flecheHaut

img-JohannMankowskiTTL2015

Using interrogative logic to teach classical logic

Levis Zerpa, Philosophy instructor in Yachay Tech (Ecuador) – Venezuela

The questions of the audience starts at 20:49 mn

(click to the image to start the video) - duration: 22:44 mn img-flecheHaut

img-JohannMankowskiTTL2015

Teaching Lesniewski’s Prothetic with a Natural Deduction System

Pierre Joray, professeur à l’UFR de Philosophie de l’Université de Rennes 1

The questions of the audience starts at 21:09 mn

(click to the image to start the video) - duration: 27:51 mn img-flecheHaut

img-JohannMankowskiTTL2015

Easy Proofs of Löwenheim-Skolem Theorems by Means of Evaluation Games

Jacques Duparc, professeur à l’Université de Lausanne (UNIL)

The questions of the audience starts at 19:00 mn

(click to the image to start the video) - duration: 24:24 mn img-flecheHaut

img-JohannMankowskiTTL2015

Teaching Modal Logic from Linear Algebraic Viewpoints

Ryo Hatano, Graduate Student at University of Tokyo

The questions of the audience starts at 21:10 mn

(click to the image to start the video) - duration: 26:30 mn img-flecheHaut

Edition page Web: Alain Crenn - Service Communication & Médiation/ audiovisuel