Some Criteria for Acceptable Abstraction

被引：8

作者：

Linnebo, Oystein ^{[1
]}

机构：

[1] Birkbeck Univ London, London, England

来源：

NOTRE DAME JOURNAL OF FORMAL LOGIC | 2011年 / 52卷 / 03期

基金：

欧洲研究理事会;

关键词：

abstraction; bad company problem; conservativeness; unboundedness; stability; irenicity;

D O I：

10.1215/00294527-1435492

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Which abstraction principles are acceptable? A variety of criteria have been proposed, in particular irenicity, stability, conservativeness, and unboundedness. This note charts their logical relations. This answers sonic open questions and corrects some old answers.

引用

页码：331 / 338

页数：8

共 13 条

[1]

[Anonymous], 2000, PHILOSOPHIA MATH 3, DOI DOI 10.1093/PHILMAT/8.2.100

[2]

[Anonymous], 2001, REASONS PROPER STUDY

[3]

Boolos G., 1995, MEANING METHOD ESSAY, P234

[4]

Boolos George., 1998, LOGIC LOGIC LOGIC