Synthese 127 (1-2):57 - 93 (2001)
The title reflects my conviction that, viewed semantically,modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy. Nonetheless, by making use of ideas which trace back to Arthur Prior (notably the use of nominals, special proposition symbols which name worlds) I will show how to lift the dialogical conception to modal proof theory. I argue that this shift to hybrid logic has consequences for both modal and dialogical logic, and I discuss these in detail.
|Keywords||Philosophy Philosophy Epistemology Logic Metaphysics Philosophy of Language|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Modal Correspondence for Models.Jon Barwise & Lawrence S. Moss - 1998 - Journal of Philosophical Logic 27 (3):275-294.
Intuitionist Logic — Subsystem of, Extension of, or Rival to, Classical Logic?Richard Sylvan - 1988 - Philosophical Studies 53 (1):147 - 151.
How to Extend the Dialogical Approach to Provability Logic.Ulrich Nortmann - 2001 - Synthese 127 (1-2):95 - 103.
The Unprovability of Consistency: An Essay in Modal Logic.George Boolos - 1979 - Cambridge University Press.
Added to index2009-01-28
Total downloads88 ( #59,314 of 2,171,797 )
Recent downloads (6 months)2 ( #173,730 of 2,171,797 )
How can I increase my downloads?