Syllogisme Pascal

Exercice de logique Voici un texte de Pascal tiré des Pensées :  « Il est juste que ce qui est juste soit suivi ; il est nécessaire que ce qui est le plus fort soit suivi. La justice sans la force est impuissante ; la force sans la justice est tyrannique. La justice sans force est contredite, parce qu'il y a toujours des méchants. La force sans la justice est accusée. Il faut donc mettre ensemble la justice et la force, et pour cela faire que ce qui est juste soit fort ou que ce qui est fort

démonstration est lieu de raisonnement de la nécessité, il évoque dès lors que la démonstration est une forme de syllogisme (expérience de la vérité, se présentant sous la forme de l’incontestable) grâce à son exemple qui prends en compte plusieurs raisonnements : « Tous les hommes sont mortels – Or Socrate est un homme – Donc Socrate est mortel ». Pour ainsi dire on peut essayer cette forme de syllogisme sur nos propres personnes : Tous les hommes sont mortels – Vous et moi sommes des hommes de chairs et d’os

plus noble et la plus naturelle. De ce point de vue, Pascal s’inscrit dans la tradition philosophique la plus classique qui est celle d’Aristote dans les Seconds analytiques : « Notre connaissance ne devient un savoir que par les règles de la démonstration », « certaines choses étant posées, il en résulte nécessairement d’autres que celles qui étaient données et ce, du seul fait qu’elles étaient données ». Quelle que soit la rigueur des syllogismes, la distinction entre la validité logique du raisonnement

différents types de propositions en syllogismes, en sorte que la conclusion s'impose nécessairement. Or, ce que remarque Aristote, c'est que certaines combinaisons sont possibles, mais que d'autres ne sont pas concluantes, quel que soit le contenu des propositions on dira en de tels cas que le raisonnement est formellement faux. Ce que Descartes reproche à la syllogistique c’est son formalisme. Un syllogisme valide peut amener à un résultat faux .Un syllogisme ne nous dit rien du réel et les questions

propositions déjà admises. Le syllogisme est le premier raisonnement de la logique formelle. Défini dans Organon par Aristote, le syllogisme permet de déduire une conclusion à partir de deux propositions nommées « prémisses ». Ce raisonne repose sur l'inclusion et l'identification. Par exemple, si tous les hommes sont mortels, et si Socrate est un homme, Socrate est mortel. Socrate est inclus dans la classe des hommes, elle même inclus dans celle des mortels. Le syllogisme est une tautologie, du grec

quoi tient la force argumentative de chacun des textes du corpus ? Le corpus est composé de quatre textes, trois assez « évidents » et attendus pour l’argumentation puisqu’issus de la pensée classique avec un article célébrissime des Pensées de Pascal, et deux autres illustrant le goût argumentatif propre au mouvement des Lumières : Voltaire pour un extrait du Mondain et Diderot le meneur des Encyclopédistes ici avec un extrait du Neveu de Rameau. Le quatrième texte, théorique, est extrait de Notes

affirme que le modèle de la vérité, c'est l'intuition immédiatement certaine du cogito, il présuppose que sa définition de la vérité est la vraie définition. Produire une démonstration, alors, c'est combiner différents types de propositions en syllogismes, en sorte que la conclusion s'impose nécessairement. Or, ce que remarque Aristote, c'est que certaines combinaisons sont possibles, mais que d'autres ne sont pas concluantes, quel que soit le contenu des propositions – on dira en de tels cas que

n’est pas simplement donner un exemple, ou persuader ou encore intimider, mais c’est donner un argument qui est nécessairement valide et universellement vrai, donc une preuve. Élaborée par Aristote, philosophe grec du IXème siècle, la théorie du syllogisme consiste en un raisonnement déductif basé sur l’enchaînement logique de trois proposition : deux prémisses, qui sont des vérités que l’on a déjà admises, et une conclusion. Ce raisonnement nous montre clairement que lien entre chaque idée est nécessaire

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 faut en effet distinguer quatre quantités dans nos

premier par Aristote, le syllogisme permet, par le biais de deux propositions supposées vraies, d’assurer la véracité d’une conclusion. Ce raisonnement est l’ancêtre de la logique mathématique. Il nous faut cependant être prudent avec ce procédé ; il nous faut distinguer syllogisme rhétorique et sophisme de syllogisme scientifique : pour une démonstration rigoureuse et vraie, il faut utiliser le deuxième. En effet, il est facile de glisser une absurdité dans un syllogisme, comme le prouve Ionesco