Negation and protological foundations for logic

Jean-Baptiste Joinet (Université Paris 1 Sorbonne-Panthéon)
18/06/2010 - 14:00
Aula 5, Villa Mirafiori, Via Carlo Fea 2, Roma

Starting from the formalist/intuitionist debate about ideality of negation in the first third of the XXth century, I will investigate the
functional approaches of negation as a unary logical connective, leading to the contemporary interactional approaches of negation as a protological binary relation between processus. In these times where logical pluralism has become logical plethorism, I will conclude about the foundational rôle of this conception of negation for logic.