Abstract
I argue for a version of logical pluralism based on the plurality of legitimate formalizations of the logical vocabulary. In particular, I argue that the apparent rivalry between classical and relevant logic can be resolved, given that both logics capture and formalize normative and legitimate senses of logical consequence: classical logic encodes “follows from” as truth preservation and captures the truth conditions of the logical constants, while relevant logic encodes a notion of “follows from” which, apart from preserving truth, avoids the violation of certain Gricean maxims and captures a different inferential role for the same logical constants, enriching their meaning pragmatically.
Similar content being viewed by others
Notes
For simplification I will use \(\vdash\) both for \(\vdash _{LK}\) and \(\vdash _{LR}\) in those cases in which the rest of the symbols help to disambiguate.
Notice that \(\vdash\) refers to \(\vdash _{LR}\), and hence (c) expresses a relation between A and B in which B is derived from Arelevantly.
“Dutchman conditional” refers to those expressions in which the consequent is clearly false (“pigs can fly”, “I am a Dutchman”) to imply that the antecedent is false too, but in which there is no connection between them.
Similar examples on Grice (1989a).
One might think of cases in which one seems to be legitimized to use MP with a conditional asserted on grounds of (a), (b). For instance, if someone asserts 12 and another player discovers that the speaker has a black card, she will correctly derive that she also has a red card—and there seems to be nothing wrong with it. We will come back to this in Sect. 4.
Similar examples on Girard (1995).
Notation modified.
References
Beall JC, Restall G (2006) Logical pluralism. Clarendon Press, Oxford
Beall JC, Restall G (2009) Logical consequence. In: Zalta EN (ed) The Stanford encyclopedia of philosophy, Fall 2009 edn
Burgess JP et al (1984) Read on relevance: a rejoinder. Notre Dame J Form Logic 25(3):217–223
Chemla E, Spector B (2011) Experimental evidence for embedded scalar implicatures. J Semant. doi: 10.1093/jos/ffq023
Field H (2009) Pluralism in logic. Rev Symb Logic 2(2):342–359
Geurts B (2010) Quantity implicatures. Cambridge University Press, Cambridge
Geurts B, Pouscoulous N (2009) Embedded implicatures?!? Semant Pragmat 2:4-1
Girard J-Y (1995) Linear logic: its syntax and semantics. London Mathematical Society Lecture Note Series, pp 1–42
Grice HP (1989) Indicative conditionals. In: Studies in the way of words. Harvard University Press, Cambridge, pp 58–85
Grice HP (1989) Logic and conversation. In: Studies in the way of words. Harvard University Press, Cambridge, pp 22–40
Hjortland OT (2013) Logical pluralism, meaning-variance, and verbaldisputes. Aust J Philos 91(2):355–373
Horn L (1984) Toward a new taxonomy for pragmatic inference: Q-based and r-based implicature. In: Meaning, form, and use in context: linguistic applications. Georgetown University Press, Washington, D.C., pp 11–42
Humberstone L (2011) The connectives. MIT Press, Cambridge
Neale S (1992) Paul grice and the philosophy of language. Linguist Philos 15(5):509–559
Paoli F (2002) Substructural logics: a primer. Springer, Dordrecht
Paoli F (2007) Implicational paradoxes and the meaning of logical constants. Aust J Philos 85(4):553–579
Pérez-Otero M (2001) Aproximació a la filosofia del llenguatge, vol 52. Edicions Universitat Barcelona
Read S (1988) Relevant logic: a philosophical examination of inference. Basil Blackwell Oxford, Oxford
Recanati F (2003) Embedded implicatures. Philos Perspect 17(1):299–332
Rieger A (2006) A simple theory of conditionals. Analysis 66(291):233–240
Russell G (2008) One true logic? J Philos Logic 37(6):593–611
Saul JM (2002) Speaker meaning, what is said, and what is implicated. Nous 36(2):228–248
Strawson PF (2011) Introduction to logical theory. Routledge, London
Williamson T (2014) Logic, metalogic and neutrality. Erkenntnis 79(2):211–231
Acknowledgements
Earlier versions of this paper were presented at the Pluralism Workshop 2: Pluralism and Normativity (Cogito Research Centre, University of Bologna) and at the Pluralism Week (Veritas Research Center, Yonsei University). I would like to thank the audiences of both workshops for their comments and discussions. Special thanks to José Martínez, who carefully read different versions of this paper, making helpful comments and corrections, to Ole Hjortland for providing valuable comments on an earlier draft of the manuscript, to Josep Macià, Genoveva Martí, Francesco Paoli and Elia Zardini for helpful discussions on its content, and to two anonymous reviewers of this journal for their remarks and suggestions. This work was supported by the project FFI2015-70707P of the Spanish Ministry de Economy and Competitiveness on Localism and Globalism in Logic and Semantics, and by the grant BES 2012-056627 of the Spanish Ministry de Economy and Competitiveness.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Terrés Villalonga, P. From Natural to Formal Language: A Case for Logical Pluralism. Topoi 38, 333–345 (2019). https://doi.org/10.1007/s11245-017-9490-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11245-017-9490-8