Change search
ReferencesLink to record
Permanent link

Direct link
Acceptance, inference, and the multiple-conclusion sequent
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
2012 (English)In: Synthese, ISSN 0039-7857, E-ISSN 1573-0964, Vol. 187, no 3, 913-924 p.Article in journal (Refereed) Published
Abstract [en]

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.
Keyword [en]
Acceptance, Inference, Multiple conclusions, Rational commitment, Rejection, Sequent, Structural rules
National Category
URN: urn:nbn:se:kth:diva-89523DOI: 10.1007/s11229-011-9909-5ISI: 000309242100008ScopusID: 2-s2.0-84867143376OAI: diva2:503093

QC 20121101

Available from: 2012-02-14 Created: 2012-02-14 Last updated: 2012-11-01Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Sandqvist, Tor
By organisation
In the same journal

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 36 hits
ReferencesLink to record
Permanent link

Direct link