51 found
Order:
  1.  2
    Paul Lorenzen -- Mathematician and Logician.Gerhard Heinzmann & Gereon Wolters (eds.) - 2021 - Springer Verlag.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  9
    Correspondance Dieudonné-Cavaillès.Jean Dieudonné & Gerhard Heinzmann - 2020 - Revue de Métaphysique et de Morale 2:199-208.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  1
    Entre Intuition Et Analyse: Poincaré Et le Concept de Prédicativité.Gerhard Heinzmann - 1985 - Librairie Scientifique Et Technique.
  4.  30
    The Foundations of Geometry and the Concept of Motion: Helmholtz and Poincaré.Gerhard Heinzmann - 2001 - Science in Context 14 (3):457-470.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  5.  6
    One Hundred Years of Intuitionism : The Cerisy Conference.Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann - 2008 - Birkhäuser Basel.
    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.
    No categories
  6.  28
    Henri Poincaré.Gerhard Heinzmann - forthcoming - Stanford Encyclopedia of Philosophy.
  7. Poincaré on Understanding Mathematics.Gerhard Heinzmann - 1998 - Philosophia Scientiae 3 (2):43-60.
  8.  3
    Mathematical Understanding by Thought Experiments.Gerhard Heinzmann - forthcoming - Axiomathes:1-16.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. On the Controversy Between Poincaré and Russell About the Status of Complete Induction.Gerhard Heinzmann - 1994 - Epistemologia 17 (1):35-52.
  10.  1
    Hypotheses and Conventions in Poincaré.Gerhard Heinzmann - 2009 - In Michael Heidelberger & Gregor Schiemann (eds.), The Significance of the Hypothetical in Natural Science. De Gruyter. pp. 169-192.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Zwischen Objektkonstruktion Und Strukturanalyse: Zur Philosophie der Mathematik Bei Jules Henri Poincaré.Gerhard Heinzmann - 1995 - Vandehoeck & Rupprecht.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Konstruktivistische Gesichtspunkte der Philosophie der Mathematik von Ferdinand Gonseth (1890-1975).Gerhard Heinzmann - 1982 - Conceptus: Zeitschrift Fur Philosophie 16 (38):73-80.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  13. Poincaré, Russell, Zermelo et Peano. Textes de la discussion sur les fondements des mathématiques : des antinomies à la prédicativité.Gerhard Heinzmann - 1989 - Revue Philosophique de la France Et de l'Etranger 179 (1):109-110.
     
    Export citation  
     
    Bookmark   2 citations  
  14. ¸ Itevanatten2008.Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann (eds.) - 2008 - Birkhäuser Basel.
    No categories
     
    Export citation  
     
    Bookmark  
  15. Henri Poincare: Science Et Philosophie. Congres International Nancy 1994.Jean-Louis Greffe, Gerhard Heinzmann, Kuno Lorenz & I. Grattan-Guinness - 1997 - Annals of Science 54 (1):98-98.
     
    Export citation  
     
    Bookmark  
  16. Catherine Dufour.Gerhard Heinzmann, Bertrand Berche, Karine Dumesnil, Thierry Gourieux & Léna Soler - 2011 - Philosophia Scientiae 15:1-8.
    No categories
     
    Export citation  
     
    Bookmark  
  17. Constructivism: Mathematics, Logic, Philosophy and Linguistics.Gerhard Heinzmann & Giuseppina Ronzitti (eds.) - 2006
     
    Export citation  
     
    Bookmark  
  18. Gille-Gaston Granger: Essai d'une philosophie du style.Gerhard Heinzmann - 1991 - Philosophische Rundschau 38 (1/2):153.
    No categories
     
    Export citation  
     
    Bookmark  
  19.  2
    L’Intuition Épistémique.Gerhard Heinzmann - 2013 - Vrin.
    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 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. La Philosophies des Mathématiques de EW Beth.Gerhard Heinzmann - 1998 - Philosophia Scientiae 3 (4):77-92.
     
    Export citation  
     
    Bookmark  
  21. Raisonnement mathématique et art.Gerhard Heinzmann - 1997 - Philosophia Scientiae 2 (1):131-145.
    No categories
     
    Export citation  
     
    Bookmark  
  22. Dialogisches Handeln Eine Festschrift Für Kuno Lorenz.Kuno Lorenz, Michael Astroh, Dietfried Gerhardus & Gerhard Heinzmann - 1997
    No categories
     
    Export citation  
     
    Bookmark  
  23.  49
    Dialogue, Rationality, Formalism. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics.Manuel Rebuschi, Martine Batt, Gerhard Heinzmann, Franck Lihoreau, Michel Musiol & Alain Trognon (eds.) - forthcoming - Springer.
  24.  8
    La position de Cavaillès dans le problème des fondements en mathématiques, et sa différence avec celle de Lautman.Gerhard Heinzmann - 1987 - Revue d'Histoire des Sciences 40 (1):31-47.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  17
    L’;Épistémologie Mathématique de Gonseth Dans la Perspective du Pragmatisme de Peirce.Gerhard Heinzmann - 1990 - Dialectica 44 (3-4):279-286.
    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, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  19
    14th Congress of Logic, Methodology and Philosophy of Science.Gerhard Heinzmann & Peter Schroeder-Heister - 2008 - Philosophia Scientiae 14 (1):155-157.
  27.  10
    Paul Bernays et la rénovation des fondements philosophiques des mathématiques.Gerhard Heinzmann - 2005 - Revue de Synthèse 126 (2):317-329.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  17
    Henri Poincaré: Death Centenary.Gerhard Heinzmann & Cédric Villani - 2014 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 47:117.
  29.  4
    Jules Vuillemin Face À la Philosophie Analytique.Baptiste Mélès & Gerhard Heinzmann - 2020 - Revue de Synthèse 141 (1-2):1-10.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  24
    Naturalizing Dialogic Pragmatics.Gerhard Heinzmann - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 285--297.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  13
    14th Congress of Logic, Methodology and Philosophy of Science.Gerhard Heinzmann & Pierre-Edouard Bour - 2008 - Philosophia Scientiae 14 (1):152.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  15
    Mathematical Reasoning and Pragmatism in Peirce.Gerhard Heinzmann - 1994 - In Dag Prawitz & Dag Westerståhl (eds.), Logic and Philosophy of Science in Uppsala. Kluwer Academic Publishers. pp. 297--310.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  14
    Francis JACQUES: Différence Et Subjectivite. Anthropologie D’Un Point de Vue Relationnel. Paris: Editions Aubier Montaigne 1982, (Collection Analyse Et Raisons), 423 Pp. [REVIEW]Gerhard Heinzmann - 1984 - Grazer Philosophische Studien 22 (1):195-197.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  8
    Preface.Gerhard Heinzmann & Jean-Jacques Szczeciniarz - 2014 - Philosophia Scientiae 18 (1):3-6.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  7
    Francis JACQUES: Différence Et Subjectivite. Anthropologie D’Un Point de Vue Relationnel. Paris: Editions Aubier Montaigne 1982, (Collection Analyse Et Raisons), 423 Pp. [REVIEW]Gerhard Heinzmann - 1984 - Grazer Philosophische Studien 22 (1):195-197.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36.  9
    Umfangslogik, Inhaltslogik, Theorematic Reasoning.Gerhard Heinzmann - 1997 - In Evandro Agazzi & György Darvas (eds.), Philosophy of Mathematics Today. Kluwer Academic Publishers. pp. 353--361.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  9
    Philosophical Pragmatism in Poincaré.Gerhard Heinzmann - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 70--80.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  5
    Dialogue sur le vrai.Gerhard Heinzmann - 2017 - Philosophia Scientiae 21:39-47.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  5
    Dialogue Sur le vraiDialogue About the True.Gerhard Heinzmann - 2017 - Philosophia Scientae 21:39-47.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. Henri Poincaré Science Et Philosophie : Congrès International, Nancy, France, 1994.Jean-Louis Greffe, Gerhard Heinzmann & Kuno Lorenz - 1996
     
    Export citation  
     
    Bookmark   1 citation  
  41.  6
    Foreword.Gerhard Heinzmann & Giuseppina Ronzitti - 2006 - Philosophia Scientae:1-4.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  5
    Préface À la Traduction de l'Article de Hermann von Helmholtz «Les Faits Dans la Perception».Gerhard Heinzmann - 2003 - Philosophia Scientiae 7 (1):43-47.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  3
    Préface.Gerhard Heinzmann & Morizot - 2017 - Philosophia Scientiae 21:3-4.
    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...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  5
    La pensée mathématique en tant que constructrice de réalités nouvelles.Gerhard Heinzmann - 1998 - Philosophia Scientiae 3 (1):99-111.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  1
    Introduction.Michel Bourdeau, Gerhard Heinzmann & Pierre Wagner - 2018 - Philosophia Scientae 22:3-15.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  1
    Preface.Gerhard Heinzmann & Jean-Jacques Szczeciniarz - 2014 - Philosophia Scientae 18:3-6.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  3
    Note du Rédacteur En Chef.Gerhard Heinzmann - 2005 - Philosophia Scientae 9:1-2.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  3
    Foreword.Gerhard Heinzmann & Giuseppina Ronzitti - 2006 - Philosophia Scientiae:1-4.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  3
    Note du Rédacteur En Chef.Gerhard Heinzmann - 2005 - Philosophia Scientiae 9 (1):1-2.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  1
    Operation and Predicativity: Lorenzen’s Approach to Arithmetic.Gerhard Heinzmann - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 11-22.
    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.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 51