جستجوي پيشرفته | کتابخانه مجازی الفبا

ترجمه ماشینی: این کتاب شرح مفصلی بر تک نگاری کلاسیک آلفرد تارسکی ارائه می دهد و با استفاده از متن اصلی لهستانی و ترجمه انگلیسی و آلمانی، تفسیر و ترجمه مجدد اثر را ارائه می دهد. در اثر اصلی، تارسکی روشی را برای ساختن تعاریف حقیقت برای زبان‌های رسمی کلاسیک و کمی ارائه می‌کند. علاوه بر این، با استفاده از مفهوم تعریف شده از صدق، او نشان می دهد که می توان به طور شهودی تعاریف مناسبی از مفاهیم معنایی تعریف پذیری و دلالت ارائه کرد و این مفهوم در یک ساختار را می توان به گونه ای تعریف کرد که مشابه آن چیزی است که برای تعریف حقیقت استفاده می شود. . اثر تارسکی به عنوان یکی از کمک های عمده به منطق، معناشناسی و معرفت شناسی در قرن بیستم در نظر گرفته می شود. با این حال، نویسنده خاطرنشان می کند که هنگام ترجمه آن به آلمانی در سال 1935، برخی از اشتباهات وارد متن شده است. از آنجایی که نسخه انگلیسی 1956 این اثر از متن آلمانی ترجمه شده است، این اختلافات علاوه بر اشتباهات جدید منتقل شده است. نویسنده با دقت این سه متن را به صورت جمله به جمله مقایسه کرده است، ترجمه های نادرست را برجسته می کند، توضیحاتی در مورد چگونگی پیدایش آنها ارائه می دهد و در مورد چگونگی تأثیر آنها بر محتوا اظهار نظر می کند و تفسیر صحیحی از برخی قسمت ها را پیشنهاد می کند. علاوه بر این، نویسنده مقاله تارسکی را به طور کامل بررسی می کند و تفسیرها و نظراتی را در مورد این اثر ارائه می دهد.