计算机应用 | 古代文学 | 市场营销 | 生命科学 | 交通物流 | 财务管理 | 历史学 | 毕业 | 哲学 | 政治 | 财税 | 经济 | 金融 | 审计 | 法学 | 护理学 | 国际经济与贸易
计算机软件 | 新闻传播 | 电子商务 | 土木工程 | 临床医学 | 旅游管理 | 建筑学 | 文学 | 化学 | 数学 | 物理 | 地理 | 理工 | 生命 | 文化 | 企业管理 | 电子信息工程
计算机网络 | 语言文学 | 信息安全 | 工程力学 | 工商管理 | 经济管理 | 计算机 | 机电 | 材料 | 医学 | 药学 | 会计 | 硕士 | 法律 | MBA
现当代文学 | 英美文学 | 通讯工程 | 网络工程 | 行政管理 | 公共管理 | 自动化 | 艺术 | 音乐 | 舞蹈 | 美术 | 本科 | 教育 | 英语 |

塔斯基对于“真理”的定义及其意义(1)(4)

2016-03-02 01:00
导读:3.定义的构造 一个语言系统可以包括无穷多个语句,为了使“实质充分”的条件得以实现,就必须提供一个方法使得我们可以从简单的有限的语句构造出无


3.定义的构造

一个语言系统可以包括无穷多个语句,为了使“实质充分”的条件得以实现,就必须提供一个方法使得我们可以从简单的有限的语句构造出无穷多个语句。但塔斯基发现:从那些带量词的形式化语言的形式构造的角度看来,复合语句一般不是由简单语句(不包含自由变项的语句函项)复合而成,而是由简单的语句函项(其中包含自由变项)复合而成。[xiv]比如在塔斯基用来作为构造真理定义的一个具体例子的类演算(thecalculusofclasses)中,某一个复合语句如∩1(i1,1 ∩1∪2i2,1)(意思是“对于任何类a,a
上一篇:科学与人文关系之哲学文化思考(1) 下一篇:没有了