X-2008-01: van Benthem, Johan (2008) Een Postzegel vol Logica. [Report]
Preview |
Text (Full Text)
X-2008-01.text.pdf Download (2MB) | Preview |
Text (Abstract)
X-2008-01.abstract.txt Download (639B) |
Abstract
De nieuwe Brouwer Postzegel bevat een ontkenning van
het Uitgesloten Derde. Wat wordt hiermee bedoeld, en
wat zegt de 'intuïtionistische logica' nu eigenlijk
positief? We geven een schets voor een breed publiek
van de subtiliteiten van het constructief wiskundig
bewijzen, en we laten zien hoe het Uitgesloten Derde
verrassende nieuwe interpretaties heeft gekregen in
moderne logica's van argumentatie, spel, en in feite
van interactie in het algemeen. Overigens: ons betoog
rechtvaardigt een serie van minstens drie postzegels!
Item Type: | Report |
---|---|
Report Nr: | X-2008-01 |
Series Name: | Technical Notes (X) Series |
Year: | 2008 |
Uncontrolled Keywords: | logica; intuïtionisme; bewijs; spel |
Subjects: | Logic |
Depositing User: | Johan van Benthem |
Date Deposited: | 12 Oct 2016 14:38 |
Last Modified: | 12 Oct 2016 14:38 |
URI: | https://eprints.illc.uva.nl/id/eprint/665 |
Actions (login required)
View Item |