会员
周边
新闻
博问
闪存
众包
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
九九猫存在论
博客园
首页
新随笔
联系
订阅
管理
2024年3月17日
三段论逻辑的一个问题
摘要: 据罗素报道(《逻辑与知识》,第277页),莱布尼茨试图改进三段论逻辑,把它弄得更加简洁优美。他几乎作成了一个类似于布尔逻辑的系统,但在一个关键问题上和亚里士多德发生了冲突。这让他放弃了自己的努力。他认为自己弄错了。 这个问题是这样的。按照三段论逻辑的Darapti格,下列推理是有效的: 所有怪物都是
阅读全文
posted @ 2024-03-17 21:21 九九猫
阅读(95)
评论(0)
推荐(0)
2021年11月22日
什么是无穷
摘要: 你真的知道什么是无穷吗? 喏,从1开始数,一直数下去,不管你数到哪里,都不会数完,这样的东西就有无穷多个。 但是,一个数总是会数完的。如果无穷数不完,那它就不是一个数。 无穷是一个不确定的数,这是无穷与其他数的区别所在。其他数是确定的,其标志就是你可以数完;但无穷是不能数完的,因此它不是确定的数。
阅读全文
posted @ 2021-11-22 12:04 九九猫
阅读(605)
评论(0)
推荐(0)
2020年12月1日
关于量词的一个问题
摘要: 学过数理逻辑就会明白,下面两个断定在逻辑上是等价的: a.存在x,Fx; b.并非对于所有x,并非Fx。 但是我们知道,全称概括本身并不断定存在。比如,即使x的定义域是空的,“对所有x,Gx”也可以是真的。那么,我的问题是,为什么形如b的命题就断定了存在? 当然,我的问题好像可以这么回答,因为b与a
阅读全文
posted @ 2020-12-01 22:23 九九猫
阅读(129)
评论(0)
推荐(0)
2020年10月11日
语言学转向为什么是必然的(刊于《社会科学》2019年第5期)
摘要: 语言学转向常被认为解释了分析哲学为什么是一种独立的哲学形态,而对语言学转向本身为什么是必然的,却仍然是一个等待探讨的问题。按照本文所给出的解释,语言学转向是弗雷格的逻辑主义数学哲学的自然后果,而在维特根斯坦那里,语言学转向得以最终完成。语言学转向使得知识论不再像笛卡尔以来的近代哲学那样,采取观念理论的形式,而是以语言-逻辑理论的形式存在。这种形态上的转变是知识的可辩护性要求的结果。维特根斯坦的私人语言论证,为这种转变提供了决定性的论证。
阅读全文
posted @ 2020-10-11 13:44 九九猫
阅读(504)
评论(0)
推荐(0)
什么是哲学家
摘要: 哲学家,就是以哲学为业的人。这是定义。“哲学家”曾经像“科学家”、“文学家”、“艺术家”以及“思想家”一样,是一种荣誉,或者一种头衔。这些词语曾经拥有普通人承担不起的重量。喜欢在这种意义上使用这个词的人,常常不是在从事哲学思考工作。这类工作对他来说,是“别人的事情”。有些以哲学为业的人这样说,也就在
阅读全文
posted @ 2020-10-11 13:19 九九猫
阅读(504)
评论(0)
推荐(0)
我适合做哲学家吗?
摘要: 首先声明,这个问题不一定要你在为高考填志愿的时候回答,你可以在以后能够认真思考这个问题的时候再回答。当然,我这里说的“认真”不是指你的主观意愿,而是指你足以作出决定。很多时候,我们希望解决一个问题,但希望归希望,我们的解决方案可能因为对事情不够了解,或者时机不成熟,而归于无效——最常见的是,解决方案
阅读全文
posted @ 2020-10-11 13:03 九九猫
阅读(93)
评论(0)
推荐(0)
公告