Résumé Cet article cherche à éclairer l’élection de Martial Gueroult (1891-1976) à la chaire d’Histoire et technologie des systèmes philosophiques en 1951, et, indirectement, le succès de son approche « structurale » de l’histoire de la philosophie. Ceux qui occupaient des rôles clés dans la gestion de l’économie disciplinaire des sciences humaines ne devaient pas contredire dans leur travaux les axiomes qui avaient réglé la pratique de l’histoire de la philosophie depuis le début du XIXe siècle tout en faisant montre (...) d’innovation dans ce champ. Dans un premier temps nous résumons la méthode historiographique proposée par Gueroult ; un deuxième temps l’inscrit dans une tradition d’historiographie de la philosophie ; le troisième temps situe sommairement la pratique de l’histoire de la philosophie au Collège de France et à la Sorbonne ; dans de quatrième et cinquième temps nous décrivons les rapporteurs et les candidats lors de l’élection au Collège de France, et les pièces pertinentes ; enfin nous considérons les stratégies adoptées pendant la campagne qui ont pu déterminer le résultat de l’élection. (shrink)

This paper introduces a multi-modal polymorphic type theory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgement. Introduction and elimination rules for modalities are based on the polymorphism of terms in the language. This leads to a multi-modal non-homogeneous version of a (...) type theory, in which we show the embedding of the modal operators into standard group knowledge operators. (shrink)

We provide a full characterization of computational error states for information systems. The class of errors considered is general enough to include human rational processes, logical reasoning, scientific progress and data processing in some functional programming languages. The aim is to reach a full taxonomy of error states by analysing the recovery and processing of data. We conclude by presenting machine-readable checking and resolve algorithms.

We present a review of Raymond Turner’s Book Computational Artifacts – Towards a Philosophy of Computer Science, focusing on three main topics: Design, Malfunction, and Validity.

The epistemology of computer simulations has become a mainstream topic in the philosophy of technology. Within this large area, significant differences hold between the various types of models and simulation technologies. Agent-based and multi-agent systems simulations introduce a specific constraint on the types of agents and systems modelled. We argue that such difference is crucial and that simulation for the artificial sciences requires the formulation of its own specific epistemological principles. We present a minimally committed epistemology which relies on the (...) methodological principles of the Philosophy of Information and requires weak assumptions on the usability of the simulation and the controllability of the model. We use these principles to provide a new definition of simulation for the context of interest. (shrink)

The Editors’ vision for this volume is that it should be a selection of essays, contributed by the academics who have worked, studied, collaborated and disagreed with Göran Sundholm; engaging in debated issues and exploring untouched areas maybe only suggested or hinted at in Sundholm’s own work. "Acts of Knowledge" characterizes the papers contained in this volume as bringing something scientifically valuable in their respective fields: all the papers present cutting-edge research in their own style, contributing to very lively debates (...) occurring in the literature in logic, philosophical logic and history of logic. But it also hints at Göran’s constructivist background, which has been an influence or a challenge for many of the contributors. "History, Philosophy and Logic" refers directly to Göran's broad interests into the various aspects of the Philosophy of Logic, Mathematics, and Language, their origins and development, especially with the focus on the Modern History of Logic and the philosophical implications thereof. The readers will find scattered all along this volume pieces of -- and reflections on -- all these themes. (shrink)

Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and possibility as (...) provability up to refutation of contextual conditions. (shrink)

Philosophical Investigations, Volume 45, Issue 4, Page 512-527, October 2022.

This article proposes an interpretation of the work of Giambattista Vico in order to show its relevance for the current debate between liberal universalism and its critics. After a critical reconstruction of its origin at the dawn of Modernity, and having iden- tified rationalism as one of its decisive features, we shall analyse some of the criticisms currently levelled against it by various postmodern authors. The work of Vico and of the traditions from which he drank are found to be (...) a rich source of ideas that may lead us toward a way out of the dead-end that this debate is currently facing. (shrink)

Dans la mythologie grecque, Prométhée - le 'prévoyant' - déroba le feu aux dieux et le transmit aux hommes. Zeus, courroucé par ce transfert technologique, condamna Prométhée à un châtiment itéré à l'identique, à l'infini, algorithmique. Le problème que pose l'ancien mythe est celui des limites de la connaissance. En termes modernes, jusqu'à quel point pouvons-nous transformer la nature sans une connaissance des conséquences de nos actions sur elle? Cette question nous pousse à analyser les limites des sciences : à (...) une techno-science devenue toujours plus invasive, la science répond en se donnant à elle-même des limites"--Page 4 of cover. (shrink)

Raises the radical question of how Dante’s understanding of poetry shaped his theology, his ethics, and, more generally his sense of the organization of knowledge or encyclopedia.

Parte prima. Profili speculativi -- Parte seconda. Profili sociali, politici, giuridici -- Parte terza. Profili antropologici.

Nel presente testo cercherò principalmente di esplicitare la correlazione tra le mie ricerche, così come ho cercato di riassumerle nel testo su La ragionevole efficacia della matematica, e l’impostazione vareliana nei confronti delle scienze cognitive. Nel tentativo di far questo, intendo prendere spunto da un aneddoto che, a dire il vero, pare sia effettivamente accaduto. Si racconta che, intorno ai sette o otto anni, il piccolo Gauss si trovò di fronte un maestro severissimo che, come puniz...