| 释义 |
TarskiBNC¹⁷³⁹⁹⁵⁺²
基本例句
塔斯基¹⁰⁰
From Tarski s theories of truth, the article gives a brief trace of modern Logical semantics and the concept of “ truth” in the theories.
本文简要描述了现代逻辑语义学形成的过程，并以塔尔斯基的真之理论为例，分析了现代逻辑语义学中对“真”这一概念的阐述。 dictall
Davidson introduced the factors of language user on the basis of Tarski's truth theory for formal language and gave an appropriate definition for natural language.
戴维森在塔斯基的对形式语言的真之定义基础之上引入了语言使用者，对自然语言的意义进行了阐释。 http://dj.iciba.com
In this article, firstly, I will systemize the process in which Tarski defined the truth in the calculus of classes, and will study deeply some problems of the process.
本文的主要内容是：首先把塔斯基定义类演算语言真句子的过程系统化，并对其中的一些问题进行探讨； cnki
Like“ type theory approach to paradox solution”, “ Tarski's classical approach to , paradox solution ”, and “ situation semantics approach to paradox solution ” and so on;
第二，叙述了国外具有代表性的“解悖”方案，如“类型论”方案、“语言层次”论方案和“情境语义学”方案等； fabiao
Secondly, I will prove some characters of Tarski's definition of truth , which could indicate the perfection of this definition.
然后，证明这个真句子定义具有恰当性所要求的性质； fabiao
Synthetic truth should have its limitation form, and Tarski's truth value form can be revised to express the synthetic truth of dialectical materialism.
综合真理应该具有其限定形式，塔斯基的真值形式可以改造成为辩证唯物主义的综合真理的表达方式。 cnki
The first part is about Quine's criticism and inheritance to the traditional perspectives to truth, like the correspondence theory , the coherence theory and Tarski's semantic theory of truth.
第一部分是蒯因对符合论、融贯论、塔尔斯基语义真理论等传统真理观以及同时代的逻辑经验主义真理观的批判继承。 fabiao
The paper intends to argue that the formulation of the T- convention Tarski gives is not precise enough;
本文旨在论证，塔尔斯基所给出的 T-约定的表述不精确； sinoss
The semantic definition that Tarski puts forward for the true sentences, which is materially adequate and formally correct, is one achievement of the modern logical science.
塔尔斯基为真语句所作的实质上适当的、形式上正确的语义学定义，是现代逻辑科学的一大创举。 cnki
Tarski s semantic theory of truth is often taken as a correspondence theory.
塔斯基的语义真理论常被当作符合论。 dictall
Tarski condemns“ natural language” into death, because he thinks that it consists of “ contradiction proved”.
塔斯基宣判“自然日常语言”死刑，是因为他发现它内含“矛盾被证”。 dictall
Tarski's theory of truth is not a correspondence theory.
塔斯基的真理论并不是符合论。 cnki |