Alberto Naibo

ATER auprès du département de philosophie de l'Université de Paris 1, Alberto Naibo est doctorant en logique et en philosophie à l'Université de Paris 1 Panthéon-Sorbonne. Sa thèse, dirigée par le Pr. Jean-Baptiste Joinet, porte sur le rôle épistémologique des axiomes mathématiques, particulièrement en ce qui concerne leur compatibilité avec les théories anti-réalistes de la vérité et du sens, basées sur la théorie de la démonstration sémantique. Ses intérêts scientifiques incluent les questions de logiques constantes, logiques non classiques, et les paradoxes sémantiques. La convergence de tous ses sujets de recherche trouve son expression dans l'article "The Church-Fitch knowability paradox in the light of structural proof-theory" (co-écrit avec P. Maffezioli et S. Negri).

Alberto Naibo is a PhD student in logic and philosophy at the University of Paris 1 Panthéon-Sorbonne. His thesis is supervised by Prof. Jean-Baptiste Joinet and the topic relates to the epistemological role of mathematical axioms, especially as it concerns their compatibility with anti-realist theories of truth and meaning based on proof-theoretic semantics. His scientific interests include the issues of logical constants, non-classical logics, and semantic paradoxes. The matching of all his research subjects finds expression in the article "The Church-Fitch knowability paradox in the light of structural proof-theory" (co-authored with P. Maffezioli and S. Negri).