Johannes Baagoe a écrit :

Mais ce qui m'intrigue le plus, c'est pourquoi vous trouvez cette
question centrale pour celle de savoir selon quels critères on
pourrait évaluer des théories du but, ou des morales.

En fait il va bien falloir définir ce qu'on entend par "propositions contradictoires" et les
règles de déduction, avant d'aller plus loin, comme l'a fait Gentzen.

Parce que dire qu'une théorie dit tout et son contraire, nécessite un certains nombres
de pré-requis sur ces points.

Si non on va vite arriver a "je n'ai pas fermé l'oeil de la nuit, et en me réveillant" :-)





--
Que l'homme s'aime c'est peu dire
Mais c'est là mon pauvre labeur
Je le dis à vos poêles à frire
Moi le petit soldat de beurre
Que l'homme s'aime c'est ne dire
Qu'une parole rebattue
Et sur ma dérisoire lyre
Voyez, déjà, elle s'est tue