名师名著公告栏

经典名著 ( 全部 )

2017-03-30 17:55:13
在我看来概念语言的发明推动了逻辑的发展。,我希望,逻辑学家们不会被这些怪异符号的第一印象所吓倒,而对我基于事物本身内在的必然性所做的创新表示认可。 对常规的偏离总是可以找到理由的,那就是:逻辑和日常语言、语法密切相关。尤其是(传统逻辑中)主词和谓词分别被参数、函数取代,我相信这个思想是禁得住时间考......
2017-03-30 10:21:09
将这种公式语言扩展到几何对我来说可能更容易一些。我们只需在那些直觉关系加上若干符号即可。这样就可以获得某种拓扑学(analysis situs)的概念。 从这点出发,就可以过渡到纯粹的关于运动理论、进而是力学和物理学。后两个领域除了理性的必要性之外还需要实验性的断言。随着我们在这些领域知识的深入,这两个学科是第一......
2017-03-25 10:16:15
莱布尼茨不但早就认识到、而且还甚至过分强调了一个完善的形式符号系统的所带来的益处。他的理想是建立具有“哲学演算”(calculus philosophicus)(又称作“推理机”(rationator))通用表意语言(Characteristica Universalis),这个理想如此宏大使得尝试去实现的努力不可能超出最原始的构想。一个可以直接对应实体对象本......
2017-03-24 11:57:10
要把我的概念语言和日常语言的关系搞清楚,只需把前者看做是显微镜,后者看做是肉眼。我们的眼睛视野更宽广、具有多功能性,可以适应周围的各种千变万化的环境,显然眼睛比显微镜强很多。但是如果把眼睛看做是一种光学器具,就暴露了许多不足,由于视觉与精神活动(mental life)密切相关,这些不足在日常生活中我们很少注意......
2017-03-24 02:13:24
不管对(自然语言)表达式的诸多不便如何忍受,随着关系变得愈发复杂,研究中所需要的精确性越来越无法获得。这种缺陷使我开始“概念语言”[1]的研究。因此这个研究的第一目标就是,能够对一系列推理的有效性进行测试,指出每一个企图溜进来的未留意的预设,这使得我们可以对推理的本原进行研究。这使我决定在没有通过系列推......
2017-03-23 11:55:23
当然,命题属于前一种知识,人类在从事有意义的智力活动之前是不会意识到这一点的,这两者没有矛盾[1]。因而(对知识的)进行分类的基础不是始于心理学而是最优的证明方法。现在我要探讨的问题就是,算术到底属于这两种知识的哪一种,这时,首先要确认仅仅凭推理手段、靠着那些超越细节的思想法则研究算术能够走多远。我的第......
2017-03-21 14:08:05
为了使爱好逻辑的朋友能够直接领略到原著的风采,从本篇开始将采取英汉对照的方式,解读《概念文字》的内容。当然,真正的原著是德语,考虑到懂英语的比德语的多,这里仍以英语为原本。当然在下面的中文翻译中也参考了德语版。 本篇介绍的内容是《概念文字》的前言部分。 在理解掌握科学真理的过程中,我们通常要经历不同......
2016-12-26 01:19:19
弗雷格是数学家,所以他是带着数学问题研究逻辑的,而另一方面在数学领域也留下了他逻辑学研究成果的印迹。促使弗雷格开始研究逻辑直接原因是他在对数列进行逻辑分析时遇到了困难。这个困难就是:如何精确严格表达“数”的概念。自然语言带给他的只是困惑和歧义,这促使他要寻找或者创立一种能够精确、准确表达“概念性内容......
2016-12-15 02:51:38
作者:Alfred Tarski(阿尔弗雷德·塔尔斯基) 著作:《Introduction to Logic and to the Methedology of Deductive Sciences》 中文译名:逻辑与演绎科学方法论导论 简评 作者:Alonzo Church(阿隆佐·丘奇) 著作:《Introduction to Mathematical Logic》 中文译名:数理逻辑导论 作者:Rudolf Carnap(鲁道夫·卡尔...... (1回应)
2015-02-14 08:33:43
《Begriffsschrift》1879年版
弗雷格的著作《概念文字》,其标题的德语原文是: 《Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens》 先解释一下每个单词: Begriffsschrift:复合名词,由der Begrift(概念,项,意念,思想,感知)和die Schrift(字体,字形,字型,写作、书面、文件记录、脚本,文书,......

诸子百家 ( 全部 )

2018-02-17 10:58:15
一直想写一篇关于波兰华沙学派的文章,因为这个学派在数学、哲学、逻辑等领域贡献颇多。但由于这个学派不是处于西方主流中心加之这个学派的许多学者的论文多用本国文字因而流传不广,使得其影响力不如其它现代哲学流派那么耀眼。 促使我写这篇文章的另一个原因是国内外对这个学派的介绍与研究还属于凤毛麟角,就连大名鼎鼎......

先贤名师 ( 全部 )

【名师名著】的留言板 ( 全部2条 )

赛义甫
赛义甫: “经典名著”应当是具有国际影响、在学术界公认权威的著作,而不是一般流行、受欢迎或销售量大的书籍。这类书籍宜放在《书籍与资料》栏目。 15:55 2014-12-23 16:16
 
>
2人
逻辑
逻辑学是哲学、数学、语言学和计算机科学的基础。本站将为所有同好提供一个展示、介绍各种逻辑知识以及语义论和相关逻辑语法的平台。欢迎豆友关注。

关注该小站的成员 ( 5109 )

  • Function.01
  • 阿Chen--
  • 滑翔机
  • 贤民
  • 栗子树
  • 与神桔世
  • 泸村
  • 徒然草

关注该小站的成员也关注