La logique
Quelle est la logique:
La logique est un nom féminin qui tire son origine du terme grec logiké, lié aux logos, à la raison, au mot ou à la parole, qui désigne la science du raisonnement .
Au sens figuré, le mot logique est associé à une manière spécifique de raisonner correctement. Par exemple: cela ne fonctionnera jamais! Votre plan n'a pas de logique du tout!
Les problèmes ou les jeux de logique sont des activités dans lesquelles un individu doit utiliser un raisonnement logique pour résoudre le problème.
Logique aristotélicienne
Selon Aristote, la logique a pour objet d’étudier la pensée, ainsi que les lois et règles qui la contrôlent, de sorte que cette pensée est correcte. Pour le philosophe grec, les éléments constitutifs de la logique sont le concept, le jugement et le raisonnement . Les lois de la logique correspondent aux connexions et aux relations qui existent entre ces éléments.
Certains successeurs d'Aristote ont été à l'origine des fondements de la logique médiévale, qui ont duré jusqu'au XIIIe siècle. Des penseurs médiévaux tels que Galenus, Porphyre et Alexandre d’Aphrodysia ont classé la logique comme science du jugement correct, ce qui permet d’arriver à des raisonnements corrects et formellement valables.
Logique de programmation
La logique de programmation est le langage utilisé pour créer un programme informatique. La logique de la programmation est essentielle pour développer des programmes et des systèmes informatiques, car elle définit le lien logique pour ce développement. Les étapes de ce développement sont appelées algorithmes. Ils consistent en une séquence d'instructions logiques pour la fonction à exécuter.
Logique d'argument
La logique de l'argumentation nous permet de vérifier la validité ou de déterminer si une affirmation est vraie ou non. Cela ne se fait pas 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 exemple:
Le Fubá est un chien.
Tous les chiens sont des mammifères.
Par conséquent, le Fubá est un mammifère.
Logique mathématique
La logique mathématique (ou logique formelle) étudie la logique en fonction de sa structure ou de sa forme. La logique mathématique consiste en un système déductif d'énoncés qui vise à créer un ensemble de lois et de règles permettant de déterminer la validité d'un raisonnement. Ainsi, un raisonnement est considéré comme valide s’il est possible d’arriver à une véritable conclusion à partir de prémisses vraies.
La logique mathématique est également utilisée pour construire un raisonnement valide à travers d’autres raisonnements. Le raisonnement peut être déductif (la conclusion est nécessairement 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 mathématique, qui aborde les questions centrales des mathématiques. Cependant, ce n’est qu’après 1890, avec Peano, que la question de la cohérence des axiomes a commencé. L’analyse mathématique de la logique de George Boole (auteur de Logic ou algèbre de Boole) contient quelques principes importants de la logique formelle.
Logique propositionnelle
La logique propositionnelle est un domaine de la logique qui examine le raisonnement en fonction des relations entre les phrases (propositions), les unités minimales du discours, qui peuvent être vraies ou fausses.
