Kurbis, N; (2021) Normalisation for Classical Bilateral Logic with some Philosophical Remarks. Journal of Applied Logics - IfCoLog Journal , 8 (2) pp. 531-556.

Preview

Text KurbisBilateralTonkJAL.pdf - Published Version Download (1MB) | Preview

Abstract

Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives compara- ble to Prior’s tonk, for which, unlike for tonk, there are reduction steps for the removal of maximal formulas arising from introducing and elimi- nating formulas with those connectives as main operators. Adding either of them to bilateral classical logic results in an incoherent system. One way around this problem is to count formulas as maximal that are the conclusion of reductio and major premise of an elimination rule and to require their removability from deductions. The main part of the paper consists in a proof of a normalisation theorem for bilateral logic. The clos- ing sections address philosophical concerns whether the proof provides a satisfactory solution to the problem at hand and confronts bilateralists with the dilemma that a bilateral notion of stability sits uneasily with the core bilateral thesis.

Download activity - last month

Export as XMLJSONCSV

Download activity - last 12 months

Export as XMLJSONCSV

Downloads by country - last 12 months

Export as JSONXMLCSV

Archive Staff Only

View Item