Logique est un nom féminin du terme grec logo, en lien avec logo, raison, mot ou alors parole, ce qui signifie que le science du raisonnement.
Au sens figuré, le mot logique est lié à un manière particulière de raisonner, justement. Par example: Cela ne fonctionnera jamais! Votre plan n'a aucune logique !
Toi problèmes ou jeux de logique sont des activités où un individu doit utiliser un raisonnement logique résoudre le problème.
Logique aristotélicienne
Selon Aristote, la logique a pour objet d'étude la pensée, ainsi que les lois et les règles qui le contrôlent, pour que cette pensée soit correcte. Pour le philosophe grec, les éléments constitutifs de la logique sont les concept, jugement et raisonnement. Les lois de la logique correspondent aux connexions et relations qui existent entre ces éléments.
Certains successeurs d'Aristote sont à l'origine des fondements de la logique médiévale, qui dura jusqu'au XIIIe siècle. Des penseurs médiévaux tels que Galien, Porphyre et Alexandre d'Aphrodise ont classé la logique comme la science du jugement correct, ce qui permet d'atteindre un raisonnement correct et formellement valide.
Logique de programmation
La logique de programmation est le langage utilisé pour créer un programme informatique. La logique de programmation est essentielle pour développer des programmes et des systèmes informatiques, car elle définit la chaîne logique de ce développement. Les étapes de ce développement sont connues sous le nom d'algorithme, qui consiste en une séquence logique d'instructions pour la fonction à exécuter.
Logique d'argumentation
La logique d'argumentation permet de vérifier la validité ou si une déclaration est vraie ou non. Il n'est pas fait avec des concepts relatifs ou subjectifs. Ce sont des propositions tangibles dont la validité peut être vérifiée. Dans ce cas, la logique vise à évaluer la forme des propositions et non le contenu. Les syllogismes (composés de deux prémisses et d'une conclusion) sont un exemple de logique d'argumentation. Par example:
La semoule de maïs est un chien.
Tous les chiens sont des mammifères.
Par conséquent, la semoule de maïs est un mammifère.
Logique mathématique
La logique mathématique (ou logique formelle) étudie la logique selon sa structure ou sa forme. La logique mathématique consiste en une système déductif d'énoncés qui visent à créer un ensemble de lois et de règles pour déterminer la validité des raisonnements. Ainsi, un raisonnement est considéré comme valide s'il est possible d'arriver à une conclusion vraie à partir de prémisses vraies.
La logique mathématique est également utilisée pour construire un raisonnement valide à travers d'autres raisonnements. Les raisonnements peuvent être déductif (la conclusion est obligatoirement obtenue à partir de la vérité des prémisses) et inductif (probabiliste).
La logique formelle peut être divisée en deux groupes: la logique propositionnelle et la logique des prédicats.
Leibniz est considéré par beaucoup comme l'esprit qui a initié le concept de logique formelle ou de mathématiques, qui aborde les questions fondamentales des mathématiques. Cependant, ce n'est qu'après 1890, avec Peano, que commence la remise en cause de la cohérence des axiomes. Certains principes importants de la logique formelle se trouvent dans The Mathematical Analysis of Logic de George Boole (auteur de la logique ou de l'algèbre de Boole).
logique propositionnelle
La logique propositionnelle est un domaine de la logique qui examine le raisonnement en fonction des relations entre les clauses (propositions), les unités minimales du discours, qui peuvent être vraies ou fausses.
