Een Postzegel vol Logica
Johan van Benthem

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!