A proof-theoretic defence of meaning-invariant logical pluralism

• Autores: Bogdan Dicher
• Localización: Mind, ISSN-e 1460-2113, Vol. 125, Nº. 499, 2016, págs. 727-757
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.