Conclusion (logique)

La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

Cet article est une ébauche concernant la philosophie.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En logique, une conclusion est une affirmation qu'un argument cherche à prouver dans un raisonnement, inférée à partir d'un ensemble de propositions ou d'arguments.

Une conclusion peut être atteinte par différents types de raisonnements logiques, tels que la déduction, l'induction ou l'abduction. Dans un raisonnement déductif, la conclusion est nécessairement vraie si les prémisses le sont et le raisonnement valide. Dans un raisonnement inductif ou abductif, la conclusion n'est pas nécessairement certaine, même si les prémisses sont vraies^[1].

Notes et références

↑ Yves Hallée et Julie Garneau, « L’abduction comme mode d’inférence et méthode de recherche : de l’origine à aujourd’hui », Recherches qualitatives, vol. 38, n^o 1,‎ 2019, p. 124–140 (ISSN 1715-8702, DOI 10.7202/1059651ar, lire en ligne, consulté le 23 mai 2023)

Bibliographie

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Voir aussi

Sur les autres projets Wikimedia :

conclusion, sur le Wiktionnaire

[1] Yves Hallée et Julie Garneau, « L’abduction comme mode d’inférence et méthode de recherche : de l’origine à aujourd’hui », Recherches qualitatives, vol. 38, n^o 1,‎ 2019, p. 124–140 (ISSN 1715-8702, DOI 10.7202/1059651ar, lire en ligne, consulté le 23 mai 2023)

[1]

v · m Logique
Domaines académiques	Théorie des ensembles Théorie de la démonstration Théorie des modèles Logique philosophique Logique mathématique Logique informelle Histoire de la logique Philosophie de la logique
Concepts fondamentaux	Abduction Conclusion Déduction Définition Démonstration Description Implication Inférence Induction Sens Paradoxe Prédicat Prémisse Proposition Mondes possibles Présupposition Référence Sémantique Syntaxe Syllogisme Vérité Valeur de vérité Validité Plus
Esprit critique et logique informelle	Affirmation Analyse Ambiguïté Crédibilité Évidence Explication Sophisme Parcimonie Propagande Rhétorique
Logique mathématique	Algèbre de Boole Calcul des prédicats Calcul des propositions Théorie de la calculabilité Déduction naturelle Logique traditionnelle Logique classique Logique linéaire Lois de De Morgan Théorie de la démonstration Théorie des ensembles Théorie des modèles
Logiques non classiques	Logique de description Logique intuitionniste Logique minimale Logique floue Logique modale Logique non monotone Logique paracohérente Logiques sous-structurelles Logique de Łukasiewicz
Métalogique et métamathématique	Théorème de Cantor Thèse de Church Fondements des mathématiques Théorème de complétude de Gödel Théorème d'incomplétude de Gödel Complétude Décidabilité Théorème de Löwenheim-Skolem
Philosophie de la logique	Atomisme logique Constructivisme Logicisme Intuitionnisme Dialethéisme
Logiciens	Aristote Avicenne Averroès Bain Barwise Bernays Boole Cantor Carnap Church Chrysippe de Soles Curry De Morgan Frege Gentzen Gödel Hilbert Kleene Kripke Leibniz Löwenheim Guillaume d'Ockham Peano Peirce Popper Putnam Quine Russell Schröder Scot Skolem Smullyan Tarski Turing Whitehead Wittgenstein Zermelo