Entrevista com o Prof. Alberto Naibo

Authors

  • 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.02.p22

Keywords:

Entrevista, Alberto Naibo, Revista Kínesis

Abstract

É com muito prazer que a revista Kínesis apresenta abaixo a publicação de uma entrevista com o jovem filósofo italiano Alberto Naibo. Atualmente mestre de conferências em Lógica na Universidade Paris 1 Panthéon – Sorbonne, Alberto fez tanto sua graduação quanto seu mestrado em Filosofia na Universidade de Bolonha. Uma vez em Paris, ele defendeu em 2013 sua tese de doutorado, cujo título é “Le statut dynamique des axiomes: des preuves aux modèles”, sob a orientação de Jean-Baptiste Joinet. Em 2014, realizou pós-doutorado no IHPST (Institut d’Histoire et de Philosophie des Sciences et des Techniques), do qual ele é agora membro permanente, participando do projeto HYPOTHESES – Hypothetical Reasoning: its Proof - Theoretic Analysis. Ele dirige no presente momento, com Liesbeth de Mol, Maël Pégny e Shahid Rahman, um seminário de história e filosofia da informática, em colaboração entre o IHPST e a equipe STL (Savoirs, Textes, Langage) da Universidade de Lille.

References

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.

Downloads

Published

2018-04-16

Issue

Vol. 9 No. 20 (2017)

Section

Entrevista

License

Copyright (c) 2018 Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.