Se dit de ce qui se rapporte à la forme , c'est à dire à l'organisation, à la structure ou aux règles, indépendamment de ce dont on parle. Un raisonnement est jugé formellement quand on ne regarde que son enchaînement.

Se dit de ce qui se rapporte à la matière , au contenu : ce que les propositions affirment concrètement sur le monde. On juge matériellement en demandant si ce qui est dit est conforme à la réalité.

Distinction lexicale et conceptuelle du programme de philosophie, qu'on mobilise pour affiner sa réflexion . Les repères ne constituent pas un enseignement séparé .

La manière dont une chose est organisée, par opposition à ce dont elle est faite. Pour un raisonnement, c'est l'ordre des propositions et les liens qui les unissent.

Ce que disent les propositions : les idées, les faits, les affirmations. Le contenu est ce qu'on met dans une forme.

Qualité d'un raisonnement dont la conclusion découle nécessairement des prémisses. La validité est une notion formelle : elle ne dit rien de la vérité des prémisses.

Accord d'une affirmation avec la réalité. La vérité est une notion matérielle : elle porte sur le contenu, non sur l'enchaînement.

Proposition admise au départ d'un raisonnement, à partir de laquelle on tire une conclusion. Sa qualité conditionne la solidité matérielle de l'ensemble.

Proposition qu'un raisonnement cherche à établir à partir des prémisses. Elle est formellement correcte si elle découle des prémisses ; elle n'est matériellement acceptable que si les prémisses le sont aussi.

Raisonnement à deux prémisses et une conclusion, dont on peut étudier la forme sans se soucier du sujet traité. C'est un exemple classique pour distinguer formel et matériel.

Étude des formes de raisonnement valides, sans considération pour la vérité du contenu. Elle cherche des règles qui valent quel que soit le sujet.

Langage dont les règles sont définies avec précision et dont le sens ne laisse pas place à l'ambiguïté. Il s'oppose à la langue naturelle, qui peut donner lieu à plusieurs interprétations .

Attitude qui privilégie le respect des règles ou des formes au détriment du fond. Le mot peut être neutre rigueur ou critique attachement excessif à la lettre .

Absence de contradiction entre les propositions d'un discours. Une pensée peut être parfaitement cohérente sans être vraie.

Ce qui établit qu'une affirmation est vraie ou acceptable. Elle mobilise souvent à la fois un enchaînement correct aspect formel et des éléments établis aspect matériel . Le programme la distingue de l'exemple .

L'une des deux formes de l'épreuve écrite de philosophie, avec la dissertation . Elle demande de comprendre comment le texte est construit et ce qu'il affirme.

Philosophie · TerminaleBac

Formel / matériel : lexique de philosophie en Terminale

Publié le 6 novembre 2026 · Mis à jour le 6 novembre 2026 · Signaler une erreur

L'essentiel

Formel se rapporte à la forme d'un raisonnement ou d'une règle ; matériel se rapporte à son contenu, à ce dont il parle.
Un raisonnement peut être valide (bonne forme) sans être vrai (contenu faux) : c'est la distinction centrale du repère.
Les repères sont des distinctions lexicales et conceptuelles que tu dois savoir manier en dissertation et en explication de texte ².
Pour t'en servir, demande-toi toujours : est-ce la forme qui est en cause, ou le contenu ?

Comment utiliser ce lexique

Le couple formel / matériel figure parmi les repères du programme de philosophie de Terminale ². Les repères prennent la forme de distinctions lexicales et conceptuelles ³ : ils ne sont pas un cours séparé et ne constituent pas des savoirs à réciter pour eux-mêmes ². Ils servent plutôt à réfléchir avec précision quand tu traites une notion ou un texte.

Ce lexique rassemble les mots qui gravitent autour du couple : forme, contenu, validité, vérité, logique, formalisme. Chaque entrée donne une définition simple et un exemple. Lis-les dans l'ordre une première fois, puis reviens-y au gré de tes révisions.

Les sens du couple dans d'autres disciplines

L'idée de forme séparée du contenu dépasse la philosophie. En informatique, les méthodes formelles sont des techniques qui permettent de raisonner rigoureusement, avec la logique mathématique, sur un programme afin de démontrer qu'il respecte ce qu'on attend de lui ⁴. Une spécification formelle repose sur un langage dont le sens est bien défini, ce qui la distingue d'une description en langue naturelle, qui peut être interprétée de plusieurs façons ⁴. Cet exemple t'aide à saisir l'esprit du « formel » : on s'appuie sur des règles précises, indépendantes de ce que l'on souhaite dire dans le détail.

Ce détour reste une illustration : il n'est pas au programme de philosophie, et tu n'as pas à connaître ces techniques pour le bac.

Lexique

Les mots à connaître

