DÉFINITIONS Flashcards
Définissez : PRÉMISSE
Une PRÉMISSE est une proposition qui sert de base au raisonnement.
Une prémisse constituée d’une proposition complexe (exprimant la relation entre deux propositions simples à l’aide d’un connecteur) est une PRÉMISSE MAJEURE.
Une prémisse constituée d’une proposition simple est une PRÉMISSE MINEURE.
Définissez : PROPOSITION
La PROPOSITION est l’unité de base du raisonnement, elle est une unité minimale de signification. Elle est composée d’un ou de plusieurs arguments et d’un prédicat, on dit alors qu’il s’agit d’une PROPOSITION SIMPLE.
Ex. L’oiseau (argument) vole (prédicat).
Une PROPOSITION COMPLEXE est une proposition qui unit au moins deux propositions simples à l’aide d’un connecteur.
Ex. L’oiseau vole et le vent souffle.
Définissez : CONCLUSION
CONCLUSION
Proposition élaborée à parti des prémisses.
Dans le raisonnement démonstratif, la conclusion consiste à affecter une valeur de vérité à une proposition mais elle n’apporte aucune information aux prémisses ; son intérêt est de mettre en évidence des informations implicites dans les prémisses.
Définissez : MODUS PONENS
MODUS PONENS
Règle affirmant que si une proposition A implique une proposition B, alors si A est vraie, B est vraie
Définissez : VALEUR DE VÉRITÉ
VALEUR DE VÉRITÉ
Propriété de toute proposition.
Dépend de l’état du monde à un moment donné, des connaissances sur les objets du monde, des croyances et des connaissances de l’individu .
Les logiques bivalentes considèrent qu’il n’existe que deux valeurs de vérité, le VRAI et le FAUX.
Définissez : BIVALENCE
BIVALENCE
Fait de n’accepter que DEUX VALEURS DE VÉRITÉ (vrai ou faux).
La logique classique est bivalente, cela correspond au PRINCIPE DU TIERS EXCLU.
Définissez : RAISONNEMENT DÉDUCTIF
RAISONNEMENT DÉDUCTIF
Raisonnement produisant des particularisations (partir d’une idée générale pour produire une proposition particulière)
Définissez : RAISONNEMENT INDUCTIF
RAISONNEMENT INDUCTIF
Raisonnement produisant des généralisations (partir d’une observation particulière pour construire une conclusion de portée générale).
Définissez : LOGIQUE FORMELLE
La LOGIQUE FORMELLE est le premier modèle du raisonnement humain.
________________________
⬜️ Développement :
En bref : La logique « formelle » est la logique au sens propre du terme. Elle étudie strictement la validité des arguments, qui est « formelle » parce qu’elle repose sur des schémas logiques qui font abstraction du contenu précis des propositions composant les arguments.
En qualifiant la logique de « formelle », on entend distinguer la logique au sens propre du terme de certaines autres théories, que leurs auteurs ont aussi appelées des « logiques », mais en un sens notablement différent : par exemple, la « logique transcendantale » de Kant (1724-1804), ou la « science de la logique » de Hegel (1770-1831). Les « logiques » de Kant ou de Hegel sont plutôt des théories métaphysiques, qui ambitionnent de dégager les caractéristiques les plus fondamentales de la réalité par le biais d’une exploration des structures de la pensée humaine (ce qu’on appellera volontiers le logos).
Par opposition à ce genre de théorie, la logique « formelle » a une ambition beaucoup plus limitée, mais aussi beaucoup plus précise. Elle n’étudie strictement que la validité des arguments (c’est-à-dire le fait que si tel ensemble de propositions sont chacune vraies, alors telle autre proposition (la conclusion) ne peut que l’être également). Cette étude est nettement distincte de celle du psychisme humain (la distinction du logique et du psychologique est fondamentale dans l’approche de la logique contemporaine), et ne prétend pas non plus s’ériger en théorie de la réalité : c’est un leit-motiv de la pensée de Russell [1], par exemple, que de rappeler que le monde pourrait être prodigieusement différent de ce qu’il est (et encore plus de ce que les « philosophes » pensent qu’il est !) tout en étant parfaitement logique… La logique édicte les règles de l’argumentation valide, mais elle ne suffit certainement pas à connaître et théoriser le monde (elle n’est pas une métaphysique).
Or, la validité d’un argument dépend, non de son contenu, mais exclusivement de sa forme. C’est pourquoi la logique au sens propre du terme est qualifiée de « formelle ». Le caractère formel de la logique a été aperçu par Aristote (le fondateur de la logique), mais théorisé par lui de façon très partielle et imparfaite : c’est la logique contemporaine, au 20e s., qui a élaboré pour la première fois une logique formelle complète et précise.
◻️ Le caractère formel de la logique
Pour mieux comprendre le caractère formel de la logique, prenons un exemple simple.
Imaginons que je réfléchisse, « dans ma tête », de la façon suivante : « Vais-je aller à la fête organisée par Pierre ? Je n’ai envie d’y aller que pour voir Julie. Mais je me rappelle que Julie ne viendra que si Jacques vient. Or Jacques m’a dit qu’il ne viendrait pas. Donc, je n’irai pas. »
De cet épisode psychologique, le logicien extraira l’argument suivant :
▫️Je n’irai à la fête que si Julie vient.
▫️Julie n’ira à la fête que si Jacques vient.
▫️Jacques ne viendra pas.
◽️Donc, je n’irai pas.
Il le formalisera de la façon suivante :
▫️ p → q
▫️ q → r
▫️ ¬r
◽️ ¬p
(p représente la proposition : « J’irai à la fête ». q représente la proposition : « Julie ira à la fête ». r représente la proposition : « Jacques viendra à la fête ». → représente l’opération logique de conditionnalisation d’une proposition par une autre. ¬ représente l’opération logique de négation d’une proposition.)
Ce faisant, nous avons dégagé un schéma argumentatif valide : c’est-à-dire que tout argument qui se conforme à ce schéma sera valide (= concluant). Cela signifie que je peux remplacer p, q, ou r, par n’importe quelle proposition — et l’argument sera toujours parfaitement valide. Cela montre que la validité d’un argument ne dépend pas de son contenu (= de quoi parlent les propositions qui le composent : de moi, de Julie, de Jacques, d’une fête, etc.), mais d’une certaine structure, d’une certaine forme logique. Cette notion de validité formelle des arguments est l’idée de base de la logique contemporaine.
◻️ Notes
[1] L’un des principaux fondateurs de la logique contemporaine. cf. Qu’est-ce que la logique contemporaine ?
__________________________
Source :
http://theopedie.com/5-Qu-est-ce-que-la-logique-formelle.html
Définissez : SYLLOGISME
Le syllogisme est un raisonnement déductif construit sur 2 prémisses (majeure et mineure) d’où l’on tire une conclusion.
Exemple 1
MAJEURE : Tous les hommes sont mortels
MINEURE : Socrate est un homme
CONCLUSION : Donc Socrate est mortel.
Exemple 2
MAJEURE : Tous les chats comprennent le français
MINEURE : Quelques poulets sont des chats
CONCLUSION : Quelques poulets comprennent le français.
Exemple 3
MAJEURE : Tous les chats sont mortels
MINEURE : Socrate est mortel
CONCLUSION : Donc Socrate est un chat.
