演绎系统和归纳系统一一对应
本文选题：演绎 + 归纳 ； 参考：《中山大学学报(社会科学版)》2003年S1期
【摘要】：推理的演绎与归纳之分是从推理的导出关系而言的。推理的结论为其前提演绎地导出是指:如果推理的前提都为真,那么其结论为真,而推理的结论为其前提归纳地导出是指:如果推理的前提都为假,那么其结论为假。在形式语义学中,若一组命题演绎地导出一个命题,则该命题就被定义为该组命题的演绎后承;类似地,若一组命题归纳地导出一个命题,则该命题可被定义为该组命题的归纳后承。相对于形式系统,“演绎”和“归纳”的涵义如下:形式系统在形式语义下是演绎的,当且仅当该系统的语法推演关系等于该语义中的演绎后承关系;形式系统在形式语义下是归纳的,当且仅当该系统的语法推演关系等于该语义中的归纳后承关系。已经证明:形式系统在某形式语义下是归纳的,当且仅当此系统的镜像系统在该形式语义的镜像语义下是演绎的。对于任何按照某一形式语义建立起来的演绎系统,我们都可给出一个形式语义(它同前一语义具有相同的真值概念),并能按照该形式语义建立起一个归纳系统;反之也成立。演绎系统和归纳系统是一一对应的。
[Abstract]:The deduction and induction of reasoning are based on the derived relationship of reasoning. The conclusion of reasoning deductively means that if the premise of reasoning is true, then the conclusion of reasoning is true, and the conclusion of reasoning is derived from its premise inductively: if the premise of reasoning is false, then its conclusion is false. In formal semantics, if a set of propositions deduce a proposition, then the proposition is defined as the deductive continuation of the set of propositions; similarly, if a set of propositions induces a proposition, Then the proposition can be defined as the inductive inheritance of the set of propositions. Relative to formal system, the meanings of deductive and inductive are as follows: formal system is deductive under formal semantics, if and only if the grammatical deduction of the system is equal to the deductive posthumous relation in the semantic; The formal system is inductive under formal semantics if and only if the grammatical deduction of the system is equal to the inductive posteriori relation in the semantics. It has been proved that the formal system is inductive under some formal semantics if and only if the mirror system of the system is deductive under the mirror semantics of the formal semantics. For any deductive system established according to a form semantics, we can give a formal semantics (it has the same concept of true value as the former one, and can build an inductive system according to that formal semantics; vice versa). Deductive system and inductive system are one-to-one correspondence.
【作者单位】： 华南师范大学政法学院
【分类号】：B812
【参考文献】
相关期刊论文 前1条
1 李小五;何谓现代归纳逻辑[J];哲学研究;1996年09期
【共引文献】
相关期刊论文 前10条
1 陈燕丽,蔡乾和;浅谈传统归纳逻辑和现代归纳逻辑[J];安康师专学报;2004年03期
2 刘明明;;推类逻辑:中国古代逻辑的原型(上)[J];毕节学院学报(综合版);2006年03期
3 刘明明;;推类逻辑:中国古代逻辑的原型(下)[J];毕节学院学报(综合版);2006年05期
4 戚金霞;;高校逻辑学教学改革探微[J];毕节学院学报;2009年12期
5 唐玉斌;;论非单调推理在日常思维中的应用[J];毕节学院学报;2011年03期
6 吴坚;;批判性思维:逻辑的革命[J];北京理工大学学报(社会科学版);2007年05期
7 王建芳;胡世全;;逻辑三段论与司法三段论[J];北京理工大学学报(社会科学版);2009年04期
8 许一飞;;用波普尔科学发展模式的内在逻辑解读波普尔学说[J];长春理工大学学报(社会科学版);2006年03期
9 杨方亮;素质教育、逻辑观与逻辑现代化[J];重庆大学学报(社会科学版);2001年02期
10 袁正校;;关于现代逻辑教学中若干问题的思考[J];重庆工学院学报;2006年01期
相关会议论文 前5条
1 王京安;赖景生;;二元经济结构转换的实质与途径[A];中国西部地区城乡协调发展与社会创新国际学术研讨会论文集[C];2006年
2 马天俊;;马克思的修辞学实践[A];第五届马克思哲学论坛中国化的马克思主义哲学形态研究会议论文集（上）[C];2005年
3 熊明;;论归纳的逻辑特征[A];2005年逻辑研究专辑[C];2005年
4 刘明明;;推类的逻辑性质——基于“类同理同”观念的分析[A];“回顾与前瞻：中国逻辑史研究30年”全国学术研讨会论文集[C];2010年
5 葛宇宁;张四化;;试析法律逻辑的几个特殊品质[A];法律逻辑与法律思维——第十七届全国法律逻辑学术讨论会交流论文[C];2009年
相关博士学位论文 前10条
1 宋诚挚;中医学的思维模式[D];黑龙江中医药大学;2001年
2 费多益;论科学的合理性[D];中国社会科学院研究生院;2001年
3 焦宝乾;法律论证理论研究[D];山东大学;2005年
4 姚志强;演绎推理中信念偏差效应的研究[D];南京师范大学;2005年
5 朱良好;法律适用类型归属技术范式研究[D];山东大学;2007年
6 苗正达;俄罗斯社会变迁中的宪政逻辑[D];吉林大学;2007年
7 朱德才;刑法理性构造研究[D];华东政法大学;2008年
8 张立娜;个体词的逻辑语义[D];清华大学;2007年
9 庞庆举;教育学的人性假设与理论构建的关系初探[D];华东师范大学;2008年
10 谢闽;和谐的成本[D];江西财经大学;2005年
相关硕士学位论文 前10条
1 毕薇;传统德育的历史局限及转型研究[D];辽宁师范大学;2010年
2 郑大伟;刑法适用中的类比推理研究[D];中国政法大学;2010年
3 孙华程;言说的逻辑与沉默之域[D];西南师范大学;2002年
4 施群丽;真之收缩论研究[D];华南师范大学;2003年
5 焦志伟;决策过程中的逻辑应用[D];河南大学;2003年
6 张高宏;亚里士多德的存在学及其对海德格尔的影响[D];四川大学;2003年
7 马前进;科恩归纳支持理论研究[D];华中师范大学;2004年
8 荣立武;语言与逻辑——维特根斯坦前期哲学研究[D];中南大学;2004年
9 车树国;中学体育与健康校本网络课程研究与开发[D];南京师范大学;2004年
10 王舸;事实推理构造论[D];中国政法大学;2005年
【相似文献】
相关期刊论文 前10条
1 夏年喜;为归纳再辩护──兼评波普尔的演绎观[J];首都师范大学学报(社会科学版);1998年02期
2 梁聘唐;对归纳问题的答辩[J];郑州大学学报(哲学社会科学版);2002年01期
3 赵哈黎,李英楠;谈认识论视角中的归纳与演绎[J];哈尔滨市委党校学报;2002年06期
4 曹剑波;归纳与演绎的理论前提[J];柳州师专学报;2001年01期
5 杨信川;训诂的逻辑方式[J];广西大学学报(哲学社会科学版);1998年05期
6 刘礼进;;关于语言的本质——三种语言哲学观点述评[J];外国语言文学;2010年01期
7 王浩;张尚水;;元逻辑[J];世界哲学;1979年03期
8 段轩如;技术创新中的逻辑构想[J];山东社会科学;2002年05期
9 曹志平;论解释学视野中的科学文本[J];复旦学报(社会科学版);2003年05期
10 倪荫林;;逻辑本体问题新探[J];甘肃理论学刊;2005年06期
相关会议论文 前10条
1 石文华;宋云京;;基于认知规律讲授程序设计语言课程[A];2005全国计算机程序设计类课程教学研讨会论文集[C];2005年
2 张立英;周北海;;基于主谓项涵义联系的概称句推理的几个逻辑[A];2004年逻辑研究专辑[C];2004年
3 张锦文;;一种弗晰逻辑的形式系统[A];全国逻辑讨论会论文选集[C];1979年
4 莫毓昌;刘宏伟;左德承;杨孝宗;;FTCL：面向Statechart描述的测试用例集自动生成工具(英文)[A];第五届中国测试学术会议论文集[C];2008年
5 王阳;;模态逻辑·形式语义·文本符号[A];2003年逻辑研究专辑[C];2003年
6 莫绍揆;;归纳推理的形式系统[A];1994年逻辑研究专辑[C];1994年
7 刘忠;王成道;;基于汉语语意形式系统的符号化研究[A];第六届全国计算机应用联合学术会议论文集[C];2002年
8 黄敏;;用推导法演绎档差[A];2005现代服装纺织高科技发展研讨会论文集[C];2005年
9 李文健;;形式化的涵义及其认识论本质[A];1993年逻辑研究专辑[C];1993年
10 张志勇;;从当代计算机的发展看什么是逻辑[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
相关重要报纸文章 前10条
1 记者 谢慧敏;鄂湘旅游演绎“一家亲”[N];湖北日报;2010年
2 本报记者 冯义军;刘玉明：演绎基础与发展之美[N];中国电力报;2010年
3 王城长 钟经贤 李鑫;长沙邵商 湘土上演绎“圈”文化[N];经理日报;2011年
4 贺宛男;重组市场演绎“国进民退”[N];财经时报;2002年
5 沪光电;用灯光演绎“城市让生活更美好”的理念[N];消费日报;2010年
6 严冰 刘明鑫;大交通演绎中国速度[N];人民日报海外版;2010年
7 占坤;演绎北非沙漠幻影[N];中国服饰报;2010年
8 本报记者 范宁 烟成群;百姓生活演绎三重“变奏”[N];河北经济日报;2010年
9 记者 张四代 吴俊生;化肥出口演绎“鹬蚌相争”？[N];农资导报;2011年
10 赤择远;上半年融资额世界居首深交所演绎深圳奇迹[N];证券日报;2010年
相关博士学位论文 前10条
1 郑虹;DNA计算的若干应用及形式语义[D];吉林大学;2012年
2 吴毅坚;面向网格服务的软件体系结构建模及演化研究[D];复旦大学;2006年
3 李晶;Web事务的建模及其语义分析[D];华东师范大学;2008年
4 韩守鹏;分布式仿真系统动态重构技术研究[D];国防科学技术大学;2007年
5 刘新文;系统Z的量化扩张及其对话语表现理论的处理[D];中国社会科学院研究生院;2002年
6 刘华;面向域的快速造型技术研究[D];浙江大学;2007年
7 赵也非;动态UML子图的形式语义研究[D];华东师范大学;2010年
8 杨潇潇;框架时序逻辑程序语言MSVL的形式语义[D];西安电子科技大学;2009年
9 王兵;逻辑进程范型的形式语义、算法评估及其在空间随机仿真中的应用[D];国防科学技术大学;2011年
10 傅朝阳;面向实时任务求解的自治服务协同模型、形式语义及其验证[D];浙江大学;2010年
相关硕士学位论文 前10条
1 王三民;模糊逻辑形式系统的若干完备性定理[D];陕西师范大学;2001年
2 王玉玲;企业安全文化形式系统及其评价系统研究[D];首都经济贸易大学;2006年
3 朱梅霞;基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究[D];青岛大学;2007年
4 刘万春;主动服务构件关系研究及智能化可视化组装[D];武汉理工大学;2009年
5 陶正;基于CSP形式语义的构件组装研究[D];解放军信息工程大学;2006年
6 黄晶晶;机会发现的形式描述与形式建模的研究[D];哈尔滨工程大学;2007年
7 韩波;不完全信息数据库研究[D];南京航空航天大学;2003年
8 周引莉;王安忆对中国古典美学的当代演绎[D];广西师范大学;2005年
9 董学阳;本体演化的表示方法及其验证[D];吉林大学;2012年
10 国玲;演绎泥性[D];青岛大学;2006年
，本文编号：1875746
本文链接：https://www.wllwen.com/shekelunwen/ljx/1875746.html
