期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

关于形式化的几个问题被引量：7

原文传递

导出

摘要一、导言形式化问题是逻辑学、数学以及有的技术科学中的中心问题之一。这些科学中广泛地应用了形式化方法(或者说“形式方法”)。而关于究竟什么是形式化,有些概念有待于澄清。例如形式化与严格化、形式化与公理化、形式结构与解释等等。

作者吴允曾

机构地区北京大学计算机科学系

出处《哲学研究》 1986年第12期38-41,共4页 Philosophical Research

关键词形式化方法形式方法形式系统逻辑学哥德尔形式结构谓词逻辑塔尔斯基数理逻辑概念

分类号 B0 [哲学宗教—哲学理论]

引文网络
相关文献

同被引文献39

1吴国盛.芝诺悖论今昔谈[J].哲学动态,1992(12):23-26. 被引量：9
2李小五.什么是逻辑?[J].哲学研究,1997(10):76-81. 被引量：25
3李小五.何谓现代归纳逻辑[J].哲学研究,1996(9):56-60. 被引量：11
4曹南燕.对中国高校工程伦理教育的思考[J].高等工程教育研究,2004,52(5):37-39. 被引量：70
5张兴.芝诺悖论的结构[J].自然辩证法研究,2004,20(11):27-30. 被引量：8
6刘二中.解析芝诺悖论内含的逻辑漏洞[J].自然辩证法研究,2005,21(11):1-4. 被引量：7
7迈克.W.马丁,张恒力.美国的工程伦理学[J].自然辩证法通讯,2007,29(3):106-109. 被引量：20
8杨百顺等.现代逻辑词典[M].武汉:湖北教育出版社,1995.720. 被引量：1
9德雷福斯.计算机不能做什么[M].北京:三联书店,1986.293. 被引量：1
10[6]王浩.康宏逵译,哥德尔[M].上海:上海译文出版社,1997:391 被引量：1

引证文献7

1王雨田.逻辑学中怎能没有归纳逻辑——评唯演绎主义的归纳观[J].哲学研究,2002(3):72-77. 被引量：7
2熊才权.人工智能研究方法及途径[J].舰船电子工程,2005,25(3):14-18. 被引量：4
3刘二中.芝诺悖论若干解释的辨析[J].自然辩证法研究,2008,24(8):109-112. 被引量：1
4李慈慈,王全权.环境伦理学对工程活动的审视[J].安徽农业科学,2014,42(24):8402-8403.
5王雨田.关于逻辑和逻辑现代化的几个问题——评唯演绎主义[J].自然辩证法研究,2002,18(8):24-27. 被引量：6
6刘西瑞,王汉琦.人工智能中的形式化问题[J].自然辩证法研究,2002,18(8):39-42. 被引量：8
7李慈慈.哲学走向荒野——论自然价值与生态伦理的关系[J].伦理与文明,2014(1):82-90.

二级引证文献25

1钱铁云.人工智能是否可以超越人类智能?——计算机和人脑、算法和思维的关系[J].科学技术与辩证法,2004,21(5):44-47. 被引量：17
2王路.再论“必然地得出”——回答王雨田等人的批评[J].哲学研究,2002(10):67-72. 被引量：8
3马佩.不该以普通思维、普通逻辑否定辩证思维——评冯胜利先生的《从人本到逻辑的学术转型》一文[J].中州学刊,2005(2):127-130.
4倪荫林,吕红俊.从系统论的观点看归纳问题[J].河南师范大学学报（哲学社会科学版）,2005,32(3):28-32. 被引量：3
5倪荫林.系统演化与归纳必然性——兼与王军风先生商榷[J].自然辩证法通讯,2005,27(5):102-107. 被引量：1
6倪荫林.逻辑本体问题新探[J].甘肃理论学刊,2005(6):56-58. 被引量：1
7倪荫林.把逻辑植根于辩证唯物论基础之上——从起源、目的、研究方式、作用看逻辑的本质[J].武警学院学报,2006,22(1):71-74.
8晋荣东.当代中国逻辑的现代化及其问题[J].华东师范大学学报（哲学社会科学版）,2006,38(3):10-15. 被引量：5
9何向东,吕进.归纳逻辑研究述评[J].自然辩证法研究,2007,23(3):31-34. 被引量：9
10胡庆辉,赵正文,陆玉靖.钻井液专家系统的研究与设计[J].钻井液与完井液,2007,24(3):60-63. 被引量：4

1哲学研究一九六一年总目录[J].哲学研究,1961(6):102-103.
2王桂艳.非形式逻辑与逻辑科学的发展[J].思维与智慧（上半月）,1992(6):12-15.
3张小燕,刘贵欣.冯契先生论辩证逻辑[J].北方论丛,1999(6):56-58.
4馬兵.形式逻輯的规律与思想的形式化方法[J].哲学研究,1961(3):17-26.
5陈鹏.援仁入礼以礼立仁——谈《论语》中“仁”与“礼”之关系[J].学周刊（下旬）,2011(1):197-197. 被引量：1
6冯艳.自由摹状词理论研究述评[J].哲学动态,2005(7):45-50.
7陈波.哲学理论的形式化问题[J].中国人民大学学报,1995,9(2):55-61. 被引量：1
8章沛.論形式逻輯的思維规律——和馬兵同志商榷[J].哲学研究,1961(5):3-13.
9陈建涛.合理性辨析[J].哲学动态,1994(11):25-26. 被引量：1
10金顺福.关于辩证逻辑形式化问题[J].广州大学学报（社会科学版）,2002,1(3):55-62. 被引量：7

哲学研究

1986年第12期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部