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

استفان یابلو‎‎ در سال 1993 پارادوکسی غیرعادی شامل لیستی نامتناهی از جملات ‏در زبان غیر‌صوری ارایه کرد. بعد از معرفی دو حالت شناخته‌شده در بررسی تناقض در مجموعه‌ای از عبارات‏، ناسازگاری لیست جملات یابلو در زبان‌های مرتبه دوم بررسی‌ شده‌است. ‏در حالی ‌که حالت اول لیست متناقض نیست‏، نسخه‌ی مرتبه دوم لیست متناقض می‌باشد. از‏‌این‌رو نتیجه می‌گیریم ‏که لیست یابلو متناقض است و استدلال غیر‌صوری یابلو معتبر می‌باشد.

در این پایان نامه نظریه مدل های کریپکی منطق مرتبه اول شهودی را مطالعه می کنیم. دو مفهوم زیرمدل و جملات عمومی در منطق مرتبه ی اول شهودی معرفی می شود: در تعریف زیرمدل کریپکی می توان قاب یا جهان های کلاسیک یا هر دو را تحدید کرد. در این پایان نامه تعرفی سود از زیرمدل را در نظر می گیریم. اگر مدل کریپکی را به عنوان یک تابعگون از یک رسته ی کوچک به رسته تمام مدل های کلاسیک همراه با همریختی های بین آنها در نظر بگیریم آناه مفهوم زیر مدل را به این صورت تعریف می کنم: یک زرمدل از یک مدل کریپکی از تحدید مدل کریپکی اصلی به یک زیررسته از دامنه اش بدست می آید به طوری که هر رأس از یان زیررسته به یک زیرمدل کلاسیک از مدل کلاسیک نظیر آن در مدل کریپکی اصلی نگاشته می شود. یک جمله را عمومی می نامیم اگر به صورت استقرائی از اتم ها (شامل ┬ و ┴ )، رابط های → ، ᵥ ، ᴧ و سور ɏ ساخته شود، به طوری که هر زیر فرمول شرطی آن دارای مقدم اتمی باشد. ثابت می کنیم یک نظریه ی شهودی تحت زیرمدل کریپکی حفظ می شود اگر و تنها اگر به وسیله جملات عمومی اصل پذیر باشد. در این پایان نامه، در تعریف مدل کریپکی، تغییر محمول تساوی، تساوی واقعی است و از هر جهان به جهان بالاتر یک همریختی وجود دارد. تغییر محمول تساوی می تواند یک رابطه هم ارزی باشد. همچنین ارتباط بین یک جهان و جهان بالاتر می تواند زیرساختار ضغیف باشد. از این رو، چهار کلاس از مدل های کریپکی می توان داشت. در فصل سوم، ضمن تعریف مفاهیم یکریختی و تشابه مدل های کریپکی این کلاس ها با یکدیگر مقایسه می شود.

میلیکان در پاسخ به مسئلۀ پاتنم دربارۀ عدم تعین مصداقی واژه‌های زبانی این موضوع را مطرح می‌کند که اگر تعریف جدیدی از بازنمایی مبتنی بر شواهد زیستی و به‌ویژه اصل انتخاب طبیعی ارائه کنیم، آیا مسئلۀ پاتنم هم‌چنان موضوعیت خواهد داشت. پاسخ میلیکان به این سؤال منفی است. او معتقد است که سؤال باید این‌گونه مطرح شود که چه چیزی رابطه‌ای خاص را از میان بی‌شمار رابطۀ ممکن بین واژگان و اشیا به رابطۀ بازنمایی ـ بازنما تبدیل می‌کند؟ پاسخ او به این سؤال بر فرضیه‌ای مبتنی است که در زیست‌شناسی نیز محل اختلاف و مباحثات بسیار بوده است و طرف‌داران و مخالفان خود را دارد. میلیکان در زمرۀ گروهی است که نگاهی تاریخی به کارکرد دارند و معتقدند که کارکرد هر شیء باید براساس نقشی تعریف شود که قرار بوده است در سیر تاریخی پیدایشش ایفا کند. او به چنین کارکردی صفت «مطلوب» را اطلاق می‌کند. فرضیۀ بدیل معتقد است که کارکرد باید براساس کاری تعریف شود که در حال حاضر و در تعادل با وضعیت موجود بااستفاده‌از شیء انجام می‌شود. نکتة کلیدی در ارائة مفهوم کارکرد مطلوب ارائة تعریفی جدید از «بازنمایی» است. در این مقاله قصد داریم با معرفی تعریف میلیکان از بازنمایی نشان دهیم که این تعریف بر مفهوم «ساختکار» (functure) مبتنی است و برخلاف دیدگاه رایج در فلسفه که بازنمایی را امری ذهنی می‌داند، کاملاً عینی است.

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

