当前位置:主页 > 社科论文 > 逻辑论文 >

从逻辑演算的角度看莱布尼茨的数理逻辑思想

发布时间:2018-06-05 08:24

  本文选题:数理逻辑 + 逻辑演算 ; 参考:《兰州大学学报(社会科学版)》2009年S1期


【摘要】:莱布尼茨对数理逻辑的创建工作作出了开创性的贡献。他不仅提出了较为完整的关于建立新的逻辑的思想,而且还进行了整体性的富有创造的具体探索,即第一个创建了真正的抽象演算。他关于建立数理逻辑的设想,诸如建立人工表意符号,用演算表示推理等都是和后来的数理逻辑的发展相符的。
[Abstract]:Leibniz made a pioneering contribution to the creation of mathematical logic. He not only put forward a relatively complete idea of establishing new logic, but also made a concrete exploration of the whole and rich in creation, that is, the first to create the real abstract calculus. His ideas on the establishment of mathematical logic, such as the establishment of artificial ideographic symbols, the use of calculus to express reasoning are consistent with the later development of mathematical logic.
【作者单位】: 南开大学哲学系;
【分类号】:B812

【共引文献】

相关期刊论文 前10条

1 刘程;邱紫华;;不能不说的话:维特根斯坦与弗雷格、罗素[J];阿坝师范高等专科学校学报;2006年04期

2 贾国恒;;摹状词与专名的关系解析[J];安徽大学学报(哲学社会科学版);2007年02期

3 朱跃;意义与客观世界[J];安徽农业大学学报(社会科学版);1999年04期

4 田然;;弗雷格、罗素和斯特劳森的指称论对比研究[J];安徽文学(下半月);2008年08期

5 孙雯;;试析斯多葛学派命题逻辑研究中的命题函子理论[J];保定学院学报;2009年03期

6 余俊伟;试论弗雷格的指称理论[J];北京化工大学学报(社会科学版);2002年03期

7 张燕京;弗雷格思想论析评[J];北京师范大学学报(人文社会科学版);2000年04期

8 姚从军;;模态命题逻辑系统K、D、T、S4、S5、B之比较[J];毕节学院学报;2009年04期

9 吴坚;;命题形式与命题的符号化[J];北京理工大学学报(社会科学版);2008年01期

10 张汉生;专名与摹状词关系略论[J];常德师范学院学报(社会科学版);1999年01期

相关会议论文 前2条

1 何华;;解读伽达默尔解释学中的语言转向[A];山西大学2008年全国博士生学术论坛(科学技术哲学)[C];2008年

2 江怡;;胡塞尔是如何反对心理主义的?——对《逻辑研究》第一卷的一种解释[A];现代德国哲学与欧洲大陆哲学学术研讨会论文汇编[C];2007年

相关博士学位论文 前10条

1 冯彦波;合并逻辑方法研究[D];南开大学;2010年

2 刘张华;大卫·刘易斯模态哲学思想研究[D];南京大学;2011年

3 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

4 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

5 马亮;论卡尔纳普的意义理论[D];中国社会科学院研究生院;2003年

6 安道玉;论意识与意义[D];复旦大学;2004年

7 徐英瑾;维特根斯坦哲学转型期中的“现象学”之谜[D];复旦大学;2004年

8 方刚;维特根斯坦之命题意义的确定性问题研究[D];复旦大学;2004年

9 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年

10 倪胜;《判断力批判》体系探微[D];复旦大学;2005年

相关硕士学位论文 前10条

1 许筱婷;基于本体论的知识表达[D];湘潭大学;2010年

2 包磊;马克思的逻辑范畴理论[D];山东师范大学;2011年

3 行宇;论达米特反实在论的路径[D];首都师范大学;2011年

4 刘飞;非单调推理及其应用[D];河南大学;2011年

5 郑伟;亚里士多德三段论系统研究[D];河南大学;2011年

6 吴齐兴;西方谬误研究的历史考察与反思[D];南京大学;2011年

7 曹晓寰;埃舍尔艺术作品中的科学哲学思想[D];华中师范大学;2011年

8 张佳一;名称描述理论和历史因果理论比较研究[D];河北大学;2011年

9 车付翠;计算机科学中的逻辑应用研究[D];燕山大学;2011年

10 赵向革;弗雷格逻辑研究[D];苏州大学;2011年

【相似文献】

相关期刊论文 前10条

1 林胜强;;思想的形式化 形式化的思想——读《数理逻辑的思想和方法》[J];思维与智慧;1993年03期

2 宋文坚;;逻辑学的意义:实用、科学——汪奠基《现代逻辑》评介[J];湖北大学学报(哲学社会科学版);2011年01期

3 诸葛殷同;;前事不忘,后事之师[J];哲学动态;1990年11期

4 罗翊重;;用《易经》阴阳象数看莱布尼茨的逻辑数学化思想[J];周易研究;1991年04期

