عبارت مورد نظر خود را بنویسید
همراهان مُدال، منطقهای مُدال نرمال هستند که منطقهای سوپر-انتوئیژنیستی (میانی) را از طریق ترجمهای خاص تفسیر میکنند. این همراهان خواص منطق میانی را به ارث میبرند و ابزاری قدرتمند برای مطالعه منطقهای میانی با استفاده از روشهای منطق مُدال فراهم میآورند. ترجمه گودل-مککینسکی-تارسکی نقش کلیدی در این ارتباط ایفا میکند.
نظریه معناشناختی حقیقت، ارائهشده توسط آلفرد تارسکی، حقیقت را بهعنوان ویژگی جملات در فلسفه زبان تعریف میکند. این نظریه با هدف حل پارادوکس دروغگو، تمایز بین زبان شیء و زبان فراشده را ضروری میداند و بر اساس اصل کفایت مادی (Convention T) شکل گرفته است.
