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)

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.

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 mathématiques, tel est le défi relevé dans ce livre.La première partie montre que la fonction cognitive de l’intuition dans la compréhension et la justification passe par l’utilisation d’un système sémiotique. Un tel système est utilisé intuitivement si, dans une action située, les aspects « significatifs » et « représentatifs » sont interdépendants. Une demande de légitimation de (...) ce qui est représenté ne se place pas au même niveau de réflexion que celui de l’intuition. Qu’elle puisse être à la fois évidente et faillible n’a dès lors rien de paradoxal.La deuxième partie montre qu’envisager l’intuition dans une symptomatologie ne nous éloigne pas de la tradition philosophique. Au contraire, le traitement sémantique de la question de l’intuition éclaire certains problèmes classiques en philosophie, en logique et en mathématiques; et il permet de relire à nouveaux frais aussi bien Aristote, Descartes ou Kant, que Helmholtz, Poincaré, Brouwer, Weyl, Beth et Cavaillès. (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)

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.

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)

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)

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