Semantic Account for Truth of the Sentences of Deduetive Disciplines: Based on Tarski's Ideas

Subject Areas : Philosophy

مهدی بهنیافر ¹ , علی اکبر احمدی افرمجانی ²

1 - ندارد
2 - ندارد

Received: 2014-10-20 Accepted : 2014-10-20 Published : 2008-03-20

Keywords: Truth, accordance, deductive disciplines, axioms (and&#x0D, &#x0D, postulates), Semantics, concequence, Model,

Abstract :

A. Tarski's truth- theory is based on classic conception ofcorrespondance-truth-theory and of semantics. The semantic impartof Tarski's study on truth makes his project distiguished from theother truth- investigations. One of the most issues which Tarskipays attention to it, is deductive disciplines. The deductivedisciplines consist in axioms (or postulates), primary concepts, andcertain derivation rules. In this research, first, we try to answer thequestion whether asking for truth of the sentences of deductivesystem such as mathematics and logic is correct and significant one.Second, after asserting postive answer to first question, in virtue ofTarski's semantical ideas, it is examined the ways by which isacommplished for truth of the sentences of sciences and deductivesystems. Such definition is based on Tarski's conception of"concequence" and "model" which are in accordance with hissemantic approach. Then it is mentioned that the semantic accountis in contrast with apodictic and syntactical ones which are not inaccordance with Tarski's semantic attitudes and didn't enclude allformulated theorms in deductive systems. Finally, the positivefeatures of the new definition for truth is explained and some(re)assessments and/or (re)evalutions are discussed.