Alberto Naibo

Discipline

Philosophie (13) Sciences de l'information et de la communication (3) Histoire, Philosophie et Sociologie des sciences (1)

Discipline

Philosophie (9) Linguistique (3) Sciences de l'information et de la communication (2) Histoire, Philosophie et Sociologie des sciences (2) Droit (1)

Type de document

Articles (13) Livres et chapitres d'ouvrages (5) Prépublication (2)

Type de document

Autres (12) Billets de blog (12) Colloques et conférences (5) Mémoires, Thèses et HDR (1) Livres et chapitres d'ouvrages (1)

Co-auteur

Auteur

Date

Date

Source

Source

Mot-clé

Proof theory (9) Logic (9) logique (9) Semantics (6) Semantics (4) Analysis (4) Publics (4) spectacle (3) papier (3) analyse (3) Rules (3) Rules (3) Paper (3) Evidence (3) Calculus (3) Axioms (3) Technique (3) Logique (3) Logique (3) norme (2) lumière (2) comparaison (2) ordre (2) Syntax (2) Comparison (2) Accounts (2) Programs (2) Truth (2) Thought and thinking (2) Theology, Doctrinal (2)

Mot-clé

Paris (13) Paris (13) Bâtiment universitaire (10) Philosophy (6) History (6) Historia (6) Filosofía (6) Philosophie (6) Histoire (6) Philosophie (6) Histoire (6) histoire (6) philosophie (6) Data processing (5) Language and logic (5) Research (5) Lenguaje y lógica (5) Sistemas de información (5) Proceso de datos (5) Informática (5) Investigación (5) Recherche (5) Informatique (5) Recherche (5) Langage et logique (5) Informatique (5) recherche (5) Lille (5) Publics (4) France (3)

Documents écrit par Alberto Naibo (20) | parle de Alberto Naibo (19)

Réalisme et omniscience de Dieu : l’approche de Dummett
Alberto Naibo (2023)
Harmony in the Light of Computational Ludics
Alberto Naibo et al. (30 déc. 2021)
Qu'est-ce qu'une démonstration ?
Jean Fichot et al. (27 mai 2021)
The problem of harmony in classical logic
Giulio Guerrieri et al. (10 juin 2020)
An intuitionistic logic for preference relations
Paolo Maffezioli et al. (25 août 2019)
Postponement of $\mathsf {raa}$ and Glivenko’s Theorem, Revisited
Giulio Guerrieri et al.
Entretien avec Prof. Alberto Naibo
Alberto Naibo (29 juin 2017)
Putnam-Dummett. Quelle logique pour quel réalisme?
Alberto Naibo (1 nov. 2016)
On the computational meaning of axioms
Alberto Naibo et al. (29 avr. 2016)
Verificationism and classical realizability
Alberto Naibo et al. (1 janv. 2016)
Nick Haverkamp, "Intuitionism vs. Classicism: A mathematical attack on classical logic" (Frankfurt am Main, Vittorio Klostermann)
Alberto Naibo et al. (1 janv. 2016)
Putnam-Dummett. Quelle logique pour quel réalisme ?
Alberto Naibo (2016)
Convenzionalismo e costanti logiche
Paolo Maffezioli et al. (1 nov. 2015)
Are uniqueness and deducibility of identicals the same?
Alberto Naibo et al. (1 mai 2015)
Constructibility and geometry
Alberto Naibo (1 janv. 2015)
Proof theory of epistemic logic of programs
Paolo Maffezioli et al. (1 sept. 2014)
Convenzionalismo e costanti logiche
Paolo Maffezioli et al. (31 janv. 2014)
On the Computational Meaning of Axioms
Alberto Naibo et al. (14 janv. 2014)
The Church-Fitch knowability paradox in the light of structural proof theory
Paolo Maffezioli et al. (1 sept. 2013)
Alain Lecomte, "Meaning, Logic and Ludics" (London, Imperial College Press, 2011)
Alberto Naibo (1 juin 2012)

Programmes sans algorithmes
Baptiste Mélès (4 mai 2023)
Programmes sans algorithmes
Baptiste Mélès (4 mai 2023)
Eddington philosophe: La nature et la portée de la science physique
Florian Laguens (27 avr. 2023)
Pour une histoire de l'IA #7 : Alberto Naibo
Carla Marand (10 janv. 2023)
Session March 11
Liesbeth De Mol (26 févr. 2021)
La confidentialité différentielle : quelle quantification de la privacy dans le monde de l’apprentissage automatique ?
Edwige Cyffers (2021)
Séminaire « Interactions entre informatique, logique et langage »
Florence THILL (9 juin 2015)
Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie »
Florence THILL (28 avr. 2015)
Réseaux informatiques et logique dialogique
Baptiste Mélès (9 mars 2015)
Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie »
Florence THILL (21 févr. 2015)
Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie »
Florence THILL (6 févr. 2015)
Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie »
Florence THILL (5 janv. 2015)
Soutenance d'Alberto Naibo (dir. J.-B. Joinet): "Le statut dynamique des axiomes: Des preuves aux modèles" (27 nov. 2013)
Pierre Fasula (14 nov. 2013)
Parution: traduction du livre de H. Putnam, L'Éthique sans l'Ontologie
Pierre Fasula (14 oct. 2013)
Séminaire étudiant en Philosophie du langage 2010-2011
Pierre Fasula (1 oct. 2012)

next