科研之友
微信
新浪微博
Facebook
分享链接
摘要
数学证明中常有"设自然数n为任意自然数","设三角形ABC为任意三角形"这样的习语。通过证明自然数n或者三角形ABC具有某种属性,推出论域中的所有对象都具有同样的属性。这种论证方式被称为全称概括规则(Universal Generalization),简称UG规则。UG规则往往被视为一条有效推理规则,但这条推理规则是如何得到辩护的?纵观对UG的各类辩护,大多基于对"任意性(arbitrariness)"的阐释,从而为UG规则提供辩护。本文以当下具有代表性的对UG规则的辩护和对任意指称的论述为基础,提出了一种新的任意指称原则(Principle of Arbitrary Reference,简称PAR*),并据此为UG规则辩护。
