A curious dialogical logic and its composition problem
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 smal...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article (Journal) |
| Language: | English |
| Published: |
2014
|
| In: |
Journal of philosophical logic
Year: 2014, Volume: 43, Issue: 6, Pages: 1065-1100 |
| ISSN: | 1573-0433 |
| DOI: | 10.1007/s10992-013-9307-1 |
| Online Access: | Verlag, lizenzpflichtig, Volltext: https://doi.org/10.1007/s10992-013-9307-1
|
| Author Notes: | Sara L. Uckelman, Jesse Alama, Aleks Knoks |
MARC
| LEADER | 00000caa a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 1771845821 | ||
| 003 | DE-627 | ||
| 005 | 20220820051250.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 210927s2014 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a 10.1007/s10992-013-9307-1 |2 doi | |
| 035 | |a (DE-627)1771845821 | ||
| 035 | |a (DE-599)KXP1771845821 | ||
| 035 | |a (OCoLC)1341421541 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 084 | |a 10 |2 sdnb | ||
| 100 | 1 | |a Uckelman, Sara L. |d 1982- |e VerfasserIn |0 (DE-588)1066940959 |0 (DE-627)818091673 |0 (DE-576)426293444 |4 aut | |
| 245 | 1 | 2 | |a A curious dialogical logic and its composition problem |c Sara L. Uckelman, Jesse Alama, Aleks Knoks |
| 264 | 1 | |c 2014 | |
| 300 | |a 36 | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 500 | |a Published online: 16 November 2013 | ||
| 500 | |a Gesehen am 27.09.2021 | ||
| 520 | |a 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. | ||
| 700 | 1 | |a Alama, Jesse |e VerfasserIn |0 (DE-588)1241984050 |0 (DE-627)1771846194 |4 aut | |
| 700 | 1 | |a Knoks, Aleks |e VerfasserIn |0 (DE-588)1241984360 |0 (DE-627)1771846585 |4 aut | |
| 773 | 0 | 8 | |i Enthalten in |t Journal of philosophical logic |d Dordrecht [u.a.] : Springer Science + Business Media B.V, 1972 |g 43(2014), 6, Seite 1065-1100 |h Online-Ressource |w (DE-627)269539158 |w (DE-600)1475527-0 |w (DE-576)104508868 |x 1573-0433 |7 nnas |a A curious dialogical logic and its composition problem |
| 773 | 1 | 8 | |g volume:43 |g year:2014 |g number:6 |g pages:1065-1100 |g extent:36 |a A curious dialogical logic and its composition problem |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10992-013-9307-1 |x Verlag |x Resolving-System |z lizenzpflichtig |3 Volltext |
| 951 | |a AR | ||
| 992 | |a 20210927 | ||
| 993 | |a Article | ||
| 994 | |a 2014 | ||
| 998 | |g 1066940959 |a Uckelman, Sara L. |m 1066940959:Uckelman, Sara L. |d 700000 |d 719000 |e 700000PU1066940959 |e 719000PU1066940959 |k 0/700000/ |k 1/700000/719000/ |p 3 |y j | ||
| 999 | |a KXP-PPN1771845821 |e 3981514882 | ||
| BIB | |a Y | ||
| SER | |a journal | ||
| JSO | |a {"title":[{"title_sort":"curious dialogical logic and its composition problem","title":"A curious dialogical logic and its composition problem"}],"person":[{"given":"Sara L.","family":"Uckelman","role":"aut","roleDisplay":"VerfasserIn","display":"Uckelman, Sara L."},{"given":"Jesse","family":"Alama","role":"aut","display":"Alama, Jesse","roleDisplay":"VerfasserIn"},{"role":"aut","display":"Knoks, Aleks","roleDisplay":"VerfasserIn","given":"Aleks","family":"Knoks"}],"type":{"media":"Online-Ressource","bibl":"article-journal"},"note":["Published online: 16 November 2013","Gesehen am 27.09.2021"],"recId":"1771845821","language":["eng"],"origin":[{"dateIssuedKey":"2014","dateIssuedDisp":"2014"}],"id":{"eki":["1771845821"],"doi":["10.1007/s10992-013-9307-1"]},"name":{"displayForm":["Sara L. Uckelman, Jesse Alama, Aleks Knoks"]},"physDesc":[{"extent":"36 S."}],"relHost":[{"title":[{"title":"Journal of philosophical logic","title_sort":"Journal of philosophical logic"}],"recId":"269539158","language":["eng"],"disp":"A curious dialogical logic and its composition problemJournal of philosophical logic","note":["Gesehen am 02.03.2010"],"type":{"media":"Online-Ressource","bibl":"periodical"},"part":{"extent":"36","text":"43(2014), 6, Seite 1065-1100","volume":"43","issue":"6","pages":"1065-1100","year":"2014"},"pubHistory":["1.1972 -"],"id":{"zdb":["1475527-0"],"eki":["269539158"],"issn":["1573-0433"]},"origin":[{"publisherPlace":"Dordrecht [u.a.] ; Dordrecht [u.a.]","dateIssuedDisp":"1972-","dateIssuedKey":"1972","publisher":"Springer Science + Business Media B.V ; Kluwer"}],"physDesc":[{"extent":"Online-Ressource"}]}]} | ||
| SRT | |a UCKELMANSACURIOUSDIA2014 | ||