Logica Universalis

, Volume 11, Issue 4, pp 409–419 | Cite as

Expressivist Perspective on Logicality

  • Pavel ArazimEmail author


Various attempts at demarcating logic were undertaken, many of them based on specific understanding of how logical knowledge is formal and not material. MacFarlane has persuasively shown that general idea of formality of logic can be understood in various ways. I take two of the accounts of formality, namely the requirement of conservativity and the requirement of schematicity of logical vocabulary, into consideration as promising candidates to make the all too unclear notion of formality more precise and study to what degree they could be considered as either necessary or sufficient conditions for logicality of some piece of vocabulary. Finding both notion unsatisfactory, as they stand, I propose combining them and envisage a hierarchy of logicality of expressions of a given language. Such a hierarchy is complicated and not linear, yet still offers a valuable explication of both the range and pragmatic significance of logic, if we combine it with logical expressivism.


Logical constant expressivism topic-neutrality proof-theory conservativity 

Mathematics Subject Classification

Primary 03A05 Secondary 03A10 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Belnap, N.: Tonk, Plonk and Plink’. Analysis 22, 130–134 (1962)CrossRefGoogle Scholar
  2. 2.
    Brandom, R.: Making it Explicit. Harvard University Press, Cambridge (1994)Google Scholar
  3. 3.
    Brandom, R.: Articulating Reasons. Harvard University Press, Cambridge (2000)Google Scholar
  4. 4.
    Brandom, R.: Between Saying and Doing: Towards an Analytic Pragmatism. Oxford University Press, Oxford (2008)CrossRefGoogle Scholar
  5. 5.
    Cook, R.T.: Let a thousand flowers bloom: a tour of logical pluralism. Philos. Compass 5(6), 492–504 (2010)CrossRefGoogle Scholar
  6. 6.
    Došen, K.: Logical constants as punctuation marks. Notre Dame J. Form. Log. 30, 362–381 (1989)CrossRefzbMATHMathSciNetGoogle Scholar
  7. 7.
    Dummett, M.: The Logical Basis of Metaphysics. Duckworth, London (1991)Google Scholar
  8. 8.
    Hacking, I.: What is logic? J. Philos. 76, 285–319 (1979)CrossRefzbMATHGoogle Scholar
  9. 9.
    MacFarlane, J. (2000). What does it mean to say that logic is formal? Dissertation, University of PittsburghGoogle Scholar
  10. 10.
    Peregrin, J.: What is the logic of inference? Stud. Log. 88, 263–294 (2008)CrossRefzbMATHMathSciNetGoogle Scholar
  11. 11.
    Peregrin, J.: Inferentialism: Why Rules Matter. Palgrave Macmillan, Basingstoke (2014)CrossRefGoogle Scholar
  12. 12.
    Prior, A.: The runabout inference ticket. Analysis 21, 38–39 (1960)CrossRefGoogle Scholar
  13. 13.
    Sher, G.: The Bounds of Logic: A Generalized Viewpoint. MIT Press, Cambridge (1991)zbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Department of Logic, Institute of PhilosophyCzech Academy of SciencesPragueCzechia

Personalised recommendations