Rohit Parikh on Logic, Language and Society
Rohit Parikh on Logic, Language and Society
复制标题
罗希特·帕里克论逻辑、语言和社会
DOI：
10.1007/978-3-319-47843-2_6
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Baskent C
中科院分区：
文献类型：
--
作者：
Baskent C
社交软件这个词是由Rohit Parikh在2002年提出的。社会软件可以被看作是一个研究项目，它使用逻辑和计算机科学中的工具来研究社会程序的构建和验证。然而，据我所知，社交软件并没有从非经典逻辑的角度来考虑。在本文中，我认为非经典的逻辑方法可以丰富，扩大和支持社会软件的议程。
The termsocial softwarewas coined by Rohit Parikh in 2002. Social software can be viewed as a research program which studies the construction and verification of social procedures by using tools in logic and computer science. However, to the best of my knowledge, social software has not been considered from a non-classical logical perspective. In this paper, I argue how non-classical logical approaches can enrich, broaden and support the agenda of social software.