Dr Sara Uckelman s.l.uckelman@durham.ac.uk
Associate Professor
A Curious Dialogical Logic and Its Composition Problem
Uckelman, Sara L.; Alama, Jesse; Knoks, Aleks
Authors
Jesse Alama
Aleks Knoks
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.
Citation
Uckelman, S. L., Alama, J., & Knoks, A. (2014). A Curious Dialogical Logic and Its Composition Problem. Journal of Philosophical Logic, 43(6), 1065-1100. https://doi.org/10.1007/s10992-013-9307-1
Journal Article Type | Article |
---|---|
Acceptance Date | Oct 30, 2013 |
Publication Date | Dec 1, 2014 |
Deposit Date | Oct 7, 2014 |
Publicly Available Date | Jul 29, 2015 |
Journal | Journal of Philosophical Logic |
Print ISSN | 0022-3611 |
Electronic ISSN | 1573-0433 |
Publisher | Springer |
Peer Reviewed | Peer Reviewed |
Volume | 43 |
Issue | 6 |
Pages | 1065-1100 |
DOI | https://doi.org/10.1007/s10992-013-9307-1 |
Keywords | Composition problem, Dialogical logic, Tableaux. |
Files
Accepted Journal Article
(461 Kb)
PDF
Copyright Statement
The final publication is available at Springer via http://dx.doi.org/10.1007/s10992-013-9307-1.
You might also like
Christine Ladd-Franklin
(2023)
Book Chapter
John Eliot's Logick Primer: A bilingual English-Massachusett logic textbook
(2023)
Journal Article
Fictional Modality and the Intensionality of Fictional Contexts
(2022)
Journal Article
Lorhard, Ramus, and Timpler and “The Birth of Ontology”
(2022)
Journal Article
What Problem Did Ladd-Franklin (Think She) Solve(d)?
(2021)
Journal Article
Downloadable Citations
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search