Formel: Se dit de ce qui se rapporte à la forme, c'est-à-dire à l'organisation, à la structure ou aux règles, indépendamment de ce dont on parle. Un raisonnement est jugé formellement quand on ne regarde que son enchaînement.
Exemple : « Si A alors B ; or A ; donc B » est correct quel que soit le contenu que l'on met à la place de A et de B.
Matériel: Se dit de ce qui se rapporte à la matière, au contenu : ce que les propositions affirment concrètement sur le monde. On juge matériellement en demandant si ce qui est dit est conforme à la réalité.
Exemple : Dire « les poissons volent » est matériellement faux, même si cette phrase est insérée dans un raisonnement bien construit.
Repère: Distinction lexicale et conceptuelle du programme de philosophie, qu'on mobilise pour affiner sa réflexion ³. Les repères ne constituent pas un enseignement séparé ².
Exemple : Le couple formel / matériel est un repère, comme exemple / preuve ou expliquer / comprendre ².
Forme: La manière dont une chose est organisée, par opposition à ce dont elle est faite. Pour un raisonnement, c'est l'ordre des propositions et les liens qui les unissent.
Exemple : Deux raisonnements sur des sujets totalement différents peuvent avoir exactement la même forme.
Contenu (matière): Ce que disent les propositions : les idées, les faits, les affirmations. Le contenu est ce qu'on met dans une forme.
Exemple : Dans « Socrate est un homme », le contenu concerne Socrate et la qualité d'homme.
Validité: Qualité d'un raisonnement dont la conclusion découle nécessairement des prémisses. La validité est une notion formelle : elle ne dit rien de la vérité des prémisses.
Exemple : « Tous les chats sont verts ; Félix est un chat ; donc Félix est vert » est valide, mais ses prémisses sont fausses.
Vérité: Accord d'une affirmation avec la réalité. La vérité est une notion matérielle : elle porte sur le contenu, non sur l'enchaînement.
Exemple : « Paris est en France » est vraie, indépendamment de la manière dont on l'insère dans un raisonnement.
Prémisse: Proposition admise au départ d'un raisonnement, à partir de laquelle on tire une conclusion. Sa qualité conditionne la solidité matérielle de l'ensemble.
Exemple : Dans « Tous les humains sont mortels ; Socrate est humain ; donc Socrate est mortel », les deux premières propositions sont les prémisses.
Conclusion: Proposition qu'un raisonnement cherche à établir à partir des prémisses. Elle est formellement correcte si elle découle des prémisses ; elle n'est matériellement acceptable que si les prémisses le sont aussi.
Exemple : « Socrate est mortel » est la conclusion du raisonnement précédent.
Syllogisme: Raisonnement à deux prémisses et une conclusion, dont on peut étudier la forme sans se soucier du sujet traité. C'est un exemple classique pour distinguer formel et matériel.
Exemple : « Tous les oiseaux ont des plumes ; le moineau est un oiseau ; donc le moineau a des plumes. »
Logique formelle: Étude des formes de raisonnement valides, sans considération pour la vérité du contenu. Elle cherche des règles qui valent quel que soit le sujet.
Exemple : Établir qu'un schéma « si A alors B ; A ; donc B » est toujours correct relève de la logique formelle.
Langage formel: Langage dont les règles sont définies avec précision et dont le sens ne laisse pas place à l'ambiguïté. Il s'oppose à la langue naturelle, qui peut donner lieu à plusieurs interprétations ⁴.
Exemple : Une spécification formelle en informatique s'appuie sur un tel langage ⁴.
Formalisme: Attitude qui privilégie le respect des règles ou des formes au détriment du fond. Le mot peut être neutre (rigueur) ou critique (attachement excessif à la lettre).
Exemple : Reprocher à un devoir de n'être qu'un assemblage de procédés sans idées est un reproche de formalisme.
Cohérence: Absence de contradiction entre les propositions d'un discours. Une pensée peut être parfaitement cohérente sans être vraie.
Exemple : Un récit imaginaire bien construit est cohérent sans décrire des faits réels.
Preuve: Ce qui établit qu'une affirmation est vraie ou acceptable. Elle mobilise souvent à la fois un enchaînement correct (aspect formel) et des éléments établis (aspect matériel). Le programme la distingue de l'exemple ².
Exemple : Un exemple illustre une idée ; une preuve la démontre.
Explication de texte: L'une des deux formes de l'épreuve écrite de philosophie, avec la dissertation ³. Elle demande de comprendre comment le texte est construit et ce qu'il affirme.
Exemple : Repérer qu'un auteur enchaîne correctement ses arguments mais part d'un point de départ discutable revient à mobiliser le couple formel / matériel.

Les questions qu'on se pose

Formel et matériel sont-ils toujours opposés ?

Ils s'opposent comme deux points de vue sur une même chose, pas comme deux camps. Un même raisonnement a une forme et un contenu : tu peux juger l'une sans juger l'autre. Le plus souvent, un bon travail demande de vérifier les deux : un enchaînement rigoureux et des prémisses acceptables.

Dois-je citer le repère formel / matériel dans ma copie ?

Tu n'as pas à l'annoncer pour le plaisir. Les repères sont des outils de réflexion, pas un cours séparé ². Utilise-les quand ils éclairent le sujet : par exemple pour montrer qu'un argument est cohérent mais repose sur un point de départ contestable. Une distinction bien employée vaut mieux qu'un vocabulaire étalé.

Sources

Programmes et ressources en philosophie - voie générale et technologique, Éduscol (Ministère de l'Éducation nationale). Consulté le 6 novembre 2026.
Document officiel : Notions, auteurs et repères de Terminale, Éduscol (Ministère de l'Éducation nationale). Consulté le 6 novembre 2026.
Philosophie enseignement commun Terminale (voie technologique), Ministère de l'Éducation nationale et de la Jeunesse. Consulté le 6 novembre 2026.
Méthode formelle (informatique), Wikipédia. Consulté le 6 novembre 2026.

Les numéros dans le texte renvoient à ces sources. Une source qui ne dit pas ce qu'on lui fait dire ? Signale-le.

Signaler une erreur sur cette page

Formel / matériel : lexique de philosophie en Terminale

L'essentiel

Comment utiliser ce lexique

Les sens du couple dans d'autres disciplines

Lexique

Les mots à connaître

Quiz

Les questions qu'on se pose

Sources

Primaire

Collège

Lycée

Supérieur