Flashcards in Raisonnement démonstratif Deck (35)
Loading flashcards...
1
Les 2 autres noms du raisonnement démonstratif ?
Déductif ou incertain
2
En quoi consiste le raisonnement démonstratif ?
A appliquer 1 règle à 1 situation particulière
3
Comment procède le raisonnement démonstratif ?
Part de prémisse réputées vraies pour construire 1 conclusion qui n’a pas d’alternative
4
Sur quoi porte la validité ?
Sur la structure formelle (pas le contenu) cad la RELATION entre les prémisses (aucun rapport avec la réalité)
5
Qu'apporte la conclusion ?
N'ajoute pas d'information aux prémisses
Met en évidence des informations implicites dans les prémisses
Affecte 1 valeur de vérité aux prémisses à 2 conditions (principe tiers exclu)
6
Les 2 propriétés de la valeur de vérité ?
Exclusives et Discontinues (autre façon d'exprimer le principe du tiers exclu)
7
Quelles sont les 2 catégories de raisonnement démonstratif ?
Propositionnel et catégorique
8
Quelles sont les 4 catégories du raisonnement propositionnel ?
Conjonction / Disjonction /Conditionnel / incompatibilité
9
Quelles dont les 2 types de disjonctions possibles ?
Inclusive / Exclusive
10
Quelles dont les 2 types de conditionnels possibles ?
Implication / Equivalence
11
Quelles sont les 2 formes de raisonnement catégorique ?
Inférences immédiates + syllogismes catégoriques
12
Objectif de la logique classique ?
Identifier les règles d’enchaînement des propositions.
Pas intéressée par le contenu.
13
P & Q
P et Q
14
P v Q
Disjonctions inclusives
Ou P ou Q ou les 2
15
P w Q
Disjonction exclusive
Ou P ou P mais pas les 2
16
P => Q
Implication
Si P alors Q
17
P <=> Q
Équivalence (bidirectionnelle)
Si P et seulement si Q + si Q et seulement si P
18
P I Q
Incompatibilité
Pas à a la fois P et Q (on n'a pas le beurre et l'argent du beurre)
19
Quel schéma valide = associé à Disjonction inclusive ?
Modus Tollendo Ponens
20
Quel schéma valide = associé à conjonction ?
Addition / Elimination
21
Que permettent les différents connecteurs ?
Décrire formellement ≠ règles de raisonnement aboutissant à 1 conclusion certaine cad VRAIE (1 seule valeur).
22
Exemple de schéma de déduction Modus Ponens
s'il pleut, alors, j'ouvre mon parapluie.
Il pleut => j'ouvre mon parapluie
23
Exemple de schéma de déduction Modus Tollens
S'il pleut, alors j'ouvre mon parapluie.
Je n'ouvre pas mon parapluie, donc il ne pleut pas
24
Exemple de schéma de déduction Modus Tollendo Ponens
Le train est à l'heure OU je suis en retard.
Le trains n'est pas à l'heure, donc je suis en retard au bureau (Disjonction inclusive)
25
Exemple de schéma de déduction Elimination
Les pommes sont rouges et les poires sont mûres, donc les pommes sont rouges (élimine la seconde partie)
26
Exemple de schéma de déduction Addition
Mon voisin est sympathique, mon banquier est riche, donc mon voisin est sympathique, et mon banquier est riche (La CCL fournit encore moins d'information que la prémisse)
27
Qu'est ce que le raisonnement démonstratif / déductif/certain ?
C'est un raisonnement partant de prémisses réputées vraies pour construire 1 CCL dont on cherche garantir qu'elle ne supporte pas d'alternative.
28
Pourquoi appelle-t-on le raisonnement démonstratif, le raisonnement certain ?
Car il conduit à 1 conclusion qu'on peut considérer comme certaine
29
Sur quelle condition repose la conclusion d'un raisonnement démonstratif ?
Sur la validité : validité des prémisses =>validité de la conclusion.
30
Peut on également raisonner sur des propositions connues pour être fausses ?
OUI (raisonnement par l'absurde + monde hypothétique)
31
Objectif de la logique classique ?
Identifier les règles d’enchaînement des propositions )
32
En quoi le langage peut-être gênant pour la logique mentale ?
Polysémie => la logique formelle s'est inventée son propre langage.
33
Qu'est ce qu'une variable propositionnelle ?
Des lettres symbolisant les propositions
34
A quoi correspond l'équivalence ?
A un double implication (biconditionnelle)
35