جستجوي پيشرفته برو
 درخواست اشتراکارتباط با ماآرشيوشناسنامهصفحه اصلي
نسخه شماره 3332- تاریخ : 1394/02/13 - اولين روزنامه جوانان و نوجوانان ايران (يكشنبه)

 مشاهير  

آلفرد تارسکي

قسمت اول

نام: آلفرد تارسکي (Alfred Tarski)

تولد: 14 ژانويه 1901 - ورشو ، امپراتوري روسيه

درگذشت: 26 اکتبر 1983 ميلادي (82 سال)برکلي، کاليفرنيا

مليت: لهستاني

رشته فعاليت: رياضيات، منطق، فلسفه زبان

دليل شهرت: بخاطر تحقيقاتش در نظريه مدل، رياضيات، منطق جبري، جبر انتزاعي، منطق رياضي، هندسه، توپولوژي و نظريه مجموعه‌ها

بيوگرافي مختصر:

آلفرد تارسکي (به لهستاني: Alfred Tarski)‏ (14 ژانويه 1901 - 26 اکتبر 1983) رياضيدان و منطقدان برجسته لهستاني-آمريکايي بود. وي در مدرسه رياضيات و فلسفه ورشو تحصيل و در 1939 به آمريکا مهاجرت کرد و از 1942 در دانشگاه برکلي در کاليفرنيا به تحقيق و تدريس پرداخت.

شهرت او بيشتر بخاطر تحقيقاتش در نظريه مدل، رياضيات و منطق جبري است اما در زمينه‌هاي ديگري مانند جبر انتزاعي، منطق رياضي، هندسه، توپولوژي و نظريه مجموعه‌ها نيز فعاليت داشته است. واگت، يکي از شاگردانش، او را درکنار ارسطو، فرگه و گودل به عنوان چهار منطقدان برجسته تاريخ معرفي کرده است. نظريه وي درباره صدق در زبان صوري، نزد منطقدانان مشهور و منشاء بحثهاي فراواني بوده است.

زندگينامه آلفرد تارسکي

تارسکي‌ در لهستان‌ متولد شد و در 1924 از دانشگاه‌ ورشو دکتراي‌ رياضيات‌ گرفت؛ و تا زمان‌ مهاجرتش‌ به‌ امريکا، در 1939، در همان‌ دانشگاه‌ به‌ تدريس‌ رياضيات‌ اشتغال‌ داشت. از 1942 در دانشگاه‌ کاليفورنيا (برکلي) به‌عنوان‌ استاد رياضيات‌ به‌ تدريس‌ مشغول‌ شد. اين‌ رياضي‌دان‌ و منطق‌دان‌ و فيلسوفِ‌ منطقِ‌ لهستاني/ امريکايي‌ بيشتر به‌خاطر تحقيقاتش‌ درباب‌ مفاهيم‌ صدق‌ و نتيجه‌ در دهه 1930 شهرت‌ دارد، و کارهاي‌ او در منطق‌ در تثبيت‌ مباني‌ نظريه منطقي‌ جديد نقشي‌ مهم‌ دارد.

تارسکي‌ در 1935 مقاله‌اي‌ نوشت‌ تحت‌ عنوان‌ «مفهوم‌ صدق‌ در زبان‌هاي‌ صوري»، و اين‌ مقاله‌ بعدها در کتابش‌ منطق‌ و معني‌شناسي‌ و فرارياضيات، 1956، ويرايش‌ دوم‌ 1983، دوباره‌ به‌ چاپ‌ رسيد. هدف‌ او از نوشتن‌ اين‌ مقاله‌ ارائه‌ تعريفي‌ از صدق‌ جملات‌ بود به‌گونه‌اي‌ که‌ هم‌ بتواند تعريف‌ رضايت‌بخشي‌ از صدق‌ به‌دست‌ دهد و هم‌ از ظهور پارادکس‌ دروغگو در الگوي‌ پيش‌نهادي‌ جلوگيري‌ کند. تحليل‌ او از مفهوم‌ صدق‌ در زبان‌هاي‌ صوري‌ در اين‌ مقاله‌ به‌تعريف‌ صدق‌ و دفاع‌ مدون‌ از نظرية‌ مطابقت‌ صدق‌ (نظريه ارسطو) منتهي‌ مي‌شود.

تارسکي‌ در اين‌ مقاله‌ بين‌ زبان‌ صوري‌ (L) و تفسيري‌ (I) از آن‌ فرق‌ قائل‌ مي‌شود. L زباني‌ است‌ که‌ جملات‌ آن‌ براساس‌ معيارهاي‌ معيني‌ ساخته‌ مي‌شوند، و اصطلاحات‌ تعريف‌ ناشده آن‌ کاملاً‌ معين‌ هستند، و علاوه‌ بر اين‌ قواعد تعريف‌ لازم‌ براي‌ ارائه کلمات‌ جديد در آن‌ روشن‌ است‌ و همينطور قواعد استنتاج‌ جملات‌ جديد از جملات‌ قبلاً‌ بيان‌ شده‌ نيز مشخص‌ است. چون‌ به‌هنگام‌ تعيين‌ ساختارL منحصراً‌ صورت‌ تعبيرات‌ موجود در آن‌ در مد نظر بوده‌ است، تارسکي‌ L را زبان‌ صوري‌ (formalized) مي‌نامد و مي‌گويد که‌ در اين‌ زبان، قضايا تنها جملاتي‌ هستند که‌ مي‌توان‌ بيان‌ کرد. هر زبان‌ صوري‌ ناچار تعدادي‌ اصول‌ موضوع‌ يا جملات‌ اوليه‌ دارد. تارسکي‌ اصول‌ موضوع‌ را به‌همراه‌ جملاتي‌ که‌ به‌ کمک‌ قواعد استنتاج‌ از اين‌ اصول‌ استنتاج‌ شده‌اند قضايا يا جملات‌ اثبات‌پذير مي‌نامد. تارسکي‌ کوشيد نشان‌ دهد که‌ اين‌ تعريف‌ را نمي‌توان‌ در درون‌ خود L نيز جاري‌ دانست، بلکه‌ ارائه‌ تعريف‌ صدق‌ در زبان‌ L مستلزم‌ فرا زباني‌ غني‌تر است‌ (از اين‌ مطلب‌ به‌عنوان‌ قضيه تارسکي‌ ياد مي‌کنند).

ادامه دارد...

منبع: آي هوش


نسخه چاپي ارسال به دوستان
 
اجتماعي
جوان و جامعه
تلخند
ورزشي
گالري
بچه هاي مدرسه
ادبيات نوجوان
كانون