Copies of classical logic in intuitionistic logic

Jaime Gaspar

pp. 5-11

in: Peter Schroeder-Heister (ed), Logic and Philosophy of Science in Nancy (I), Philosophia Scientiae 18 (3), 2014.

Abstract

La logique classique (la logique des mathématiques non-constructives) est plus forte que la logique intuitionniste (la logique des mathématiques constructives). Malgré cela, il existe des copies de la logique classique dans la logique intuitionniste. Toutes les copies habituellement trouvées dans la littérature sont les mêmes. Ce qui soulève la question suivante : la copie est-elle unique ? Nous répondons négativement en présentant trois copies différentes.