Acceptance, inference, and the multiple-conclusion sequent
2012 (English)In: Synthese, ISSN 0039-7857, E-ISSN 1573-0964, Vol. 187, no 3, 913-924 p.Article in journal (Refereed) Published
This paper offers an interpretation of multiple-conclusion sequents as a kind of meta-inference rule: just as single-conclusion sequents represent inferences from sentences to sentences, so multiple-conclusion sequents represent a certain kind of inference from single-conclusion sequents to single-conclusion sequents. The semantics renders sound and complete the standard structural rules of reflexivity, monotonicity (or thinning), and transitivity (or cut). The paper is not the first one to attempt to account for multiple-conclusion sequents without invoking notions of truth or falsity-but unlike earlier such efforts, which have typically helped themselves to primitive notions of both acceptance and rejection, the present one makes do with the former alone. For technical reasons, the treatment is limited to sequents with non-empty succedents.
Place, publisher, year, edition, pages
2012. Vol. 187, no 3, 913-924 p.
Acceptance, Inference, Multiple conclusions, Rational commitment, Rejection, Sequent, Structural rules
IdentifiersURN: urn:nbn:se:kth:diva-89523DOI: 10.1007/s11229-011-9909-5ISI: 000309242100008ScopusID: 2-s2.0-84867143376OAI: oai:DiVA.org:kth-89523DiVA: diva2:503093
QC 201211012012-02-142012-02-142012-11-01Bibliographically approved