| 1 |
| Author | J.F.A.K. van Benthem | | Title | Een Postzegel vol Logica |
| Faculty | Faculty of Science |
| Institute/dept. | FNWI/FGw: Institute for Logic, Language and Computation (ILLC) |
| Keywords | logica, intuïtionisme, bewijs, spel |
| Series | Technical Notes / ILLC ; X-2008-1 |
| 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!
Dit stukje zal verschijnen in 'De Gids', voorjaar 2008. |
| Document type | Preprint |
| Download paper | |
| Document finder |
|
Use this url to link to this page: http://dare.uva.nl/en/record/262023
Contact us about this recordNotify a colleague
Add to bookbag
|