范畴语法和形式语义学

基础概念 ( 全部 )

2016-03-28 17:09:17
Barbara H. Partee是美国著名形式语义学专家,早年师从乔姆斯基学习生成语法,后转入形式语义学的研究。 这篇访谈,发表在《当代语言学》第 9卷 2007年第 2期,被我转载在《现代形式语法理论》小站。访谈内容主要焦距在蒙太古语法和形式语义学的一些基本问题。很适合初学或者对语义学感兴趣的读者。下面是这篇访谈的链接: ......
2016-03-26 14:16:00
春节前后,在《现代形式语法理论》小站发表了几篇逻辑学和语义学关系的小文,在本站今后的读书笔记中可能也会引用。因此转载如下: 语义学漫谈 再聊语义学 逻辑学是如何研究语义的 三聊语义学——语义学到底是什么(一)? 三聊语义学——语义学到底是什么(二)? 三聊语义学——语义学到底是什么(三)? 三聊语义学——......
2016-03-02 05:40:56
Johan van Benthem
约翰•范本特姆(Johan van Benthem)教授是当今最著名的逻辑学家之一,他的学术研究涉及模态逻辑、语言逻辑以及逻辑哲学等领域。从1970年代到现在,他撰写了6部专著和约300篇学术论文,主编了4部具有权威性的逻辑手册,其影响从学术界对他的著作的引用程度可见一斑。由荷兰阿姆斯特丹大学资助,2006年10月开始启动的“逻......
2015-02-27 09:06:41
与亚里士多德的基于世界本体的范畴体系不同,伊曼努尔·康德并不认为人类对隐藏在表面或者现象之后的事物本身有分类的能力。康德认为,所谓【范畴】只不过是将我们的概念模式进行整理而已;我们可以发现一些基本范畴,这些范畴左右着人类对世界理解,而正是这些范畴成为我们认识现象的基础。只有当这些范畴本质上是心智的、...... (4回应)
2015-02-26 17:24:56
1. 亚里士多德的实在论体系 亚里士多德的范畴论体系集中体现在其著作《范畴论》中。他在这部著作中,提出了10大范畴作为最基本的、原子范畴。亚里士多德不认为存在一个唯一的至高无上的总括性范畴,然后由这个范畴派生其它范畴。相反,亚里士多德认为同时有10个范畴,它们是世界存在的最基本形式: • 实体(例如:人、马......
2015-02-26 07:58:11
【范畴:category】是哲学、语言学、认知科学、人工智能和逻辑学常用的概念之一,但是对同一概念,每个学科、甚至同一学科的不同学派之间其定义却不尽相同。本文的目的是通过对【范畴】这一概念的介绍,向关心逻辑和自然语言语义问题的读者引入【范畴语法】的初步知识和基本概念,以作为本栏目将来介绍更深入内容的铺垫。不...... (1回应)

GAMUT系列(二) ( 全部 )

2020-04-02 07:05:36
语境集的可及性
从本篇笔记开始,我们话题将集中在一个话题:可能世界的语义学。不过在开始之前,先看一下我们的出行路线: 内涵操作符:O (Operator) 情态操作符:「可能」、「必然」 内涵命题逻辑中确定真值的模型 模态(本笔记称作情态)命题逻辑 时态命题逻辑 模态时态命题逻辑 一、内涵操作符 首先,再一次确认这里「内涵」的意义。正......
2017-12-26 11:44:45
在展开这个话题之前,我先问你一个问题:你觉得3 x 4 = 4 x 3这个等式对吗?如果你对我没有任何“防范”,脱口而出的应当是:当然对啊,这是一条数学真理。如果你是个疑心很重的人被突然问到这样一个简单的问题,可能会怀疑,怀疑这个问题是否会埋藏着什么陷阱,回答可能就会“慎重”一些,你可能会说“对是对,不过我想知...... (3回应)
2017-01-19 17:36:30
内涵和外延这两个术语是哲学概念,用来表示对“概念”的定义,或者可以理解为词语的语义。这两个概念同时又是数学术语,在集合论中表示集合或者类的某些性质。用最直观、最浅显的语言,内涵就是对概念的定义,而外延就是用例子说明概念。例如,对“命题”这个概念,它的内涵就是:一个直陈肯定句的语义解释;而外延就是“1+...... (1回应)
2016-02-17 12:29:16
开场白: 1. 这是一本什么样的书 Gamut的这套教科书本质上是逻辑语法,确切地说是类型逻辑语法的入门教科书。类型逻辑语法的中心是语义学,但是理论的基本框架是句法——范畴语法,一种发源于哲学逻辑的自然语言句法。而其语义学核心则是Montague在上个世纪70年代发展出来的基于内涵逻辑和类型论的自然语言语义论。这门学科...... (1回应)
2015-10-24 15:48:34
这里是本书在豆瓣的链接。 本书的基本内容包括三个知识点: 1. 内涵逻辑和模态逻辑 2. 类型论 3. 蒙太古语法 这三个知识点都需要以一阶逻辑作为基础,同时也是对一阶标准逻辑的扩展。从本篇笔记开始,我们将系统介绍这三个知识点,具体展开就是以下的内容: 第一章介绍内涵逻辑的产生背景,内容包括谓词逻辑语义学的局限......

书籍介绍

话题作者回应更新时间
《Semantics:A Reader》 来自 赛义甫 2016-05-30 14:53

【逻辑与语义学】的留言板 ( 全部4条 )

fzblogic
fzblogic: 请问证明论(元数学)承认哪些公理与推理方法? 比如命题演算系统中的演绎定理,其证明用到了二难推理与数学归纳法,演绎定理证明的依据是什么? 一阶逻辑与ZF的关系?谢谢各位老师 03-21 21:03
 
fzblogic
fzblogic: 请问证明论(元数学)承认哪些公理与推理方法? 比如命题演算系统中的演绎定理,其证明用到了二难推理与数学归纳法,演绎定理证明的依据是什么? 一阶逻辑与ZF的关系?谢谢各位老师 03-21 21:03
 
fzblogic
fzblogic: 请问证明论(元数学)承认哪些公理与推理方法? 比如命题演算系统中的演绎定理,其证明用到了二难推理与数学归纳法,演绎定理证明的依据是什么? 一阶逻辑与ZF的关系?谢谢各位老师 03-21 21:02
 
fzblogic
fzblogic: 请问证明论(元数学)承认哪些公理与推理方法? 比如命题演算系统中的演绎定理,其证明用到了二难推理与数学归纳法,演绎定理证明的依据是什么? 一阶逻辑与ZF的关系?谢谢各位老师 03-21 21:02
 
>
逻辑
逻辑学是哲学、数学、语言学和计算机科学的基础。本站将为所有同好提供一个展示、介绍各种逻辑知识以及语义论和相关逻辑语法的平台。欢迎豆友关注。

关注该小站的成员 ( 5175 )

  • July
  • 砭
  • 缉熙
  • 千年古物
  • error
  • burnout
  • 少年与他的庭院
  • Spank

关注该小站的成员也关注