Entrevista com o Prof. Alberto Naibo

Autores

  • 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

Palavras-chave:

Entrevista, Alberto Naibo, Revista Kínesis

Resumo

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

Downloads

Não há dados estatísticos.

Referências

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

Publicado

2018-04-16

Edição

Seção

Entrevista