★ À maîtriser
📌 La logique formelle étudie l’enchaînement valide des propositions en faisant abstraction de leur contenu ou de leur objet.
Compléments
La logique étudie la forme valide, non le contenu des propositions.
Le concept de table représente un meuble possédant un plateau et un ou plusieurs pieds, quelles que soient sa couleur ou sa forme.
Dire « Socrate est un humain » consiste à inclure le terme singulier Socrate dans l’extension du concept humain.
Le mot est un signe, l’image est singulière, le concept est général et abstrait.
★ À maîtriser
📌 Deux concepts sont en relation d’identité lorsqu’ils ont la même extension, d’inclusion lorsqu’un concept appartient à l’extension de l’autre, d’exclusion lorsque leurs extensions sont distinctes, et d’intersection lorsqu’une partie de leurs extensions est commune.
Compléments
I-I-E-I : identité, inclusion, exclusion, intersection.
★ À maîtriser
📌 Un genre est une catégorie supérieure, une espèce est une catégorie incluse dans un genre, et un individu est un objet singulier appartenant à une espèce.
Compléments
Genre → espèce → individu ; genre + différence spécifique = définition.
★ À maîtriser
📌 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 un prédicat au sujet, tandis qu’une proposition négative sépare le prédicat du sujet.
Compléments
Le concept n’est ni vrai ni faux ; la proposition peut être vraie ou fausse.
★ À maîtriser
📌 Le possible est ce qui n’implique pas contradiction, l’impossible ce qui implique contradiction, le contingent ce dont le contraire est possible, et le nécessaire ce dont le contraire est impossible.
Compléments
Possible/impossible et contingent/nécessaire forment deux couples opposés.
📌 La validité d’un raisonnement dépend du lien logique entre les prémisses et la conclusion, tandis que la vérité dépend du contenu des propositions.
📌 Un raisonnement est valide lorsque la conclusion découle nécessairement des prémisses, et si les prémisses sont vraies, la conclusion l’est nécessairement aussi.
Prémisses → inférence → conclusion ; la forme produit la validité.
★ À maîtriser
Le raisonnement analogique compare une identité de rapports, l’induction passe de cas particuliers à une généralité, la déduction tire nécessairement une conclusion des prémisses, et le raisonnement par l’absurde montre qu’une hypothèse entraîne une contradiction.
De « si P alors Q » et de Q, on ne peut pas conclure P : cette affirmation du conséquent constitue un sophisme.
Le modus ponens affirme que de « si P alors Q » et de P découle nécessairement Q.
Compléments
Analogie, induction, déduction, absurde : quatre voies de raisonnement.
| Relation | Extension des concepts | Exemple |
|---|---|---|
| Identité | Même extension | Célibataire / personne non mariée |
| Inclusion | Une extension est comprise dans l’autre | Chien / mammifère |
| Exclusion | Extensions complètement distinctes | Nombre pair / nombre impair |
| Intersection | Extensions partiellement communes | Étudiant / salarié |
| Forme | Mouvement logique | Caractéristique |
|---|---|---|
| Analogique | Rapport à rapport | Compare une identité de rapports |
| Inductif | Particulier → universel | Généralise des cas particuliers |
| Déductif | Universel → particulier | Produit une conclusion nécessaire |
| Par l’absurde | Hypothèse → contradiction | Réfute la négation de la proposition |
Teste tes connaissances sur Logique et raisonnement avec 10 questions à choix multiples et corrections détaillées.
1. Quelle définition correspond le mieux à la logique ?
2. Un raisonnement est formellement valide lorsque la logique formelle examine principalement quoi ?
Mémorisez les concepts clés de Logique et raisonnement avec 11 flashcards interactives.
Qu'est-ce que la logique ?
La science des instruments ou normes de la pensée valide ou démonstrative.
Que fait la logique formelle ?
Elle étudie l’enchaînement valide des propositions en abstrait de leur contenu.
Qu'est-ce qu'un concept en philosophie ?
Une représentation mentale générale et abstraite d’un objet concret ou abstrait.
Importe ton cours et l'IA génère fiches, QCM et flashcards en 30 secondes.
Générateur de fiches