Déduction logique

cohérente pour être vraie ? » Tout raisonnement contradictoire est directement qualifiable de faux. L’incohérence due à la contradiction est donc invariablement signe de fausseté. Au contraire, une pensée cohérente, qui respecte les lois de la logique, est toujours vraisemblable, ce qui amène naturellement à la considérer comme vraie. Pour autant, peut-on poser la cohérence d’une pensée comme condition nécessaire et suffisante à sa vérité ? Notons d’abord que dans tous les cas, la cohérence de

d'origine extrinsèque. La nécessité des mathématiques ne provient pas d'une nécessité empirique. Sa nécessité provient de la forme de ses opérations. La nécessité tient à la cohérence interne du raisonnement (au même titre que n'importe quelle logique formelle). La vérification formelle est plus certaine que le recours à l'expérience. (cf. Hume Enquête sur l'entendement humain : IV, 1, §1-2) (cf. Kant CRP, Introduction : distinction entre preuve analytique et preuve empirique). II - La vérité

scientifique mais dont la construction reste logique. Pour convaincre, le locuteur emploie : Des signes de sa présence (première personne du singulier, adverbes modalisateurs, etc.) Des arguments et des exemples immédiatement compréhensibles par le destinataire : souvent ils appartiennent à sa vie quotidienne Des arguments et des exemples que le destinataire pourrait lui opposer, afin de mieux les contrer. Ce procédé est une concession De nombreux connecteurs logiques, en particulier de cause et de conséquence

Les moyens de l’argumentation a. Convaincre par un raisonnement logique  - La disposition typographique (§, ponctuations) renseigne sur la progression de l'argumentation - Les connecteurs logiques peuvent établir une relation de cause, de conséquence, d'opposition, de concession, d'adjonction b. L’organisation du raisonnement - 1. Déduction : On part d'énoncés généraux, pour aboutir à une conséquence logique. Ainsi dans le syllogisme, une conclusion particulière est tirée de la

plein accord avec le plan du discours. ← Prémisse majeure – contient le prédicat de la conclusion ← Prémisse mineure – suggère le sujet de la conclusion ← Conclusion – résultat d’un mécanisme logique (sémantico-logique), marquant l’implicite obtenu à partir du développement logique Typologie des raisonnements ← La liaison entre les parties du raisonnement - par l’intermédiaire du moyen terme, contenu obligatoirement dans les deux prémisses ← Ex. ← L’économie mondiale

Husserl, la volonté de démontrer est apparue en Grèce antique, aussi bien dans le domaine mathématique que dans celui de la logique. Être rationnel, l'homme a en effet la possibilité d'articuler des jugements prédicatifs (du type « Sujet est Prédicat ») dans des raisonnements en trois temps nommés syllogismes, et qui sont la forme même de la démonstration. 1. Qu'est-ce que la logique formelle ? Il existe différents genres de jugements prédicatifs qui vont permettre différents types de combinaisons. Il

LA DÉMONSTRATION La démonstration est un raisonnement nécessaire. Problématiques : • La démonstration s'appuie sur des prémisses (point de départ d'une démonstration). On fait des déductions, des inférences (des liens, étapes logiques) et on abouti à une conclusion. Le but de la démonstration est d'établir avec certitude que la conclusion non seulement est vraie mais est aussi fondée (on sait pourquoi elle est vrai) par le raisonnement. >> Comment savoir que les prémices sont vrais

en leur donnant une méthode qui s’oppose à la manière dont les pratiquait la scolastique d’inspiration aristotélicienne, telle qu’elle était devenue à son époque. Celle-ci, développée par les théologiens du Moyen Âge, fondait sa pratique sur la logique d’Aristote, et notamment sur tout ce qui y concerne l’art de la discussion (Topiques). D’où l’image classique de la scolastique comme discussion à perte de vue sur les moindres questions à l’aide de distinguos subtils. La quaestio scolastique consiste

LES GRANDS TYPES DE RAISONNEMENTS: LA DÉDUCTION, L’INDUCTION ET L’ANALOGIE Objectifs spécifiques: Au terme de cette section, l'étudiant sera capable de: 1. décrire la déduction, l’induction et l’analogie. 2. reconnaître des déductions, des inductions et des analogies. La déduction, l’induction et l’analogie sont les grands types de raisonnements. À l’intérieur de chacun de ces grands types, on trouve des types particuliers de raisonnements

6 catégories : La logique et le langage L’épistémologie L’anthropologie philosophique L’éthique La philosophie politique La métaphysique La logique et le langage Elle pose des questions sur la logique formelle et informelle en s’appuyant sur le raisonnement dans sa forme et son contenu. La logique formelle s’attarde au lien logique entre les jugements et permet d’ériger des systèmes cohérents de jugement. La véracité de la conclusion dépend du lien logique. Tous les A sont des B