Affiliation:
1. Department of Philosophy University of Birmingham Edgbaston Birmingham B15 2TT UK
2. University of Oslo Postboks 1020 Blindern 0315, Oslo NORWAY
Abstract
AbstractQuine 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.
Publisher
Oxford University Press (OUP)
Reference50 articles.
1. ‘A Case for Higher-Order Metaphysics’.;Bacon
2. ‘Morita Equivalence’;Barrett;Review of Symbolic Logic,2016
3. ‘Quine’s Conjecture on Many-Sorted Logic’;Synthese,2017
4. ‘To Be Is to Be a Value of a Variable (or to Be Some Values of Some Variables)’;Boolos;Journal of Philosophy,1984