Citations of:
Some Comments on Ian Rumfitt’s Bilateralism
Journal of Philosophical Logic 45 (6):623644 (2016)
Add citations
You must login to add citations.


In this paper it is suggested to generalize our understanding of general (structural) proof theory and to consider it as a general theory of two kinds of derivations, namely proofs and dual proofs. The proposal is substantiated by (i) considerations on assertion, denial, and bilateralism, (ii) remarks on compositionality in prooftheoretic semantics, and (iii) comments on falsification and coimplication. The main formal result of the paper is a normal form theorem for the natural deduction proof system N2Int of the biintuitionistic (...) 

In this short paper I note that a key metatheorem does not hold for the bilateralist inferential framework: harmony does not entail consistency. I conclude that the requirement of harmony will not suffice for a bilateralist to maintain a proof theoretic account of classical logic. I conclude that a proof theoretic account of meaning based on the bilateralist framework has no natural way of distinguishing legitimate definitional inference rules from illegitimate ones (such as those for tonk). Finally, as an appendix (...) 