Chez le cancérologue: Vous m'avez l'air bien stressé! C'est cette biopsie qui vous effraie tant? Ou peut être les résultats, si jamais c'était bien une tumeur? Le patient: Pas du tout, Docteur. C'est votre facturation qui m'angoisse! L'épouse: n'aie plus...

La logique dite intuitionniste n'admet pas le principe du tiers exclu, ni par conséquent le raisonnement par l'absurde. Cela a cependant une signification qui n'est pas que formelle: cette logique est constructiviste, c'est-à-dire n'admet que des contenus...

J'appelle métalogique une théorie de la pluralité des mondes logiques, soit au point de vue du contenu sémantique, soit au point de vue syntaxique. Commençons par le second point de vue, celui de la syntaxe, avec Lesniewski et Rickey. C'est parce que...