X-2008-01: Een Postzegel vol Logica

X-2008-01: van Benthem, Johan (2008) Een Postzegel vol Logica. [Report]

[img]
Preview
Text (Full Text)
X-2008-01.text.pdf

Download (2MB) | Preview
[img] 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 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 View Item