مجلة الحكمة للدراسات الفلسفية
Volume 14, Numéro 1, Pages 1022-1034
2026-01-23
Authors : Bouzidi Naim .
This research aims to analyze Tarski’s theory of truth within formal languages, where he sought to provide a precise definition that overcomes the ambiguities associated with the term "truth" in natural languages. Tarski relied on semantic analysis linking truth to logic and mathematics, using the principle of bivalence (true/false) to resolve philosophical contradictions like the "liar paradox." The study concluded that Tarski's theory effectively contributes to providing a precise definition of truth in scientific and formal contexts, despite criticisms from philosophers like Donald Davidson, who questioned the usefulness of concepts such as "correspondence" and "states of affairs." The research also demonstrated.
Tarski ; truth ; formal languages ; semantic analysis ; logic
قادوم يسمينة
.
زيداني فريد
.
ص 606-619.
بن جبار عبد الله
.
ص 413-436.
Said Houari Amel
.
ص 889-904.