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

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

پایان نامه حاضر، محدودیت معرفت به خداوند را در آیات و روایات مورد بررسی قرار می‌دهد. معرفت خداوند برترین معارف و مهم‌ترین معرفتی است که نتایج بسیاری را در پی دارد، از جمله آنکه: انسان بواسطۀ آن به معرفت پیامبر و حجت خداوند نائل می‌شود. با وجود این، شناخت انسان نسبت به خداوند محدود است، زیرا خداوند علت است و انسان معلول و لازمۀ معرفت یافتن عالم به معلوم احاطه است؛ در حالی که معلول هرگزتوان احاطۀ کامل بر علت خویش را ندارد؛ در نتیجه علم او نیز کامل نخواهد بود، بلکه می‌تواند با معرفت به خویش و صفاتش و رفع نقص آنها، به معرفت نسبی پروردگار نائل آید. در مورد میزان محدودیت معرفت به خداوند دو دیدگاه کلی وجود دارد: محدودیت کامل،که منجر به عدم شناخت خداوند و تعطیل معرفت می‌باشد و محدودیت نسبی؛که میزانی از شناخت را برای انسان قائل است اما شناخت کامل و همه جانبه را رد می‌کند. نظریۀ تعطیل و توصیف ناپذیری از جمله دیدگاه‌هایی است که در این رابطه محدودیت کامل رامی‌پذیرند، این نظریات به شدت مورد انتقاد بوده وادعای آنها قابل پذیرش نمی‌باشد. پژوهش حاضرمعرفت خداوند را ممکن می‌داند، اما در این رابطه در پی اثبات محدودیت نسبی است. معرفت عقلی، قلبی، فطرت، شناختِ خود و شناخت آیات و دلائل، از جمله راه‌های معرفت خداوند می‌باشند،که این راه‌ها تنها ما را در شناخت وجه ذات و صفات خداوند، یاری می‌رسانند، زیرا کنه ذات و صفات خداوند برای انسان غیر قابل شناخت است. در این پایان نامه پس از بررسی دیدگاه‌های مختلف در رابطه با محدودیت معرفت به خداوند، به این نتیجه می‌رسیم که ادعای اهل تعطیل و تفکیک مبنی بر اینکه: عقل انسان راهی به معرفت دینی ندارد، باطل است. بلکه عقل انسان توانایی معرفت خداوند را در حدّ طاقت بشر داراست. بنابراین نظریات عدم امکان معرفت به خداوند را رد می-کنیم اما به معرفت کامل نیز قائل نمی‌باشیم.

امام خمینی (ره) معمار کبیر انقلاب اسلامی ایران، احیاگر هویت جدیدی از فرد و اجتماع بوده که منشأ تحولات در عرصه داخلی، منطقه ای و بین المللی است . درک اندیشه سیاسی ایشان اقتضا می کند که به مقولات معرفت شناسی و هویت سیاسی که در کانون نظام اندیشی وی قرار دارد بپردازیم:مقوله اول: معرفت ، حضور شیء یا صورت آن با واسطه یابی واسطه نزد عالم است که دارای ویژگی «باور صادق موجه» می باشد.خطاپذیری معرفت، معرفت شناسان را بر آن می دارد که در حوزه معرفت شناسی ، به تیبین چگونگی حصول معرفت ، حدود، سطوح و درجه اعتبار و منابع آن بپردازند. امام خمینی ، با ذکر منابع معرفت (حس ـ عقل ـ فطرت ، شهود ، وحی ) ضمن تفکیک حوزه های معرفتی ، رابطه ای طولی و تکاملی بین معرفتهای مذکور ترسیم می نماید تا در پر تو آن انسان به کمال مطلوب نایل شود . معرفتهای موجه از دید ایشان عبارتند از:1 ـ معرفت عقلانی واقع گرایانه: عقل به عنوان فرستاده نزدیک خدا، دارای دو وجه نظری و علمی است. وجه نظری عقل به کار استدلال ، استنتاج ، تجزیه و ترکیب ، حکم و تدوین قواعد منطقی و عقلی پرداخته و وجه عملی آن ، عمل به معقولات می نماید.2ـ معرفت شهودی واقع گرایانه: عدم کفایت عقل در درک ادراکات غیر مفهومی و رساندن انسان به کمال مطلوب، ضرورت شهود یا رویت بی واسطه را به عنوان معرفتی برتر ایجاب می کند. ماده اصلی چنین شهودی ، ایمان است که در پرتو و رود ادراکات عقلی به قلب و ارتیاض نفس برای انسان حاصل می شود.3 ـ معرفت شهودی وحیانی واقع گرایانه : عقل کل به عنوان اولین تعین ، مشیت الهی و نور است که شهود آن (وحی) اصیل ترین و بزرگترین منبع موثق معرفتی است. این نوع از شهود به دلیل اتحاد عاقل و معقول در کمال تطابق با واقع است و احتمال هیچ نوع خطا پذیری در آن راه ندارد .مقوله دوم:هویت سیاسی هویت به معنی کیستی و چیستی و تشخص و عینیت خود در رابطه با دیگران است که حاصل تعاملات درونی (اشتراکات) و برونی (افتراقات) می باشد که در ساحت فردی و جمعی وجود دارد.سیاست به معنی قدرت ، حکمرانی و... و اینجا به دلیل عطف آن به هویت به معنای سرپرستی ، هدایت و رهبری است . نتیجه این همانی دیانت و سیاست در اندیشه امام ، عینیت هویت سیاسی و هویت دینی است. ایمان به ولایت الهی در هویت دینی و سیاسی ، موجب در کانون قرار گرفتن تکلیف گرایی در ساحت هویت فردی و جمعی است.آموزه های قرآنی « ناس » «مومنون » و ... با توجه به محوریت تکلیف گرایی ، در هویت فردی ، سازنده انسانهای الهی است که در مسیر تکامل به رتبه انسان کامل ارتقا می یابد.و آموزه های قرآنی « امت» ... با توجه به همان محوریت، در هویت جمعی ، در مسیر تکاملی به امت واحد نایل می شود.در نسبت سنجی بین مفهوم معرفت و هویت در می یابیم که معرفت متغیر مستقل و هویت متغیر وابسته است.و دلالت بین این دو بخش دلالت عقلانی است . به طوری که مقولات معرفتی حکم دال و مقولات هویتی حکم مدلول را دارند.

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