Skip to main content
Log in

Acceptance, inference, and the multiple-conclusion sequent

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Caroll L. (1895) What the Tortoise said to Achilles. Mind 4: 278–280

    Article  Google Scholar 

  • Gentzen, G. (1969). Investigations into logical deduction. In M. E. Szabo (Ed.), The collected papers of Gerhard Gentzen (pp. 68–131). Amsterdam: North-Holland Publishing Company.

    Google Scholar 

  • Gullberg, E., & Lindström, S. (2007). Semantics and the justification of deductive inference. In T. Rønnow-Rasmussen, B. Petersson, J. Josefsson, & D. Egonsson (Eds.), Hommage à Wlodek: Philosophical papers dedicated to Wlodek Rabinowicz. www.fil.lu.se/hommageawlodek.

  • Peregrin J. (2006) Meaning as an inferential role. Erkenntnis 64: 1–35

    Article  Google Scholar 

  • Restall G. (2005) Multiple conclusions. In: Hajek P., Valdes-Villanueva L., Westerstål D. (eds) Logic, methodology and philosophy of science: Proceedings of the twelfth international congress. Kings College Publications, London, pp 189–205

    Google Scholar 

  • Scott, D. (1974). Completeness and axiomatizability in many-valued logic. In L. Henkin, (Ed.), Proceedings of the Tarski Symposium (pp. 411–435). American Mathematical Society.

  • Tarski, A. (1983). On some fundamental concepts of metamathematics. In J. Corcoran (Ed.), Logic, semantics, metamathematics: Papers from 1923 to 1938 (2nd ed., pp. 30–37). Indianapolis: Hackett Publishing Company.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Tor Sandqvist.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sandqvist, T. Acceptance, inference, and the multiple-conclusion sequent. Synthese 187, 913–924 (2012). https://doi.org/10.1007/s11229-011-9909-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-011-9909-5

Keywords

Navigation