5 罗翊重;论数理逻辑中的非反推理演算——兼答《辩证逻辑究竟是不是逻辑?》[J];哲学动态;1992年08期

6 王力钢;;数理逻辑的发展及未来趋向[J];安庆师范学院学报(社会科学版);2010年11期

7 杨熙龄;略论现代西方逻辑学的发展[J];国外社会科学;1979年01期

8 罗克汀;现代西方哲学与我国的哲学改革[J];现代哲学;1985年00期

9 燕国桢;关于科学方法论的层次结构问题[J];江汉论坛;1988年05期

10 靳希平;海德格尔青年时期的逻辑研究[J];浙江学刊;1993年02期

相关会议论文 前10条

1 张尚水;;沈有鼎的数理逻辑工作[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年

2 莫绍揆;;传统逻辑与数理逻辑[A];逻辑学文集[C];1978年

3 杨书澜;;金岳霖先生前期的逻辑思想[A];1993年逻辑研究专辑[C];1993年

4 廖琳;龚启荣;;论罗素的逻辑主义[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年

5 莫绍揆;;金岳霖教授对数理逻辑的贡献[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年

6 马艳;;论现代政治经济学数理逻辑表达与创新的重要价值[A];上海市社会科学界第五届学术年会文集(2007年度)(经济·管理学科卷)[C];2007年

7 吴允曾;;数理逻辑与计算机科学[A];1994年逻辑研究专辑[C];1994年

8 李艳鸽;;数理逻辑对句子隐含语义的展示和分析[A];第四届全国语言文字应用学术研讨会论文集[C];2005年

9 张尚水;;二十世纪逻辑学的发展[A];逻辑学文集[C];1978年

10 王世强;;浅议数理逻辑对数学研究的贡献[A];1993年逻辑研究专辑[C];1993年

相关重要报纸文章 前10条

1 本报评论员 张刃;年终考评形式化虚假化歪风当刹[N];工人日报;2006年

2 杨曾宪;质疑高考改革的形式化趋势[N];发展导报;2002年

3 里冰;学生军训亟待走出形式化误区[N];中国改革报;2005年

4 党国英 (中国社会科学院) 聂辉华 (人民大学经济学院博士);杨小凯有多重要?[N];中国图书商报;2003年

5 本报记者 李红梅;健康档案莫形式化[N];人民日报;2011年

6 周一文;年终检查力戒形式化[N];巴音郭楞日报;2010年

7 韩国秀 何秋霞;数理逻辑研究方法独创科研新境界[N];中国高新技术产业导报;2011年

8 江苏省中兴药业有限公司董事长 章之俊;药企应走出质量管理形式化误区[N];中国医药报;2011年

9 赵磊;落实安全制度莫搞形式化[N];人民铁道;2011年

10 向志柱;匿名审稿制形式化思考[N];中国审计报;2003年

相关博士学位论文 前10条

1 于江涛;多智能体模型、学习和协作研究与应用[D];浙江大学;2003年

2 孙笑侠;程序的法理[D];中国社会科学院研究生院;2000年

3 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年

4 艾萍;构件柔性组装描述的形式化方法研究及其在水利领域的应用[D];河海大学;2002年

5 何晓晔;任务空间概念建模技术及其VV&A研究[D];国防科学技术大学;2005年

6 许焕敏;基于数理逻辑的工艺推理与决策逻辑方法研究[D];南京理工大学;2008年

7 纪杨建;面向产品方案的形式化设计关键技术研究[D];浙江大学;2003年

8 毛文伟;现代日语助词性机能辞的研究[D];上海外国语大学;2007年

9 刘克龙;安全Linux操作系统及安全Web系统的形式化建模与实现[D];中国科学院软件研究所;2001年

10 马辉;产品设计知识建模与演化关键技术研究[D];浙江大学;2006年

相关硕士学位论文 前10条

1 陈家端;试析高中数学课程中逻辑内容的选择与编制[D];中央民族大学;2006年

2 苗长运;并行实时系统在BRCC中的形式化[D];广西师范大学;2010年

3 孙丽娜;言语交际中的语用推理述评[D];燕山大学;2009年

4 刘燕;面向对象的教学模式建模方法研究[D];四川师范大学;2005年

5 邹晓;一种使用受限的角色委托模型[D];兰州理工大学;2006年

6 王文昊;我国侦查监督制度的反思与完善[D];吉林大学;2005年

7 唐燕飞;基于Petri网的用例建模研究[D];西南大学;2006年

8 韩俊;经济法控权模式研究[D];华中师范大学;2009年

9 段继磊;利用XML和构架构件技术实现B/S模式下MIS程序的自动生成[D];昆明理工大学;2002年

10 刘真环;DDS并行模型及其形式化[D];广西师范大学;2008年



本文编号:1981328

资料下载
论文发表

本文链接:https://www.wllwen.com/shekelunwen/ljx/1981328.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户adfe0***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com