Abstract
The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between (positive) introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: (i) negative introduction and elimination rules, and (ii) positive and negative introduction rules. The paper suggests a proof-theoretical definition of duality (not referring to truthtables), using which double harmony is defined. The paper proves that in a doubly-harmonious system, the coordination rule, typical to bilateral systems, is admissible.
This is a preview of subscription content, log in via an institution to check access.
References
Davies, R., & Pfenning, F. (2001). A modal analysis of staged computation. Journal of the ACM, 48(3), 555–604.
Dummett, M. (1991). The logical basis of metaphysics. Cambridge, MA: Harvard University Press.
Francez, N., & Ben-Avi, G. (2011). Proof-theoretic semantic values for logical operators. Review of Symbolic Logic, 4(3), 337–485.
Francez, N., & Dyckhoff, R. (2010). Proof-theoretic semantics for a natural language fragment. Linguistics and Philosophy, 33(6), 447–477.
Francez, N., & Dyckhoff, R. (2012). A note on harmony. Journal of Philosophical Logic, 41(3), 613–628.
Hjortland, O.T. (2009). The structure of logical consequence: proof-theoretic conceptions. PhD thesis, University of St Andrews.
Humberstone, L. (2000). The revival of rejective negation. Journal of Philosophical Logic, 29(4), 331–381.
Incurvati, L., & Smith, P. (2010). Rejection and valuations. Analysis, 70(1), 3–10.
Incurvati, L., & Smith, P. (2012). Is ‘no’ a force-indicator? Sometimes, possibly. Analysis, 72(2), 225–231.
Moortgat, M. (1997). Categorial type logics. In J. van Benthem, & A. ter Meulen (Eds.), Handbook of logic and language (pp. 93–178). North Holland.
Negri, S. (2002). A normalizing system of natural deduction for intuitionistic linear logic. Archive for Mathematical Logic, 41, 789–810.
Pfenning, F., & Davies, R. (2001). A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11, 511–540.
Prawitz, D. (1965). Natural deduction: A proof-theoretical study. Stockholm: Almqvist and Wicksell. Soft cover edition by Dover, 2006.
Prior, A.N. (1960). The runabout inference-ticket. Analysis, 21, 38–39.
Restall, G. (2005). Multiple conclusions. In In 12th international congress on logic, methodology and philosophy of science (pp. 189–205).
Restall, G. (2008). Assertion, denial and non-classical theories. In In proceedings of the fourth world congress of paraconsistency, Melbourne.
Rumfitt, I. (2000). ‘yes’ and ‘no’. Mind, 169(436), 781–823.
Rumfitt, I. (2008). Co-ordination principles: a reply. Mind, 117(468), 1059–1063.
Schroeder-Heister, P. (1984). A natural extension of natural deduction. Journal of Symbolic Logic, 49, 1284–1300.
Tranchini, L. (2010). Refutations: a proof-theoretic account In C. Marletti (Ed.), First Pisa colloquium on logic, language and epistemology (pp. 133–150). Pisa: ETS.
von Plato, J. (2001). Natural deduction with general elimination rules. Archive for Mathematical Logic, 40, 541–567.
Wieckowski, B. (2011). Rules for subatomic derivation. Review of Symbolic Logic, 4(2), 219–236.
Author information
Authors and Affiliations
Corresponding author
About this article
Cite this article
Francez, N. Bilateralism in Proof-Theoretic Semantics. J Philos Logic 43, 239–259 (2014). https://doi.org/10.1007/s10992-012-9261-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-012-9261-3