【摘 要】
：
数学证明中常有"设自然数n为任意自然数","设三角形ABC为任意三角形"这样的习语。通过证明自然数n或者三角形ABC具有某种属性,推出论域中的所有对象都具有同样的属性。这种论
论文部分内容阅读
数学证明中常有"设自然数n为任意自然数","设三角形ABC为任意三角形"这样的习语。通过证明自然数n或者三角形ABC具有某种属性,推出论域中的所有对象都具有同样的属性。这种论证方式被称为全称概括规则(Universal Generalization),简称UG规则。UG规则往往被视为一条有效推理规则,但这条推理规则是如何得到辩护的?纵观对UG的各类辩护,大多基于对"任意性(arbitrariness)"的阐释,从而为UG规则提供辩护。本文以当下具
其他文献
科学探究是科学素养的核心，贯穿于整个科学教育的始终。正确的科学探究活动可以启发学生的探究兴趣，提高学生的科学素养、科学探究的步骤包括：①提出问题；②猜想与假设；③制定计划
主轴承密封失效的案例在TBM施工中并不少见,通常密封失效后采用在洞内更换的方式进行处理。文章通过对辽宁重点输水工程1台TBM主轴承密封失效的应急处理方案的介绍,为同类设
在广义论证视域下,贵州丹寨"八寨苗"的祭祀仪式是人神之间在共享的交流空间中,借助象征性符号实施社会互动,开展说理活动的过程。本文遵循本土化研究原则,在田野数据的基础上
证明了几乎正规子群与C-正规子群的某些性质，并利用几乎正规子群概念考察了某些有限群的可解性，得到了若干充分条件．
Fine(2016)给出了几种使真者语义学来解释我们如何理解我们的语言,但是它们是有争议的,特别在我们如何理解全称句子方面存在争议。在Hale未发表的论文中,Hale修正了严格使真