-
6Beth, Evert Willem (1908-1964)Philosophia Scientiae 155-172. forthcoming.During a conference entitled “Un logicien consciencieux. La philosophie de Evert Willem Beth,” held in Nancy in 1998 and published in this journal, volume 3, cahier 4 [Barth, Heinzmann et al. 1998-1999], the participants regretted that a reasoned biography of Beth was not available. In view of the efforts made since then in this direction, in particular by Paul van Ulsen in his PhD thesis in Dutch [2000], this article attempts to provide an overview of Beth’s work for a broader community of phil…Read more
-
2IntroductionIn Evandro Agazzi & Gerhard Heinzmann (eds.), The practical turn in philosophy of science: (proceedings of the annual Meeting of the International Academy of the Philosophy of Science Pont-à-Mousson / France, 10-14 September 2014), Francoangeli. pp. 7-13. 2015.International audience.
-
7Quoi de neuf chez Henri Poincaré?Philosophia Scientiae 5-34. forthcoming.D’un colloque à un autre, puis à un autre... En mai 1994, les Archives Henri-Poincaré, qui n’avaient alors que deux ans d’existence, organisaient à Nancy un important colloque dédié à l’œuvre scientifique et philosophique du savant [Greffe, Heinzmann et al. 1996]. En janvier 2012, à l’occasion du centenaire du décès d’Henri Poincaré, le laboratoire inaugurait à Nancy une année marquée par d’innombrables manifestations scientifiques et grand public avec un colloque « Vers une biographie d’Henr...
-
3Zwischen Objektkonstruktion und Strukturanalyse: zur Philosophie der Mathematik bei Jules Henri PoincaréVandehoeck & Rupprecht. 1995.
-
1On the Interrelation between Forgiveness, Rationality and FaithIn Dariusz Łukasiewicz & Roger Pouivet (eds.), The Right to Believe: Perspectives in Religious Epistemology, De Gruyter. pp. 213-224. 2011.
-
2The Concept of Forgiveness: a Case Study on the Interrelation between Metaphysics, Faith and LogicIn E. Agazzi (ed.), Science, Metaphysics, Religion, . pp. 190-200. 2014.International audience.
-
6Pragmatism and the Practical Turn in Philosophy of Mathematics: Explanatory ProofsIn Evandro Agazzi & Gerhard Heinzmann (eds.), The practical turn in philosophy of science: (proceedings of the annual Meeting of the International Academy of the Philosophy of Science Pont-à-Mousson / France, 10-14 September 2014), Francoangeli. pp. 113-130. 2015.International audience.
-
5Poincare and the Analytic TraditionTomsk State University Journal of Philosophy, Sociology and Political Science 34 (2): 7-20. 2016.There is no substantive agreement about the philosophical views of analytic philosophers. Nevertheless, for much of them logical analysis is widely recognized to be important. It is true that Poincare used no logical analysis but refused nevertheless the old metaphysics. Indeed, the analytic tradition of philosophy of science is perhaps better characterized by several overlapping similarities, which are the clincher for my main thesis: Analytic philosophy of science has one of its origins in the…Read more
-
7After Gödel’s results the limitations of the three principal “foundational schools” became more and more evident, while the “working scientists” continued their activity caring more for the acquisition of “results” than for logical rigor. This “pragmatic turn” was perceivable also in philosophy of science due to an influence of pragmatism that replaced the previous influence of logical empiricism and analytic philosophy.
-
Jean Cavaillès, philosophe et résistantIn Jean Cavaillès, Jean-Jacques Szczeciniarz & Baptiste Mélès (eds.), Hommage à Jean Cavaillès, Hermann. 2018.
-
15Mathematical Understanding by Thought ExperimentsAxiomathes 32 (3): 871-886. 2022.The goal of this paper is to answer the following question: Does it make sense to speak of thought experiments not only in physics, but also in mathematics, to refer to an authentic type of activity? One may hesitate because mathematics as such is the exercise of reasoning par excellence, an activity where experience does not seem to play an important role. After reviewing some results of the research on thought experiments in the natural sciences, we turn our attention to experiments and though…Read more
-
2Operation and Predicativity: Lorenzen’s Approach to ArithmeticIn Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician, Springer Verlag. pp. 11-22. 2021.In this article we give an overview, from a philosophical point of view, of Lorenzen’s construction of the natural and the real numbers. Particular emphasis is placed on Lorenzen’s classification in the tradition of predicative approaches that stretches from Poincaré to Feferman.
-
15Paul Lorenzen -- Mathematician and Logician (edited book)Springer Verlag. 2021.This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, databank management, and stochastics. Coverage details key contributions of Lorenzen to constructive mathemati…Read more
-
Carnap et Gödel: échange de lettres autour de la définition de l'analyticité. Introduction, traduction et notesLogique Et Analyse 31 (123-124): 257-291. 1988.
-
15One Hundred Years of Intuitionism : The Cerisy ConferenceBirkhäuser Basel. 2008.Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications. It brings together 21 contributions from today's leading authors on intuitionism.
-
7IntroductionPhilosophia Scientiae 22 3-15. 2018.L’idée d’organiser à Paris un congrès international de philosophie scientifique « fut émise pour la première fois au cours d’une conversation à Berlin, en juillet 1932, entre Hans Reichenbach et Louis Rougier ». Dans une lettre du 6 août 1932 adressée à Reichenbach, Rougier mentionne déjà des contacts avec le ministère des Affaires étrangères pour obtenir des subventions et le 6 novembre de la même année, il propose à Reichenbach de tenir la manifestation en 1934 [voir Padovani 2006, 239-–240...
-
4Hypotheses and Conventions in PoincaréIn Michael Heidelberger & Gregor Schiemann (eds.), The Significance of the Hypothetical in Natural Science, De Gruyter. pp. 169-192. 2009.
-
13Correspondance Dieudonné-Cavaillès (1939)Revue de Métaphysique et de Morale 106 (2): 199-208. 2020.
-
14Paul Bernays et la rénovation des fondements philosophiques des mathématiquesRevue de Synthèse 126 (2): 317-329. 2005.L'histoire des fondements des mathématiques du xxe siècle montre qu'il nous faut réviser la signification des notions philosophiques traditionnelles comme « évidence », « existence », « expérience » ou « rationalité ». On expose comment le logicien Paul Bernays, familier des conceptions de la philosophie de Jacob Friedrich Fries et de Léonard Nelson, donne aux résultats techniques une interprétation philosophique dont il s'inspire de plus en plus - à partir du milieu du siècle - de la « philosop…Read more
-
8Dialogue about the truePhilosophia Scientiae 21 39-47. 2017.Pascal Engel distingue globalement deux tendances de concevoir la vérité : les uns défendent une théorie substantialiste selon laquelle la vérité exprime une « caractéristique réelle », les autres, déflationnistes, soutiennent que la vérité n’est pas une propriété authentique des porteurs de vérités. Prenant le réalisme comme option par défaut, Engel cherche une position médiane stable, telle que la vérité est un concept plus substantiel que le déflationnisme ne le prétend et moins substantiel q…Read more
-
8Dialogue sur le vraiPhilosophia Scientiae 21 39-47. 2017.Pascal Engel distingue globalement deux tendances de concevoir la vérité : les uns défendent une théorie substantialiste selon laquelle la vérité exprime une « caractéristique réelle », les autres, déflationnistes, soutiennent que la vérité n’est pas une propriété authentique des porteurs de vérités. Prenant le réalisme comme option par défaut, Engel cherche une position médiane stable, telle que la vérité est un concept plus substantiel que le déflationnisme ne le prétend et moins substantiel q…Read more
-
6PréfacePhilosophia Scientiae 21 3-4. 2017.Ce volume est né d’un malaise qu’il est impossible de passer sous silence : la très grande majorité des auteurs rassemblés ici n’ont pas été en mesure de respecter la date limite pour le Liber Amicorum que des élèves et collègues dédiaient à Pascal Engel à l’occasion de son 60e anniversaire. Étant convaincus qu’en philosophie l’intérêt vient moins de la reformulation d’un catéchisme appris que d’une initiative hérétique portée par la sincérité intellectuelle, cet ouvrage a la forme d’une Stre...
-
21L’;épistémologie mathématique de Gonseth dans la perspective du pragmatisme de PeirceDialectica 44 (3-4): 279-286. 1990.RésuméSelon un pragmatiste, la réflexion du philosophe porte sur le lien entre la construction et la description des objets mathématiques. Grâce à sa conception?un raisonnement dit ≫theorematique≪, Peirce a réussi à etablir ľesquisse?une interprétation pragmatique?une structure mathématique. Cette dernière reste néanmoins vague quant à la catégoricité de la structure. – lci, il est utile de recourir à Gonseth et & dcar;analyser sa reconstruction?un système axiomatique: la genèse logique?une stru…Read more
-
7La pensée mathématique en tant que constructrice de réalités nouvellesPhilosophia Scientiae 3 (1): 99-111. 1998.
-
Gonseth mathematical epistemology from the perspective of Peirce pragmatismDialectica 44 (3-4): 279-286. 1990.
-
EditorialPhilosophia Scientiae 9 (2): 1-3. 2005.Le présent cahier thématique de Philosophia Scientiae reprend une sélection de conférences présentées à Nancy en octobre 2002 dans le cadre du colloque international “Philosophical Insights into Logic and Mathematics” (PILM). Outre les travaux historiques, la vingtaine de contributions rassemblées dans ce numéro offre un bon aperçu de la richesse des positions hétérodoxes défendues en matière de fondements : théorie des catégories, théorie des jeux, fondements cognitifs, approche de la tradit...
-
Henri Poincare: Science et Philosophie. Congres International Nancy 1994Annals of Science 54 (1): 98-98. 1997.