La logique est la science qui étudie les lois de la pensée correcte, c'est-à-dire les règles qui permettent de raisonner sans se contredire et d'aboutir à des conclusions valides. Le mot vient du grec logos (parole, raison, discours). Elle a été fondée comme discipline systématique par Aristote (IVᵉ siècle av. J.-C.) dans son Organon, où il pose les bases de la déduction et du syllogisme.
Depuis l'Antiquité, la logique s'est développée en plusieurs courants : la logique formelle héritée d'Aristote, la logique dialectique développée par Hegel puis réinterprétée par Marx, et plus tard la logique symbolique moderne. Mais pour le programme de Terminale A, l'essentiel est de bien distinguer la logique formelle et la logique dialectique.
Tout raisonnement logique s'appuie sur trois opérations fondamentales de l'esprit :
« Tous les hommes sont mortels (prémisse majeure). Or Socrate est un homme (prémisse mineure). Donc Socrate est mortel (conclusion). » Ce raisonnement est valide car il respecte les lois de la logique formelle.
La logique formelle recherche l'accord de la pensée avec elle-même : elle ne s'intéresse pas au contenu concret des choses, mais à la cohérence interne du raisonnement. Elle repose sur trois grands principes.
Toute chose est identique à elle-même : « A est A ». Un concept doit garder le même sens tout au long du raisonnement.
Une chose ne peut être à la fois A et non-A, sous le même rapport et au même moment : il est impossible qu'une proposition et sa négation soient vraies ensemble.
Entre deux propositions contradictoires (A et non-A), il n'existe pas de troisième possibilité : l'une des deux est nécessairement vraie, l'autre nécessairement fausse.
« Cette table est en bois » et « cette table n'est pas en bois » ne peuvent pas être vraies en même temps (non-contradiction) ; et il n'y a pas de troisième option entre les deux (tiers-exclu).
La dialectique est une méthode de pensée qui cherche l'accord de la pensée avec elle-même et avec l'objet, c'est-à-dire avec le réel, qui est lui-même en perpétuel mouvement et changement. Elle s'oppose à la logique formelle en ce qu'elle admet que les contraires peuvent coexister et se transformer l'un en l'autre.
Hegel critique les principes figés de la logique formelle : pour lui, la réalité et la pensée avancent par contradictions qui se résolvent en une synthèse supérieure (schéma thèse → antithèse → synthèse). Le réel n'est pas statique comme le suppose le principe d'identité : il devient, il se transforme.
Marx reprend cette dialectique mais l'applique non plus seulement à la pensée (dialectique idéaliste de Hegel), mais à la réalité matérielle et sociale elle-même (dialectique matérialiste) : l'histoire progresse par les contradictions entre les classes sociales et les forces de production.
Une graine « n'est plus » une graine lorsqu'elle devient une plante, et pourtant la plante « était » déjà en germe dans la graine : le même être est à la fois lui-même et son contraire, en devenir. La logique formelle a du mal à rendre compte de ce mouvement, alors que la dialectique en fait son objet central.
La connaissance est le résultat de l'activité par laquelle l'esprit humain appréhende un objet et en constitue une représentation vraie. Connaître, c'est dépasser l'opinion et l'ignorance pour accéder à un savoir justifié.
| Critère | Rationalisme (Descartes) | Empirisme (Locke) |
|---|---|---|
| Source de la connaissance | La raison, l'esprit, les idées innées | L'expérience sensible, les sens |
| Point de départ | Le doute méthodique, le cogito | L'esprit est une « table rase » (tabula rasa) |
| Méthode privilégiée | La déduction | L'induction à partir de l'observation |
| Formule clé | « Je pense donc je suis » | « Rien n'est dans l'entendement qui n'ait d'abord été dans les sens » |
Le but de la connaissance est la conquête de la vérité : sortir de l'ignorance et de l'illusion pour accéder à un savoir certain sur soi, sur le monde et sur autrui.
Importance de la connaissance : sur le plan théorique, Platon et Aristote font de la connaissance la finalité même de l'existence humaine (la contemplation de la vérité comme sagesse) ; sur le plan pratique et utilitaire, Bacon et Descartes voient dans la connaissance un instrument de maîtrise de la nature — Bacon affirme que « savoir, c'est pouvoir », et Descartes veut faire de l'homme « comme maître et possesseur de la nature ». Dans les deux cas, la connaissance est libératrice : elle affranchit l'homme de la peur, de la superstition et de la dépendance à la nature.
La vérité est l'accord entre le jugement de l'esprit et la réalité qu'il décrit (adéquation de la pensée et de son objet).
| Auteur | Critère proposé |
|---|---|
| Aristote | Identité et non-contradiction : une proposition est vraie si elle respecte les lois de la logique formelle |
| Descartes | L'évidence : est vrai ce qui se présente à l'esprit de façon claire et distincte |
| Marx | La pratique : la vérité d'une idée se vérifie dans l'action et la transformation du réel |
| William James | La réussite (pragmatisme) : est vraie une idée qui « réussit », qui est utile et efficace dans la conduite de la vie |
L'erreur est un jugement qui ne correspond pas à la réalité, une méprise de l'esprit qui prend le faux pour le vrai.
Pour Hegel, l'erreur n'est pas un simple accident extérieur à la vérité : elle est un moment nécessaire du cheminement de l'esprit vers le savoir absolu. Bachelard, dans La Formation de l'esprit scientifique, parle d'« obstacle épistémologique » : les erreurs, les préjugés et les connaissances anciennes freinent l'accès à la vérité scientifique, mais c'est justement en les rectifiant que la science progresse. On ne connaît « contre » une connaissance antérieure : la vérité se construit en surmontant l'erreur, elle ne s'y oppose pas de l'extérieur.
Formulez le principe de non-contradiction tel qu'établi par Aristote, puis donnez un exemple concret qui l'illustre.
Le principe de non-contradiction, formulé par Aristote, énonce qu'une chose ne peut pas être et ne pas être en même temps, sous le même rapport : une proposition A et sa négation non-A ne peuvent pas être vraies simultanément. C'est l'un des trois piliers de la logique formelle, avec le principe d'identité (A est A) et le principe du tiers-exclu (entre A et non-A, il n'y a pas de troisième possibilité).
Exemple : il est impossible d'affirmer en même temps « il pleut » et « il ne pleut pas » à propos du même lieu et du même instant. Si l'un des deux jugements est vrai, l'autre est nécessairement faux. Ce principe garantit la cohérence de tout raisonnement : sans lui, aucune démonstration ne serait possible, car on pourrait affirmer indifféremment une chose et son contraire.
Comparez brièvement les deux théories, puis dites si elles s'opposent de façon absolue ou si elles peuvent être conciliées.
Pour Descartes, la connaissance vraie procède de la raison : par le doute méthodique, l'esprit découvre en lui-même des idées claires et distinctes (le cogito) indépendantes des sens, souvent trompeurs. Pour Locke, au contraire, l'esprit est à l'origine une « table rase » : toute connaissance vient de l'expérience sensible, rien n'est dans l'entendement qui n'ait d'abord été dans les sens.
Ces deux thèses s'opposent frontalement sur l'origine de la connaissance. Cependant, elles ne sont pas totalement incompatibles dans la pratique : même Descartes reconnaît que les sens fournissent des occasions à la pensée, et même Locke admet un travail actif de l'entendement (réflexion) pour organiser les données sensorielles. Kant tentera plus tard de dépasser cette opposition en montrant que la connaissance suppose à la fois des données sensibles (matière) et des structures a priori de l'esprit (forme). On peut donc dire que les deux théories s'opposent sur le plan des principes mais se complètent souvent dans l'explication concrète du savoir humain.
Expliquez sur quel point précis la dialectique hégélienne remet en cause les principes de la logique aristotélicienne.
La logique formelle d'Aristote repose sur l'idée que les concepts et les choses sont stables : A est A (identité), A ne peut être non-A (non-contradiction). Elle décrit un monde figé, immobile, où les contraires s'excluent absolument.
Hegel objecte que le réel n'est pas immobile mais en perpétuel devenir : chaque chose porte en elle son propre contraire et se transforme en lui (par exemple, l'être devient le non-être dans le néant, puis les deux se dépassent dans le devenir). La pensée dialectique admet donc que les contradictions ne sont pas de simples erreurs à éliminer, mais le moteur même du mouvement de la pensée et de la réalité, selon le schéma thèse-antithèse-synthèse. Ainsi, alors que la logique formelle vise la cohérence statique d'un raisonnement, la logique dialectique cherche à rendre compte du mouvement et de la contradiction inhérents au réel — elle ne rejette pas la logique formelle mais la juge insuffisante pour penser le changement.
Discutez cette apparente tension entre l'objectivité de la vérité scientifique et son caractère provisoire ou falsifiable.
À première vue, objectivité et caractère provisoire semblent contradictoires : si une vérité est objective, ne devrait-elle pas être définitive et absolue ? En réalité, ces deux caractères ne se contredisent pas, car ils ne portent pas sur le même aspect de la connaissance.
L'objectivité concerne la méthode : une vérité scientifique est objective parce qu'elle est établie indépendamment des préférences personnelles, par une démarche rigoureuse (observation, expérimentation, vérification intersubjective). Le caractère provisoire, lui, concerne la portée temporelle de cette vérité : elle reste valable tant qu'aucune expérience ne vient la contredire, mais elle peut être révisée si de nouvelles données apparaissent. Selon Popper, c'est même cette falsifiabilité qui distingue une théorie scientifique d'une croyance dogmatique : une théorie qui ne pourrait jamais être réfutée par aucune expérience ne serait pas scientifique. Ainsi, la physique newtonienne fut longtemps tenue pour objectivement vraie, avant d'être complétée (et non simplement annulée) par la relativité einsteinienne. La vérité scientifique est donc objective dans sa méthode et son moment historique, tout en restant provisoire dans son contenu, ouverte à la rectification — ce qui rejoint l'idée de Bachelard selon laquelle la science progresse en corrigeant sans cesse ses propres erreurs.
Rédigez une réflexion argumentée (introduction, développement en plusieurs moments, conclusion) répondant à la question posée, en mobilisant le rationalisme, l'empirisme et, si possible, un dépassement de leur opposition.
Introduction. Il semble évident que nous apprenons par nos sens : un enfant découvre le monde en le touchant, en le voyant, en l'écoutant. Pourtant, certaines vérités — mathématiques, logiques — paraissent s'imposer à l'esprit indépendamment de toute expérience sensible. Faut-il alors affirmer que toute connaissance procède nécessairement de l'expérience, ou existe-t-il des connaissances d'origine purement rationnelle ? Nous examinerons d'abord la thèse empiriste, puis ses limites mises en évidence par le rationalisme, avant de chercher un dépassement de cette opposition.
I. La thèse empiriste : toute connaissance vient de l'expérience. Pour Locke, l'esprit humain est à sa naissance une « table rase » (tabula rasa) : aucune idée n'y est inscrite d'avance. Toutes nos connaissances, même les plus abstraites, se forment à partir des sensations puis de la réflexion que l'esprit exerce sur elles. Cette thèse a une force certaine : elle explique la diversité des cultures et des croyances par la diversité des expériences vécues, et elle correspond à la démarche des sciences expérimentales, qui fondent leurs lois sur l'observation.
II. Les limites de l'empirisme : le rationalisme cartésien. Descartes objecte que les sens sont souvent trompeurs (illusions, rêves) et ne peuvent donc servir de fondement certain à la connaissance. Par le doute méthodique, il découvre une vérité qui ne dépend d'aucune expérience sensible : « je pense donc je suis ». De même, les vérités mathématiques (2+2=4, les propriétés du triangle) semblent valables nécessairement et universellement, sans qu'aucune expérience particulière ne puisse les infirmer : elles relèvent de la seule raison. Il existerait donc des connaissances a priori, antérieures et indépendantes de l'expérience.
III. Vers un dépassement : expérience et raison sont complémentaires. Kant propose une synthèse féconde : toute connaissance commence avec l'expérience (contre le rationalisme dogmatique), mais elle ne dérive pas entièrement d'elle, car l'esprit possède des structures a priori (l'espace, le temps, les catégories de l'entendement) qui organisent les données sensibles. La connaissance résulte donc de la rencontre entre une matière fournie par l'expérience et une forme fournie par la raison. Cette position permet de rendre compte à la fois de la nécessité de certaines vérités (mathématiques) et du caractère informatif des sciences empiriques.
Conclusion. Non, toute connaissance ne procède pas nécessairement et exclusivement de l'expérience : si l'expérience est bien le point de départ et l'occasion de toute connaissance, la raison humaine y apporte des structures et des principes qui ne s'y réduisent pas. La véritable connaissance naît donc de la collaboration entre l'expérience sensible et l'activité rationnelle de l'esprit, plutôt que de la victoire exclusive de l'une sur l'autre.
Qui est considéré comme le fondateur de la logique formelle ?
Le principe selon lequel « une chose ne peut être à la fois A et non-A » est le principe de :
Le principe du tiers-exclu affirme que :
La logique dialectique a été développée notamment par :
Pour Bachelard, la notion d'« obstacle épistémologique » désigne :
Descartes est le représentant principal de quelle théorie de la connaissance ?
Selon Locke, l'esprit humain est à la naissance :
Pour Descartes, le critère de la vérité est :
Pour Marx, le critère de la vérité d'une idée est :
Selon William James (pragmatisme), une idée est vraie si :
