Skip to main content
Log in

From Natural to Formal Language: A Case for Logical Pluralism

  • Published:
Topoi Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

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

  2. Consider for instance: Hartry Field (2009), Hjortland (2013), Russell (2008).

  3. The following quote is discussed in Neale (1992), and the normativity of the Gricean maxims is defended in Saul (2002).

  4. We refer to Recanati (2003), Geurts and Pouscoulous (2009) and Geurts (2010) for an exposition and a Gricean solution, and Chemla and Spector (2011) for a semantic solution.

  5. Notice that \(\vdash\) refers to \(\vdash _{LR}\), and hence (c) expresses a relation between A and B in which B is derived from Arelevantly.

  6. “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.

  7. Similar examples on Grice (1989a).

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

  9. Similar examples on Girard (1995).

  10. Notation modified.

References

  • Beall JC, Restall G (2006) Logical pluralism. Clarendon Press, Oxford

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • Geurts B (2010) Quantity implicatures. Cambridge University Press, Cambridge

    Book  Google Scholar 

  • Geurts B, Pouscoulous N (2009) Embedded implicatures?!? Semant Pragmat 2:4-1

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Book  Google Scholar 

  • Neale S (1992) Paul grice and the philosophy of language. Linguist Philos 15(5):509–559

    Article  Google Scholar 

  • Paoli F (2002) Substructural logics: a primer. Springer, Dordrecht

    Book  Google Scholar 

  • Paoli F (2007) Implicational paradoxes and the meaning of logical constants. Aust J Philos 85(4):553–579

    Article  Google Scholar 

  • 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

    Google Scholar 

  • Recanati F (2003) Embedded implicatures. Philos Perspect 17(1):299–332

    Article  Google Scholar 

  • Rieger A (2006) A simple theory of conditionals. Analysis 66(291):233–240

    Article  Google Scholar 

  • Russell G (2008) One true logic? J Philos Logic 37(6):593–611

    Article  Google Scholar 

  • Saul JM (2002) Speaker meaning, what is said, and what is implicated. Nous 36(2):228–248

    Article  Google Scholar 

  • Strawson PF (2011) Introduction to logical theory. Routledge, London

    Google Scholar 

  • Williamson T (2014) Logic, metalogic and neutrality. Erkenntnis 79(2):211–231

    Article  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Pilar Terrés Villalonga.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11245-017-9490-8

Keywords

Navigation