background preloader

Logiciens (H)

Facebook Twitter

Présentation de JYG. Bureau : +33 4 91 26 96 58 fax : +33 4 91 26 96 55 Adresse électronique : girard@iml.univ-mrs.fr Une sélection de mes articles se trouve ici Le Point Aveugle a été publié aux éditions Hermann (2006-2007).

Présentation de JYG

My last paper: Transcendental syntax I: deterministic case, (January 2015). The Blind Spot can be found there Publications of the European Mathematical Society (September 2011). Jean-Yves Girard. Saul Kripke. Un article de Wikipédia, l'encyclopédie libre.

Saul Kripke

Pour les articles homonymes, voir Kripke. Saul Kripke en 2005. Il a eu une grande influence dans de nombreux domaines, depuis la logique jusqu’à la philosophie du langage. La sémantique de Kripke, utilisée en logique modale et pour la sémantique des mondes possibles, est nommée d'après lui. Une grande partie de ses travaux ne sont pas publiés, ou n'existent que sous la forme d'enregistrements et de manuscrits circulant de manière restreinte. Œuvre[modifier | modifier le code] Kripke est surtout connu pour quatre contributions en philosophie : en logique modale ;la nouvelle théorie de la référence directe, dans Naming and Necessity, conférences à Princeton en 1972 ;une interprétation controversée de Wittgenstein ;une nouvelle théorie de la vérité. Logique modale[modifier | modifier le code] Kripke permit la démonstration de la complétude de la logique modale en donnant une sémantique.

Naming and Necessity[modifier | modifier le code] Nelson Goodman. Un article de Wikipédia, l'encyclopédie libre.

Nelson Goodman

Pour les articles homonymes, voir Goodman. Biographie[modifier | modifier le code] Edmund Gettier. Un article de Wikipédia, l'encyclopédie libre.

Edmund Gettier

Edmund L. Gettier (né en 1927 à Baltimore, Maryland) est un philosophe américain et professeur émérite à l'université du Massachusetts à Amherst ; il doit sa réputation à un article de trois pages publié en 1963 intitulé Is Justified True Belief Knowledge? Alfred Jules Ayer. Un article de Wikipédia, l'encyclopédie libre.

Alfred Jules Ayer

Alfred Jules Ayer Sir Alfred Jules Ayer usuellement appelé A. Per Martin-Löf. Per Erik Rutger Martin-Löf (born 1942) is a Swedish logician, philosopher, and mathematical statistician.

Per Martin-Löf

Guillaume d'Ockham. Un article de Wikipédia, l'encyclopédie libre.

Guillaume d'Ockham

Guillaume d'Ockhamd'après le manuscrit de Summa Logicae, 1341 Guillaume d'Ockham ou Guillaume d'Occam[1] (v. 1285 - ), dit le « Docteur invincible » et le « Vénérable initiateur » (Venerabilis inceptor), était un philosophe, logicien et théologien anglais, membre de l'ordre franciscain, considéré comme le plus éminent représentant de l'école scolastique nominaliste (ou « terministe », selon la terminologie ockhamienne), principale concurrente des écoles thomiste et scotiste. Sa doctrine fut soupçonnée d'hérésie par les autorités ecclésiastiques parce qu'elle remettait en cause bon nombre de postulats de la théologie traditionnelle, notamment ses prémisses « scientifiques » (subordination thomiste ou déduction scotiste), et parce qu'elle critiquait la possibilité d'une démonstration de l'existence divine. Biographie[modifier | modifier le code]

Jean-Louis Krivine. Un article de Wikipédia, l'encyclopédie libre.

Jean-Louis Krivine

Pour les articles homonymes, voir Krivine. Bibliographie (ouvrages)[modifier | modifier le code] Éléments de logique mathématique (théorie des modèles) (avec Georg Kreisel), Dunod, Paris, 1966[1] ; traduction anglaise : Elements of mathematical logic (model theory), North Holland, Amsterdam, 1967[2].Théorie axiomatique des ensembles, Presses universitaires de France, Paris, 1972.Lambda-calcul, types et modèles. Diodore Cronos. Un article de Wikipédia, l'encyclopédie libre.

Diodore Cronos

Diodore Cronos, en grec ancien Διόδωρος Χρόνος / Diódôros Chrónos (mort en 296 av. J. -C.), philosophe grec de l'école mégarique. Le théoprastéen Phanias était opposé à Diodore Cronos, adepte de la dialectique éristique. Raymond Lulle. Un article de Wikipédia, l'encyclopédie libre.

Raymond Lulle

