Entretien avec 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.03.pxxi

Palavras-chave:

Entretien, Alberto Naibo, Revista Kínesis

Resumo

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.

Downloads

Os dados de download ainda não estão disponíveis.

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

v. 9 n. 20 (2017)

Seção

Entrevista

Licença

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

Creative Commons License

Este trabalho está licenciado sob uma licença Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.