« Ce contrat est-il valable ? » — la question que le modèle n'invente pas

Sans faits, sans article, le moteur refuse. Il ne dit pas que le contrat est valable ni qu'il ne l'est pas : il dit que ce prédicat n'existe pas dans le Code formalisé.

The conversation was recorded in French; the turns are reproduced as written.

Nous avons signé un contrat de fourniture l'année dernière. Sous le Code civil, ce contrat est-il valable ?

« Valable » est le mot qu'on tend, et c'est exactement le genre de mot dont je ne dois pas inventer un prédicat. Je le pose tel quel au moteur, pour que vous voyiez ce qu'il fait d'une question que le modèle ne pose pas.

Refus : le prédicat n'est pas déclaré. Lisez-le avec soin — ce n'est ni « oui » ni « non ». Le Code formalisé ne statue pas sur la « validité » d'un contrat comme un tout. Il pose des questions plus étroites : le consentement, le dol, l'imprévision, la prescription. Inventer un nom et le faire parler à la place du Code, c'est précisément ce que le moteur empêche.