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

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

نظریه مجموعه‌های فازی در سال 1965 توسط پروفسور عسکرزاده دانشمند ایرانی تبار استاد دانشگاه برکلی آمریکا عرضه شد. این نظریه از زمان ارائه آن تاکنون، گسترش و تعمیق زیادی یافته و کاربردهای گوناگونی در زمینه‌های مختلف پیدا کرده است . مجموعه‌های فازی نظریه‌ای است برای اقدام در شرایط عدم اطمینان. این نظریه قادر است بسیاری از مفاهیم و متغیرها و سیستمهایی را که نادقیق هستند، چنانچه در عالم واقع اکثرا چنین است ، صورتبندی ریاضی ببخشد و زمینه را برای استدلال، استنتاج، کنترل و تصمیم‌گیری در شرایط عدم اطمینان فراهم آورد. در این رساله که بر پایه مقاله تدوین شده است ما به نحوه استفاده از استدلال تقریبی معکوس می‌پردازیم بدین منظور که نتیجه (طرف دوم یک قاعده فازی) داده شده، مسئله مطرح شده انتخاب بهترین ورودی (طرف اول یک قاعده فازی) است که نتیجه مورد نظر را باعث شود که در اینجا ما از قاعده رفع تالی تعمیم یافته کمک خواهیم گرفت . در فصل اول به تعاریف اولیه مورد استفاده در رساله از جمله -t نرمها و -t هم‌نرمها و عملگرهای مربوط به مجموعه‌های فازی می‌پردازیم و همچنین در این فصل مروری بر منطق فازی و کلاسیک خواهیم داشت و روابط بین آنها را در منطق دوارزشی و فازی و ارتباط آنها با یکدیگر را مطالعه می‌نماییم. در فصل دوم استدلال تقریبی و استدلال تقریبی معکوس بررسی شده است . در آنجا این سوال مطرح می‌شود که اگر قاعده R:A--->B با تابع استلزام I مدلسازی شود آیا قاعده R*:not(B)-->not(A) هم با همان تابع مدلسازی می‌شود؟ بدین معنی که آیا رابطه I(a,b) I(1-b,1-a) (خاصیت تقارن عکس نقیض) برقرار است ؟ بنابراین چون استلزامهایی که دارای تقارن عکس نقیض هستند در استدلال تقریبی معکوس نقش مهمی را بازی می‌کنند در فصل سوم مفصلا به آنها می‌پردازیم. در این فصل -S استلزامها، -R استلزامها، -QLاستلزامها و ... معرفی می‌شوند و استلزامهایی که خاصیت تقارن عکس نقیض را دارا بوده و یا با داشتن شرایطی این خاصیت را بدست می‌آورند بررسی شده‌اند.

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (CP) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای S4 و صوری کردن تعبیر BHK برای منطق شهودی بود. CP گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بیان زمینه های تاریخی صوری سازی اثبات ها دستگاه CP را معرفی کرده و قضیه تمامیت حسابی آن را ثابت می کنیم. همچنین نشان می دهیم که Cp قابلیت تحقیق منطق موجه S4 را در خود دارد. یکی از گسترش های Cp منطق اثبات ها و اثبات پذیری CPP است این دستگاه از ترکیب هم زمان وجه اثبات پذری و احکام شامل ترم های اثبات به دست می آید. پس از معرفی مدلهای کریپکی، تمامیت حسابی CPP ثابت می شود. در خاتمه منطق اثبات ها برای HA مطرح می گردد . قواعد پذیرفتنی در HA که در واقع همان قواعد پذیرفتنی در IPC می باشد در اصل بندی کامل این دستگاه نقش مهمی دارا هستند.

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

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

