Entrevista com o 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.02.p22

Palabras clave:

Entrevista, Alberto Naibo, Revista Kínesis

Resumen

É 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.

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.