原帖由 ilmctz 于 2008-9-12 12:11 发表 
同样SORRY一下,什么时候现代逻辑的基础成了数理逻辑了?逻辑的基础永远是形式逻辑,区别只是唯一和之一之间的区别。而且现代逻辑研究的很重要的一个点是非形式逻辑,语言你知道吧?研究语言就是非形式逻辑的一个部分。于此 ...
数理逻辑 它是现代形式逻辑。之所以称为数理逻辑,一方面是由于在研究中广泛地使用了人工的符号语言,并发展为使用一种形式化的公理方法,同时也应用了某些数学的工具和具体的结果;另一方面则是由于现代形式逻辑的发展受到数学基础研究的推动,特别是受到深入研究数学证明的逻辑规律和数学基础研究中提出来的逻辑问题的推动。数理逻辑之所以又被称为符号逻辑,是由于它使用人工的符号语言。数理逻辑的创始人是G.W.莱布尼兹。莱布尼兹提出建立“普遍的符号语言”、推理演算和思维机械化的思想。尽管莱布尼兹本人并没有实现他所提出的目标,但数理逻辑的发展却逐步(还没有全部)实现了莱布尼兹的理想。G.弗雷格在1879年发表的《概念语言》一书中,建立了第一个一阶逻辑体系。19世纪70年代,G.康托尔创立了集合论。集合论,特别是第一个一阶逻辑体系的建立,是形式逻辑的发展进入现代阶段的标志。
现代形式逻辑从来就不是哲学的一部分!而古典形式逻辑正好是属于被扔倒垃圾堆里的冬冬
[ 本帖最后由 larry0000000 于 2008-9-12 12:39 编辑 ] |