منطق عمل پاره‌ای از مفاهیم نظیر«قصد » را به عنوان مبدأ خود قرار می‌دهد، در حالیکه این مفاهیم تعریف روشنی ندارند و تنها به صورت کیفی تعریف شده‌اند. تقسیم‌بندی‌هایی که بر روی اعمال انجام می‌شود، می‌تواند با توجه به نیاز هر علم و با تکیه بر یکی از خصوصیات عمل، انجام شود. در این تحقیق نمونه‌ای از این تقسیم‌بندی‌ها بر اساس تعداد عامل‌های موثر در انجام یک عمل انجام شد ولی در هر علمی می‌توان از منظر‌های مختلف به عمل نگریست و آن را طبقه‌بندی نمود. یکی از قسمت‌های چالشی در منطق عمل وجود یا عدم وجود اعمال پایه‌ای است که هنوز اتفاق‌نظری بر روی آن ایجاد نشده است. پس از اتخاذ موضع در موارد بالا و ارائه‌ی تقسیم‌بندی‌های دلخواه در مورد عمل، نوبت به ارائه‌ی معیار، برای اینهمانی اعمال می‌رسد؛ ناگفته پیداست تا وقتی که در موارد قبلی اتفاق‌نظر پدید نیاید معیار متقنی برای اینهمانی اعمال حاصل نمی‌شود. با اینکه هنوز توافق کلی بر سر مفاهیم عملی ایجاد نشده است اما نظام‌های منطقی برای صورتبندی اعمال بر اساس بعضی از تعاریف و تقسیم‌بندی‌های عمل پدید آمده است. منطق عمل توسط فون رایت پایه‌گذاری شد اما دلالت‌شناسی آن توسط چلاس در سال 1963 ارائه شد. این دلالت‌شناسی مبتنی بر تاریخچه و زمان بود؛ اما کاستی‌‌های موجود در آن مثل کیفی بودن، باعث شد تا بلنپ و هم‌فکران وی دلالت‌شناسی جدیدی برای منطق عمل به نام STIT ارائه دهند. این دلالت‌شناسی که مبتنی بر انتخاب‌های عامل و زمان بود تا حدودی مشکلات دلالت‌شناسی چلاس را برطرف نمود. یکی از موارد جالب توجه این است که خود چلاس در سال 1992 در مقاله‌ای، قاعده‌های استنتاج را برای دلالت‌شناسی STIT ارائه نمود و روند تکاملی منطق عمل را همراهی کرد. با اینکه هنوز دلالت‌شناسی کامل و جامعی برای منطق عمل ارائه نشده است، اما رشد روز افزون علوم دیگر و نیاز آنها به منطقی که بتواند اعمال را توضیح دهد باعث شده است تا همین منطق عمل، به عنوان ابزاری برای آنها قرار گیرد. برای مثال در علم کامپیوتر و به خصوص در شاخه‌ی هوش‌مصنوعی برای تحلیل اعمالی که عامل‌های مصنوعی نظیر ربات‌ها انجام می‌دهند، منطق عمل مورد استفاده قرار می‌گیرد. هیچ بعید نیست که در آینده نیز با توجه به نیازهای جدید در علوم دیگر منطق عمل مورد استفاده قرار گیرد. البته ممکن است دلالت-شناسی‌های جدیدی برای منطق عمل ارائه شود تا منطبق با علوم دیگر این منطق کاربردی شود.

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

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

یکی از اساسی‌ترین پرسش‌های فیلسوف- ریاضی‌دانان «چیستی عدد» است، و شاید با اهمیت-ترین پرسش فیلسوف تحلیلی زبان پرسش «صدق» و «صادق بودن گزاره ها». فرگه هم به عنوان فیلسوف-ریاضی‌دان، و هم در مقام فیلسوف تحلیلی زبان هر دو پرسش را مهم و اساسی می‌داند و در کتاب خود مبانی علم حساب به تفصیل به آنها می‌پردازد. به پرسش اول، یعنی چیستی عدد گاهی در حوزه معرفت شناسی، گاهی در حوزه زبانی، منطقی و فلسفه تحلیلی زبان می ‌پردازند، و گاهی هم این پرسش را به حوزۀ ریاضیات صرف می‌برند و آنجا بدان پاسخ می‌دهند. فرگه فهم چگونگی صدق گزاره‌هایی که عدد در آنها بکار رفته را در گرو فهم ماهیت عدد و چیستی آن می‌داند. به نظر او عدد و تعریف آن مربوط به حوزه تحلیل زبانی و منطقی است، و پرسش راهبر ما به ماهیت عدد عبارت است از اینکه «عدد به چه چیزی نسبت داده می شود؟». به ادعای فرگه عدد به یک «مفهوم» نسبت داده می-شود، اما نه مفهوم به مثابه واژه‌ای انتزاعی. در خصوص صدق نیز، نظر فرگه این است که صدق امری است مربوط به قلمرو «عینیت»، یعنی آنجا که صدق نه فیزیکی است و نه روانشناختی و ذهنی، عینیت قلمرو سومی است که جایگاه صدق در آن قلمرو است.

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