16 octobre 2020
de la logique intuitionniste d'un point de vue philosophique simple brouillon
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...
