We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Single-Assumption Systems in Proof-Theoretic Semantics.
- Authors
Ceragioli, Leonardo
- Abstract
Proof-theoretic semantics is an inferentialist theory of meaning, usually developed in a multiple-assumption and single-conclusion framework. In that framework, this theory seems unable to justify classical logic, so some authors have proposed a multiple-conclusion reformulation to accomplish this goal. In the first part of this paper, the debate originated by this proposal is briefly exposed and used to defend the diverging opinion that proof-theoretic semantics should always endorse a single-assumption and single-conclusion framework. In order to adopt this approach some of its criteria of validity, especially separability, need to be weakened. This choice is evaluated and defended. The main argument in this direction is based on the circular dependences of meaning between multiple assumptions and conjunctions, and between multiple conclusions and disjunctions. In the second part of this paper, some systems that suit the new requirements are proposed for both intuitionistic and classical logic. A proof that they are valid, according to the weakened criteria, is sketched.
- Subjects
SEMANTICS; POLYSEMY
- Publication
Journal of Philosophical Logic, 2022, Vol 51, Issue 5, p1019
- ISSN
0022-3611
- Publication type
Article
- DOI
10.1007/s10992-022-09658-4