[1],本文称之为"经典理论",分别是:去" />
The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit later.
We apologize for any inconvenience caused
Login  | Sign Up  |  Oriprobe Inc. Feed
China/Asia On Demand
Journal Articles
Laws/Policies/Regulations
Companies/Products
Bookmark and Share
gong li hua zhen li lun yan jiu xin jin zhan
Author(s): 
Pages: 91-95
Year: Issue:  9
Journal: Philosophical Trends

Keyword:  公理化方法说谎者组合理论truth句法理论哥德尔编码语法概念塔尔斯基形式语言克里普克;
Abstract: <正>公理化真理论(axiomatic theory of truth)兴起于20世纪80年代,其核心思想是把"真"作为一个初始的谓词,直接添加到一种基础理论(base theory)的语言中,并以若干刻画真概念基本事实的语句作为公理,对基础理论进行扩充。这里所谓的基础理论是一种句法理论(sntactic theory),用于提供研究真概念所必需的精确而严格的形式语言。公理化真理论以克服说谎者悖论及其各种变体为目标,在系统研究真概念的功能和规律的基础上,逐渐形成了四大理论[1],本文称之为"经典理论",分别是:去
Related Articles
No related articles found