Entretien avec Prof. Alberto Naibo

Autores/as

  • Pedro Bravo de Souza Mestrando em Filosofia pela Universidade Estadual Paulista (Unesp), Campus de Marília

DOI:

https://doi.org/10.36311/1984-8900.2017.v9n20.03.pxxi

Palabras clave:

Entretien, Alberto Naibo, Revista Kínesis

Resumen

C'est avec un grand plaisir que la revue Kínesis annonce la publication de l'entretien ci-dessous avec le jeune philosophe italien Alberto Naibo. Actuellement maître de conférences en Logique à l'Université Paris 1 Panthéon-Sorbonne, Alberto a fait ses études de licence et de master en Philosophie à l'Université de Bologne. Arrivé à Paris en 2008, il a soutenu en 2013 une thèse de doctorat intitulée “Le statut dynamique des axiomes : des preuves aux modèles”, sous la direction de Jean-Baptiste Joinet. En 2014, il a été chercheur post-doctoral à l'IHPST (Institut d'Histoire et de Philosophie des Sciences et des Techniques) – dont il est désormais membre permanent – dans le cadre du projet HYPOTHESES – Hypothetical Reasoning: its Proof-Theoretic Analysis. Il anime actuellement, avec Liesbeth de Mol, Maël Pégny et Shahid Rahman, un séminaire d’histoire et de philosophie de l’informatique, en collaboration entre l’IHPST et l’équipe STL (Savoirs, Textes, Langage) de l’Université Lille.

Descargas

Los datos de descarga aún no están disponibles.

Referencias

NAIBO, A., MAFFEZIOLI, P., NEGRI, S. The Church-Fitch knowability paradox in the light of structural proof theory. Synthese, vol. 190, nº 14, p. 2677 – 2716, 2013a.

NAIBO, A. Le statut dynamique des axiomes: des preuves aux modèles. 2013. 599f. Tese (Doutorado) - Université Paris 1 Panthéon – Sorbonne. Paris, 27 de novembro de 2013b.

NAIBO, A., MAFFEZIOLI, P. Proof theory of epistemic logic of programs. Logic and Logical Philosophy, vol. 23, nº 3, p. 301–328, 2014.

NAIBO, A., PETROLO, M. Are uniqueness and deducibility of identicals the same? Theoria, vol. 81, nº 2, p. 143–181, 2015a.

NAIBO, A. Constructibility and geometry. In: LOLLI, PANZA, VENTURI (eds.). Philosophy of Mathematics: From logic to practice – Italian Studies in the Philosophy of Mathematics, Boston Studies in the Philosophy and History of Science, p. 123–159. Berlin: Springer, 2015b.

NAIBO, A., MAFFEZIOLI, P. Convenzionalismo e costanti logiche. Post, vol. 4, p. 184-195, 2015c.

NAIBO, A., PETROLO, M., SEILLER, T. Verificationism and classical realizability. In: BASKENT, C. (ed.). Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions, p. 163–197, Berlin: Springer, 2016a.

NAIBO, A., PETROLO, M., SEILLER, T. On the computational meaning of axioms. In: REDMOND , POMBO, NEPOMUCENO (eds.). Epistemology, Knowledge and the Impact of Interaction, p. 141–184. Berlin: Springer, 2016b.

NAIBO, A. Putnam-Dummett. Quelle logique pour quel réalismé? Archives de Philosophie. Vol. 79, nº 4, 2016c.

Descargas

Publicado

2018-04-16

Número

Vol. 9 Núm. 20 (2017)

Sección

Entrevista

Licencia

Derechos de autor 2018 Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.