La Conception Intuitionniste de la Logique
Arend Heyting

Notes:
In 1956, the same year that A. Heyting published his well-known Intuitionism, an introduction, he also wrote an article in French for the Journal Les études philosphiques. It was written for a philosophical audience and stressed much more than in his other writings his view of intuitionistic logic as the logic of knowing.
This report contains both the original article and a translation into English. This translation was drafted by Claude-3.5-Sonnet-200k and carefully further edited by Philippe Balbiani, Hans van Ditmarsch, Dick de Jongh and Yanjing Wang. The editors thank the journal and the publisher for their approval and for their permission to put this version online.