搜索结果: 106-120 共查到“逻辑学其他学科”相关记录158条 . 查询时间(0.941 秒)
在当代导论逻辑、非形式逻辑和批判性思维教科书中，通常会列举几条“论证规范”。这有悠长的历史渊源。亚里士多德《论题篇》和《辩谬篇》提出的论证规范综述起来有6条，即①前提正确；②欲证之结论不包括在前提中；③论题明确；④论题同一；⑤论证的推理形式正确；⑥反驳应在同一方面、关系、方式、时间下进行。如果我们只集中考虑论证的背景、目标和推理结构，那么论证的成功的条件是：①每一前提是在背景中假定的陈述；②每一推...
在国外，批判性思维（critical thinking）继承了亚里士多德用于“智力训练、交际会谈和增加哲学素养”（苗力田，第一卷第355页）的逻辑教学与研究传统，经过近20年来的教学研究实践，已经发展成为一门内容丰富的思维训练课程。就在国外学者研究和发展批判性思维的同一时期，我国高校中的逻辑教学改革，却被困扰在“取代论”（用一阶逻辑取代传统逻辑）和“吸收论”（在传统逻辑的基础上吸收一阶逻辑的一些内...
论预设的可废除性和投射问题
预设 可废除性 投射问题
<
2009/7/23
人们在日常语言的交流中经常要运用预设，从逻辑学的角度将预设作为一种理论而加以研究是上个世纪中后期以来的事。预设以其丰富的内容已经成为自然语言逻辑的一个重要理论组成部分，也已经成为语用学研究中的一个非常热门的话题。“在语用学中，关于预设的文献比除了言语行为以外的任何其他论题都多。”（Stephen, pp.167）本文主要对预设的定义及其检验方法作以介绍，然后在此基础上来讨论预设的可废除性和预设的投...
论法律推理与司法判决推理
法律推理 司法判决推理
<
2009/7/23
法官审理案件处理纠纷时要解决三个问题：其一，确认事实；其二，寻找法律；其三，将案件事实置于法律规范之下，根据事实和法律做出判决。案件事实一旦被确认，接下来法官要做的工作便是，首先，基于对“上位规范与具体事实之间来回穿梭的观察”，寻找可资适用的法律规定、规则或原则，将其作为裁判依据，把具体案件置于该法律规定、规则或原则之下；其次，根据已确认的事实和法律对具体案件做出判决。如在四川省南江县人民法院受理...
A MINI-GUIDE TO LOGIC IN ACTION
MINI-GUIDE LOGIC ACTION
<
2009/7/23
Classical logic is about propositions which we can know or believe, and unchanging inferential relationships between them. But inference is first and foremost an activity, for which propositions are m...
一类函数完全的n值逻辑联结词及其特点
一类函数 n值逻辑 联结词
<
2009/7/23
多值逻辑理论中，函数系完备性问题是一个重要的问题，要解决此问题就要定出多值逻辑函数集中所有的极大封闭集，对于这一问题的研究，上一世纪八十年代有了较好的结果，定出了完全多值逻辑函数集中所有的极大封闭集，它们是：线性函数集，单调函数集，自对偶函数集，保E（{0, 1,…, n}的子集）函数集，保直接分划函数集，保中心分划函数集，保正则分划函数集，所有一元函数和所有漏值函数组成的函数集。一个函数是She...
一个关于常识推理的基础逻辑
常识推理 基础逻辑
<
2009/7/23
直观上常识推理就是用到常识的推理[1]。考虑到技术处理的方便，可以宽泛地将含有常识命题或常识句的推理称为常识推理。下面是一些常识推理的例子。
在日常生活中，一个有效的推理通常可以用形式表示为“如果p，那么q； p， 所以q”。也可以用符号表示为（p→q）∧p→q。这种有效式在逻辑中又称为重言式。在正确的推理（合理的论证）中，各个重言式是一致的。因此，如果能够把握被看成是重言式的所有复合命题形式，那么，也就把握了所有的正确推理，也就解决了逻辑学中的最主要的问题，即推理理论。
2009全国应用逻辑研讨会通知
2009 应用逻辑 研讨会 通知
<
2009/12/18
由中国逻辑学会应用逻辑专业委员会主办，中国社会科学院哲学所逻辑室、南京大学哲学系承办的“2009年全国应用逻辑讨论会”，拟于2009年6月20日（报到）至22日（离会）在北京昌平“北京金隅凤山温泉度假村”召开，兹邀请全国应用逻辑专业委员会各位委员与顾问出席，并热诚欢迎从事应用逻辑研究或者有志于从事应用逻辑研究的专家学者及研究生与会。会议主题为：1、 全国党校与行政管理学院系统的应用逻辑研究。
如果符号逻辑是通过一种为某种目的而设计的或是由其它用途延伸过来的、特殊的符号系统来处理的逻辑（目前仅指演绎逻辑），那么把代数的和某些图形的符号都包括进来将有其便利之处。
存在图是现代逻辑草创时期皮尔士在其关系演算和谓词逻辑的基础上发展起来的、表示逻辑句子和推理的图式系统，是皮尔士用来证明其形而上学的工具，它的重要性直到计算机表示的图示推理得到发展后才得以确认。本文首先以经典逻辑为背景研究存在图的各个部分，然后讨论存在图在当代许多学科领域的回应和应用以及它在逻辑史上的地位，最后考察存在图对于皮尔士形而上学的意义。