Verificationism and classical realizability Abstract This paper investigates the question of whether Krivine’s classical realizability can provide a verificationist interpretation of classical logic. We argue that thi

First Page		Document Content
Date: 2016-01-28 05:10:04		Verificationism and classical realizability Abstract This paper investigates the question of whether Krivine’s classical realizability can provide a verificationist interpretation of classical logic. We argue that thi Add to Reading List Source URL: www.irif.fr Download Document from Source Website File Size: 253,63 KB Share Document on Facebook