Écrivain mystique, les principes de sa philosophie sont inséparables de son projet de conversion des musulmans. Il cherche à s'adresser à toutes les intelligences, chrétiennes ou non, dans la langue de ses interlocuteurs. Il opère par un jeu d'explications et de déductions, une combinaison des divers principes théologiques et philosophiques pour convaincre de la vérité chrétienne. Il a rencontré de vives oppositions avec les thomistes de l'ordre de Saint-Dominique qui ont obtenu temporairement une condamnation papale de ses écrits. Considéré comme l'un des inventeurs du catalan littéraire, il est le premier à utiliser une langue néo-latine pour exprimer des connaissances philosophiques, scientifiques et techniques. Alors que lui-même méprisait l'alchimie, un vaste corpus de textes alchimiques a été écrit sous son nom à partir du XIVe siècle.

Lulle fut béatifié et il est considéré comme saint en Catalogne. Antoine Arnauld (1612-1694) Un article de Wikipédia, l'encyclopédie libre. Antoine Arnauld (6 février 1612 à Paris - 8 août 1694 à Bruxelles), surnommé le Grand Arnauld par ses contemporains pour le distinguer de son père, est un prêtre, théologien, philosophe et mathématicien français, l'un des principaux chefs de file des jansénistes et un opposant des jésuites au XVIIe siècle. Il est inhumé au cimetière d'Evere à Bruxelles. Il fut à l'origine destiné au barreau, mais décida d’étudier la théologie au collège de Sorbonne. Il y obtint les plus grands succès et sa carrière promettait d’être brillante quand l'influence de Saint-Cyran l’attira vers le jansénisme.

Son livre, De la fréquente Communion (1643), fut une étape importante pour rendre les buts et les idéaux de ce mouvement intelligibles au grand public. Pendant ce temps, il écrivit d'innombrables brochures en faveur du jansénisme. Antoine Arnauld. Pierre Nicole. Un article de Wikipédia, l'encyclopédie libre. Pierre Nicole était un théologien et un controversiste français, né le 19 octobre 1625 à Chartres (une plaque commémorant sa naissance est d'ailleurs visible à Chartres, place Honoré d'Estienne d'Orves), décédé le 16 novembre 1695 à Paris.

Il est considéré comme un des principaux auteurs jansénistes. Biographie[modifier | modifier le code] Pierre Nicole est le fils d'un avocat de province, et le neveu du poète Claude Nicole. Le père de Pierre Nicole s'occupe lui-même de l'éducation et de l'instruction de son fils, qui est capable, à 14 ans, de lire dans le texte les ouvrages en grec et en latin. Charles Sanders Peirce. Un article de Wikipédia, l'encyclopédie libre. Charles Sanders Peirce Philosophe américain XIXe siècle-XXe siècle Charles Sanders Peirce (10 septembre 1839 - ) est un sémiologue et philosophe américain. Il est considéré comme le fondateur du courant pragmatiste avec William James et, avec Ferdinand de Saussure, un des deux pères de la sémiologie (ou sémiotique) moderne et comme un des plus grands logiciens. Gottlob Frege. Un article de Wikipédia, l'encyclopédie libre. Friedrich Ludwig Gottlob Frege (né le à Wismar – mort le à Bad Kleinen) est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne : le calcul des prédicats.

Il est en outre considéré comme l'un des plus importants représentants du logicisme. C'est à la suite de son ouvrage Les Fondements de l'arithmétique, où il tente de dériver l'arithmétique de la logique, que Russell lui a fait parvenir le paradoxe qui porte son nom. Néanmoins Frege n'entendait nullement réduire le raisonnement mathématique à sa seule dimension logique. Son idéographie visait à associer sur la même page, et de manière explicite, le contenu mathématique (ligne horizontale de la page) et la structure logique (ligne verticale). Biographie et politique[modifier | modifier le code] Bertrand Russell. Un article de Wikipédia, l'encyclopédie libre. Pour les articles homonymes, voir Russell. Des informations de cet article ou section devraient être mieux reliées aux sources mentionnées dans la bibliographie, sources ou liens externes.

(indiquez la date de pose grâce au paramètre date). Kurt Gödel. Un article de Wikipédia, l'encyclopédie libre. Pour les articles homonymes, voir Godel. Kurt Gödel Kurt Gödel en 1925. Signature Kurt Gödel ( – ) est un logicien et mathématicien austro-américain. Jacques Herbrand. Roland Fraïssé. Imre Lakatos. J. Barkley Rosser. John Barkley Rosser Sr. Paul Bernays. Rudolf Carnap. Wilfrid Hodges. Wilfrid Augustine Hodges, FBA (born May 27, 1941) is a British mathematician, known for his work in model theory. Life[edit] He was Professor of Mathematics at Queen Mary, University of London from 1987 to 2006, and is the author of numerous books on logic. Honors and awards[edit] Haskell Curry. Alonzo Church. Willard Van Orman Quine. Stephen Cole Kleene.

Марков, Андрей Андреевич (младший) Moses Schönfinkel. Alfred Tarski.