iLib2 新一代的学术数据库   首页 | 账户 | 充值 | 收藏
www.ilib.cn 找不到?搜一下!
  数据源分类
  ● 会议论文 6
  ● 学术期刊 485
  ● 学位论文 3

摹状词与专名的关系解析An Analysis of the Relationship Between Description and Proper Name

作者:贾国恒,
中图分类:B812 > 形式逻辑(名学、辩学)
对于专名与摹状词的关系,摹状词理论的要点是,专名的含义等同于摹状词或摹状词簇,摹状词指称专名的所指;相反,因果命名理论认为专名仅有所指没有含义.摹状词理论和因果命名理论都存在着其自身不可克服的困难.以专名的推广和传播为突破点,从本体论和认识……

"交换悖论"的效用理论消解方法Solution Method for the Exchange Paradox Utility theory

作者:杨春瑰,
中图分类:B812 > 形式逻辑(名学、辩学)
期望理论为不确定性条件下决策的规范理论,然而"交换悖论"对之提出质疑.从经济学的效用理论的角度来看,由于金钱数不等于效用值,由于决策主体的效用满足边际效用递减规律,而"交换悖论"误将效用等同于金钱数了,因此交换悖论不是严格意义上的悖论.这样……

中学文言文中的逻辑学Logic in Middle School Ancient Chinese Literature Texts

作者:程万里,
中图分类:B812 > 形式逻辑(名学、辩学)
中学语文文言文部分,有很多关于中国古代辩术的记载.作者结合几篇有代表性的文言文,对中学文言文中的逻辑学知识进行简括地分析.

命运多舛生机依然--传统逻辑在中国Traditional Logic in China

作者:董志铁,
中图分类:B812 > 形式逻辑(名学、辩学)
形式逻辑(传统逻辑)明末首次输入我国.19世纪末再次系统输入.由最初的备受冷遇,到20世纪20年代开始先后受到实验论理学、辩证学派、取代论者等的攻击与否定.历史证明,形式逻辑(传统逻辑)有其自身存在的理由、根据.只要人类思维着并且通过语言思……

《普通逻辑》二十五年回望General Logic in the Past 25 Years

作者:吴家国,
中图分类:B812 > 形式逻辑(名学、辩学)
普通逻辑应以传统逻辑的精华为其主体,适当吸收数理逻辑的基础知识,形成二者融合的教学体系;逻辑形式中不仅应包含有演绎推理,而且应包含归纳推理;三段论规则可以区分为构造规则、一般规则和导出规则,它们在层次上是不同的;矛盾律与排中律的适用范围并没……

互逆真蕴涵的建立过程为何要这样定义Why is the Establishment of Mutually Inverse Proper Implication so Defined?

作者:周训伟,鲍泓,
中图分类:B812.22 > 判断、命题
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样,都是三真一假的真值表,但含义却不尽相同.

制约逻辑与计算机科学相关问题的探讨Probing into the Relating Problems between Restriction Logic and Computer Science

作者:汪学明,
中图分类:B812 > 形式逻辑(名学、辩学)
新兴的逻辑领域--制约逻辑与计算机发展关系密切.这主要体现在内涵智能机和量子计算机两个方面."正统"数理逻辑已不适应智能机和量子计算机的发展需要,而制约逻辑却为此提供了新的理论依据.

不同的文化背景与不同的思想路数——因明与名辩学的比较Different Cultural Backgrounds and Different Thought Approaches——Comparison between the Yinming and the Nominalistic Doctrine

作者:张晓芒,王颖,
中图分类:B812 > 形式逻辑(名学、辩学)
古印度因明与中国古代名辩学同是世界三大逻辑体系之一,它们都产生于论辩之中.在保证论证有效性上,因明与名辩学具有共性,这是它们同属于思维工具学科的前提.但不同的历史文化背景,使这两种思维工具系统产生与发展的思想路数不同,目的不同,思维方法不同……

关于建立立体逻辑方阵的构想The Opposition Conception of Establishment for Three-dimensional Square

作者:李贤军,
中图分类:B812 > 形式逻辑(名学、辩学)
真假制约关系问题是逻辑学界研究的热点问题.包含两个自变元的联言命题与相容选言命题、充分条件假言命题、必要条件假言命题,通过前肢互否、后肢互否、双肢互否和非双肢互否等方式形成的各个命题之间,仍具有真假制约关系,可在此基础上建立立体逻辑方阵.

从充分条件看尽举选言命题的性质及其推理Viewing the Characteristic and Inference of Disjunctive Proposition from Sufficient Condition

作者:龚启荣,
中图分类:B812.22 > 判断、命题
充分条件关系是非纯真值的联结关系,不是纯真值联结关系.作为必须通过非纯真值的充分条件假言联结词"若,则"来定义的导出的尽举选言命题也是非纯真值的:尽举选言命题的真值,不取决于出现在其中的肢命题的真值,前者不是后者的真值的真值函数.以尽举选言……
相关服务:到中国技术专家网提问
 1   2   3   4   5   6   7   8   9   10   11 
下一页

版权所有 北京万方数据股份有限公司 京ICP证010071号 关于我们 | 资源合作 | 知识产权声明 | 客户服务 | 万方数据