هدف اصلی این مقاله بررسی و تحلیل استدلال‌های هاریچ در مقالة «معنا، کاربرد، و صدق» است که در سال 1995 در مجلة Mind منتشر شده است. وی در این مقاله از ایدة ویتگنشتاین، یعنی نظریة کاربردی معنا (use theory)، در‌مقابل استدلال‌هایی که علیه این رویکرد ارائه ‌شده‌اند دفاع می‌کند. تمرکز هاریچ به‌ویژه بر انتقادهای کریپکی است. کریپکی در کتاب مشهور خود با عنوان دیدگاه ویتگنشتاین دربارة قواعد و زبان خصوصی سعی دارد نشان دهد کاربرد نمی‌تواند ارائه‌دهندة معنا باشد. مفهومی که کریپکی آن را نقد می‌کند تمایل‌گرایی (dispositionalism) است. او معتقد است معنای یک واژه نمی‌تواند معادل با تمایلات یا قابلیت‌های انسان برای کاربرد آن واژه باشد. هاریچ استدلال کریپکی را نادرست می‌داند. برای این منظور، ابتدا دو تفسیر قوی و ضعیف از مقدمات استدلال کریپکی ارائه می‌دهد و سپس هر دو را نقد می‌کند. ازنظر او، لازمة استدلال کریپکی در تفسیر قوی پذیرش رویکرد انبساطی به صدق است و چنین رویکردی باطل است. در تفسیر ضعیف نیز مثال کریپکی نادرست است. پس از بررسی انتقادهای هاریچ بر کریپکی انتقادهای او را ارزیابی می‌کنیم.

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

هدف اصلی این پایان‌نامه بررسی مجموعه‌ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می‌شود که در منطق مرتبه اول پیوسته مجموعه‌ای از فرمول‌ها (تماماً) قابل‌ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می‌شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می‌کند، که بنابر آن ΣΙ=φ اگر و تنها اگرn-2--ΣΙ-φ برای تمام n<ω. این صورت تقریبی از تمامیت قوی بیان می‌کند که اگرΣΙ=φ، بنابراین اثبات‌های متناهی از Σ می‌توانند تقریب‌های دلخواهی از درستی φ را بدست دهد. به‌علاوه مسئله‌ای متفاوت که در نظریه مدل به‌طور سنتی مطرح می‌شود یعنی تصمیم‌پذیری را بررسی می‌کنیم. از تمامیت منطق مرتبه اول پیوسته حاصل می‌شود که یک نظریه کامل با اصول بازگشتی (یا حتی شمارش‌پذیر بازگشتی) تصمیم‌پذیر است.

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

خونجی در تقسیم‌بندیِ خود از گزاره، هر کدام از محصورات اربع را به 36 قسم تقسیم نموده است. در آثار معاصر، تنها گزاره‌ی موجبه‌ی کلیه بر اساس تقسیم‌بندی خونجی، صورت‌بندی شده است. در این پایان‌نامه 72 گزاره‌ی جزئیه نزد خونجی صورت‌بندی شده‌اند. خونجی 12 گزاره را از مجموع 72 گزاره‌ی جزئیه، همیشه‌صادق دانسته است. از این 12 گزاره، 6 گزاره موجبه‌ی جزئیه و 6 گزاره‌ی دیگر سالبه‌ی جزئیه‌اند. در فصل دوم با بررسی این گزاره‌ها نشان دادیم که اگر چه این گزاره‌ها در منطق جدید، همیشه‌صادق نیستند اما در منطق خونجی همیشه‌صادق‌اند. خونجی، همچنین 5 گزاره‌ی موجهه را همیشه‌صادق دانسته است. در این پایان‌نامه، پس از صورت‌بندی موجهات خونجی در منطق موجهات زمانی، نشان دادیم که اگر چه گزاره‌های موجهه‌ی همیشه‌صادقِ خونجی در منطق موجهات جدید همیشه‌صادق نیستند اما در منطق موجهات خونجی همیشه‌صادق‌اند. در پایان، به تعریف عکس نقیض و معرفی عکس نقیض نوع سوم و نوع چهارم، به عنوان یکی از توابع بحث گزاره‌های همیشه‌صادق پرداخته‌ایم.

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