小不点搜索
登录
逻辑语言与意义
收藏
举报
哈姆特《
逻
辑
、
语
言
与
意
义
》-1-目录,前
言
,导读
影音视频
www.bilibili.com 2021-12-27 10:45
逻
辑
哲学论——讲述七个核心命题来解答
逻
辑
哲学这一问题!
影音视频
www.ixigua.com 2021-5-9 12:52
逻
辑
学的性质和作用
影音视频
haokan.baidu.com 2022-9-3 23:06
哈姆特《
逻
辑
语
言
与
意
义
》-3-第一章绪论:1.2
逻
辑
与
意
义
:后承关系,佛雷格
意
义
组合关系;
语
义
研究;肯定句是传统;非肯定句也可以
影音视频
www.bilibili.com 2022-5-29 21:38
干货详解金手指的设定
逻
辑
和
意
义
——宝剑网文教程#2
影音视频
www.bilibili.com 2022-5-17 22:52
简单
逻
辑
学4.2:明白
语
言
对沟通影响的底层
逻
辑
,少去上口才课吧
影音视频
haokan.baidu.com 2022-11-24 15:09
【超级干货】听不懂算我输!掌握
语
言
逻
辑
才是学好
语
言
的关键,英西中泰日,
语
言
类型分析,屈折
语
孤立
语
黏着
语
抱合
语
!
影音视频
www.bilibili.com 2021-4-30 12:08
家长看过来,想提升数学成绩?
逻
辑
思维很重要,题目含
义
要明白
影音视频
www.ixigua.com 2022-11-25 18:38
中国为什么是世界
逻
辑
学三大发源地,类推
逻
辑
和数学有什么关系?
影音视频
haokan.baidu.com 2022-8-21 15:54
【
语
言
学及应用
语
言
学】清华大学
语
言
哲学和
语
言
逻
辑
主讲-蔡曙山【全75讲】
影音视频
www.bilibili.com 2021-2-12 11:21
2018考研
逻
辑
1-概念的含
义
影音视频
www.ixigua.com 2021-7-28 13:23
数学的尽头是
逻
辑
影音视频
haokan.baidu.com 2022-10-11 14:53
哈姆特《
逻
辑
语
言
与
意
义
》-40-第三章谓词
逻
辑
:3.9函项符号
影音视频
www.bilibili.com 2022-8-10 8:53
萌娃的社区创想!泳池、花园、电影院及游艇,功能齐全分区鲜明!
影音视频
www.ixigua.com 2022-11-25 18:38
认识简单的
逻
辑
联结词或
影音视频
haokan.baidu.com 2021-7-3 0:11
哈姆特《
逻
辑
语
言
与
意
义
》-28-第二章命题
逻
辑
:第三章谓词
逻
辑
:3.4其他量词翻译自然
语
言
多重内涵,翻译成
逻
辑
语
言
后的多重等值表述,两者非唯一对应
影音视频
www.bilibili.com 2022-10-8 10:09
某种
意
义
上来说三娃也是
逻
辑
缜密。
影音视频
www.ixigua.com 2022-11-25 18:38
动名词,动名词完成时,动名词的
逻
辑
主
语
,动名词主动表被动
意
义
影音视频
haokan.baidu.com 2022-11-17 11:58
哈姆特《
逻
辑
语
言
与
意
义
》-10-第一章绪论:蒙太格理论,形式
语
义
学用于自然
语
言
的描述
影音视频
www.bilibili.com 2022-1-18 5:16
零基础入门学习Delphi:第09讲
逻
辑
运算符及其含
义
【小甲鱼教程】
影音视频
www.ixigua.com 2021-7-9 6:39
高考议论文如何写出
逻
辑
美
影音视频
haokan.baidu.com 2022-11-25 18:38
哈姆特《
逻
辑
语
言
与
意
义
》-14-第二章命题
逻
辑
:2.2联结词
与
真值表:实质蕴含真值表,“撞头哭“例子比领导“买烟”例子更好;实质等值真值表
影音视频
www.bilibili.com 2022-11-17 11:58
“能挣钱就行,管他工作有没有
意
义
”
影音视频
www.bilibili.com 2022-10-14 16:24
AI如何理解自然
语
言
?
影音视频
www.bilibili.com 2021-7-11 18:23
哈姆特《
逻
辑
语
言
与
意
义
》-7-第一章绪论:1.5.1
逻
辑
和
语
法形式:罗素反对柏拉图的胡须;
逻
辑
和
语
法不同;
逻
辑
实证主
义
反对内省;可证性;自然
语
言
,
逻
辑
语
言
影音视频
www.bilibili.com 2022-3-19 14:31
维特根斯坦:人生的
意
义
是什么?世界存在的
意
义
是什么?
影音视频
v.qq.com 2021-3-31 20:40
哈姆特《
逻
辑
语
言
与
意
义
》-35-第二章命题
逻
辑
:第三章谓词
逻
辑
:3.6.3指派解释法:塔尔斯基真值定
义
;两个例子
影音视频
www.bilibili.com 2022-11-17 11:58
也许走过本身就是
意
义
#槽
逻
辑
影音视频
www.ixigua.com 2022-11-25 18:38
哈姆特《
逻
辑
、
语
言
与
意
义
》-2-第一章绪论:1.1证明、有效证明和证明模式:前提为真则结论必定为真;
影音视频
www.bilibili.com 2022-8-10 8:53
哈姆特《
逻
辑
语
言
与
意
义
》-4-第一章绪论:1.3
逻
辑
常项和
逻
辑
系统:固定的表达式;自然
语
言
的连词否定词和量词;
逻
辑
系统=常项+常项解释;认知和道
义
;
逻
辑
=
逻
辑
系
影音视频
www.bilibili.com 2021-12-27 10:45
哈姆特《
逻
辑
语
言
与
意
义
》-21-第二章命题
逻
辑
:2.6命题
逻
辑
的
语
义
:自然
语
言
非二元表达具有模糊性,
逻
辑
语
言
可以多次套用二元
逻
辑
表述
影音视频
www.bilibili.com 2022-10-10 16:33
哈姆特《
逻
辑
语
言
与
意
义
》-38-第二章命题
逻
辑
:第三章谓词
逻
辑
:3.7从自然
语
言
等同到
逻
辑
等同;弗雷格;谓词
逻
辑
量词和等同可以表达数字概念
影音视频
www.bilibili.com 2022-8-10 8:53
哈姆特《
逻
辑
语
言
与
意
义
》-42-第四章证明和推理:4.2
语
义
推理关系-4.2.1
语
义
有效性:合适,有效,
语
义
后承,命题有穷,谓词无穷,丘奇定理
影音视频
www.bilibili.com 2022-11-17 11:58
哈姆特《
逻
辑
语
言
与
意
义
》-6-第一章绪论:1.4二十世纪之前的
逻
辑
学和
语
言
学:佛雷格谓词
逻
辑
,佛雷格原则;
逻
辑
主
义
;元
逻
辑
;1.5二十世纪:1.5.1
逻
辑
和
语
法
影音视频
www.bilibili.com 2022-8-10 8:53
哈姆特《
逻
辑
语
言
与
意
义
》-37-第二章命题
逻
辑
:第三章谓词
逻
辑
:3.6.5规则:mp分离规则
影音视频
www.bilibili.com 2022-8-10 8:53
哈姆特《
逻
辑
语
言
与
意
义
》-41-第四章证明和推理:4.1证明和证明模式:
语
句真,相关
语
句也为真;部分归纳;证明
语
句有效;直觉可信度;
语
义
法,翻译模型真值;句法,
影音视频
www.bilibili.com 2022-8-10 8:53
哈姆特《
逻
辑
语
言
与
意
义
》-12-第二章命题
逻
辑
:2.1真值函项联结词;复合句的真值只依赖于其组成部分
语
句;2.2联结词
与
真值表:否,合,析,蕴,等;
影音视频
www.bilibili.com 2022-11-17 11:58
哈姆特《
逻
辑
语
言
与
意
义
》-31-第二章命题
逻
辑
:第三章谓词
逻
辑
:3.6谓词
逻
辑
的
语
义
:从真值赋值出发,建立谓词
逻
辑
解释系统;话
语
域,一般非空集合;3.6.1解释
影音视频
www.bilibili.com 2022-10-4 6:52
哈姆特《
逻
辑
语
言
与
意
义
》-5-第一章绪论:1.4二十世纪之前的
逻
辑
学和
语
言
学:亚士;Taski;帕加马和亚历山大学派;
影音视频
www.bilibili.com 2021-12-29 23:14
哈姆特《
逻
辑
语
言
与
意
义
》-33-第二章命题
逻
辑
:第三章谓词
逻
辑
:3.6谓词
逻
辑
的
语
义
:指向模型分析
影音视频
www.bilibili.com 2022-8-10 8:53
哈姆特《
逻
辑
语
言
与
意
义
》-11-第一章绪论:1.6形式
语
言
:自然
语
言
→
逻
辑
理论化→形式
语
言
→式子;自然
语
言
歧
义
;形式
语
言
分为词汇和句法:词汇包括常项,变项和辅助
影音视频
www.bilibili.com 2022-8-10 8:53
哈姆特《
逻
辑
语
言
与
意
义
》-29-第二章命题
逻
辑
:第三章谓词
逻
辑
:3.5集合:整体由部分决定;个体的类;外延性原则,即哲学上的整体由部分组成;有穷集合;空集∅;子
影音视频
www.bilibili.com 2022-8-10 8:53
哈姆特《
逻
辑
语
言
与
意
义
》-39-第三章谓词
逻
辑
:3.8关系的性质:传递性,对称,非对称,自反,禁自反,反对称,连通,自然
语
言
话
语
范围
影音视频
www.bilibili.com 2022-11-17 11:58
哈姆特《
逻
辑
语
言
与
意
义
》-8-第一章绪论:1.5.2日常
语
言
哲学:分析哲学,误导性;吉尔伯特·赖尔系统误导式用
语
;自然
语
言
是混乱的源头也是思想的摇篮;S
影音视频
www.bilibili.com 2022-8-10 8:53
哈姆特《
逻
辑
语
言
与
意
义
》-19-第二章命题
逻
辑
:2.5命题
逻
辑
的
语
义
:
逻
辑
意
义
相同,替换,A unless B,Not A unless B,A provide
影音视频
www.bilibili.com 2022-11-17 11:58
哈姆特《
逻
辑
语
言
与
意
义
》-25-第二章命题
逻
辑
:第三章谓词
逻
辑
:3.2量化表达式:话
语
域,论域影响真值 ,∀ ∃
影音视频
www.bilibili.com 2022-11-17 11:58
哈姆特《
逻
辑
语
言
与
意
义
》-24-第二章命题
逻
辑
:第三章谓词
逻
辑
:3.1原子句:谓词
逻
辑
旨在深入分析简单陈述;谓词常项;个体常项,非
逻
辑
常项;个体性质一元谓词符,
影音视频
www.bilibili.com 2022-11-25 18:38
哈姆特《
逻
辑
语
言
与
意
义
》-43(暂结)-第四章证明和推理:4.2
语
义
推理关系-4.2.2外延性原则
影音视频
www.bilibili.com 2022-11-17 11:58
哈姆特《
逻
辑
语
言
与
意
义
》-27-第二章命题
逻
辑
:第三章谓词
逻
辑
:命题函项,量词深度;3.4其他量词翻译:存在量词是适合翻译作不定冠词;模糊的概数不能翻译,man
影音视频
www.bilibili.com 2022-10-10 16:33
哈姆特《
逻
辑
语
言
与
意
义
》-16-第二章命题
逻
辑
:2.3命题
逻
辑
语
言
,四条递归法证明所有公式具有某性质;用归纳证明公式复杂度;算子深度
影音视频
www.bilibili.com 2022-11-1 22:15
Vol43 《
语
言
与
神话》|
语
言
与
隐喻|表情包的
意
义
|神话谱系的留存
影音视频
www.bilibili.com 2021-4-23 12:52
哈姆特《
逻
辑
语
言
与
意
义
》-9-第一章绪论:分析哲学维根斯坦,自然
语
言
不精确;1.5.3
语
言
学
与
哲学:巴·席勒尔
逻
辑
学方法;转换生成
语
法成功,深层结构等同
逻
辑
形式
影音视频
www.bilibili.com 2022-10-19 21:21
哈姆特《
逻
辑
语
言
与
意
义
》-23-第二章命题
逻
辑
:2.7并列联结词和从属联结词:功能和
逻
辑
值不变,符号转换,方便计算;将联结词看作是具有自身
语
义
的独立表达式;清晰
影音视频
www.bilibili.com 2022-11-17 11:58
哈姆特《
逻
辑
语
言
与
意
义
》-20-第二章命题
逻
辑
:2.6命题
逻
辑
的
语
义
:重
言
式推广应用,如德摩根定律;非重
言
式,矛盾式:a∧¬a;若a是重
言
,则¬a必是矛盾,反之
影音视频
www.bilibili.com 2022-10-13 9:09
哈姆特《
逻
辑
语
言
与
意
义
》-34-第二章命题
逻
辑
:第三章谓词
逻
辑
:3.6.3指派解释法:保留命题函项;同时考虑模型和指派;同时赋给所有自由变项同一个所指;项的概念
影音视频
www.bilibili.com 2022-11-25 18:38
哈姆特《
逻
辑
语
言
与
意
义
》-17-第二章命题
逻
辑
:2.4函项:计算
语
义
,指派真值,真值赋值函项,函项即赋值,主目或原像,定
义
域(特定类别的每个个体),值域(被认可
影音视频
www.bilibili.com 2022-11-17 11:58
哈姆特《
逻
辑
语
言
与
意
义
》-20-第二章命题
逻
辑
:2.5命题
逻
辑
的
语
义
:重
言
式推广应用,如德摩根定律;非重
言
式,矛盾式:a∧¬a;若a是重
言
,则¬a必是矛盾,反之
影音视频
www.bilibili.com 2022-8-10 8:53
哈姆特《
逻
辑
语
言
与
意
义
》-36-第二章命题
逻
辑
:第三章谓词
逻
辑
:3.6.4普遍有效性:矛盾式,等值
影音视频
www.bilibili.com 2022-8-10 8:53
哈姆特《
逻
辑
语
言
与
意
义
》-15-第二章命题
逻
辑
:2.3命题
逻
辑
语
言
,合式表达式,四个定
义
划清规则,符号串,结构树,归纳条款,递归简化,化简性和公式性的矛盾
影音视频
www.bilibili.com 2022-11-1 22:15
哈姆特《
逻
辑
语
言
与
意
义
》-30-第二章命题
逻
辑
:第三章谓词
逻
辑
:3.5集合:并集,交集,罗素悖论;V={xIx=x}不是集合,太大了;
逻
辑
翻译时,不能让论域包含
影音视频
www.bilibili.com 2022-9-19 9:16
X