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 mathematics, Lorenzen’s work on lattice-groups and divisibility theory, and modern set theory and Lorenzen’s (...) critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzen’s consistency proof and Hilbert’s larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics. Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz. (shrink)

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 thought experiments in mathematics, especially in fundamental mathematics, and investigate what thought experiments can teach us there. If we accept the principle that mathematical practice can sometimes be best described by a pragmatist approach where the concept of experience in mathematics is considered from a new perspective, thought experiments can in some cases be a useful instrument different from both ‘mathematical experiments’ and ‘formal’ proofs: they are mathematical experiments using deviant methods. (shrink)

ArgumentAccording to Hermann von Helmholtz, free mobility of bodies seemed to be an essential condition of geometry. This free mobility can be interpreted either as matter of fact, as a convention, or as a precondition making measurements in geometry possible. Since Henri Poincaré defined conventions as principles guided by experience, the question arises in which sense experiential data can serve as the basis for the constitution of geometry. Helmholtz considered muscular activity to be the basis on which the form of (...) space could be construed. Yet, due to the problem of illusion inherent in the subject’s self-assessment of muscular activity, this solution yielded new difficulties, in that if the manifold is abstracted from rigid bodies which serve as empirical justification of the geometrical notion of space, then illusionary bodies will produce fictive manifolds. The present article is meant to disentangle these difficulties. (shrink)

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.

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

English summary: This ambitious study proposes an analysis of intuition that will allow us to understand it cognitive role in the justification of our beliefs and philosophical and mathematical reasoning. The book first demonstrates that the cognitive function of intuition passes through a semiotic system before situating the semantic treatment of intuition in the context of classic problems in philosophy, logic, and mathematics. French description: Proposer une symptomatique de l'intuition nous permettant de comprendre son fonctionnement cognitif dans la justification de (...) nos croyances et de nos raisonnements philosophiques et mathematiques, tel est le defi releve dans ce livre. La premiere partie montre que la fonction cognitive de l'intuition dans la comprehension et la justification passe par l'utilisation d'un systeme semiotique. Un tel systeme est utilise intuitivement si, dans une action situee, les aspects significatifs et representatifs sont interdependants. Une demande de legitimation de ce qui est represente ne se place pas au meme niveau de reflexion que celui de l'intuition. Qu'elle puisse etre a la fois evidente et faillible n'a des lors rien de paradoxal. La deuxieme partie montre qu'envisager l'intuition dans une symptomatologie ne nous eloigne pas de la tradition philosophique. Au contraire, le traitement semantique de la question de l'intuition eclaire certains problemes classiques en philosophie, en logique et en mathematiques; et il permet de relire a nouveaux frais aussi bien Aristote, Descartes ou Kant, que Helmholtz, Poincare, Brouwer, Weyl, Beth et Cavailles. (shrink)

"Dialogisches Handeln" ist eine Sammlung von philosophischen BeitrAgen zum dialogischen Konstruktivismus im Sinne von Kuno Lorenz, der Philosophie als eine Kommunikation mit Selbstreflexion versteht. Dabei umfaAt der Dialog in diesem Buch verschiedene Disziplinen der Philosophie - von der Anthropologie A1/4ber die Grundlagen von Logik und Sprachphilosophie bis hin zur Wissenschafts- und Erkenntnistheorie. Die Reflexion auf die kommunikativen Grundlagen wissenschaftlichen Austauschs schlieAt dabei Denkperspektiven verschiedener Wissenschaften - von der Psychologie bis zu Physik und Chemie - ebenso ein wie die philosophischen Disziplinen.

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 philosophical network in France around 1900 (...) and, especially, in Poincare. (shrink)

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 structure selon les principes de ľidonéisme correspond en effet au programme de Peirce, (...) à savoir àľexplication de la signification?un concept àľaide?une séquence cumulative? interprétants.SummaryAccording to a pragmatist, philosophical thought bears on the link between the construction and the description of mathematical objects. Thanks to his development of ≫theorematic reasoning)), Peirce succeeded in bringing forward a pragmatic interpretation of a mathematical structure, exhibiting however an inherent vagueness with regard to the categoricalness of the structure. ‐ In this matter, Gonseth's model of reconstruction of an axiomatic system can be resorted to: the logical genesis of a structure considered in his ≫ldoneism≪ corresponds to Peirce's program of explaining the meaning of a concept by means of a cumulative sequence of interpretants. (shrink)

Gperhard Heinzmann, Rédacteur en chef La philosophie est la mère des sciences. Il faut avoir une bonne mémoire pour se le rappeler. Quel bonheur lorsque ce rappel vient d’une collègue qui ne l’a pas appris, mais qui éprouve la nécessité de questionner sa pratique scientifique et actualise ainsi l’ancienne métaphore! C’était le cas de Catherine Dufour. On se connaissait vaguement depuis l’école maternelle des Trois Maisons que fréquentaient nos enfants. Je fus donc très heureux de découvrir,...

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 « philosophie ouverte (...) » de Ferdinand Gonseth. Bien avant Thomas Kuhn, Bernays conçoit la révision envisagée non pas simplement comme une question de vérité ou de fausseté, mais comme un problème exigeant l'introduction d'un nouveau système conceptuel. Cependant, l'affaiblissement du concept de vérité est pour lui une conséquence épistémologique provenant de la théorie de la connaissance adoptée et non une conséquence méthodologique issue d'un changement de paradigme et donc d'une incommensurabilité. (shrink)

The 14th Congress of Logic, Methodology and Philosophy of Science will be held on July 19-26, 2011, in Nancy, France . In order to provide some historical background about DLMPS Congresses, we are honoured to have the opportunity to reissue a chapter of Anita Burdman Feferman and Solomon Feferman's Alfred Tarski : Life and Logic, dedicated to the early history of the DLMPS and the organization of the first Congress held in 1960 in Stanford. We are very grateful to the (...) authors and the Cambridge University Press for their kind authorization to reissue this text. (shrink)

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

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.

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 que les théories réalistes ne disent qu’elle (...) est. Dans cet article on développe une solution médiane alternative à la position proposée par Engel en se basant sur une option anti-réaliste et pragmatique. On montre, plus exactement, dans quelle mesure la conception dialogique de la vérité, avancée par Kuno Lorenz, s’oppose aux thèses défendues par Engel tout en poursuivant le même but que lui. (shrink)

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 que les théories réalistes ne disent qu’elle (...) est. Dans cet article on développe une solution médiane alternative à la position proposée par Engel en se basant sur une option anti-réaliste et pragmatique (mais non utilitariste). On montre, plus exactement, dans quelle mesure la conception dialogique de la vérité, avancée par Kuno Lorenz, s’oppose aux thèses défendues par Engel tout en poursuivant le même but que lui. (shrink)

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