zoukankan      html  css  js  c++  java
  • 语言哲学和语言逻辑

    在科学的眼界之中,没有学科,只有问题和问题的解决方法......不要只见树叶,不见森林。————蔡曙山

    • 语言哲学是现代哲学的分支 现代哲学又是哲学的一个分支
    • 形式语言:数学、逻辑和计算机科学中,形式语言(英语:Formal language)是用精确的数学或机器可处理的公式定义的语言。
    • 形式系统:在逻辑与数学中,一个形式系统(英语:Formal system)是由两个部分组成的,一个形式语言加上一个推理规则或转换规则的集合。一个形式系统也许是纯粹抽象地制定出来,只是为了研究其自身。另一方面,也可能是为了描述真实现象或客观现实的领域而设计的。
    • 哥德尔不完全性定理:哥德尔证明了任何一个形式系统,只要包括了简单的初等数论描述,而且是自洽的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
    • 逻辑发展史:古代逻辑--近代逻辑--数学逻辑--语言转向
    • 古代哲学关心客体,是本体论的哲学;近代哲学关心主体,是认识论的哲学
    • 奥斯丁:用说话来做事.
    • 乔姆斯基第一次采用形式化方法研究自然语言。
    • 一个学科是否存在,要看有没有具体的研究对象和研究方法。
    • 认知科学的六角形框架:哲学,心理学,语言学,人类学,计算机科学,神经科学。这些学科可以分别和逻辑学交叉,产生新的学科。
    • 哲学认识论
      认识的初级形式(心理):感觉,知觉,表象[心理学研究对象]
      认识的高级形式(思维):概念(关于事物本质的思维形式),判断(对思维对象的肯定或者否定),推理(以已知判断为前提,得到另外的判断)[逻辑学研究对象]
    • 逻辑是有民族性的
    • 二十世纪以前形成的科学重视公式推理,而认知科学最大的特点就是重视经验。
    • 蔡老师认为对中医经络的批评是还原论的错误
  • 相关阅读:
    电商总结(二)日志与监控系统的解决方案
    倾力推荐,哪一本让你想要加入书单
    电商总结(一)小型电商网站的架构
    聊一聊如何提升团队开发效率
    Nancy总结(三)Nancy资料介绍
    【推荐】2016年不得不读的九本好书
    Solr学习总结(七)Solr搜索引擎的整体架构
    再见 2015,你好 2016
    Solr学习总结(六)SolrNet的高级用法(复杂查询,分页,高亮,Facet查询)
    Solr学习总结(五)SolrNet的基本用法及CURD
  • 原文地址:https://www.cnblogs.com/treblez/p/13583929.html
Copyright © 2011-2022 走看看