排序方式: 共有402条查询结果,搜索用时 0 毫秒
241.
是否宁择直觉主义语义而不要经典语义?已知接受语义原则需要接受相应的逻辑规律,是否宁择直觉主义逻辑而不要经典逻辑?哥德尔第二不完全性定理对这两个问题有结论吗?虽然在哥德尔1931年的结果发表以后已提出了该定理的一些非构造性证明,例如布洛斯1989年的证明,但好象哥德尔最初的证明显然不会对逻辑选择问题有什么意义,因为它明显地在经典立场和直觉主义立场之间保持中立。哥德尔认为值得提醒他的读者们,他的证明确实是构造性的。他指出,事实上,第一不完全性结果是“以一种直觉主义无可反对的方式”得到的,并且也是作为他下述断… 相似文献
242.
进入九十年代以来,中国文坛明显地呈现出世纪末的的怀旧情结,单就散文创作而论,以余秋雨《文化苦旅》为代表的作品更是把文化散文推向了一个新的高潮,那种浓郁的历史文化气息再加上鲜明的地域色彩把人们拉向了古老而引人深思的年代,成为当代散文创作一道亮丽的风景。最近由文化艺术出版社出版的庄锡华先生的《斜阳旧影》就是这方面的一部力作,其鲜明的人文精神、颇具思辨意味的历史文化反思及凝重、浑厚的美学风格都使这本书得以跻身到优秀作品的行列。一南京、旧称建业、金陵,是中国一座著名的历史古城,也正因此,蕴育了与其帝都相… 相似文献
243.
天生两足好走路,一些人却喜爱缠足;天生脑袋好思考,许多人却甘做“填鸭”.前者有形而后者无形,更难发觉其祸害.我们利用天赋之外,更要人为地培训,好好地学点逻辑!这门学问可说是活泼有趣、显浅实用的.在《孙悟空三打白骨精》的故事里,白最后变作老人时,孙处于左右为难的境地而作出如下两难论证:如果我打死这妖怪,则被师父赶走;如果不这么做,师父会被它吃掉;我要么打死它,要么不;所以,不是我被赶走,就是师父被吃掉.它的论证形式:(一)如果甲则乙;(二)如果非甲则丙;(三)要么甲,要么非甲;所以(四)如果非乙则两.(一)和(二)是两个假言前提;(三)是个排言前提,从这三个前提推论出结论(四).整个(一)至(四)是个论证,而两难论证就是因为结论表达进退维谷、左右为难. 相似文献
244.
245.
在日常生活中,”如果……那么……”是一种常见的句式,在逻辑学中,这种句式叫充分条件假言判断,其逻辑形式是“如果P那么Q”,只不过,这一句式在日常交际中的神奇功能常常被人们所忽略。不信,请看一个小故事。一天,皇帝打算为难一下阿凡提,就故意指着皇宫前的水池问阿凡提。“阿凡提,你知道这水池里有多少桶水吗月阿凡提笑笑:“这问题太简单了,连我的毛驴都知道,这就是,如果水池与水桶一样大,那就有一桶水,如果水池比水桶大一半,那就有两桶水!”皇帝听了,只好点头称是。请注意,皇上的话的确是一种刁难,但阿凡提不慌不… 相似文献
246.
247.
248.
249.
250.