VI—On Type Distinctions and Expressivity

Salvatore Florio

doi:10.1093/arisoc/aoad007

VI—On Type Distinctions and Expressivity

Salvatore Florio

Philosophy

Research output: Contribution to journal › Article › peer-review

67 Downloads (Pure)

Abstract

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.

Original language	English
Pages (from-to)	150-172
Journal	Aristotelian Society. Proceedings
Volume	123
Issue number	2
DOIs	https://doi.org/10.1093/arisoc/aoad007
Publication status	Published - 17 Jul 2023

Access to Document

10.1093/arisoc/aoad007Licence: Creative Commons: Attribution-NonCommercial (CC BY-NC)

FlorioS2023VIOnTypeFinal published version, 318 KBLicence: Creative Commons: Attribution-NonCommercial (CC BY-NC)

https://academic.oup.com/aristotelian/article/123/2/150/7221602

Cite this

@article{f979879028a145e789ba6bf7409964fc,

title = "VI—On Type Distinctions and Expressivity",

abstract = "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 = "Salvatore Florio",

year = "2023",

month = jul,

day = "17",

doi = "10.1093/arisoc/aoad007",

language = "English",

volume = "123",

pages = "150--172",

journal = "Aristotelian Society. Proceedings",

issn = "0066-7374",

publisher = "Wiley",

number = "2",

}

TY - JOUR

T1 - VI—On Type Distinctions and Expressivity

AU - Florio, Salvatore

PY - 2023/7/17

Y1 - 2023/7/17

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

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

U2 - 10.1093/arisoc/aoad007

DO - 10.1093/arisoc/aoad007

M3 - Article

SN - 0066-7374

VL - 123

SP - 150

EP - 172

JO - Aristotelian Society. Proceedings

JF - Aristotelian Society. Proceedings

IS - 2

ER -

VI—On Type Distinctions and Expressivity

Abstract

Access to Document

Fingerprint

Cite this