Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
Philosophy
Identifiers
URN: urn:nbn:se:kth:diva-89523DOI: 10.1007/s11229-011-9909-5ISI: 000309242100008Scopus ID: 2-s2.0-84867143376OAI: oai:DiVA.org:kth-89523DiVA: diva2:503093
Note

QC 20121101

Available from: 2012-02-14 Created: 2012-02-14 Last updated: 2017-12-07Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 56 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf