Verificationism and classical realizability - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2016

Verificationism and classical realizability

Mattia Petrolo
  • Fonction : Auteur
Thomas Seiller

Résumé

This paper investigates the question of whether Krivine’s classical realizability can provide a verificationist interpretation of classical logic. We argue that this kind of realizability can be considered an adequate candidate for this semantic role, provided that the notion of verification involved is no longer based on proofs, but on programs. On this basis, we show that a special reading of classical realizability is compatible with a verificationist theory of meaning, insofar as pure logic is concerned. Crucially, in order to remain faithful to a fundamental verificationist tenet, we show that classical realizability can be understood from a single-agent perspective, thus avoiding the usual game-theoretic interpretation involving at least two players.
Fichier non déposé

Dates et versions

hal-01251229 , version 1 (05-01-2016)

Identifiants

Citer

Alberto Naibo, Mattia Petrolo, Thomas Seiller. Verificationism and classical realizability. Perspectives on Interrogative Models of Inquiry, 8, Springer, pp.163-197, 2016, Logic, Argumentation & Reasoning, 978-3-319-20761-2. ⟨10.1007/978-3-319-20762-9_9⟩. ⟨hal-01251229⟩
311 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More