X-2008-01: Een Postzegel vol Logica

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