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

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

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

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

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

برخی از فیلسوفان زبان معتقدند که گاه عبارات زبانی با آن‌که از ساختار خبری برخوردارند، اما صدق و کذب نمی‌پذیرند، زیرا قصد گوینده از بیان آن‌‌ها نه توصیف، بلکه انجام یک فعل است. چنین جملاتی را افعال گفتاری می‌خوانند. پیش از این، منطق‌‌دانان مسلمان نیز به این مسئله توجه کرده‌‌اند. آنان این موضوع را با عنوان «انشای اخبارنُما» به بحث گذاشته‌اند. انشای اخبارنُما در مواضع گوناگونی مطرح شده است. نقد ملاک صدق و کذب‌‌پذیری خبر و نیز حل پارادوکس دروغ‌گو زمینة طرح این مسئله را فراهم آورده است. اگرچه مسئلة افعال گفتاری تطور و تحول شایانی در منطق دورة اسلامی نیافت، اما کشف این مسئله و تفطن به آن را باید از آنِِ منطق‌‌دانان مسلمان دانست. تأمل در تاریخچة دیدگاه‌‌های منطق‌‌دانان دورة اسلامی در این مسئله و نیز مطالعة تطبیقی آن‌‌ها با آرای فیلسوفان زبان آموزندة نکات منطقی‌ ـ ‌معرفتی است.

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

در این مقاله، در بخش اول، گزاره‌های منفصله بر پایة کتاب شفاء را بررسی می‌کنیم و نشان می‌دهیم که ابن‌سینا، برخلاف متأخرانی چون قطب‌الدین رازی، گزاره‌های منفصلة حقیقی اتفاقی را نمی‌پذیرد. در بخش دوم، دو خوانش کلی در باب گزاره‌های منفصلة ابن‌سینا معرفی می‌شود. بر اساس دیدگاه رشر، شهابی، فاخوری، نبوی و الجزر، گزاره‌های منفصلة ابن‌سینا تابع‌ارزشی هستند، در حالی که از نظر استریت و چاتی دیدگاه ابن‌سینا در باب گزاره‌های منفصله در کتاب اشارات را می‌توان وجهی دانست. در ادامة این بخش به ناکارآمدی هر‌یک از این نظرها اشاره خواهیم کرد. در بخش سوم، با تأکید بر مفهوم «ناسازگاری» به مثابة هستة اصلی دیدگاه ابن‌سینا در باب گزاره‌های منفصلة حقیقی، دیدگاه ربطی ‌ـ ‌وجهی برای صورت‌بندی این گزاره‌ها دقیق‌تر از دیگر خوانش‌ها درنظر گرفته می‌شود.

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

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

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