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

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

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

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

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

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

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

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

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

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

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