卡尔纳普的数学哲学
相关推荐
-
语形学、语用学、语义学
语形学( syntactics)亦译"句法学",指号学分支之一,莫里斯在<指号理论的基础>中首次提出语形学.语义学和语用学三门学科的区分,认为语形学是对指号之间的形式关 ...
-
逻辑原子主义,拒斥形而上学,语言哲学
逻辑原子主义( logical atomism)罗素和维特根斯坦的哲学学说.在洛克.休谟和J.S.穆勒的经验论的基础上,借助数理逻辑的分析方法发展起来.认为哲学的任务在于用逻辑对语言作批判分析,从而获 ...
-
不可计算数——数学中的幽灵,揭示了一个深层次的数学哲学问题
我们都知道,圆周率是无限不循环小数(3.14159265359--).通过测量多边形的边长,我们可以把圆周率近似到想要的精度.当多边形的边数趋于无穷,边的长度趋于零时,近似值就会更接近. 用五边形.六 ...
-
数学哲学,逻辑的极限,科学的根基
当逻辑出错时会怎样?为什么排中律有时是错误的,在尝试解决最终问题之前,先发现数学的核心基础问题. 排中律是指在同一个思维过程中,两种思想不能同假,其中必有一真,即"要么A要么非A" ...
-
体积很小,但面积无限大的物体——揭示了一个深刻的数学哲学问题
伽利略常被认为是现代科学之父.是他把实验原理.理论原理和数学原理结合在一起,形成了一个标准的框架.伽利略对现代科学的发展做出了巨大的贡献. 伽利略从比萨斜塔上扔下两个质量不同但材料相同的钢球,它们同时 ...
-
数学、逻辑和人工智能镜头下的进化论——自然是随机猜测者,还是数学天才?进化论背后 的终极数学哲学
如果进化是一个计算问题,自然是如何处理它?此外,它与计算的巅峰--人工智能有什么关系?根据新达尔文主义,大自然在很长一段时间里一直在盲目地选择基因突变中的变异.在这篇文章中,我试图通过人工智能和计算的 ...
-
“不可或缺性论证”与反实在论数学哲学
本文来源于哲学门 哲学门 汇通中西,众妙之门 20篇原创内容 Official Account "不可或缺性论证"与反实在论数学哲学 叶峰 作者简介:叶峰,北京大学哲学系. 人大复 ...
-
科学 数学 哲学 文学,一场璀璨星河的汇聚
大约2500年前,周游列国开始在春秋战国时期盛行,大量的先秦哲人带着自己的思想主张造访各国,寻求理念的落脚点和安身立命之机.谁能料到,那个如此遥远的年代竟然铭刻出一串串星光璀璨的名字,孔子.孟子.墨子 ...
-
数理逻辑与数学基础及四大数学哲学流派
数理逻辑 [mathematical logic] 执笔:金人麟 校阅:史念东 选自<数学大辞典> 亦称符号逻辑(symbolic logic),处于数学和数学哲学的交叉部分.数理逻辑一方 ...
-
《论力的守恒》作者、物理生理心理数学哲学通吃的亥姆霍兹200岁啦
如果问力守恒吗?稍微有点现代物理素养者都会说这是天方夜谭的问题.然而<论力的守恒>(Erhaltung der Kraft)却是物理生理心理数学哲学通吃的大科学家亥姆霍兹的代表作. 亥姆霍 ...
-
弗雷格的数学哲学及自然数的概念,纯粹数学分析的基础
戈特洛布·弗雷格(Gottlob Frege)的半身像 经验主义和理性主义,数学哲学中最重要的两个观点 这是数学哲学中两个最基本的观点.因此,我可以简单地说,任何一位数学哲学家都必须对这两种观点表态, ...
