اسدالله فلاحی

اسدالله فلاحی

مدرک تحصیلی: دانشیار گروه منطق مؤسسه پژوهشی حکمت و فلسفه ایران

مطالب

فیلتر های جستجو: فیلتری انتخاب نشده است.
نمایش ۱ تا ۲۰ مورد از کل ۵۶ مورد.
۱.

انواع عموم در اصول فقه(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: اطلاق عموم مجموعی عموم استغراقی عموم بدلی سور کلی سور جزئی

حوزه های تخصصی:
تعداد بازدید : 383 تعداد دانلود : 971
منطق دانان مسلمان و دانشمندان اصول فقه، چندین نوع عموم و کلیت را شناسایی کرده و آن ها را «عموم بدلی»، «عموم مجموعی» و «عموم استغراقی» نام داده اند. در این مقاله، قصد داریم با بحثی تاریخی- تحلیلی، دیدگاه های اصولیان را گردآوری و تا حد توان خویش، تحلیل کنیم. ابتدا، پیشینه بحث در آثار منطق دانان مسلمان و اصولیان متقدم را بررسی می کنیم. در این دوره، انواع عموم نه دارای اصطلاحات جاافتاده هستند و نه دارای تعریف های دقیق. در دوره دوم، که از زمان شیخ بهایی آغاز می شود و تا زمان معاصر ادامه می یابد، وضعیت کاملاً متفاوت است و تعریف ها، بحث ها، و نزاع های بسیاری پیرامون انواع عموم درمی گیرد. در این مقاله، به گزارش این تعریف ها و نزاع ها، دسته بندی آنها و در برخی موارد به داوری میان طرف های نزاع می پردازیم.
۲.

افراد ممتنع الوجود و منطق مفاهیم(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: ابن سینا ابهری خونجی منطق مرتبه دوم قضیة حقیقیه مصادیق ممتنع

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی
  2. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  3. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق کلیات مفهوم شناسی
  4. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق قضایا و احکام آن
تعداد بازدید : 311 تعداد دانلود : 535
میان منطق دانان مسلمان، نزاعی دربارة گسترة مصادیق موضوع در قضایای حقیقیه درگرفته است و آن اینکه آیا موضوع در این دسته از قضایا شامل همة مصادیق موجود و ممکن الوجود است یا مصادیق ممتنع الوجود را نیز در بر می گیرد. از ابن سینا تا افضل الدین خونَجی، تصریحاتی به دیدگاه دوم وجود دارد اما منطق دانان بعدی، در ابتدا اثیر الدین ابهری به دیدگاه نخست گرایش پیدا کردند. در این مقاله، تلاش می کنیم دیدگاه ابن سینا و خونجی را در برابر دیدگاه ابهری پشتیبانی کنیم. برای این کار، افراد و مصادیق را به صورت مجموعه هایی از مفاهیم (یا ماهیات) در نظر می گیریم. اگر یک فرد و مصداق، مجموعه ای از مفاهیم متعارض باشد آن را «ممتنع الوجود» می نامیم و اگر مجموعه ای از مفاهیم سازگار باشد آن را «ممکن الوجود» می شماریم و منطق حاکم بر آن را «منطق مفاهیم» می نامیم. برای نظام مندسازی این منطق، سمانتیکی شبیه سمانتیک منطق محمول ها معرفی می کنیم و برای آن، نظامی صوری به زبان منطق مرتبه اول طراحی می کنیم و نشان می دهیم که این نظام منطقی را می توان به بخشی از منطق مرتبه دوم فروکاست. با این کار، نتیجه می گیریم که دیدگاه ابن سینا و خونجی را می توان با منطق مرتبه دوم پشتیبانی کرد.
۳.

کاربردهای نادرست حمل اولی و شایع(مقاله علمی وزارت علوم)

کلید واژه ها: منطق جدید فلسفه اسلامی حمل اولی حمل شایع صناعی

حوزه های تخصصی:
تعداد بازدید : 420 تعداد دانلود : 91
حمل اولی و شایع را در حل بسیاری از مسائل فلسفی به کار برده اند که برخی از آن ها کاربرد نادرست این دو حمل است. برخی از این کاربردها، به شبهات فلسفی و پارادوکس های منطقی مربوط می شود و برخی دیگر را می توان در مباحث مستقل فلسفی یافت: 1. شبهه اخبار از معدوم مطلق، 2. اشکالات وجود ذهنی، 3. معمای جذر اصم و پارادوکس راسل، 4. پارادوکس اشاره به گیومه و پارادوکس مفهوم اسب، 5. دلیل این که چرا حد تام را به کلیات خمس نیفزوده اند، 6. دلیل اینکه چرا محصورات نیازمند وجود موضوع اند 7. اثبات اصالت وجود با نظر به مبحث حمل. در این مقاله، با تحلیل فرامرز قراملکی از حمل اولی و شایع در منطق جدید، نشان داده ایم که کاربردهای هفت گانه یادشده همگی دچار نوعی خطا و لغزش منطقی اند
۴.

ناسازگاری قاعده فرعیه با قاعده عکس نقیض(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: قاعده فرعیه هلیه بسیطه عکس نقیض قضایای حقیقه و خارجیه قضیه لابتیه حمل اولا و شایع

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

ابهام زدایی از قضایای حقیقیه ، خارجیه ، معدولیه و سالبه المحمول(مقاله ترویجی حوزه)

نویسنده:

کلید واژه ها: منطق قدیم منطق جدید قضیه خارجیه قضیه حقیقیه منطق وجهی محصول وجود معدوله المحصول و سالبه المحمول

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  2. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق قضایا و احکام آن
تعداد بازدید : 325 تعداد دانلود : 525
منطق صوری قدیم، از زمان ارسطو تا مظفر، اصطلاحات بسیاری ساخته است که می توان گفت تا به امروز همه آنها تحولات مفهومی فراوانی یافته اند. متاسفانه در میان فیلسوفان مسلمان و منطق دانان معاصر کشورمان که تعلق خاطری به منطق قدیم دارند، بسیاری از این اصطلاحات با ابهام های فراوانی به کار می روند و در واقع، در بیشتر آنها، اشتراک لفظ ""رهزن"" است. نتیجه این ابهام ها و اشتراک های لفظی، اختلاف نظرهای شدیدی است که در مقاله ها، کتاب ها، پایان نامه ها و... نمود یافته است. به نظر نگارنده، ابهام زدایی از این اصطلاح ها و پایان بخشی به این اختلاف نظرها، مادام که منطق قدیم، زبان طبیعی را به کار می برد، ممکن نیست. زبان های مصنوعی منطق جدید و تحلیل های ژرف و گسترده در این منطق، می تواند در ابهام زدایی و حل مسائل منطق قدیم و حتی فلسفه اسلامی کمک بزرگی باشد. یکی از مسائل بسیار مبهم و مورد اختلاف در منطق قدیم و فلسفه اسلامی، تقسیم قضیه به حقیقیه و خارجیه (و ذهنیه) است. در این مقاله، با اشاره ای گذرا به تعریف های گوناگون این دو قضیه (در آثار گذشتگان) و اختلاف نظرهای موجود درباره آن (در آثار گذشتگان و معاصران)، به تحلیل صوری این تعاریف در منطق جدید و نشان دادن نقاط قوت و ضعف آنها پرداخته ایم. به کمک این تحلیل های صوری، به سادگی می توان ریشه بسیاری از اختلاف نظرها را از میان برداشت. در برخی موارد که دشوارتر به نظر می رسند، به حل اختلاف نظرهای موجود پرداخته ایم.
۷.

حمل اولی و شایع، به قید قضیه و به قید موضوع و فروکاهی معنای دوم به معنای اول(مقاله علمی وزارت علوم)

کلید واژه ها: منطق جدید فلسفه اسلامی حمل شایع صناعی حمل اولی ذاتی حمل اولی به قید قضیه حمل اولی به قید موضوع

حوزه های تخصصی:
تعداد بازدید : 83 تعداد دانلود : 543
فیلسوفان مسلمان حمل اولی و شایع را به دو معنای متفاوت به کار برده اند: 1. به قید قضیه 2.به قید موضوع. حمل اولی و شایع به قید قضیه نخستین معنای این دو اصطلاح و به ترتیب، به معنای «اتحاد مفهومی» و «حمل مصداقی» است؛ اما حمل اولی و شایع به قید موضوع، معنایی است که بعدها اختراع شده و به ترتیب، به معنای «اراده مفهومِ موضوع» و «اراده مصادیق موضوع» است و در حقیقت، چیزی جز همان تفکیک معروف میان «قضیه طبیعیه» و «قضیه غیر طبیعیه» نیست. در این مقاله، با بررسی کاربردهای متعدد دو معنای حمل اولی و شایع در فلسفه اسلامی، به صورت بندی این دو معنا در منطق جدید از سوی معاصران اشاره می کنیم و خود صورت بندی دیگری پیشنهاد می کنیم. در پایان مقاله، نشان می دهیم که منطق جدید می تواند حمل اولی به قید موضوع (یعنی قضیه طبیعیه) را به حمل اولی به قید قضیه فروبکاهد و از این رو، تفاوت ها را به تشابه بدل سازد.
۸.

اعتبار در جهان های ممکن(مقاله علمی وزارت علوم)

کلید واژه ها: منطق ربط وضعیت صدق نگهداری جهان ممکن منطق PWR

حوزه های تخصصی:
تعداد بازدید : 76 تعداد دانلود : 272
قضایا و قواعد منطق موجهات، در جهان های ممکن، معتبرند اما قضایای منطق ربط، در جهان های منطقی، و قواعد آن، در وضعیت اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات های صدق و کذب ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات های صدق و کذب، نظامی منطقی بر پایه منطق ربط طراحی کرده ایم که قضایا و قواعد آن در جهان های ممکن معتبرند. چنین نظامی، علاوه بر حفظ تقارن، به رفع ناسازگاری موجود میان منطق جدید و منطق ربط می انجامد زیرا مانند منطق جدید، جهان های ممکن را معیار اعتبار قرار می دهد.
۹.

منطق ربط و سلب لزوم در شرطی سالبه ی کلیه

نویسنده:

کلید واژه ها: تثلیث توماس آکوئینی زیبایی متعالی زیبایی جسمانی

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی
  2. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
تعداد بازدید : 160 تعداد دانلود : 559
نگارنده در مقاله ی دیگری در تحلیل شرطی های سالبه ی کلیه، با فرمول بندی عبارات ابن سینا نشان داده است که به تحلیل ابن سینا ایراد صوری مهمی وارد است و تلاش های ابن سینا در پاسخ به آن، پذیرفتنی نیستند. او به کمک تحلیل ابن سینا از موجبه ی کلیه، پاسخ دیگری به ایراد مورد نظر یافته، اما نشان داده است که این پاسخ نیز توان دفع ایراد را ندارد. در پایان، وی حل نهایی مساله را، به عنوان مساله ای باز، فراروی پژوهندگان قرار داده است. اکنون در این مقاله، نشان می دهیم که ایراد تحلیل های آن مقاله در تابع ارزشی گرفتن شرطی است و با تبدیل آن به شرطی ربطی، ایراد مرتفع می گردد. البته کاربرد شرطی های ربطی هرچند در سالبه ی کلیه ی لزومی با کامیابی همراه است، در تحلیل موجبه ی جزییه لزومیه با دشواری هایی روبه رو است. نشان می دهیم که با استفاده از تفکیک «لزومی حقیقی» و «لزومی لفظی» (که یکی از مهم ترین نوآوری های ابن سینا است) و با وارد ساختن «امکان مقدم» در تحلیل موجبه ی کلیه ی لزومیه، این دشواری ها را می توان پشت سر گذاشت.
۱۰.

«سلب لزوم» و «لزوم سلب» در شرطی سالبه کلیه(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: ابن سینا قطب الدین رازی خواجه نصیرالدین طوسی شرطی متصل سالبه کلیه لزوم سلب سلب لزوم لزومی

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  2. حوزه‌های تخصصی فلسفه و منطق منطق فلسفه منطق شرطی ها
تعداد بازدید : 684 تعداد دانلود : 150
در تحلیل شرطی های سالبه کلیه، میان ابن سینا و خواجه نصیر اختلافی وجود دارد: ابن سینا این شرطی ها را از باب «سلب لزوم» گرفته است و خواجه نصیر از باب «لزوم سلب». خواجه نصیر بر تفاوت میان سلب لزوم و لزوم سلب تاکید کرده و اولی را عام تر از دومی به شمار آورده است. این در حالی است که قطب رازی، با استناد به آثار ابن سینا، مدعی شده است که سلب لزوم و لزوم سلب، هر چند به لحاظ مفهوم یکی نیستند، اما هم ارز و متلازم اند، بنابراین، هیچ یک عام تر از دیگری نیست. در این مقاله، اولا، نشان داده ایم که در نزاع میان خواجه نصیر و قطب رازی، حق با خواجه نصیر است و سلب لزوم عام تر از لزوم سلب می باشد، ثانیا، با فرمول بندی عبارت ابن سینا، نشان داده ایم که تحلیل وی ایراد صوری مهمی دارد، ثالثا، نشان داده ایم که پاسخ های ابن سینا به آن ایراد، پذیرفتنی نیستند، رابعا، به کمک تحلیل ابن سینا از موجبه کلیه، پاسخ دیگری برای ایراد مورد نظر یافته، اما نشان داده ایم که این پاسخ نیز توان دفع ایراد را ندارد. در پایان، حل نهایی مساله را، به عنوان مساله ای باز، فراروی پژوهندگان قرار داده ایم.
۱۱.

تحلیل قضایای خارجیه با محمول وجود(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: منطق آزاد منطق محمول ها منطق محمول ها و وجود منطق وجود همگانی قضیه خارجیه قضیه حقیقیه

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  2. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق قضایا و احکام آن
تعداد بازدید : 628 تعداد دانلود : 325
تفاوت میان قضایای حقیقیه و خارجیه در این است که قضایای خارجیه صرفا از موجودات سخن می گویند؛ اما قضایای حقیقیه موجودات فرضی را نیز شامل می شوند، موجوداتی که در عالم واقع موجود نیستند. فیلسوفان و منطق دانان، در تحلیل وجود، نظریات گوناگونی را ارایه کرده اند. در این مقاله، بدون اینکه بخواهیم به این نزاع وارد شویم و نظر خاصی را بپذیریم، محمول وجود را تعریف ناشده در نظرگرفته، با افزودن آن به منطق محمول ها، به معرفی سه منطق پرداخته ایم: منطق آزاد (که از دیرباز شناخته شده است) و دو منطق دیگر (که ما نام های «منطق محمول ها و وجود» و «منطق وجود همگانی» را برای آنها برگزیده ایم.) در این پژوهش، نشان داده ایم که منطق آزاد نمی تواند ابراز خوبی برای تحلیل و بررسی منطق قدیم باشد و قضایای حقیقیه را از خارجیه تفکیک کند؛ اما دو منطق دیگر قادر به چنین کاری هستند. همچنین، نشان داده ایم که منطق محمول ها و وجود، منطق قضایای حقیقیه شمرده می شود و منطق وجود همگانی، منطق قضایای خارجیه به شمار می رود؛ به علاوه، منطق محمول ها و وجود، به تنهایی می تواند تفاوت این دو نوع قضیه را با یکدیگر آشکار سازد.
۱۲.

حملیه مرددة المحمول(مقاله ترویجی حوزه)

نویسنده:

کلید واژه ها: حملیه مردده حملیه معطوفه حملیه مشروطه مردده المحمول شرطیه منفصله شرطیه متصله

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  2. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق قضایا و احکام آن
تعداد بازدید : 237 تعداد دانلود : 974
«حملیه مرددهْْ المحمول»، گزاره حملی است که در قسمت محمول آن، انفصال وجود دارد. این حملیه را نباید با «شرطیه منفصله» یکی دانست؛ زیرا در پاره ای مثال ها، حملیة مرددهْْ المحمول صادق است در حالی که شرطیه منفصلة متناظر با آن صادق نیست. ابراهیم بازرگانی و عسکری سلیمانی امیری در مقاله ای به شرح کامل این نوع حملیه پرداخته، تاریخچه و احکام آن را بیان کرده اند. این مقاله، با بیان نوآوری های مقاله پیش گفته، به پاره ای از کاستی ها و ناراستی های آن اشاره کرده و در رفع آنها کوشیده است. همچنین، به یاری منطق جدید، احکام تازه ای برای انواع حملیه مردده یافته و به روابط آنها با انواع حملیه معطوفه، ترکیب های عطفی و شرطی های منفصله پرداخته شده است.
۱۳.

آیا می توان خواجه نصیرالدین طوسی را معتقد به منطق سه ارزشی دانست؟(مقاله علمی وزارت علوم)

کلید واژه ها: خواجه نصیرالدین طوسی منطق سه ارزشی ارزش سوم گزاره گزاره های شرطی متصل صدق کذب

حوزه های تخصصی:
تعداد بازدید : 283
خواجه نصیرالدین طوسی (یکی از بزرگترین منطق دانان در تاریخ جهان اسلام) در کتاب اساس الاقتباس تحلیلی از گزاره های شرطیه متصله دارد که به تحلیل های منطق های سه ارزشی از گزاره های شرطی شبیه است. بنابراین، این پرسش پیش می آید که آیا خواجه نصیرالدین طوسی به ارزش سومی برای جمله ها قایل بوده است یا خیر؟ در این مقاله، ما با بررسی نظر خواجه و همچنین شاگردان او و مقایسه این نظرات با نظرات منطق دانان سه ارزشی، نشان می دهیم که خواجه به ارزش سومی غیر از صدق و کذب معتقد نبوده است. همچنین نشان می دهیم که در تحلیل خواجه از شرطی های متصل کلمه «صدق» نه به معنای عام صدق، بلکه به معنای صدق در گزاره های تحلیلی و کلمه «کذب» نه به معنای عام کذب، بلکه به معنای کذب در گزاره های تحلیلی به کار رفته است. بنابراین، در نزد خواجه کلمه «صدق» بین صدق به معنای عام آن و صدق تحلیلی و «کذب» بین کذب به معنای عام آن و کذب تحلیلی مشترک لفظی است.
۱۴.

گزاره ماهوی نزد ابن سینا و جهت سور(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: ضرورت امکان گزاره ماهوی جهت حمل جهت سور

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی
  2. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  3. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق مباحث کلی
  4. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی فلسفه اسلامی کلیات فلاسفه اسلامی
تعداد بازدید : 367 تعداد دانلود : 25
ابن سینا با آن که به تمایز میان «جهت حمل» و «جهت سور» تصریح کرده است، در عمل، تنها به جهت حمل و تقسیمات آن پرداخته و از جهت سور و اهمیت آن در فلسفه اسلامی غافل مانده است. یکی از کاربردهای جهت سور، حمل نوع بر جنس است. به نظر ابن سینا، در گزاره «حیوان انسان است» اگر نظر به افراد حیوان باشد، جهت گزاره جهت ضرورت یا امتناع خواهد بود، اما اگر نظر به حقیقت و ماهیت حیوان باشد، جهت آن امکان است. گزاره دال بر امکان حمل نوع بر جنس (مانند «حیوان انسان است به امکان») گزاره ای است که در منطق قدیم نامی برای آن وضع نشده است و از این رو، آن را «گزاره ماهوی» می نامیم. گزاره ماهوی در قالب هیچ یک از تقسیم بندی های رایج منطق قدیم نمی گنجد؛ زیرا این گزاره نه شخصیه است، نه طبیعیه، نه مهمله و نه محصوره، چنان که نه حمل اولی است و نه حمل شایع. راز بیرون ماندن گزاره ماهوی از تقسیم بندی های رایج این است که این تقسیم بندی ها تنها برای گزاره های مطلقه و گزاره های موجهه به «جهت حمل» هستند در حالی که گزاره ماهوی را اصولا نمی توان جهت حمل دانست، بلکه باید آن را «جهت سور» به شمار آورد.
۱۵.

حمل اولی و شایع در منطق قدیم و جدید(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: منطق قدیم منطق جدید حمل اولی ذاتی و حمل شایع صناعی منطق طبیقی

حوزه های تخصصی:
تعداد بازدید : 982 تعداد دانلود : 77
تفکیک حمل اولی ذاتی و حمل شایع صناعی، یکی از مهم ترین نوآوری های منطق دانان مسلمان است که با صراحت برای اولین بار در آثار علامه دوانی طرح و به کار گرفته شده است و منطق دانان بعدی مانند ملاصدرا و دیگران از این تفکیک در حل بسیاری از مسایل منطقی و فلسفی بهره جسته اند. با وجود این، تفکیک به صورت غیر صریح در آثار ارسطو، فارابی، ابن سینا و دیگران طرح و به صورت شگفت آوری با حمل اولی ذاتی مخالفت شده است. این مقاله، با بررسی آثار منطقی در دو دوره پیش و پس از علامه دوانی، پنج دلیل منطقی و غیر منطقی (=دلیل و علت) در مخالفت با حمل اولی در آثار دوره نخست یافته است که بدون پاسخگویی به این دلایل، امکان خروج از پارادایم دوره نخست و ورود به پارادایم دوره دوم، چندان محتمل به نظر نمی رسد. قطب رازی و قوشجی از دوره نخست و دوانی از دوره دوم، سه منطق دانی هستند که با پاسخگویی به دلایل پنج گانه توانستند نقطه عطفی در منطق اسلامی پدید آورند و حمل اولی ذاتی را از حضیض بی توجهی خارج کنند و به محور مهمی در حل مسایل فلسفی بدل سازند.
۱۶.

امتناع برهان صدیقین بدون پیش فرض فلسفی در منطق جدید(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: وجود برهان صدیقین وجوب منطق وجهی منطق مرتبه دوم.

حوزه های تخصصی:
تعداد بازدید : 490 تعداد دانلود : 498
آخرین و کوتاه ترین تقریر از «برهان صدیقین» از علامه طباطبایی است که استاد جوادی آملی دربارة آن ادعا کرده اند که هیچ پیش فرض فلسفی ندارد و از این رو، میتواند به عنوان اولین مسأله فلسفی مطرح شود. این ادعا بحث هایی را پدید آورده و مورد تأیید و انکار برخی از معاصران قرار گرفته است. در مقالات متعددی که در این زمینه به نگارش درآمده است، این ادعا به صورت موردی بررسی و نقد شده است. در این مقاله، ادعای استاد جوادی آملی را به صورت کلی و بدون توجه به برهان علامه طباطبایی بررسی میکنیم و میخواهیم ببینیم که آیا اثبات وجود خدا بدون کمک پیش فرض فلسفی اصولا ممکن است یا خیر؟ در این مقاله، با صورت بندی «موجود بودن خدا» در منطق مرتبه دوم هنکین (که با ادات های وجهی ترکیب شده است) و با استناد به اثبات ناپذیری آن در این منطق، نشان داده ایم که اثبات این مفهوم بدون پیش فرض فلسفی امکان ندارد.
۱۷.

گزاره های همیشه صادق نزد خونجی در منطق مرتبه دوم(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: منطق قدیم منطق جدید قضیه حقیقیه قضیه خارجیه منطق مرتبه اول منطق مرتبه دوم

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی
  2. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی
  3. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  4. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق قضایا و احکام آن
تعداد بازدید : 331 تعداد دانلود : 262
افضل الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره های حقیقیه و خارجیه، گزاره های همیشه صادق و گزاره های همیشه کاذب را یافته است. این گزاره ها پیش از این در منطق مرتبه اول صورت بندی شده و مورد بررسی قرار گرفته اند و نشان داده شده است که صدق همیشگی این گزاره ها نیازمند پیش فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره ها را در منطق مرتبه دوم بررسی کرده و نشان داده ایم که در این منطق، نیازی به پیش فرض یادشده نیست و گزاره های همیشه صادق خونجی بدون هر گونه پیش فرضی در منطق مرتبه دوم به عنوان قضیه اثبات پذیرند. اما تحلیل این گزاره ها در منطق مرتبه دوم نیز کاستی های خود را دارد. برای نمونه، صورت بندی موجبه جزئیه در گزاره های خارجیة الطرفین بسیاری از گزاره های کاذب را صادق می سازد. این نشان می دهد که تحلیل این گزاره ها، چه در منطق مرتبه اول و چه در منطق مرتبه دوم، کاستی هایی دارد و نیازمند زدودن است.
۱۹.

تحلیل عموم های سه گانة اصول فقه در منطق جدید

نویسنده:

کلید واژه ها: منطق جدید اصول فقه عموم مجموعی عموم استغراقی عموم بدلی

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

پالایش نتایج جستجو

تعداد نتایج در یک صفحه:

درجه علمی

مجله

سال

حوزه تخصصی

زبان