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 (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. Le raisonnement, la construction de démonstration, de preuves sont donc les objets premiers de la logique.
Interactions entre la logique et les mathématiques
L'intérêt principal de la logique réside dans ses interactions avec d'autres domaines des mathématiques et les nouvelles méthodes qu'elle y apporte.
Son unique objectif est de mesurer la validité ou la cohérence d'un raisonnement. Pour s'assurer de la validité des raisonnements émis, la logique procède par le respect des principes inhérents à cette science.
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 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 ...
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.
Trois types de logique sont repérables dans la recherche en sciences humaines : logique intellectuelle, logique empirique et logique scientifique.
La logique est très utile pour développer une pensée structurée, organisée. Cependant, il est plutôt rare dans la vie de tous les jours que nous sentions le besoin d'utiliser les règles enseignées par cette discipline.
Il évalue la capacité d'une personne à raisonner de manière déductive et permet d'évaluer avec justesse la capacité d'une personne à résoudre des problèmes dans une variété de scénarios.
La logique formelle est l'étude purement abstraite de l'Inférence, en linguistique. La logique dite « informelle » est cette branche de logique qui étudie, examine la structure de l'argumentation dans les langues naturelles.
Définie comme l'outil qui permet à tous de faire preuve de bon sens, la pensée logique est caractérisée par deux principes : l'analyse et la déduction. Ces principales caractéristiques lui permettent de mieux faciliter le traitement des informations et accélère le raisonnement.
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.
cartésien, cohérent, judicieux, juste, raisonnable, raisonné, rationnel, sage, sensé.
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.
En parlant d'une personne. Qui fait preuve de raison, de bon sens, qui agit ou se conduit de manière cohérente. Il se montre logique en réitérant son refus.
La logique est en ce sens une science globale. – Elle a un contenu propre (partie du savoir), elle désigne une science spécifique. Elle étudie les catégories de la pensée indépendamment de leur référence au réel.
La vérité logique est l'un des concepts les plus fondamentaux de la logique. D'une manière générale, une vérité logique est une proposition qui est vraie indépendamment de la vérité ou la fausseté de ses propositions constitutives.
Définition Structuration logique
On appelle structuration logique d'un contenu une inscription explicitant la structure de ce contenu en fonction de son organisation et des attributs intrinsèques qui le caractérisent et non en fonction de propriétés de présentation sur un support.
Quels sont les éléments de la logique ? Les connecteurs logiques usuels sont : non, et, ou, ⇒ et ⇔. Ils permettent de créer, à partir d'une (ou deux) proposition(s), un nouvelle proposition dont la valeur de vérité dépend des valeurs de vérité de la (ou des) propostion(s) la constituant.
Qui n'est pas conforme à la logique ; absurde : Une conclusion illogique. 2. Qui manque de logique ; inconséquent : Esprit illogique.
Selon une autre interprétation ou justification possible, s'il n'existe aucune logique universelle, c'est parce que les règles de la logique sont contextuelles : en dépit du fait que ces règles, en tant qu'elles relèvent de la logique, sont formelles par définition (au sens où elles ne dépendent pas de l'objet auquel ...
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.