卡尔纳普的数学哲学 / 开普饭

语形学( syntactics)亦译"句法学",指号学分支之一,莫里斯在<指号理论的基础>中首次提出语形学.语义学和语用学三门学科的区分,认为语形学是对指号之间的形式关 ...

逻辑原子主义( logical atomism)罗素和维特根斯坦的哲学学说.在洛克.休谟和J.S.穆勒的经验论的基础上,借助数理逻辑的分析方法发展起来.认为哲学的任务在于用逻辑对语言作批判分析,从而获 ...

我们都知道,圆周率是无限不循环小数(3.14159265359--).通过测量多边形的边长,我们可以把圆周率近似到想要的精度.当多边形的边数趋于无穷,边的长度趋于零时,近似值就会更接近. 用五边形.六 ...

当逻辑出错时会怎样?为什么排中律有时是错误的,在尝试解决最终问题之前,先发现数学的核心基础问题. 排中律是指在同一个思维过程中,两种思想不能同假,其中必有一真,即"要么A要么非A" ...

伽利略常被认为是现代科学之父.是他把实验原理.理论原理和数学原理结合在一起,形成了一个标准的框架.伽利略对现代科学的发展做出了巨大的贡献. 伽利略从比萨斜塔上扔下两个质量不同但材料相同的钢球,它们同时 ...

如果进化是一个计算问题,自然是如何处理它?此外,它与计算的巅峰--人工智能有什么关系?根据新达尔文主义,大自然在很长一段时间里一直在盲目地选择基因突变中的变异.在这篇文章中,我试图通过人工智能和计算的 ...

本文来源于哲学门哲学门汇通中西,众妙之门 20篇原创内容 Official Account "不可或缺性论证"与反实在论数学哲学叶峰作者简介:叶峰,北京大学哲学系. 人大复 ...

大约2500年前,周游列国开始在春秋战国时期盛行,大量的先秦哲人带着自己的思想主张造访各国,寻求理念的落脚点和安身立命之机.谁能料到,那个如此遥远的年代竟然铭刻出一串串星光璀璨的名字,孔子.孟子.墨子 ...

数理逻辑 [mathematical logic] 执笔:金人麟校阅:史念东选自<数学大辞典> 亦称符号逻辑(symbolic logic),处于数学和数学哲学的交叉部分.数理逻辑一方 ...

如果问力守恒吗?稍微有点现代物理素养者都会说这是天方夜谭的问题.然而<论力的守恒>(Erhaltung der Kraft)却是物理生理心理数学哲学通吃的大科学家亥姆霍兹的代表作. 亥姆霍 ...

戈特洛布·弗雷格(Gottlob Frege)的半身像经验主义和理性主义,数学哲学中最重要的两个观点这是数学哲学中两个最基本的观点.因此,我可以简单地说,任何一位数学哲学家都必须对这两种观点表态, ...

卡尔纳普的数学哲学