نوع مقاله : مقاله پژوهشی
نویسندگان
ندارد
چکیده
عنوان مقاله [English]
A. Tarski's truth- theory is based on classic conception of
correspondance-truth-theory and of semantics. The semantic impart
of Tarski's study on truth makes his project distiguished from the
other truth- investigations. One of the most issues which Tarski
pays attention to it, is deductive disciplines. The deductive
disciplines consist in axioms (or postulates), primary concepts, and
certain derivation rules. In this research, first, we try to answer the
question whether asking for truth of the sentences of deductive
system such as mathematics and logic is correct and significant one.
Second, after asserting postive answer to first question, in virtue of
Tarski's semantical ideas, it is examined the ways by which is
acommplished for truth of the sentences of sciences and deductive
systems. Such definition is based on Tarski's conception of
"concequence" and "model" which are in accordance with his
semantic approach. Then it is mentioned that the semantic account
is in contrast with apodictic and syntactical ones which are not in
accordance with Tarski's semantic attitudes and didn't enclude all
formulated theorms in deductive systems. Finally, the positive
features of the new definition for truth is explained and some
(re)assessments and/or (re)evalutions are discussed.
کلیدواژهها [English]