语言的逻辑分析联合创作 · 2023-09-26 07:30本书的初版包含了预设逻辑、关于集合名词和非标准量词的逻辑、模糊逻辑等内容,而在第二版版中麦考莱又对其进行了更新与扩充,包括增添了条件句的逻辑的预料、类型理论的语言学运用、古波塔的等值原则的研究,以及用广义量词的方法对限定词的逻辑性质加以探讨。浏览 6点赞 评论 收藏 分享 手机扫一扫分享 编辑 分享 举报 评论图片表情视频评价全部评论推荐 语言的逻辑分析语言的逻辑分析0语言逻辑分析语言逻辑分析0语言的逻辑句法语言的逻辑句法0语言的逻辑句法《语言的逻辑句法》是卡尔纳普最重要的哲学著作,它系统阐述了卡尔纳普成熟期的基本哲学思想。该书德文版,语言、真理与逻辑语言、真理与逻辑0Logica逻辑编辑语言Logica,一种新的开源逻辑编程语言。Logica是Yedalog(Google早期开发的一种语言)的继承者,是一种类似于Datalog的逻辑编程语言。其代码会编译成SQL,并在GoogleBigQMycroft分布式逻辑语言什么是Mycroft?Mycroft是一种逻辑语言,其语法类似于PROLOG。此外,它还支持透明的分布式计算和复合真值。为什么不只使用PROLOG?部分出于历史原因,PROLOG相当慢(与其他语言针对语言、真理与逻辑艾耶尔,英国著名哲学家,牛津大学逻辑教授,维也纳小组成员,逻辑实证主义代表之一。本书为艾耶尔的成名作Mycroft分布式逻辑语言什么是Mycroft?Mycroft是一种逻辑语言,其语法类似于PROLOG。此外,它还支持透明的分语言、真理与逻辑语言、真理与逻辑0点赞 评论 收藏 分享 手机扫一扫分享 编辑 分享 举报