Qui est le père de la logique?
7643173#6
La Scolastique avait fait d'Aristote le père de la « Logique » et l'inventeur de la « « copule » », c'est-à-dire, un penseur qui n'aurait compris l'être de l'étant qu'à travers la "katégoria". Position qui débouche mécaniquement sur une conception étriquée de la Vérité comme étroitement liée à l'énoncé propositionnel ; réduction à laquelle Heidegger va s'opposer en exhumant un Aristote jusqu'ici méconnu, phénoménologue avant la lettre.
Heidegger et la logique
11508467#6
Parménide, reconnu comme le père de la logique et traditionnellement considéré comme un rationaliste, était un prêtre dévoué au culte d'Apollon et un iatromantis, ou prophète guérisseur. Empédocle, dont le modèle cosmologique introduirait dans la science et la philosophies occidentales l'idée fondamentale des quatre éléments, était un mystique et un magicien.
Peter Kingsley
2942336#3
Gottfried Wilhelm Leibniz (1646-1716) est sans doute le premier qui, au travers de sa célèbre caractéristique universelle, conçut le projet d'un vaste  formulaire dans lequel on pourrait exprimer toutes les pensées, et pas seulement les notions propres à une discipline particulière. Chez Leibniz apparaît aussi l'idée que formaliser c'est traduire.
Langage de la logique
37132#12
Mathématicien de formation, Husserl s'intéresse d'abord à la philosophie des sciences, notamment à partir de la question des objets mathématiques. Puis, frappé par les rapports entre logique et mathématique, il en vient à étudier leur fondement commun. Toutefois, le mathématicien Gottlob Frege, le fondateur de la logique moderne et l'un des pères de la philosophie analytique, critiqua âprement la pensée de Husserl et l'accusa de psychologisme. Husserl à la manière de René Descartes, dont il revendique le projet, cherche à re-fonder la totalité des sciences à partir d'une expérience indubitable (ou apodictique). . Il veut cependant radicaliser cette expérience.
Edmund Husserl
4965908#2
La logique (du grec , ), signifiant à la fois raison, langage, et raisonnement, est dans une première approche l'étude des règles formelles que doit respecter toute argumentation correcte. Le raisonnement, la construction de démonstration, de preuves sont donc les objets premiers de la logique. Les termes d'inférence ou de déduction sont également régulièrement utilisés. Selon l'objet de ces raisonnements plusieurs logiques sont donc apparues : Selon les formes de raisonnement :
Épistémologie de la logique
10198367#5
Brady (2000) a examiné les riches liens historiques entre la logique algébrique et la théorie des modèles. Les fondateurs de la théorie des modèles, Ernst Schröder et Leopold Löwenheim, étaient des logiciens. Alfred Tarski, le fondateur de la théorie des modèles, une branche importante de la logique mathématique contemporaine, mais a aussi: La logique mathématique moderne a débuté en 1847, avec deux brochures dont les auteurs respectifs étaient Auguste De Morgan et George Boole. Ceux-ci, et plus tard C. S. Peirce,  Hugh MacColl, Frege, Peano, Bertrand Russell, et A. N. Whitehead partageaient tous le rêve de Leibniz de combiner la logique symbolique, les mathématiques et la philosophie. L'algèbre relationnelle est sans doute le point culminant de l'approche de Leibniz à la logique. À l'exception de quelques écrits de Leopold Loewenheim et Thoralf Skolem, la logique algébrique est passée dans l'ombre peu de temps après la publication des "Principia Mathematica "(1910-1913), pour être de nouveau relancé en 1941 lors de la réexposition de Tarski l'algèbre relationnelle.
Logique algébrique
19368#1
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).
Gottlob Frege
11290140#0
Deng Xi (, également écrit sous la forme 祁奚; env 546-501 av. J.-C.) est un ancien philosophe et rhétoricien chinois qui a été appelé le père fondateur de la tradition logique chinoise, ou École des Noms (Xingmingjia). Il a été un haut fonctionnaire de l'état Zheng et un contemporain de Confucius, il est en fait plus proche de quelque chose comme un avocat désinvolte, enseignant aux gens les joutes verbales lors de poursuites judiciaires. Le "Zuo Zhuan" et les "Lüshi Chunqiu" créditent Deng d'être l'auteur d'un code pénal en opposition au plus confucéen . Deng est cité par Liu Xiang comme l'initiateur du principe du légisme, faisant potentiellement de lui un contributeur important aux fondations de l'habileté politique chinoise.
Deng Xi
759368#3
Ces philosophes ont ainsi été des précurseurs de la logique. Zénon d'Élée, disciple de Parménide, est considéré comme l'inventeur de la dialectique. Il est l'auteur de célèbres paradoxes (paradoxe de la flèche ; Achille et la tortue ; etc.). Empédocle d'Agrigente, autre disciple, affirme que le monde est soutenu par deux principes opposés, l'amour et la haine.
École éléatique
19368#0
Gottlob Frege (), de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et 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.
Gottlob Frege