In this paper I offer a proof-theoretic defence of meaning-invariant logical pluralism. I argue that there is a relation of co-determination between the operational and structural aspects of a logic. As a result, some features of the consequence relation are induced by the connectives. I propose that a connective is defined by those rules which are conservative and unique, while at the same time expressing only connective-induced structural information. This is the key to stabilizing the meaning of the connectives across multiple determinations of the consequence relation.
机构:
University of Leipzig, Institute of Logic and Philosophy of Science, 04109 LeipzigUniversity of Leipzig, Institute of Logic and Philosophy of Science, 04109 Leipzig
机构:
Centre for Research in Computing, Open University, Walton Hall, Milton KeynesCentre for Research in Computing, Open University, Walton Hall, Milton Keynes