卡尔纳普《符号逻辑及其应用导论》读书笔记书评（3）

热度 1 赛义甫 2017-1-7 05:12

用精确化的形式语言来严格定义科学理论应当是所有科学领域追求的目标，也是符号逻辑建立的基本动机。其基本方法就是：设定研究对象的范围、边界，然后确定在这个范围内的个体对象。研究对象的范围，我们通常称之为“领域”（domain）或“论域”（universe of discourse）。我们的目标就是为所研究的对象建立形式模型，这 ...

个人分类: 逻辑学|3516 次阅读|1 个评论 热度 1

浅谈类型论——开场白

赛义甫 2016-12-27 01:32

信息时代，计算所带来的科技革命彻底改变了我们的生活。一些人，一只手机在手忘记所有；一些人的网瘾堪比毒瘾，戒网戒手机已经成为21世纪初叶的心灵鸡汤，但这种景象在30年前还是难以想象的。 如果你喜爱电脑，或许你还会喜欢编程。如果你喜欢编程那你一定会有心仪的程序语言；如果你懂编程语言，你或许知道面向对象和函 ...

个人分类: 计算|4467 次阅读|没有评论

卡尔纳普《符号逻辑及其应用导论》读书笔记书评（2）

热度 1 赛义甫 2016-12-12 12:10

《Introduction to Symbolic Logic and its Applications》(符号逻辑及其应用导论)应当是20世纪出版的最伟大的逻辑教科书之一，也是正在学习逻辑的学生最应当读的名著之一。在本书的德文版序言中作者认为：符号逻辑使用抽象符号当然是现代逻辑最引人瞩目的特征之一也是现代逻辑学与亚氏经典逻辑最大不同之一，但是符号逻 ...

个人分类: 逻辑学|3594 次阅读|2 个评论 热度 1

卡尔纳普《符号逻辑及其应用导论》读书笔记书评（1）

赛义甫 2016-12-7 09:39

卡尔纳普（Rudolf Carnap）是20世纪著名的分析哲学和逻辑实证主义学者，他的研究重点之一就是逻辑、语言和科学理论的关系。逻辑和语言关系的研究，来自于19世纪末20世纪初第三次数学危机的产生。这里所谓的“语言”并不是一般意义上的自然语言，而是作为公理化科学理论所使用的语言。对这个语言的最早的提倡者是莱布尼兹 ...

个人分类: 逻辑学|3361 次阅读|没有评论

HPSG理论方法论基础：语言学理论的性质和研究方法

热度 1 赛义甫 2016-2-12 06:02

HPSG理论，亦即，中心词驱动短语结构语法，本质上是对《句法结构》思想的继承和发展，也是继生成语义学派之后第二次对Chomsky理论的反思。其结果是彻底抛弃“转换”(transformation)的概念以及由此产生的派生理论，在承认语言研究是研究【语言知识】(linguistic knowledge)的基本理念下专注于对语言理论的形式化、精密化 ...

个人分类: 语言学|4018 次阅读|1 个评论 热度 1

本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