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

مقالات این مجموعه، برگزیده ای است از نوشته های فلسفی _ منطقی "ضیاء موحد" که در قالب چهار بخش تدوین شده است : 1_ فلسفه منطق و زبان، 2 _ نقد منطق سنتی، 3 _ معرفی دو فیلسوف قرن بیستم ("ای .جی . ایر" و "ویلارد وَن اورمن کواین")، 4 _ فلسفه ریاضی ("مسئله پیوستار کانتور چیست ؟/ کورت گودل" و "صدق ریاضی / پال بنا سراف". "مقاله های بخش اول، بیشتر جنبه توضیحی و تعلیمی دارند. مقاله "مفهوم صورت در منطق جدید" نقدی است بر پیشنهادی از مرحوم دکتر حائری یزدی که قضیه های جزئی را هم به قیاس قضیه های کلی تاویل به شرطی کرده بودند... در این مقاله نقص این تاویل و ایرادهای آن به تفصیل شرح داده شده است....".

در آیة 81 سورة زخرف چنین می‌خوانیم که «قُلْ إِنْ کانَ لِلرَّحْمنِ وَلَدٌ فَأَنَا أَوَّلُ الْعابِدینَ: اگر خدا فرزند داشت، من نخستین عابدم». بیش‌تر مفسران بر این باورند که این آیه حاوی استدلالی است که می‌توان آن را در قالب یک قیاس استثنایی بیان کرد. اما، با وجود پیشنهادهای مختلف برای صورت‌بندی این استدلال در قالب این قیاس، تقریباً هیچ‌یک از صوری‌سازی‌های مزبور تصویر کاملی از مفاد آیه را به‌دست نمی‌دهند و صدق و اعتبار آن را تأمین نمی‌کنند. دشواری این آیه و کثرت و تنوع تفاسیر ذیل آن، بی‌شک، در ارتباطی مستقیم و محوری با واژة «اول» در آیة مزبور قرار دارد. در این تحقیق، پس از نقد و بررسی هر‌یک از تفاسیر مزبور، قالب قیاس اولویت یا طریق اولایی پیشنهاد می‌شود و ادعا خواهد شد که این شکل از استدلال، از نظر بهره‌مندی از یک حدّ اضافه، می‌تواند به‌خوبی مفاد آیه را به‌نمایش بگذارد.

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

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

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

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

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

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