VI——论类型区分与表现力

Q1 Arts and Humanities

Proceedings of the Aristotelean Society Pub Date : 2023-07-08 DOI:10.1093/arisoc/aoad007

Salvatore Florio

{"title":"VI——论类型区分与表现力","authors":"Salvatore Florio","doi":"10.1093/arisoc/aoad007","DOIUrl":null,"url":null,"abstract":"\n 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.","PeriodicalId":35222,"journal":{"name":"Proceedings of the Aristotelean Society","volume":" ","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2023-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"VI—On Type Distinctions and Expressivity\",\"authors\":\"Salvatore Florio\",\"doi\":\"10.1093/arisoc/aoad007\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\\n 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.\",\"PeriodicalId\":35222,\"journal\":{\"name\":\"Proceedings of the Aristotelean Society\",\"volume\":\" \",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-07-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Aristotelean Society\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1093/arisoc/aoad007\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"Arts and Humanities\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Aristotelean Society","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1093/arisoc/aoad007","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Arts and Humanities","Score":null,"Total":0}

引用次数: 0

摘要

奎因坚持认为，哲学和科学理论应该用一种非类型化的语言进行，这种语言只有一种类型的变量和量词。相比之下，类型化语言，如Frege和Russell所倡导的语言，包括多种风格的变量和匹配类型的量化。我们的理论应该采取哪种形式？在这篇文章中，我认为表现力不利于类型化语言而非非非类型化语言。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

VI—On Type Distinctions and Expressivity

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the Aristotelean Society Arts and Humanities-Philosophy

CiteScore

1.10

自引率

0.00%

发文量

期刊介绍： The Proceedings of the Aristotelian Society contains the papers read at the Society"s fortnightly meetings in London throughout the academic year, and short discussion notes on these papers. Papers are drawn from an international base of contributors and discuss issues across a broad range of philosophical traditions, including those which are of greatest current interest.