215 found
Order:
See also
Yvon Gauthier
Université de Montréal
  1. Internal Logic Foundations of Mathematics From Kronecker to Hilbert.Yvon Gauthier - 2002
  2.  22
    Why is There Philosophy of Mathematics at All? Ian Hacking Cambridge, Cambridge University Press, 2014 , 290 P. [REVIEW]Yvon Gauthier - 2014 - Dialogue 53 (4):740-743.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  50
    Hermann Weyl on Minkowskian Space–Time and Riemannian Geometry.Yvon Gauthier - 2005 - International Studies in the Philosophy of Science 19 (3):261 – 269.
    Hermann Weyl as a founding father of field theory in relativistic physics and quantum theory always stressed the internal logic of mathematical and physical theories. In line with his stance in the foundations of mathematics, Weyl advocated a constructivist approach in physics and geometry. An attempt is made here to present a unified picture of Weyl's conception of space-time theories from Riemann to Minkowski. The emphasis is on the mathematical foundations of physics and the foundational significance of a constructivist philosophical (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Le Concept de modèle. Par Alain Badiou. Cours de philosophie pour scientifiques, fascicule iv. François Maspéro, Paris, 1970. 94 pages. [REVIEW]Yvon Gauthier - 1972 - Dialogue 11 (3):460-464.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Théorétiques Pour Une Philosophie Constructiviste des Sciences.Yvon Gauthier - 1982
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  6.  52
    Critical Studies / Book Reviews.Yvon Gauthier - 1999 - Philosophia Mathematica 7 (3):350-350.
  7.  4
    La théorie des nombres chez Herbrand et Lautman.Yvon Gauthier - 2010 - Philosophiques 37 (1):149-161.
    Dans cet article, je compare les vues de Lautman et Herbrand sur la théorie des nombres et la philosophie de l’arithmétique. Je montre que, bien que Lautman eût avoué avoir été marqué par l’influence de Herbrand, les postures fondationnelles des deux amis divergent considérablement. Alors que Lautman versait dans un réalisme platonicien, Herbrand est resté fidèle au finitisme hilbertien. Il est vrai que Lautman était philosophe et que Herbrand était avant tout arithméticien et logicien, mais il demeure que l’oeuvre de (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8. De la Logique Interne.Yvon Gauthier - 1991 - Vrin.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  9.  3
    No Title Available: Dialogue.Yvon Gauthier - 2008 - Dialogue 47 (3-4):700-702.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  7
    Towards a Philosophy of Real Mathematics David Corfield Cambridge, Cambridge University Press, 2006, 288 P.Yvon Gauthier - 2008 - Dialogue 47 (3-4):700-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  83
    The Scientific Image, Par Bas C. Van Fraassen, Oxford: Clarendon Press. 1980. 238 Pages. [REVIEW]Yvon Gauthier - 1981 - Dialogue 20 (3):579-586.
  12.  4
    Hermann Weyl, L’analyse mathématique du problème de l’espace, 2 volumes, traduit et commenté par Éric Audureau et Julien Bernard, Aix-en-Provence, Presses Universitaires de Provence, 2015.Yvon Gauthier - 2018 - Philosophiques 45 (1):303.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Internal and External Consistency of Arithmetic.Yvon Gauthier - 2001 - Logica Trianguli 5:19-41.
    What Gödel referred to as “outer” consistency is contrasted with the “inner” consistency of arithmetic from a constructivist point of view. In the settheoretic setting of Peano arithmetic, the diagonal procedure leads out of the realm of natural numbers. It is shown that Hilbert’s programme of arithmetization points rather to an “internalisation” of consistency. The programme was continued by Herbrand, Gödel and Tarski. Tarski’s method of quantifier elimination and Gödel’s Dialectica interpretation are part and parcel of Hilbert’s finitist ideal which (...)
     
    Export citation  
     
    Bookmark  
  14.  79
    The Construction of Chaos Theory.Yvon Gauthier - 2009 - Foundations of Science 14 (3):153-165.
    This paper aims at a logico-mathematical analysis of the concept of chaos from the point of view of a constructivist philosophy of physics. The idea of an internal logic of chaos theory is meant as an alternative to a realist conception of chaos. A brief historical overview of the theory of dynamical systems is provided in order to situate the philosophical problem in the context of probability theory. A finitary probabilistic account of chaos amounts to the theory of measurement in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  61
    Representing and Intervening: Introductory Topics in the Philosophy of Natural Science Ian Hacking Cambridge: Cambridge University Press, 1983. 287 P. [REVIEW]Yvon Gauthier - 1985 - Dialogue 24 (1):162-.
    This is a lively and clearly written introduction to the philosophy of natural science, organized around the central theme of scientific realism. It has two parts. 'Representing' deals with the different philosophical accounts of scientific objectivity and the reality of scientific entities. The views of Kuhn, Feyerabend, Lakatos, Putnam, van Fraassen, and others, are all considered. 'Intervening' presents the first sustained treatment of experimental science for many years and uses it to give a new direction to debates about realism. Hacking (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  16
    A Theory of Local Negation: The Model and Some Applications.Yvon Gauthier - 1985 - Archive for Mathematical Logic 25 (1):127-143.
  17.  33
    Pierre Cassou-Noguès, Hilbert, Paris, Les Belles Lettres (Coll. Figures du savoir), 2001, 169 p. Pierre Cassou-Noguès, Hilbert, Paris, Les Belles Lettres (Coll. Figures du savoir), 2001, 169 p. [REVIEW]Yvon Gauthier - 2002 - Philosophiques 29 (2):391-392.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  18
    The Use of the Axiomatic Method in Quantum Physics.Yvon Gauthier - 1971 - Philosophy of Science 38 (3):429-437.
  19. Hilary Putnam, Raison, Vérité et histoire. [REVIEW]Yvon Gauthier - 1985 - Philosophy in Review 5:175-176.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  8
    La Notion Théorétique de Structure.Yvon Gauthier - 1969 - Dialectica 23 (3‐4):217-227.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Logique et fondements des mathématiques.Yvon Gauthier - 1999 - Revue Philosophique de la France Et de l'Etranger 189 (1):91-92.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  22.  3
    De la logique à l’arithmétique. Pourquoi des logiques et des mathématiques constructivistes?Yvon Gauthier - 2018 - Dialogue 57 (1):1-28.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  4
    Finite Arithmetic with Infinite Descent.Yvon Gauthier - 1989 - Dialectica 43 (4):329-337.
    SummaryFinite, or Fermat arithmetic, as we call it, differs from Peano arithmetic in that it does not involve the existence of an infinite set or Peano's induction postulate. Fermat's method of infinite descent takes the place of bound induction, and we show that a con‐structivist interpretation of logical connectives and quantifiers can account for the predicative finitary nature of Fermat's arithmetic. A non‐set‐theoretic arithemetical logic thus seems best suited to a constructivist‐inspired number theory.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  2
    Les Limites de l'Approche Empiriste En Mécanique Quantique.Yvon Gauthier - 1993 - Dialogue 32 (4):767-.
  25.  14
    Calcul en logique du premier ordre Yves Bouchard montréal, presses de l’université du québec, 2015, 288 P.Yvon Gauthier - 2016 - Dialogue 55 (1).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  14
    Intuitionistic Logic and Local Mathematical Theories.Yvon Gauthier - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (27-30):411-414.
  27. La logique interne des théories physiques.Yvon Gauthier - 1995 - Revue Philosophique de la France Et de l'Etranger 185 (3):357-359.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  28.  15
    BSHM/CSHPM Joint Conference 2011.Yvon Gauthier - 1991 - Dialectica 43 (4):329-337.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Fondements des Mathématiques Introduction À Une Philosophie Constructiviste.Yvon Gauthier - 1976
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  30.  15
    L’Ouverture au Probable. Éléments de Logique Inductive.Yvon Gauthier - 2006 - Dialogue 45 (1):191-192.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  18
    Les particules et l'univers, sous la direction de Jean Andouze, Paul Musset et Michel Paty, Nouvelle Encyclopédie Diderot, P.U.F., Paris, 1990, 396 p.Les particules et l'univers, sous la direction de Jean Andouze, Paul Musset et Michel Paty, Nouvelle Encyclopédie Diderot, P.U.F., Paris, 1990, 396 p. [REVIEW]Yvon Gauthier - 1991 - Philosophiques 18 (2):197-198.
    No categories
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  31
    From Fermat to Gauss: Indefinite Descent and Methods of Reduction in Number Theory Paolo Bussotti Augsburg, Erwin Rauner Verlag, 2006, 574 p. [REVIEW]Yvon Gauthier - 2008 - Dialogue 47 (2):411.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  17
    Réplique À Pierre Raymond.Yvon Gauthier - 1978 - Philosophiques 5 (1):192-194.
  34.  12
    Logique Hégélienne Et Formalisation.Yvon Gauthier - 1967 - Dialogue 6 (2):151-165.
  35.  33
    Hilbert and the Internal Logic of Mathematics.Yvon Gauthier - 1994 - Synthese 101 (1):1 - 14.
    Hilbert's programme is shown to have been inspired in part by what we can call Kronecker's programme in the foundations of an arithmetic theory of algebraic quantities.While finitism stays within the bounds of intuitive finite arithmetic, metamathematics goes beyond in the hope of recovering classical logic. The leap into the transfinite proved to be hazardous, not only from the perspective of Gödel's results, but also from a Kroneckerian point of view.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36.  7
    Le théorème de Gödel. Traductions de l’anglais et de l’allemand par Jean-Baptiste Scherrer. Sources du savoir, Paris : Éditions du Seuil, 1989, 170 p. [REVIEW]Yvon Gauthier - 1990 - Philosophiques 17:157-159.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  6
    De Kant À Hegel: De la Logique Transcendantale À la Syllogistique Dynamique.Yvon Gauthier - 2016 - Hegel-Jahrbuch 2016 (1).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  29
    Foundational Problems of Number Theory.Yvon Gauthier - 1978 - Notre Dame Journal of Formal Logic 19 (1):92-100.
  39.  6
    Marco Panza et Jean-Michel Salanskis , L’objectivité mathématique. Platonismes et structures formelles, Paris, Masson, 1995, X-241 p. [REVIEW]Yvon Gauthier - 1997 - Philosophiques 24:217-220.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  10
    François Rivenc, Introduction à la logique. Préface de Jacques Bouveresse. Inédit, Petite Bibliothèque Payot /14. Paris, 1989, 272 pages.François Rivenc, Introduction à la logique. Préface de Jacques Bouveresse. Inédit, Petite Bibliothèque Payot /14. Paris, 1989, 272 pages. [REVIEW]Yvon Gauthier - 1990 - Philosophiques 17 (1):165-166.
    No categories
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  3
    La théorie de toutes les théories possibles est-elle possible?Yvon Gauthier - 1975 - Dialogue 14 (1):81-87.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  42.  13
    Cahiers de l'Ecole des Sciences Philosophiques et Religieuses, 2-1987, publiés par les Facultés Universitaires Saint-Louis, J. Deleval, Bruxelles.Cahiers de l'Ecole des Sciences Philosophiques et Religieuses, 2-1987, publiés par les Facultés Universitaires Saint-Louis, J. Deleval, Bruxelles. [REVIEW]Yvon Gauthier - 1989 - Philosophiques 16 (1):205-206.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  10
    Entre Science Et Réalité. La Construction Sociale de Quoi?Yvon Gauthier - 2004 - Dialogue 43 (2):390-392.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  22
    Leçons Sur la Première Philosophie de Russell. Par J. Vuillemin, Coll. « Philosophies Pour l''ge de la Science », A. Colin, Paris, 1968. 354 Pages. [REVIEW]Yvon Gauthier - 1971 - Dialogue 10 (2):391-394.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  21
    Théorie Axiomatique des Ensembles. Par Jean-Louis Krivine. Collection SUP, Section « Le Mathématicien », Presses Universitaires de France, Paris, 1969, 120 Pages. [REVIEW]Yvon Gauthier - 1970 - Dialogue 9 (3):496-498.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  13
    Ginisti, Jean-Pierre, La logique combinatoire , Paris, PUF (coll. « Que sais-je? » n° 3205), 1997, 127 p. Ginisti, Jean-Pierre, La logique combinatoire , Paris, PUF (coll. « Que sais-je? » n° 3205), 1997, 127 p. [REVIEW]Yvon Gauthier - 1999 - Philosophiques 26 (2):375-376.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  5
    La Genèse du concept de l’action intégrative du système nerveux.Élie Feuerwerker, Pierre Couillard & Yvon Gauthier - 1988 - Philosophie Et Culture: Actes du XVIIe Congrès Mondial de Philosophie 3:66-69.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  11
    Alain Badiou, Le Nombre et les nombres, Paris, Éditions du Seuil (coll. « Des Travaux »), 1990, 278 pages.Alain Badiou, Le Nombre et les nombres, Paris, Éditions du Seuil (coll. « Des Travaux »), 1990, 278 pages. [REVIEW]Yvon Gauthier - 1993 - Philosophiques 20 (1):204-205.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  11
    Iraj Nikseresht, Physique quantique. Origines, interprétations et critiques, Paris, Éditions Ellipses, 2005, 270 pages.Iraj Nikseresht, Physique quantique. Origines, interprétations et critiques, Paris, Éditions Ellipses, 2005, 270 pages. [REVIEW]Yvon Gauthier - 2006 - Philosophiques 33 (1):309-310.
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  9
    Jean Largeault, L'intuitionnisme, Paris, PUF, coll. « Que sais-je ? », 1992, 125 pages.Jean Largeault, L'intuitionnisme, Paris, PUF, coll. « Que sais-je ? », 1992, 125 pages. [REVIEW]Yvon Gauthier - 1994 - Philosophiques 21 (1):267-268.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 215