Towards a Dialogic Interpretation of Dynamic Proofs

TitleTowards a Dialogic Interpretation of Dynamic Proofs
Publication TypeBook Chapter (with title)
Year of Publication2009
AuthorsBatens, D
Secondary AuthorsDégremont, C, Keiff, L, Rückert, H
Book TitleDialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman
PublisherCollege Publications

The main result presented in this paper concerns a dialogic or game-theoretical interpretation of dynamic proofs. Dynamic proofs in themselves do not form a demonstration of the derivability of their last formula from a given premise set. Apart from the proof, such a demonstration requires a specific metalevel argument. In a natural and appealing form, the metalevel argument is phrased in terms of the existence of a winning strategy for the proponent.\par The aforementioned point is presented in terms of an approach that is in a sense Hilbertian and anti-Tarskian: the characterization of logical inference in terms of types of proofs, rather than in terms of properties of the consequence relation.

Citation KeyD:shahid
Download PDF (Author PDF)
PDF author (public):