搜索结果: 61-75 共查到“逻辑学其他学科”相关记录157条 . 查询时间(3.463 秒)
CIFOL:Case-intensional first order logic.(I) Toward a theory of sorts
modal logic extension/intension intensional predication and quantification sortal tracing substance
2016/5/27
This is Part I of a two-part essay introducing case-intensional first-order logic (CIFOL), an easy-to-use, uniform, powerful, and useful combination of first order logic with modal logic resulting fro...
Logic of gauge
Weyl gauge theory Yang-Mills connections
2016/5/27
The logic of gauge theory is considered by tracing its development from general relativity to Yang-Mills theory, through Weyl's two gauge theories.
A logic road from special to general relativity
first-order logic axiomatization foundation of relativity theory
2016/5/27
We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps. We will also see how ...
Moore's Problem
Criteria of Doxastic Admissibility Desiderata of Belief Formation Logical Paradoxes Rationality
2016/5/27
Moore’s problem or Moore’s ‘paradox’ arises from the fact that consistent propositions of the form of (1) and (2):
(1) It is raining but I believe it is not raining
(2) It is raining but I don’t bel...
上海交通大学马克思主义学博士生导师黄伟力教授（图）
上海交通大学马克思主义学 博士生导师 教授 逻辑学 马克思主义研究
2016/4/20
黄伟力，男，教授，1988年在上海社会科学院获哲学硕士学位，同年进入上海交通大学社会科学及工程系任教。1994年受聘副教授，1995年至1996年在德国康斯坦茨大学哲学系做访问学者，2001年受聘上海交通大学人文社会科学学院教授。1997年至2009年，先后任上海交通大学人文学院副院长、党总支书记、思想政治理论教育中心主任。现为上海交通大学马克思主义学院党总支书记、副院长。
浙江大学主办“第一届逻辑与论辩国际会议”
浙江大学 第一届 逻辑与论辩 国际会议
2016/4/12
2016年4月2～3日，由浙江大学语言与认知研究中心（CSLC）主办的第一届“逻辑与论辩”国际会议（The First Chinese Conference On Logic and Argumentation）在浙江大学举行。本次会议获得“中央高校基本科研业务费专项资金”和浙江大学“海外一流学科伙伴提升计划”的资助。逻辑与论辩是一项跨学科、跨领域的研究，涉及逻辑学、哲学、计算机科学、人工智能和法...
王志远，教授，南京大学哲学博士，南京大学现代逻辑与逻辑应用研究所兼职研究员，南京大学思想分析实验室高级访问学者，纽约市立大学访问学者（2016年8月-2017年7月），广西马克思主义理论研究与建设工程广西师范学院基地特约研究员，中国逻辑学会辩证逻辑专业委员会理事，广西创造学会副会长，广西拓展学与创造学研究院副院长，广西高等学校优秀中青年骨干教师培养工程首批培养对象，广西区社科联广西社会科学专家库专...
南京师范大学公共管理学院批判性思维课件第十六讲 寻求最佳解释的推理。
南京师范大学公共管理学院批判性思维课件第十五讲 类比推理
南京师范大学公共管理学院 批判性思维 课件 第十五讲 类比推理
2015/7/14
南京师范大学公共管理学院批判性思维课件第十五讲 类比推理。
南京师范大学公共管理学院批判性思维课件第十四讲 归纳论证
南京师范大学公共管理学院 批判性思维 课件 第十四讲 归纳论证
2015/7/14
南京师范大学公共管理学院批判性思维课件第十四讲 归纳论证。
南京师范大学公共管理学院批判性思维课件第十三讲 条件证明和间接证明。
南京师范大学公共管理学院批判性思维课件第十二讲 自然推理（命题演算）。
南京师范大学公共管理学院批判性思维课件第十一讲 真值表方法
南京师范大学公共管理学院 批判性思维 课件 第十一讲 真值表方法
2015/7/14
南京师范大学公共管理学院批判性思维课件第十一讲 真值表方法。
南京师范大学公共管理学院批判性思维课件第十讲 真值函项与真值连接词。
南京师范大学公共管理学院批判性思维课件第九讲 符号与翻译
南京师范大学公共管理学院 批判性思维 课件 第九讲 符号与翻译
2015/7/14
南京师范大学公共管理学院批判性思维课件第九讲 符号与翻译。