Back to Search Start Over

BILATERAL RULES AS COMPLEX RULES.

Authors :
Ceragioli, Leonardo
Source :
Bulletin of the Section of Logic; Sep2023, Vol. 52 Issue 3, p329-375, 47p
Publication Year :
2023

Abstract

Proof-theoretic semantics is an inferentialist theory of meaning originally developed in a unilateral framework. Its extension to bilateral systems opens both opportunities and problems. The problems are caused especially by Coordination Principles (a kind of rule that is not present in unilateral systems) and mismatches between rules for assertion and rules for rejection. In this paper, a solution is proposed for two major issues: the availability of a reduction procedure for tonk and the existence of harmonious rules for the paradoxical zero-ary connective •. The solution is based on a reinterpretation of bilateral rules as com-plex rules, that is, rules that introduce or eliminate connectives in a subordinate position. Looking at bilateral rules from this perspective, the problems faced by bilateralism can be seen as special cases of general problems of complex systems, which have been already analyzed in the literature. In the end, a comparison with other proposed solutions underlines the need for further investigation in order to complete the picture of bilateral proof-theoretic semantics. [ABSTRACT FROM AUTHOR]

Subjects

Subjects :
SEMANTICS

Details

Language :
English
ISSN :
01380680
Volume :
52
Issue :
3
Database :
Complementary Index
Journal :
Bulletin of the Section of Logic
Publication Type :
Academic Journal
Accession number :
173209365
Full Text :
https://doi.org/10.18778/0138-0680.2023.13