|贴子

2010-03-01
考一考，A，├A，╞A有何不同？逻辑学吧
2010-02-20
《算术基础》序 弗雷格逻辑学吧
     一这个数是什么，或者，1这个符号意谓什么，对这个问题，人...
2010-02-13
弗雷格之谜（转）逻辑学吧
弗雷格在其影响深远的名著《论含义和指称》一文中，弗雷格提出了下列这个对所有意义理...
2010-01-21
科学家、哲学家、神学家分别是怎么思维的？冷阳漫吧
我一直对这个很感兴趣，他们创造一系列令人称道的思想或理论，但他们究竟是怎么思维的...
2010-01-18
解构世界冷阳漫吧
我们的思考难免受到前人的影响，带有前人的影子，但自我思考与纯粹的记忆前人所说所达...
2010-01-05
“如果……，则……”再论蕴含关系逻辑学吧
我们在现实中常常所说的“如果p,则q”，并不是所有都能表达为：p→q的蕴含关系。这是因为...
2009-12-30
数理逻辑的大发展逻辑学吧
1930年以后，数学逻辑开始成为一个专门学科，得到了蓬勃发展。哥德尔的两个定理证明之...
2009-12-17
三个神明判断真假的问题的不完全思考逻辑学吧
由于现在我打开贴子会显示 抱歉，发贴框加载失败，建议您刷新页面重试。 刷新了也还是...
2009-10-13
有时间的话，希望和大家共同对谓词逻辑全面梳理，交...逻辑学吧
发现本吧对谓词逻辑存在一些自我解释 ，“私人语言”，我想有必要对一阶谓词逻辑全面梳...
2009-07-09
关于蒋春暄逻辑学吧
黎明和方舟子又要叫劲蒋春暄荣获“特勒肖—伽利略科学院2009年度金奖”。
2009-07-07
最长寿的人还没有出现-----逻辑无法判定？逻辑学吧
2009-07-06
“真值表方法不是命题逻辑推理式有效性的判定方法”逻辑学吧
“真值表方法不是命题逻辑推理式（或称‘联结词的推理式）有效性的判定方法。所谓真值表...
2009-07-06
逻辑是客观世界的规律，还是思维本身的规律？逻辑学吧
龚启荣教授在他的《当代形式逻辑引论》中直言不讳的说，逻辑是客观世界的规律，而不是...