Depuis plus de 2000 ans, la logique est essentiellement utilisée pour « modéliser des arguments exprimés en langage naturel » et pour formaliser le raisonnement : c'est-à-dire que le rôle de la logique est de fournir un moyen de répondre aux ambiguïtés qui surgissent lorsque nous utilisons notre langage.
La logique est l'étude des règles formelles permettant d'exprimer correctement une argumentation. Ce portail a pour but de présenter la logique qui est un des domaines les plus importants de la recherche et de la connaissance.
Objets de la logique
La logique (du grec λόγος, logos), 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.
Fondée par Aristote, la logique (dite formelle) détermine la validité des opérations de l'esprit. À partir de l'étude des propositions les plus simples et de leur enchainement déductif, Aristote établit les règles du jugement formellement correct indépendamment de son contenu.
Qui répond aux règles de la logique. Exemple : Un esprit cartésien fonde des raisonnements toujours logiques.
Conforme au bon sens, cohérent, rationnel : Raisonnement logique. 3. Conforme au mode de raisonnement de quelqu'un, aux principes qui guident son action, son comportement : Soyez logique avec vous-même.
3. les principes de la logique. Ils reposent sur la permanence et la distinction des objets sur lesquels la pensée porte ses jugements. C'est le principe fondamental pour Aristote, car «Personne, en effet, ne peut jamais penser qu'une même chose puisse être et n'être pas...» (Métaphysique).
Trois types de logique sont repérables dans la recherche en sciences humaines : logique intellectuelle, logique empirique et logique scientifique.
Les règles d'introduction des connecteurs (disjonction, conjonction, implication, négation, etc.) sont des règles d'inférence que l'on trouve dans le calcul des séquents et la déduction naturelle.
2. Qui raisonne de manière cohérente. Synonyme : cohérent, conséquent, méthodique, scientifique, systématique.
L'intelligence logique (ou "logico-mathématique", selon la terminologie de Gardner) est indissociable d'une aptitude à l'analyse, à la dissertation intellectuelle. Les personnes à l'esprit rationnel sont capables de raisonner de façon séquentielle. Un bon atout managérial.
L'étroitesse d'esprit est un grand défaut du raisonnement que nous devons tous tacher d'éviter. Essayez toutes les choses, retenez ce qui est bon. Dissipez tous les préjudices de votre esprit. Ne croyez pas qu'il n'y a aucune vérité excepté dans les sciences que vous étudiez.
Ce philosophe peut être considéré comme le père de la logique ». Aristote (384-322 av. J. -C.)
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.
En outre, la logique moderne offre la possibilité d'une quantification multiple (pour tous individus x et y) et alternée (pour tout individu x, il existe un individu y tel que, pour tout z…), très importante pour la formalisation des mathématiques et néanmoins ignorée par la logique traditionnelle.
L'histoire de la logique, en Occident, prend ses racines dans la philosophie et les mathématiques de la Grèce antique pour se développer en richesse au XX e siècle. Des développements parallèles ont notamment eu lieu en Chine et en Inde.
La logique est donc à la fois une science, puisque elle se propose d'expliquer un objet déterminé: le raisonnement; un art, car les sciences étudient leurs objets sans avoir un but pratique, ni font que constater ce qui est sans chercher ce qui doit être si on veut réaliser tel ou tel but.
La logique est la science qui enseigne à raisonner juste. Il s'agit d'une science formelle dépourvue de contenu, consacrée à l'étude de procédés de raisonnement. Autrement dit, c'est l'étude des méthodes et des principes utilisés pour distinguer le raisonnement correct de l'incorrect.
Son but est de traduire des idées et des concepts en expressions et équations, de leur appliquer certains calculs et de traduire le résultat en termes logiques, marquant ainsi le début de la logique moderne, fondée sur une approche algébrique et sémantique, que l'on a appelée plus tard algèbre de Boole en son honneur.
La forme d'une argumentation déductive est dite valide si et seulement si elle utilise des règles d'inférence par lesquelles il est impossible d'obtenir une conclusion fausse à partir de prémisses vraies. Un argument est valide si et seulement si la vérité de ses prémisses entraîne celle de sa conclusion.
Fondateur de la logique, Aristote développe, dans son traité de l'Organon, une théorie des syllogismes. Le syllogisme est une forme de raisonnement qui met en relation trois propositions.
Personne très originale, fantaisiste.
Avoir l'esprit logique, être apte à raisonner avec rigueur. Par ext. Sa riposte, sa réaction est logique, est dans l'ordre des choses, paraît naturelle. Voyez dans cet échec la suite logique de vos atermoiements.
La logique et la psychologie trouvent leur source commune dans la philosophie et pendant longtemps les philosophes logiciens ont cherché comment donner à l'homme des directives, afin qu'il utilise correctement son intelligence.