通过范畴论从语言学到道义逻辑

IF 0.3 3区哲学 Q1 Arts and Humanities

Logique et Analyse Pub Date : 2016-01-01 DOI:10.2143/LEA.235.0.3170112

Clayton Peterson

{"title":"通过范畴论从语言学到道义逻辑","authors":"Clayton Peterson","doi":"10.2143/LEA.235.0.3170112","DOIUrl":null,"url":null,"abstract":"The present paper aims to bridge the gap between deontic logic, categorial grammar and category theory. We propose to analyze Forrester's (1984) paradox through the framework of Lambek's (1958) syntactic calculus. We first recall the definition of the syntactic calculus and then explain how Lambek (1988) defines it within the framework of category theory. Then, we briefly present Forrester's paradox in conjunction with standard deontic logic, showing that this paradox contains some features that reflect many problems within the literature. Finally, we analyze Forrester's paradox within the framework of the syntactic calculus and we show how a typed syntax can provide conceptual insight regarding some of the problems that deontic logic faces.","PeriodicalId":46471,"journal":{"name":"Logique et Analyse","volume":"1 1","pages":"301-315"},"PeriodicalIF":0.3000,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"From linguistics to deontic logic via category theory\",\"authors\":\"Clayton Peterson\",\"doi\":\"10.2143/LEA.235.0.3170112\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The present paper aims to bridge the gap between deontic logic, categorial grammar and category theory. We propose to analyze Forrester's (1984) paradox through the framework of Lambek's (1958) syntactic calculus. We first recall the definition of the syntactic calculus and then explain how Lambek (1988) defines it within the framework of category theory. Then, we briefly present Forrester's paradox in conjunction with standard deontic logic, showing that this paradox contains some features that reflect many problems within the literature. Finally, we analyze Forrester's paradox within the framework of the syntactic calculus and we show how a typed syntax can provide conceptual insight regarding some of the problems that deontic logic faces.\",\"PeriodicalId\":46471,\"journal\":{\"name\":\"Logique et Analyse\",\"volume\":\"1 1\",\"pages\":\"301-315\"},\"PeriodicalIF\":0.3000,\"publicationDate\":\"2016-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Logique et Analyse\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.2143/LEA.235.0.3170112\",\"RegionNum\":3,\"RegionCategory\":\"哲学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"Arts and Humanities\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logique et Analyse","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.2143/LEA.235.0.3170112","RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Arts and Humanities","Score":null,"Total":0}

引用次数: 2

摘要

本文旨在弥合道义逻辑、范畴语法和范畴论之间的鸿沟。我们建议通过Lambek(1958)句法演算的框架来分析Forrester(1984)悖论。我们首先回顾句法演算的定义，然后解释Lambek(1988)如何在范畴论的框架内定义它。然后，我们简要介绍了弗雷斯特悖论与标准道义逻辑的结合，表明这一悖论包含的一些特征反映了文献中的许多问题。最后，我们在句法演算的框架内分析了福雷斯特悖论，并展示了类型语法如何为道义逻辑面临的一些问题提供概念性的见解。

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

查看原文本刊更多论文

From linguistics to deontic logic via category theory

The present paper aims to bridge the gap between deontic logic, categorial grammar and category theory. We propose to analyze Forrester's (1984) paradox through the framework of Lambek's (1958) syntactic calculus. We first recall the definition of the syntactic calculus and then explain how Lambek (1988) defines it within the framework of category theory. Then, we briefly present Forrester's paradox in conjunction with standard deontic logic, showing that this paradox contains some features that reflect many problems within the literature. Finally, we analyze Forrester's paradox within the framework of the syntactic calculus and we show how a typed syntax can provide conceptual insight regarding some of the problems that deontic logic faces.

求助全文

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

来源期刊

Logique et Analyse PHILOSOPHY-

CiteScore

0.60

自引率

0.00%

发文量

期刊介绍： Logique et Analyse is the continuation of Bulletin Intérieur, which was published from 1954 on by the Belgian National Centre for Logical Investigation, and intended originally only as an internal publication of results for its members and collaborators. Since the start of the new series, in 1958, however, the journal has been open to external submissions (and subscriptions). Logique et Analyse itself subscribes to no particular logical or philosophical doctrine, and so is open to articles from all points of view, provided only that they concern the designated subject matter of the journal.