Journal of Philosophical Logic 43 (6):1065-1100 (2014)

Authors
Aleks Knoks
University of Zürich
Sara L. Uckelman
Durham University
Abstract
Dialogue semantics for logic are two-player logic games between a Proponent who puts forward a logical formula φ as valid or true and an Opponent who disputes this. An advantage of the dialogical approach is that it is a uniform framework from which different logics can be obtained through only small variations of the basic rules. We introduce the composition problem for dialogue games as the problem of resolving, for a set S of rules for dialogue games, whether the set of S-dialogically valid formulas is closed under modus ponens. Solving the composition problem is fundamental for the dialogical approach to logic; despite its simplicity, it often requires an indirect solution with the help of significant logical machinery such as cut-elimination. Direct solutions to the composition problem can, however, sometimes be had. As an example, we give a set N of dialogue rules which is well-justified from the dialogical point of view, but whose set N of dialogically valid formulas is both non-trivial and non-standard. We prove that the composition problem for N can be solved directly, and introduce a tableaux system for N.
Keywords Composition problem  Dialogical logic  Tableaux
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-013-9307-1
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,756
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

First-Order Logic.Raymond M. Smullyan - 1968 - New York [Etc.]Springer-Verlag.
Logic and Games.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
A Game Semantics for Linear Logic.Andreas Blass - 1992 - Annals of Pure and Applied Logic 56 (1-3):183-220.

View all 21 references / Add more references

Citations of this work BETA

A Curious Dialogical Logic and its Composition Problem.Sara L. Uckelman, Jesse Alama & Aleks Knoks - 2014 - Journal of Philosophical Logic 43 (6):1065-1100.

Add more citations

Similar books and articles

First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.
The Ground of Dialogical Bioethics.Abraham Rudnick - 2002 - Health Care Analysis 10 (4):391-402.
Dialogical Connexive Logic.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1-2):105-139.
A Relevance Constraint on Composition.David Vander Laan - 2010 - Australasian Journal of Philosophy 88 (1):135-145.
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications. pp. 348-367.
A New Semantics for Positive Modal Logic.S. Celani & R. Jansana - 1997 - Notre Dame Journal of Formal Logic 38 (1):1-18.
Endurantism, Diachronic Vagueness and the Problem of the Many.By Kristie Miller - 2008 - Pacific Philosophical Quarterly 89 (2):242–253.

Analytics

Added to PP index
2013-11-19

Total views
55 ( #169,393 of 2,333,957 )

Recent downloads (6 months)
6 ( #121,650 of 2,333,957 )

How can I increase my downloads?

Downloads

My notes