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.
Similar content being viewed by others
References
Caroll L. (1895) What the Tortoise said to Achilles. Mind 4: 278–280
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.
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
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
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.
Author information
Authors and Affiliations
Corresponding author
Rights 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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-011-9909-5