首页   按字顺浏览 期刊浏览 卷期浏览 Fregean Extensions of First‐Order Theories
Fregean Extensions of First‐Order Theories

 

作者: John L. Bell,  

 

期刊: Mathematical Logic Quarterly  （WILEY Available online 1994）
卷期: Volume 40, issue 1  

页码: 27-30

 

ISSN:0942-5616

 

年代: 1994

 

DOI:10.1002/malq.19940400104

 

出版商: WILEY‐VCH Verlag Berlin GmbH

 

关键词: Fregean theory;Frege's abstraction scheme;Fregean extension;Conservative extension

 

数据来源: WILEY

 

摘要:

AbstractIt is shown by Parsons [2] that the first‐order fragment of Frege's (inconsistent) logical system in theGrundgesetze der Arithmeticis consistent. In this note we formulate and prove a stronger version of this result for arbitrary first‐order theories. We also show that a natural attempt to further strengthen our result runs afoul of Tarski's theorem on the undefinability of truth.Mathematics Subject Classification:03

 

点击下载:  PDF (204KB)



返 回