Aristote (384-322 av. J. -C.) est certes le père fondateur de la logique classique2, mais il est également à mon sens largement à l'origine de la philosophie occidentale du langage.
1Frege est souvent considéré comme le père fondateur de la logique moderne [1][1]En affirmant cela, on néglige l'apport de Bolzano et de sa….
Le philosophe Socrate s'était fait une spécialité des discussions par questions et réponses. C'est en tâchant d'en codifier les règles, tout en déterminant aussi les règles des raisonnements scientifiques, qu'Aristote inventa la logique.
KURT Gödel, l'un des plus brillants esprits de notre siècle, est mort dernièrement à Princeton (New-Jersey). Ses découvertes en ont fait le père de la logique mathématique moderne aussi bien que l'innovateur de la pensée abstraite la plus élaborée.
C'est plus Euclide qui écrivit les premiers fondements de la logique formelle mathématique dans son œuvre : "Les éléments" vers 300 avant Jésus Christ.
Elle aurait été inventée par le penseur présocratique Zénon d'Élée. Son emploi systématique dans les dialogues de Platon a popularisé l'usage du terme. Platon et Aristote discutant.
Le principe logique d'identité est le premier des quatre grands principes logiques de l'Antiquité : principe d'identité, principe de non-contradiction (« une proposition ne peut être à la fois vraie et fausse »), principe du tiers exclu (« une proposition et sa négation ne peuvent être toutes deux fausses »), ou, selon ...
C'est généralement à Thalès de Milet que l'on accorde la paternité de la géométrie, et le début des mathématiques grecques.
Les origines du mot remonteraient aux pythagoriciens dont l'école distinguait deux catégories de disciples : - les akoutiskoï (les auditeurs) qui ne s'attachent qu'au résultat, - les mathematikoï (les initiés) qui démontre le résultat.
Née dans l'Antiquité grecque avec Aristote et les stoïciens, la logique a continué de côtoyer la philosophie durant le Moyen Âge et jusqu'au XVIIe siècle.
Trois types de logique sont repérables dans la recherche en sciences humaines : logique intellectuelle, logique empirique et logique scientifique.
La logique ou l'art de penser, publié en 1662, renoue avec les travaux de logique dans leur rapport avec le langage. 4C'est au XIXe siècle que la logique moderne se constitue en ce sens que naît la logique symbolique, logique ancrée dans un rapport étroit avec la mathématique.
Aristote (384-322 av. J.-C. ) est un philosophe et polymathe grec de l'Antiquité. Il est avec Platon, dont il a été le disciple à l'Académie, l'un des penseurs les plus influents que le monde occidental ait connu.
- Père de la logique et de la métaphysique, Aristote est aussi le père de la biologie (du moins le père de la zoologie, si l'on considère Théophraste comme celui de la botanique).
Définition de logique nom féminin
Logique générale, épistémologie, méthodologie. Livre, traité de logique. Manière de raisonner. ➙ raisonnement.
Les principes logiques déterminent avec précision la relation de conséquence logique. Ils donnent ainsi les moyens de faire toutes les théories. La logique peut même être considérée comme une théorie de toutes les théories. Elle est l'outil le plus fondamental pour tous les théoriciens.
Le mathématicien Euclide
Euclide (né en -325 en Grèce Antique) était un mathématicien grec, auteur du Traité des mathématiques qui est le texte fondateur des mathématiques en Occident. Son œuvre, les Éléments est la plus connue et apporte une description et explication des théorèmes appuyés par des démonstrations.
Thalès est le premier mathématicien dont l'histoire ait retenu le nom. Il est né à Milet (voir une carte), en Asie mineure, sur les côtes méditerranéennes de l'actuelle Turquie, vers 624 av JC.
La formule :e i π + 1 = 0 est ainsi démontrée par le mouvement d'un point sur un cercle.
Les Grecs ont trouvé la parade. Comme l'a découvert le mathématicien, «ils s'en tiraient en mettant des cailloux sur une plaque de marbre sur laquelle étaient gravées des colonnes». L'une d'elles correspondait aux unités, une deuxième aux centaines, une troisième aux milliers, etc. et d'autres encore aux fractions.
Joinet, Jean-Baptiste.
La logique traditionnelle consiste en une analyse des propositions comme des constructions sujet-prédicat, une théorie des relations entre les quatre formes de proposition analysées et une théorie du syllogisme et des paralogismes.
Définition - Une tautologie (ou loi logique) est une proposition composée qui est vraie quelles que soient les valeurs de vérité des propositions simples qui la composent.
Le véritable rapport entre la logique formelle et la dialectique consiste dans le rapport entre, d'une part, la façon de penser qui sépare les choses et les étudie séparément, et, d'autre part, celle qui est également capable de les remettre ensemble et de les faire fonctionner comme telles.