夏素敏
- 作品数：32 被引量：27H指数：3
- 供职机构：中国社会科学院哲学研究所更多>>
- 发文基金：国家社会科学基金教育部人文社会科学研究基金更多>>
- 相关领域：哲学宗教文化科学理学自动化与计算机技术更多>>
- 从“怎么都不行”到“怎么都行”——对法伊尔阿本德科学哲学思想的再认识
- 2001年
- 夏素敏
- 关键词：科学哲学科学方法论
- 模态林斯特龙定理
- 模态逻辑是一阶逻辑的双仿不变片段,并且具备可判定性、有穷模型性等"好"性质,从这一角度而言,模态逻辑较一阶逻辑更适合作为研究的起点。不同的模态语言具备不同的表达力,由此可以对它们进行分类,从而清楚地把握由此形成的模态逻辑...
- 夏素敏
- 关键词：一阶逻辑模态逻辑
- 文献传递
- 21世纪的逻辑--《应用逻辑中的数学问题》述评被引量：2
- 2008年
- 夏素敏文鑫
- 关键词：应用逻辑数学问题国际数学逻辑学家
- “新”道义悖论——动态道义悖论及其哲学分析
- 2016年
- 在解析道义悖论的过程中,逻辑学家们给出了很多不同的方法,也各自面临着不同的问题。梅耶尔将道义逻辑归约为动态逻辑,并认为这种方法能够很好地消解道义悖论。但阿尔伯特指出,动态道义逻辑中仍然会出现"新"悖论。"新"的动态道义逻辑悖论与"旧"道义悖论之间有很多联系与区别。从哲学角度分析,动态道义悖论的出现缘于新算子的引入、新特性的刻画。一些所谓悖论只是动态道义逻辑的定理导致不符合直觉的结果,另一些与承诺悖论相似,缘于动态道义逻辑并未充分表达某些重要的道义概念。在"新"的道义逻辑系统中出现的"新"悖论,既有新特点,又与"旧"悖论有相关之处。道义悖论研究正是在这种"新"悖论与"旧"悖论的更替过程中不断推进的。
- 夏素敏
- 关键词：道义悖论哲学分析
- “罗斯悖论”研究述评及方法论思考被引量：1
- 2005年
- "罗斯悖论"是道义逻辑中的第一个"悖论",对此中外学者有过诸多研究,见解纷呈。在评述以往学界研究成果的基础上,通过语境原则的讨论和"悖论度"概念的引入,可以进一步澄清罗斯悖论的实质及其方法论价值。
- 夏素敏
- 关键词：罗斯悖论道义逻辑语境
- 中华逻辑发展史上的一次盛会——记“第二届两岸逻辑教学学术会议”被引量：1
- 2007年
- 刘叶涛夏素敏
- 关键词：逻辑教学两岸三地中国逻辑
- “罗斯悖论”研究述评被引量：3
- 2005年
- 夏素敏
- 关键词：道义逻辑命题逻辑
- 2022年人工智能哲学前沿论坛综述
- 2023年
- 为了顺应新一代人工智能的迅猛发展及国家人工智能创新发展的战略需要,进一步促进全国人工智能哲学研究,2022年4月16至17日,“2022年人工智能哲学前沿论坛”在中国社会科学院哲学研究所召开。本次研讨会由中国社会科学院哲学研究所主办,哲学研究所智能与逻辑实验室承办。来自清华大学、武汉大学、南开大学、中山大学、西安交通大学、上海交通大学、南京信息工程大学、中国社会科学院等院校的70余位专家学者以线上线下相结合的方式参加了会议研讨。
- 夏素敏朱科夫
- 关键词：人工智能
- 模态Lindstrm定理概述
- 一阶Lindstrm定理结合紧致性和L wenheim-Skolem性质刻画了一阶逻辑的表达力:一阶逻辑的一个扩充同时具备紧致性和L wenheim-Skolem性,当且仅当,其表达力不高于一阶逻辑。换言之,一阶逻辑是同...
- 夏素敏
- 关键词：一阶逻辑模态逻辑
- 文献传递
- 关于中文青少年逻辑思维读物的思考
- 提倡素质教育首先应特别关注逻辑思维素质,而青少年的思维素质教育是其中重要的一环.我国逻辑思维教材以及普通读物数不胜数,但针对青少年逻辑思维素质培养的读物却少之又少.真正明确给中学生的逻辑教材仅有两部,却都未能发挥其应有作...
- 夏素敏
- 关键词：逻辑思维青少年素质教育
- 文献传递
