Kant Logique

positivité de la démo. La démonstration est tendue vers la vérité, vers la connaissance et s’oppose par la même au dogmatisme qui consiste à affirmer avec certitude sans démontrer. Nous pouvons repérer deux types de démonstrations : soit par la logique, soit par l’expérience. La démontration par la l’expérience engendre une vérité que l’on peut qualifier de vérité correspondance : C’est la vérité des sciences empiriques. Elle repose sur une adéquation entre l’esprit et la réalité. La proposition

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

caractère premier. En effet, un axiome  désigne une vérité indémontrable qui doit être admise. En mathématiques, le mot axiome désignait une proposition qui est évidente en soi dans la tradition mathématique grecque. L'axiome est utilisé désormais, en logique mathématique, pour désigner une vérité première, à l'intérieur d'une théorie. L'ensemble des axiomes d'une théorie est appelé axiomatique. Cette axiomatique doit être non-contradictoire ; c'est sa seule contrainte. Aristote tente, dans ce texte

La Raison et le réel L’enjeu fondamental va être la connaissance. Kant : « Que puis-je connaitre ? », de Critique de la raison pure. C’est l’expérience qui limite le champs de la connaissance. Ce dont nous ne pouvons pas faire l’expérience, c’est ce qu’on ne peut pas connaitre : l’existence de Dieu, par exemple. Vocabulaire : * A priori : avant l’expérience * A posteriori : après l’expérience (= empirisme) * Epistémologie : étude des méthodes de connaissances qui sont appliquées

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

chacun à donner son accord à ce qui est établi par elle. La démonstration repose sur la logique qui, au sens large, détermine et énonce les règles du raisonnement correct. Aristote est le père fondateur de la logique formelle qui étudie les formes du raisonnement et non leur contenu. Il s’agit de s’attacher à vérifier la validité des enchainements des propositions qui construisent un raisonnement. La logique s’intéresse donc aux modes du connaître, en tant qu’il est possible d’en prévoir, d’en retrouver

vérités de raison d’une part , les vérités de fait, d’autre part. Les vérités de raison sont les vérités qui concernent les sciences formelles ( logique et mathématiques ) ; les vérités de raison sont donc celles qui sont démontrables. Qu’est-ce que démontrer ? Démontrer , au sens précis du terme , c’est montrer la nécessité d’une proposition. Ainsi, la logique, qui est l’étude des règles que doit adopter la pensée pour être cohérente, montre –t-elle que si je dis que « tous les hommes sont mortels

Texte de Kant « Lorsque, dans les matières qui se fondent sur l'expérience et le témoignage, nous bâtissons notre connaissance sur l'autorité d'autrui, nous ne nous rendons ainsi coupables d'aucun préjugé ; car, dans ce genre de choses, puisque nous ne pouvons faire nous-mêmes l'expérience de tout ni le comprendre par notre propre intelligence, il faut bien que l'autorité de la personne soit le fondement de nos jugements - mais lorsque nous faisons de l'autorité d'autrui le fondement de notre

particulières ne donnent des généralités, ni des vérités universelles. Or les sens ne sont pas suffisants à nous donner des connaissances objectives. En même temps tout ce que j’ai dans l’esprit : toute rêverie, pensée, idée et etc. ; même si elle est logique est subjectif, car toute personne y ajoute ou d’y retire un part. Seuls les sens nous fournissent des connaissances réelles sans rien y ajouter ni d’y retirer. Or tout ce que j’ai dans l’esprit ne peut être tenu pour la connaissance vraie si on ne

cela semble l’être. Descartes (rationaliste) est celui qui dès le XVII va contribuer à la naissance de la physique (travaux scientifiques + conviction que progrès de la connaissance et maîtrise de la nature=véritables expériences. Philo critique de Kant (+ tard), opposition supposée raison ↔ sensibilité ou théorie ↔ expérience n’est pas justifiée car : pour progresser ds connaissance du réel, il faut conjuguer réflexion → bonnes questions → observation →expériences → vérifier ou informer = élaborer