|
平权文化公众号重建，将继续致力于玄学（含宗教），哲学（如中医养生、方法论等），艺术（含文学），科学（如教育、军事、体育、历史、食品安全、环境保护等）四个方面文化的传播；致力于中华民族整体综合素质的提高。只有中华民族的整体综合素质提高了，才能从根本上保证美好制度的顺利建设和巩固；只有建设和巩固了美好制度，才能从根本上解决广泛、严重存在的社会问题。关注平权的朋友，请加私人微信号： 萧乾明 x15973116633 林净寰 ljh13875979186 劉 liufengxuan01
逻辑与哲学及其有关学科的关系 逻辑是一门工具性的基础科学，它是在哲学的怀抱里产生和发展起来的。19世纪后半叶数理逻辑产生以后，逻辑才从哲学中彻底独立出来并得到了空前的发展，现代逻辑的发展又离不开哲学思想的指导和启发。逻辑也是哲学研究不可缺少的有力工具，现代逻辑的重大成果无不具有深远的哲学意义。逻辑与数学有着深刻的、本质的联系。古希腊数学成就是坚持应用演绎推理而获得的，而亚里士多德关于逻辑的成就则是运用数学的公理方法的结果。推理演算化的要求促进了逻辑的现代化，而分析严格化的要求则导致现代数学基础研究的开展。现代逻辑与现代数学是互相促进、互相渗透的。 现代逻辑在计算机科学中有着广泛的应用，电子计算机是数理逻辑与其他学科和生产技术发展的综合成果。人工智能研究的中心问题之一是它使用何种逻辑的问题。 逻辑与语言学的对象不同。推理形式具有全人类性，而语言具有民族性。然而思维与语言的密切关系决定了逻辑与语言学的密切关系。逻辑只能通过语言才能从思维中抽象并研究推理形式。数理逻辑创制了形式语言，而形式语言的使用又刺激了对语言的更深入的研究。金岳霖.形式逻辑.北京:人民出版社，1979.涅尔W,涅尔M.逻辑学的发展.张家龙，洪汉鼎，译.北京:商务印书馆，1985.CHURCH A.Introduction to MathematicalLogic. Princeton: Princeton University Press, 1956.（本辞条第4部分完）（本辞条4个部分）系萧乾明选自中国大百科全书出版社第二版《中国大百科全书》第15册第89-90页。 拍照：萧乾明 识别初校：李明军 王 斌 再校三校：李明军（4个部分共错3处） 四校：日月无私 秋点兵
|
