On Type Distinctions and Expressivity

Proceedings of the Aristotelian Society 123 (2):150-172 (2023)
  Copy   BIBTEX


Quine maintained that philosophical and scientific theorizing should be conducted in an untyped language, which has just one style of variables and quantifiers. By contrast, typed languages, such as those advocated by Frege and Russell, include multiple styles of variables and matching kinds of quantification. Which form should our theories take? In this article, I argue that expressivity does not favour typed languages over untyped ones.

Author's Profile

Salvatore Florio
University of Oslo


Added to PP

188 (#65,562)

6 months
118 (#25,280)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?