خرید و دانلود فایل پاورپوینت کامل معرفی معرفت شناسان

بخشی از متن فایل پاورپوینت کامل معرفی معرفت شناسان :

آلفرد تارسکی (۸۳ ۱۹۰۲)

Alfred Tarski

تارسکی در لهستان متولد شد و در ۱۹۲۴ از دانشگاه ورشو دکترای ریاضیات گرفت؛ و تا زمان مهاجرتش به امریکا، در ۱۹۳۹، در همان دانشگاه به تدریس ریاضیات اشتغال داشت. از ۱۹۴۲ در دانشگاه کالیفورنیا (برکلی) به عنوان استاد ریاضیات به تدریس مشغول شد. این ریاضی دان و منطق دان و فیلسوفِ منطقِ لهستانی/ امریکایی بیشتر به خاطر تحقیقاتش درباب مفاهیم صدق و نتیجه در دهه ۱۹۳۰ شهرت دارد، و کارهای او در منطق در تثبیت مبانی نظریه منطقی جدید نقشی مهم دارد.

تارسکی در ۱۹۳۵ مقاله ای نوشت تحت عنوان «مفهوم صدق در زبان های صوری»، و این مقاله بعدها در کتابش منطق و معنی شناسی و فراریاضیات، ۱۹۵۶، ویرایش دوم ۱۹۸۳، دوباره به چاپ رسید. هدف او از نوشتن این مقاله ارائه تعریفی از صدق جملات بود به گونه ای که هم بتواند تعریف رضایت بخشی از صدق به دست دهد و هم از ظهور پارادکس دروغگو در الگوی پیش نهادی جلوگیری کند. تحلیل او از مفهوم صدق در زبان های صوری در این مقاله به تعریف صدق و دفاع مدون از نظریه مطابقت صدق (نظریه ارسطو) منتهی می شود.

تارسکی در این مقاله بین زبان صوری (

L

) و تفسیری (

I

) از آن فرق قائل می شود.

L

زبانی است که جملات آن براساس معیارهای معینی ساخته می شوند، و اصطلاحات تعریف ناشده آن کاملاً معین هستند، و علاوه بر این قواعد تعریف لازم برای ارائه کلمات جدید در آن روشن است و همینطور قواعد استنتاج جملات جدید از جملات قبلاً بیان شده نیز مشخص است. چون به هنگام تعیین ساختار

L

منحصرا صورت تعبیرات موجود در آن در مد نظر بوده است، تارسکی

L

را زبان صوری (

formalized

) می نامد و می گوید که در این زبان، قضایا تنها جملاتی هستند که می توان بیان کرد. هر زبان صوری ناچار تعدادی اصول موضوع یا جملات اولیه دارد. تارسکی اصول موضوع را به همراه جملاتی که به کمک قواعد استنتاج از این اصول استنتاج شده اند قضایا یا جملات اثبات پذیر می نامد. تارسکی کوشید نشان دهد که این تعریف را نمی توان در درون خود

L

نیز جاری دانست، بلکه ارائه تعریف صدق در زبان

L

مستلزم فرازبانی غنی تر است (از این مطلب به عنوان قضیه تارسکی یاد می کنند).

الگوی تارسکی در تعریف صدق به صورت جمله زیر بیان می شود: «جمله «هر عدد کامل زوج است» صادق است اگر و فقط اگر هر عدد کامل زوج باشد.» اکنون جملاتی که دارای همین الگو باشند به دوشرطی های تارسکی معروف هستند. تارسکی بر آن بود که هر دو شرطیِ تارسکی درواقع تعریف جزئی صدق است، و درنتیجه کل دوشرطی های تارسکی، که طرف های چپ آنها با هم مجموع جملات یک زبان صوری معین را نشان می دهد، تعریف صریح «صدق» را تشکیل می دهند، تعریفی که می توان آن را بر جملات آن زبان صوری اطلاق کرد. این دیدگاه تارسکی به سبب عمق نافذ و سادگی آرام بخش آن یکی از مایه های اصلی فلسفه تحلیلی جدید گردید. علاوه بر این، دیدگاه او درباب تعریف صدق مسئله فلسفی تعریف صدق را به مسئله منطقیِ ساختنِ جمله واحدی تحویل داد که شکل تعریف صدق و شکل دوشرطی تارسکی را دارد. این راه حل او، به عنوان «تعریف صدق تارسکی» معروف شده است، و تقریبا در هر متن مربوط به منطق ریاضی روایتی از آن به چشم می خورد. تعریف صدق تارسکی به گونه ای صورت بندی شده است که از ظهور پارادکس دروغگو در زبان مورد نظر جلوگیری می کند. بیان غیرصوری تعریف صدق تارسکی بعدها در ۱۹۴۴، در مقاله او تحت عنوان «مفهوم معنی شناختی صدق و مبانی معنی شناسی» در جلد ۴