Philosophie · TerminaleBac
Formel / matériel : fiche de révision de Terminale
Publié le 6 novembre 2026 · Mis à jour le 6 novembre 2026 · Signaler une erreur
L'essentiel
- Formel / matériel fait partie des repères du programme de Terminale : une distinction de vocabulaire qui aide à penser, pas un chapitre à part 23.
- Formel : ce qui tient à la forme, à la structure, aux règles. Matériel : ce qui tient au contenu, à ce dont on parle.
- Un raisonnement peut être correct dans sa forme et faux dans son contenu : valider l'un ne valide pas l'autre.
- Au bac, le repère sert à distinguer la correction d'un raisonnement de la vérité de ses affirmations, et à ne pas réduire un devoir à une mécanique de règles.
Ce qu'est un repère et où se trouve celui-ci
Le couple formel / matériel figure dans la liste des repères de Terminale, à côté d'« exemple / preuve » ou d'« expliquer / comprendre » 23. Ces repères prennent la forme de distinctions lexicales et conceptuelles 3. Tu ne les apprends donc pas comme un chapitre : tu les utilises pour clarifier ce que tu dis dans une dissertation ou une explication de texte.
Un raisonnement peut être juste en forme et faux en contenu
Un détour par l'informatique : la logique des formes
Le vocabulaire du formel est très présent en informatique. Les méthodes formelles raisonnent rigoureusement, avec la logique mathématique, sur un programme pour démontrer qu'il respecte une spécification 4. On raisonne alors sur des descriptions mathématiques du sens d'un programme, pas sur un essai au hasard 4.
Utiliser le repère au bac
Le même repère aide à réfléchir à l'épreuve elle-même. À l'écrit, tu composes soit une dissertation, soit une explication de texte 3. Le programme précise qu'il ne s'agit pas de soumettre le travail à des règles purement formelles, mais avant tout de développer un travail de réflexion 3. Une copie qui respecte un plan en trois parties sans rien penser est formelle mais vide ; une copie pleine d'idées mais sans construction est riche en contenu et mal tenue.
Questions flash
4 questions · correction immédiate · ton score reste sur ton appareil.
-
La conclusion découle bien des prémisses : la forme est valide. Mais la première prémisse est fausse, donc le contenu l'est. Dire « tout est faux car la conclusion est absurde » confond les deux niveaux, et dire « tout est vrai car bien construit » oublie que la forme ne garantit pas la vérité des prémisses.
-
Faux. On peut aboutir à une conclusion vraie par un enchaînement mal construit, ou à partir de prémisses fausses. La vérité de la conclusion ne renseigne pas sur la validité de la forme. L'erreur tentante est de juger le raisonnement à son résultat.
-
Se demander si une affirmation est vraie touche au contenu, donc au matériel. Les autres questions portent sur la forme : déduction, règle, structure. L'erreur tentante est de croire que toute question sur un raisonnement est formelle.
Les questions qu'on se pose
Formel et matériel, est-ce la même chose que « forme » et « fond » ?
L'idée est voisine : la forme renvoie au formel, le fond au matériel. Mais le repère porte surtout sur la distinction entre règles de structure et contenu. Précise toujours de quoi tu parles (un raisonnement, un texte, une règle), car le couple change de sens selon l'objet.
Le repère peut-il tomber directement au bac ?
Faut-il citer l'informatique dans une copie ?
Ce n'est pas nécessaire. L'exemple du typage ou des spécifications formelles 4 sert à comprendre ce qu'est une règle de forme. Dans une copie, un exemple tiré de ton cours, d'un auteur étudié ou d'un raisonnement simple est plus sûr et mieux ancré dans le programme.
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.