任意性和全称概括规则

摘要：

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

关键词：全称概括规则、任意性、任意指称、任意指称原则

所属期刊栏目：13

分类号：B81(逻辑学(论理学))

在线出版日期：2020-06-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：75-86