Abstract
Intra-theoretical logical pluralism is a form of meaning-invariant pluralism about logic, articulated recently by Hjortland (Australas J Philos 91(2):355–373, 2013). This version of pluralism relies on it being possible to define several distinct notions of provability relative to the same logical calculus. The present paper picks up and explores this theme: How can a single logical calculus express several different consequence relations? The main hypothesis articulated here is that the divide between the internal and external consequence relations in Gentzen systems generates a form of intra-theoretical logical pluralism.
Similar content being viewed by others
Change history
20 December 2019
In the original publication of the article, in Definition 4, the sixth line which reads as
Notes
This is in contradistinction with what we may call historical pluralism, i.e., a range of views expressed or suggested by philosophers like Tarski (2002), Carnap (1959) or Quine (1970), which are quite naturally interpreted as requiring meaning variance in order to obtain a plurality of consequence relations.
The contexts are, roughly, the collections of parametrised formula occurrences in a rule application, i.e., those occurrences that are neither used nor produced by an application of the rule. As per usual, Roman capitals from the beginning of the alphabet range over formulae, while those from the end of the alphabet range over sets of formulae and, in the schematic formulation of the rules, over contexts (which need not be sets).
To keep things simple, we will look at sequent calculi simpliciter; the observations to follow generalise to other types of Gentzen systems.
For more on the relation between the various internal crs that can be associated with a calculus, see Avron (1991).
The observations to follow are formulated without disambiguating the symbol \(\vdash ^{i}_{ \mathrm {LK}}\) according to whether it is the single- or the multiple-conclusion relation that is under discussion because, by and large, the differences do not matter. Besides, such disambiguation is trivial.
Weakening on the right is restricted in the single-conclusion case, so it is only the multiple-conclusion relation that is fully monotonic on the right.
This is not to say that classical logic itself has some special dignity, for the same kind of cr can be encountered in the case of other logics, such as, for instance, intuitionist logic. It’s just that it is the most familiar cr that fits the bill.
Logicalcrs are usually required to be substitution invariant. I have bracketed this feature in the definition because it will play no role subsequently.
The parentheses around the sequents with empty antecedents are added in order to facilitate readability.
The reader can find a considered defence of them in Mares and Paoli (2014).
Of course, this distinction would have to be generated by something other than context-differences in the formulation of the rules. Otherwise, there would no progress over Restall’s version of pluralism.
It is unclear to me whether Hjortland actually made this connection. But this is the easiest way to reconcile the views he expressed in Hjortland (2013, 2014). Incidentally, it’s worth mentioning that the initial impetus for considering external crs was precisely an attempt to defuse the ‘meta-Quinean objection’, cf. Paoli (2014) and also Dicher and Paoli (forthcoming a).
Whether this really is the case is a contentious matter. But I have no reasons to go into this matter here. An argument against \(\mathrm {ST}\)’s alleged classicality, recently proposed in Dicher and Paoli (forthcoming b), will be briefly mentioned below.
Notice, however, that as long as the truth rules are not in the picture, Cut is perfectly safe, cf. Ripley (2012).
A more precise name would be metainferences of level one, cf. Barrio et al. (2018).
This is in contradistinction to the definition of metainferential validity in Cobreros et al. (2013), on which a metainference is valid iff if every valuation satisfies the premises, the conclusion is likewise satisfied. This ‘global’ notion of metainferential validity is too weak to be of much interest: any metainference whose premises are not logically valid will be valid.
Even model-theoretically, we have it that the connectives of these two logics are given via the same truth functions.
Depending on how one construes sameness of process, this putative objection may be used against internal/external pluralism even in the guise discussed in the previous section.
By abusive use of the power of baptism, these calculi had names based on ‘\(\mathrm {LK}\)’ in Dicher and Paoli (forthcoming b).
References
Anderson, A. R., & Belnap, N. D. (1975). Entailment: The logic of relevance and necessity (Vol. 1). Princeton: Princeton University Press.
Asmus, C., & Restall, G. (2012). A history of consequence relations. In D. M. Gabbay, F. J. Pelletier, & J. Woods (Eds.), Handbook of the history of logic (Vol. 11, pp. 11–61). New York: Elsevier.
Avron, A. (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57, 161–184.
Avron, A. (1991). Simple consequence relations. Information and Computation, 92, 105–139.
Barrio, E. A., Rosenblatt, L., & Tajer, D. (2015). The logics of strict-tolerant logic. Journal of Philosophical Logic, 44, 551–571.
Barrio, E. A., Pailos, F., & Szmuc, D. (2018). Hierarchies of classical and paraconsistent logics (unpublished manuscript).
Beall, J. C., & Restall, G. (2000). Logical pluralism. Australasian Journal of Philosophy, 78, 475–493.
Beall, J. C., & Restall, G. (2006). Logical pluralism. Oxford: Oxford University Press.
Blok, W. J., & Jónsson, B. (2006). Equivalence of consequence operations. Studia Logica, 83, 91–110.
Carnap, R. (1959). The logical syntax of language. Littlefield: Adams and Co.
Cobreros, P., Egré, P., Ripley, D., & van Rooij, R. (2013). Reaching transparent truth. Mind, 122, 841–866.
Cook, R. T. (2010). Let a thousand flowers bloom: A tour of logical pluralism. Philosophy Compass, 5, 492–504.
Dicher, B. (2016). A proof-theoretic defence of meaning-invariant logical pluralism. Mind, 125, 727–757.
Dicher, B., & Paoli, F. (forthcoming a). The original sin of proof-theoretic semantics. Synthese.
Dicher, B., & Paoli, F. (forthcoming b). ST, LP and tolerant metainferences. In: Başkent, C., & Ferguson, T. (eds.). Graham Priest on Dialetheism and Paraconsistency, Outstanding Contributions to Logic Series, Springer.
Dummett, M. (1991). The logical basis of metaphysics. London: Duckworth.
French, R. (2016). Structural reflexivity and the paradoxes of self-reference. Ergo An Open Access Journal of Philosophy 3.
Haack, S. (1996). Deviant logic, fuzzy logic: Beyond the formalism. Cambridge: Cambridge University Press.
Hacking, I. (1979). What is logic? The Journal of Philosophy, 76, 285–319.
Hjortland, O. (2014). Verbal disputes in logic: Against minimalism for logical connectives. Logique et Analyse, 57, 463–486.
Hjortland, O. T. (2013). Logical pluralism, meaning-variance, and verbal disputes. Australasian Journal of Philosophy, 91, 355–373.
Kleene, S. C. (1952). Introduction to metamathematics. Amsterdam: North-Holland.
Mares, E., & Paoli, F. (2014). Logical consequence and the paradoxes. Journal of Philosophical Logic, 43, 439–469.
Negri, S., & von Plato, J. (2001). Structural proof theory. Cambridge: Cambridge University Press.
Paoli, F. (2002). Substructural logics: A primer. Berlin: Springer.
Paoli, F. (2014). Semantic minimalism for the logical constants. Logique et analyse, 57, 439–461.
Prawitz, D. (1965). Natural deduction: A proof theoretical study. Stockholm: Almqvist and Wiksell.
Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8, 219–241.
Pynko, A. P. (1995). On Priest’s logic of paradox. Journal of Applied Non-Classical Logics, 5, 219–225.
Quine, Wv. (1970). Philosophy of logic. Englewood Cliffs, NJ: Prentice-Hall.
Restall, G. (2000). An introduction to substructural logics. London: Routledge.
Restall, G. (2002). Carnap’s tolerance, meaning and logical pluralism. The Journal of Philosophy, 99, 426–443.
Restall, G. (2005). Multiple conclusions. In Hájek, P., Valdés-Villanueva, L., & Westerståhl, D. (eds.). Logic, methodology and philosophy of science: Proceedings of the twelfth international congress (pp. 189–205). KCL Publications.
Restall, G. (2014). Pluralism and proofs. Erkenntnis, 79, 279–291.
Ripley, D. (2012). Conservatively extending classical logic with transparent truth. The Review of Symbolic Logic, 5, 354–378.
Ripley, D. (2013). Paradoxes and failures of cut. Australasian Journal of Philosophy, 91, 139–164.
Russell, G. (2014). Logical pluralism. In: Zalta, E (ed), Stanford: Stanford Encyclopedia of Philosophy, Stanford.
Tarski, A. (1956). Logic, Semantics, metamathematics: Papers from 1923 to 1938. Oxford: Clarendon Press.
Tarski, A. (2002). On the concept of following logically. History and Philosophy of Logic, 23(3), 155–196. Originally published in 1936.
Urbas, I. (1996). Dual-intuitionistic logic. Notre Dame Journal of Formal Logic, 37, 440–451.
Acknowledgements
I am grateful to the audiences at the ALOPHIS Research Seminar (University of Cagliari), The Institute for Research in the Humanities (University of Bucharest), Triennial Conference of the Italian Society for Logic and Philosophy of Science (University of Bologna), ENFA 7: Encontro Nacional de Filosofia Analitica, 7th edition (University of Lisbon) where I have presented previous versions of this paper. I owe special thanks to Francesco Paoli for many helpful discussions on the issues broached here as well as for encouraging me to actually write this paper. At different stages, this work was supported by Regione Autonoma Sardegna within the Project CRP-78705 (L.R. 7/2007) “Metaphor and argumentation” and by the FCT – Fundação para a Ciência e a Tecnologia, Portugal, through the grant SFRH/BPD/116125/2016.
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
1.1 The n-sided calculus for \(\mathrm {K3}\) and \(\mathrm {LP}\)
The structural rules of this calculus are:
The official language of this calculus contains only conjunction, disjunction and negation. I present here only the rules for negation and conjunction (the rules for disjunction are dual to these last).
1.2 The structural rules of \(\mathrm {LK}\)
1.3 The \(\mathrm {PK}\) family of calculi
These calculi have set-based sequents, rendering explicit Contraction and Exchange rules unnecessary. They all contain Id and W. \(\mathrm {PK}\) consists these alongside Cut and the rules below that do not have the subscript i appended to their labels. \(\mathrm {PK}^{-}\) is PK minus Cut. \(\mathrm {PK^{-}_{INV}}\) is obtained by adding to \(\mathrm {PK}^{-}\) the inverses of the operational rules—those rules depicted below that have i subscripted to their label.Footnote 21
Rights and permissions
About this article
Cite this article
Dicher, B. Variations on intra-theoretical logical pluralism: internal versus external consequence. Philos Stud 177, 667–686 (2020). https://doi.org/10.1007/s11098-018-1199-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11098-018-1199-z