نظریه صدق تارسکی (مقاله علمی وزارت علوم)
درجه علمی: نشریه علمی (وزارت علوم)
آرشیو
چکیده
نظریه سمانتیکی صدق تارسکی برای اولین بار در مقاله "مفهوم صدق در زبان های صوری شده" معرفی شد. در این مقاله نظریه صدق تارسکی را با جزییات آن، براساس مقاله مذکور، معرفی خواهیم کرد و موضع تارسکی را در مقابل پرسش های اساسی ای که با آن روبه رو بود را روشن خواهیم ساخت. همچنین استدلال خواهیم کرد که پذیرش نظریه صدق تارسکی منتج به افلاطون گرایی در ریاضیات خواهد شد.تبلیغات
