X-2025-01: La Conception Intuitionniste de la Logique

X-2025-01: Heyting, Arend (2025) La Conception Intuitionniste de la Logique. [Pre-print]

[thumbnail of Heyting-LACONCEPTIONINTUITIONNISTE-1956.pdf] Text
Heyting-LACONCEPTIONINTUITIONNISTE-1956.pdf - Published Version

Download (922kB)
[thumbnail of English translation] Other (English translation)
Translation_of_Heyting_1956 EnglishOnly.pdf - Published Version

Download (63kB)
Item Type: Pre-print
Report Nr: X-2025-01
Series Name: Technical Notes (X) Series
Year: 2025
Additional Information: 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.
Subjects: Logic
Mathematics
Depositing User: Dr Marco Vervoort
Date Deposited: 24 Apr 2025 13:32
Last Modified: 24 Apr 2025 13:32
URI: https://eprints.illc.uva.nl/id/eprint/2358

Actions (login required)

View Item View Item