Déduction logique

vérités. Nous pouvons établir qu’il existe différentes sortes de preuves ou de vérités, ce qui permet de définir plusieurs sortes de sciences. Il existe premièrement des sciences dont la vérité ne repose que sur le seul calcul, la démonstration ou déduction, il s’agit des sciences dites mathématiques, algèbre, géométrie, probabilité, etc. Il existe deuxièmement des sciences dont la vérité repose sur des faits, sur l’expérience, on parle alors de sciences empiriques ou expérimentales. Il s’agit pour

l’universalité et le changement de cette connaisance dans le temps. Mais par définition une connnaissance vraie nécessite deux conditions: la première est la logique/cohérence,et donc la non contradiction. Et la deuxième condition nécesssaire est la démonstration. Avec trois types de démonstration, la démonstration(au sens strict): déduction à priori, a première vue, c’est à dire avant même de faire l’expérience(Indépendant de l’expérience). La preuve expérimentale (extra discursive: en dehours du

une démonstration est une déduction formelle, c'est-à-dire rationnelle, établissant la vérité d'une conclusion en procédant à un raisonnement logique à partir de propositions appelées prémisses. Une prémisse est chacune des deux premières propositions d’un syllogisme, dont on tire la conclusion. En effet, la démonstration est une déduction qui ne repose pas sur de simples hypothèses dont on n'aurait pas déjà reconnu la vérité : une démonstration est donc une preuve logique et elle permet d'étendre

Vienne : réunion de philosophes et mathématiciens qui vont donner naissance au positivisme. Le positivisme veut absolument ramener la théorie aux faits, les faits doivent la contrôler. A Vienne, un positivisme logique apparaît, les théories doivent correspondre à des faits. Pour le positivisme logique, le langage doit uniquement parler des faits c'est une position anti-méthaphysique ( = âme, Dieu …). Popper n'a jamais participé au cercle de Vienne mais a côtoyé certains de ses membres. Ce texte est un

notion connexe, celle de preuve, qu’il ne faut pas confondre avec la démonstration, puis au rôle dans la démonstration de cette donnée subjective qu’est l’évidence. Nous serons alors conduits à traiter du rôle capital dévolu à la démonstration dans la logique et les sciences déductives au 20ème siècle. Pour conclure, nous nous intéresserons à ce que l’on peut appeler les limites de la démonstration en exposant notamment la conception de cette dernière comme pratique (comme un « faire » plus qu’un « connaître

et plus particulièrement sur la logique, la géométrie et l’algèbre pour établir la science universelle. Cependant, un problème se pose : ces sciences présentent des imperfections. Or la vérité se doit d’être parfaite puisqu’elle est universelle, c'est-à-dire valable dans tous les cas, et nécessaire, soit ne peut pas être autrement. Comment la connaissance vraie peut-elle se baser sur des sciences comportant des défauts ? Plan : I/ Critique de l’ancienne logique, de la géométrie et de l’algèbre

La démonstration Il s’agit d’utiliser la déduction et d’établir un raisonnement, qui à partir de propositions qui doivent être vraies, aboutit à une conclusion vraie. 1) La démonstration utilise la logique. Il s’agit d’une invention d’Aristote au IVème siècle av. JC, pour contrer l’immense pouvoir des sophistes, orateurs qui parvenaient à manipuler leur auditoire grâce à des raisonnements spécieux ou « sophismes ». La logique d’Aristote établit les règles du raisonnement valide, dont la

  /12 9.5 à 8.4   /12 8.3 à 7.2   /12 7.1 et moins   /12 Les déductions sont toujours claires et pertinentes dans chacun des réseaux : sens, image et musicalité. Elles témoignent d’une compréhension approfondie du poème. Les déductions sont généralement claires et pertinentes dans chacun des réseaux : sens, image et musicalité. Elles témoignent d’une compréhension juste du poème. Les déductions sont claires mais manquent de pertinence dans certains réseaux : sens, image ou

 Travail sur les mathématiques Il existe plusieurs modes de connaissances utiles au domaine des mathématiques. Par contre, deux d’entres eux sont plus importants selon moi. Il s’agit de l’imagination et de la déduction. L’imagination s’avère primordiale aux mathématiques. En effet, c’est cette faculté qui permet de générer de nouvelles idées et de, par le fait même, créer des théories. L’imagination permet aussi de créer des modèles universels, choses très utiles dans le domaine des

D. Andler. Logique, raisonnement et psychologie 1 In J. Dubucs & P. Lepage, dir., Méthodes logiques pour les sciences cognitives, Paris : Hermes, 1995, pp. 25-75. Repris dans D. Andler, dir., Introduction aux sciences cognitives, Paris : Gallimard, nouv. éd. 2004, pp. 31-405. LOGIQUE, RAISONNEMENT ET PSYCHOLOGIE Les rapports entre logique et raisonnement ont longtemps été fort étroits. Ce commerce s’était établi à l’abri de la digue que Frege, Husserl et leurs successeurs avaient érigée