La logique examine la forme, non le contenu.
📌 Un concept n’est pas un mot ni une image mentale : plusieurs mots comme « table », « Tisch » et « mesa » peuvent exprimer le même concept, tandis qu’une image représente une table singulière.
📌 Deux concepts peuvent avoir une relation d’identité, d’inclusion, d’exclusion ou d’intersection selon que leurs extensions sont identiques, emboîtées, totalement distinctes ou partiellement communes.
Des cercles de Venn montrent les extensions qui s’incluent, s’excluent ou se croisent.
★ À maîtriser
📌 Un genre est une catégorie supérieure, une espèce est incluse dans un genre et un individu est un élément singulier d’une espèce.
Compléments
Genre → espèce → individu ; genre → différence spécifique.
📌 Un concept isolé n’est ni vrai ni faux, tandis qu’une proposition lie des concepts et peut être vraie ou fausse.
📌 Une proposition affirmative attribue le prédicat au sujet, tandis qu’une proposition négative sépare le prédicat du sujet.
Le concept n’est ni vrai ni faux ; la proposition peut être vraie ou fausse.
★ À maîtriser
📌 Une proposition universelle porte sur toute l’extension du sujet, une particulière sur une partie de cette extension et une singulière sur un individu unique.
📌 Le possible n’implique pas de contradiction, l’impossible implique une contradiction, le contingent peut avoir un contraire possible et le nécessaire a un contraire impossible.
Compléments
Universel porte sur tous, particulier sur certains, singulier sur un seul ; nécessaire s’oppose à contingent.
📌 La vérité d’une proposition dépend de sa correspondance avec les faits, tandis que la validité d’un raisonnement dépend de la forme de l’inférence entre prémisses et conclusion.
📌 Un raisonnement valide est tel que sa conclusion découle nécessairement des prémisses, indépendamment de la vérité de celles-ci.
La vérité concerne les propositions ; la validité concerne le lien entre prémisses et conclusion.
📌 Le modus ponens a la forme « Si P alors Q ; P ; donc Q », tandis que l’affirmation du conséquent a la forme invalide « Si P alors Q ; Q ; donc P ».
Analogie, induction, déduction, absurde : ressemblance de rapports, cas vers général, général vers particulier, contradiction.
📌 Persuader consiste à obtenir une adhésion en mobilisant les sentiments, tandis que convaincre consiste à obtenir une adhésion par des preuves et des arguments rationnels. — PLATON, Gorgias
Thème → problème → thèse → argument → exemple → objection → réponse.
★ À maîtriser
📌 Un argument définitionnel repose sur une définition, un argument empirique sur un fait observable, un argument théorique sur une théorie et un argument axiologique sur une valeur ou une norme.
📌 L’évaluation d’un argument repose séparément sur la vérité ou plausibilité des prémisses et sur la validité ou suffisance du raisonnement.
Compléments
Prémisses plausibles et raisonnement valide sont deux critères indépendants.
★ À maîtriser
📌 Une objection peut recevoir une réfutation, une concession partielle qui rectifie l’argument initial ou une concession complète qui conduit à l’abandonner.
Compléments
Illustrer ou contredire, puis réfuter, concéder partiellement ou abandonner.
| Quantité | Affirmative | Négative |
|---|---|---|
| Universelle | Tout S est P | Aucun S n’est P |
| Particulière | Quelque S est P | Quelque S n’est pas P |
| Singulière | Un S est P | Un S n’est pas P |
| Forme | Point de départ | Conclusion |
|---|---|---|
| Analogique | Deux rapports comparés | Correspondance de rapports |
| Inductif | Cas individuels | Généralité probable |
| Déductif | Principe général | Conséquence nécessaire |
| Par l’absurde | Négation de la thèse | Contradiction puis rejet de la négation |
Teste tes connaissances sur Logique et argumentation avec 29 questions à choix multiples et corrections détaillées.
1. Quelle est la fonction générale de la logique dans l’étude de la pensée ?
2. Pourquoi la logique est-elle qualifiée de formelle ?
Mémorisez les concepts clés de Logique et argumentation avec 57 flashcards interactives.
Qu'est-ce que la logique ?
La science des instruments ou normes de la pensée valide ou démonstrative.
Pourquoi la logique est-elle dite formelle ?
Parce qu'elle étudie l'enchaînement valide des propositions en faisant abstraction de leur contenu.
Quelle est l'ossature du syllogisme « Tout homme est mortel ; Socrate est homme ; donc Socrate est mortel » ?
« Tout f est g ; x est f ; donc x est g ».
Importe ton cours et l'IA génère fiches, QCM et flashcards en 30 secondes.
Générateur de fiches