فیلتر های جستجو:
فیلتری انتخاب نشده است.
نمایش ۴۱ تا ۶۰ مورد از کل ۲۸۴ مورد.
امکان نقض پذیری قاعده نقیض های اعم و اخص مطلق(مقاله علمی وزارت علوم)
حوزه های تخصصی:
هر فرد آشنا به منطق می داند که اگر میان دو مفهوم کلی، نسبت عموم و خصوص مطلق برقرار باشد، همان نسبت - ولی با انقلاب - میان نقیض های آنها نیز برقرار است. اما باوجود دلایل مستدل در اثبات این قاعده، منطق دان بزرگ دبیران کاتبی قزوینی(600- 675 ق) شبهه ای در این زمینه طرح کرده و با ذکر مثال نقضی از منطق موجهات (در خصوص امکان عام و خاص)، کلیت قاعده را مورد تردید قرار داده است. دو نامه طرح شبهه توسط کاتبی و دو پاسخ خواجه نصیرالدین طوسی، همگی به نحو مختصر و با بیانی موجز ارائه شده اند. تحقیق حاضر به تبیین، تنقیح و بازسازی این مسأله می پردازد
افراد ممتنع الوجود و منطق مفاهیم(مقاله علمی وزارت علوم)
حوزه های تخصصی:
میان منطق دانان مسلمان، نزاعی دربارة گسترة مصادیق موضوع در قضایای حقیقیه درگرفته است و آن اینکه آیا موضوع در این دسته از قضایا شامل همة مصادیق موجود و ممکن الوجود است یا مصادیق ممتنع الوجود را نیز در بر می گیرد. از ابن سینا تا افضل الدین خونَجی، تصریحاتی به دیدگاه دوم وجود دارد اما منطق دانان بعدی، در ابتدا اثیر الدین ابهری به دیدگاه نخست گرایش پیدا کردند. در این مقاله، تلاش می کنیم دیدگاه ابن سینا و خونجی را در برابر دیدگاه ابهری پشتیبانی کنیم. برای این کار، افراد و مصادیق را به صورت مجموعه هایی از مفاهیم (یا ماهیات) در نظر می گیریم. اگر یک فرد و مصداق، مجموعه ای از مفاهیم متعارض باشد آن را «ممتنع الوجود» می نامیم و اگر مجموعه ای از مفاهیم سازگار باشد آن را «ممکن الوجود» می شماریم و منطق حاکم بر آن را «منطق مفاهیم» می نامیم. برای نظام مندسازی این منطق، سمانتیکی شبیه سمانتیک منطق محمول ها معرفی می کنیم و برای آن، نظامی صوری به زبان منطق مرتبه اول طراحی می کنیم و نشان می دهیم که این نظام منطقی را می توان به بخشی از منطق مرتبه دوم فروکاست. با این کار، نتیجه می گیریم که دیدگاه ابن سینا و خونجی را می توان با منطق مرتبه دوم پشتیبانی کرد.
مشهورات در اندیشه ابن سینا(مقاله علمی وزارت علوم)
حوزه های تخصصی:
- حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی
- حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
- حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق صناعات خمس
- حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی فلسفه اسلامی کلیات مکتب های فلسفی فلسفه مشاء
- حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی فلسفه اسلامی کلیات فلاسفه اسلامی
یکی از مسئله های جنجال برانگیز در حکمت عملی و منطق ابن سینا، تفسیر دیدگاه وی در باب آراء محموده است. تفاسیر متفاوت از مشهورات خاص و عام که غالباً از دغدغه های کلامی، اخلاقی، اصولی و غیره متأثر است، تحلیل های متعارضی از آراء محموده را رقم زده است. داوری در این باره در گرو مداقه در کل نظام منطقی و حکمی مرتبط با مشهورات در اندیشه ابن سینا است که تاکنون بدان پرداخته نشده است. از نظر ابن سینا، شهرت تابع اجزاء قضیه نیست بلکه امری عارضی است که بر پایه حقیقت استوار نبوده و خاستگاهش اجتماع است. در باب برهان می توان از صدق و برهان پذیری مشهورات سخن گفت؛ اما در باب جدل تنها از حیث شهرت به این قضایا پرداخته می شود. نگاه ابن سینا به این قضایا کاملاً ابزارانگارانه است؛ زیرا از نظر وی مشهورات معرفت بخش و مفید یقین نیستند و تنها کارکردی مدنی دارند. این مقاله می کوشد تا با رویکردی تحلیلی به عنوان درآمدی بر تحلیل آراء محموده به واکاوی اندیشه ابن سینا در باب مشهورات بپردازد.
گزاره ماهوی نزد ابن سینا و جهت سور(مقاله علمی وزارت علوم)
حوزه های تخصصی:
ابن سینا با آن که به تمایز میان «جهت حمل» و «جهت سور» تصریح کرده است، در عمل، تنها به جهت حمل و تقسیمات آن پرداخته و از جهت سور و اهمیت آن در فلسفه اسلامی غافل مانده است. یکی از کاربردهای جهت سور، حمل نوع بر جنس است. به نظر ابن سینا، در گزاره «حیوان انسان است» اگر نظر به افراد حیوان باشد، جهت گزاره جهت ضرورت یا امتناع خواهد بود، اما اگر نظر به حقیقت و ماهیت حیوان باشد، جهت آن امکان است. گزاره دال بر امکان حمل نوع بر جنس (مانند «حیوان انسان است به امکان») گزاره ای است که در منطق قدیم نامی برای آن وضع نشده است و از این رو، آن را «گزاره ماهوی» می نامیم. گزاره ماهوی در قالب هیچ یک از تقسیم بندی های رایج منطق قدیم نمی گنجد؛ زیرا این گزاره نه شخصیه است، نه طبیعیه، نه مهمله و نه محصوره، چنان که نه حمل اولی است و نه حمل شایع. راز بیرون ماندن گزاره ماهوی از تقسیم بندی های رایج این است که این تقسیم بندی ها تنها برای گزاره های مطلقه و گزاره های موجهه به «جهت حمل» هستند در حالی که گزاره ماهوی را اصولا نمی توان جهت حمل دانست، بلکه باید آن را «جهت سور» به شمار آورد.
تطور تاریخی قضایای ثلاث(مقاله علمی وزارت علوم)
حوزه های تخصصی:
خونجی و پیروان وی، با اثرپذیری از فخر رازی، قضیه محصور را به دو قسم حقیقی و خارجی تقسیم کرده اند. ابهری قسم سومی را تحت عنوان «ذهنی» به دو قسم پیش گفته اضافه می کند. خواجه طوسی و پیروان وی با طرح دیدگاه رقیب به رد دیدگاه خونجی می پردازند. تحلیل و تبیین تطور تاریخی طبقه بندی گزاره حملی به حقیقی، خارجی، و ذهنی مسئله تحقیق حاضر است. در پرتو تحلیل و تبیین تاریخی این تقسیم بندی، روشن می شود که در این مسئله دو طبقه بندی تحت عنوانی واحد مطرح شده اند. طبقه بندی نخستْ تقسیم ثنایی، و طبقه بندی دومْ تقسیم ثلاثی نامیده می شود. این پژوهش سهم منطق نگاران دوبخشی قرن هفتم را در بسط و توسع? دانش منطق، با عطف توجه به مسئله ای معین، نشان می دهد.
منطق سینوی، ابداعات و نوآوری ها(مقاله علمی وزارت علوم)
حوزه های تخصصی:
منطق ارسطویی (منطق حملی) از طریق ترجمه مستقیم و بی واسطه آثار ارسطو، و منطق رواقی ـ مگاری (منطق شرطی) با ترجمه غیرمستقیم و به واسطه برخی متون لاتینی جالینوس، اسکندر افرودیسی و بوئتیوس مربوط به نخستین سده های میلادی به جهان اسلام راه یافت. پس از دو قرن تلاش برای ترجمه، شرح، تقریر و تفهیم میراث منطقی یونانیان، با ظهور ابن سینا «دوره ابداع و نوآوری» فرا رسید. ابداعات منطقی و منطق های ابداعی ابن سینا، به ویژه دو نظریه «قیاس اقترانی شرطی» و «موجهات زمانی» که با تلاش های دویست ساله بعدی تا زمان خواجه نصیرالدین طوسی به کمال و استواری رسید، در سطحی است که این دوره از پژوهش های منطقی را می توان دوره «منطق سینوی» یا «منطق سینایی» نامید و بر اهمیت و استقلال آن در مقایسه با مکتب ارسطویی و مکتب رواقی ـ مگاری تأکید نمود.
نگارنده در مقاله حاضر ضمن بیان اجمالی دو نظریه یاد شده، دلایل خود را در تثبیت و اثبات ایده « منطق سینوی» ارائه می کند.
ساختار منطقی مسائل و موضوع علم نزد ارسطو، فارابی، ابن سینا و ابن رشد(مقاله علمی وزارت علوم)
حوزه های تخصصی:
- حوزه‌های تخصصی فلسفه و منطق فلسفه غرب رویکرد تاریخی یونانِ باستان و روم سقراط تا ارسطو ارسطو (384-322 ق.م)
- حوزه‌های تخصصی فلسفه و منطق گروه های ویژه فلسفه تطبیقی
- حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی
- حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
- حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق مباحث کلی
- حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی فلسفه اسلامی کلیات فلاسفه اسلامی
حکما مسائل علم را عوارض ذاتی موضوع علم می دانند و محمولی را که موضوع در حد آن اخذ شود یا محمولی که از جوهر و ماهیت موضوع به آن ملحق شود عرضی ذاتی می نامند. هر چند اساس این سخن، مأخوذ از ارسطو است، اما فیلسوفانی چون فارابی و ابن سینا مباحث جدیدی را پیرامون ارتباط موضوع علم با موضوع مسئله مطرح نموده اند که در آثار ارسطو به چشم نمی خورد. از آن جا که محمولات مسائل، عوارض ذاتی موضوع علم اند، موضوع علم باید در حد محمولات مسائل علم اخذ گردد. اما تطبیق قاعده عوارض ذاتی بر همه مسائل علوم خالی از صعوبت نیست. برای حل این مشکل، مفهوم عرضی ذاتی از سوی فارابی و ابن سینا با بیان های متفاوتی توسعه یافته است و بدین ترتیب موضوعات مسائل علاوه بر موضوع علم، مشتمل بر اموری هم چون انواع موضوع علم، انواع انواع موضوع علم، اعراض ذاتی موضوع علم نیز می شوند. شیخ الرئیس برای تعیین مرزهای این توسعه، ملاک تخصص و واسطه در حمل را ارائه داده است. ابن رشد در تفسیر و تلخیص آثار ارسطو، توجهی به نوآوری های فارابی و ابن سینا نکرده است و سخن منسجمی در مورد این مباحث ندارد.
در دفاع از عکس مستوی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
با ظهور منطق صوری جدید و پیشرفت در متمایز کردن صورت از ماد ه، مواردی از خلط صورت با ماد ه در منطق قدیم آشکار شده است. عده ای معتقدند این خلط در قاعده عکس مستوی که از قواعد صوری بسیار مهم است و در اثبات بسیاری از دیگر قواعد صوری هم به کار می رود، وجود دارد؛ چون در مواردی از اعمال قاعده عکس مستوی، استنتاج وجودی از شرطی صورت می گیرد و اصل صادق، امـا عکس کاذب است. علت اینکه پیشینیان آن را معتبر می پنداشته اند، خلط ماد ه و صورت بوده است.
در این مقاله به اشکالی می پردازیم که منطقدانان متاخر بر قاعده عکس مستوی گرفته اند. مبانی نظری این اشکال را توضیح می دهیم و آنگاه به تفاوت های منطق قدیم و جدید در پیش فرض ها، اصول موضوعه و قواعد استنتاج می پردازیم که غفلت از آنها سبب بروز این اشکال شده است. سپس برای مثال های نقضی که در رد قاعده عکس مستوی آورده اند پاسخ هایی پیشنهاد می کنیم. در پایان به بحث وجودی بودن قضیه جزئیه می پردازیم و سر آن را در منطق جدید و قدیم می کاویم.
حملیه مرددة المحمول(مقاله ترویجی حوزه)
حوزه های تخصصی:
«حملیه مرددهْْ المحمول»، گزاره حملی است که در قسمت محمول آن، انفصال وجود دارد. این حملیه را نباید با «شرطیه منفصله» یکی دانست؛ زیرا در پاره ای مثال ها، حملیة مرددهْْ المحمول صادق است در حالی که شرطیه منفصلة متناظر با آن صادق نیست. ابراهیم بازرگانی و عسکری سلیمانی امیری در مقاله ای به شرح کامل این نوع حملیه پرداخته، تاریخچه و احکام آن را بیان کرده اند. این مقاله، با بیان نوآوری های مقاله پیش گفته، به پاره ای از کاستی ها و ناراستی های آن اشاره کرده و در رفع آنها کوشیده است. همچنین، به یاری منطق جدید، احکام تازه ای برای انواع حملیه مردده یافته و به روابط آنها با انواع حملیه معطوفه، ترکیب های عطفی و شرطی های منفصله پرداخته شده است.
پارادوکس های تأیید
حوزه های تخصصی:
مقاله حاضر در مورد مباحث مهم معرفت شناسی، یعنی بحث استقراء، انشاء حکم کلی از مشاهده برخی مصادیق جزئی و تهیه شواهد و قرائن خوب برای تأیید آن است. مسأله این است که ما برای تأیید یک حکم کلی به چه تعداد و با چه کیفیتی از شواهد و قرائن نیازمندیم. همه ما قضیهG1 «هر حکم کلی، بوسیله مصداقیش تأیید می شود» را قبول داریم. ولی دو پارادوکس تأیید، با عنوان پارادوکس کلاغ ها و سآبی می خواهند نشان دهند که قبول این قضیه در برخی موارد دچار پارادوکس می شود. پارادوکس کلاغ ها که توسط کارل همپل کشف شد نشان می دهد یک کفش سفید، باید مؤید قضیه «همه کلاغ ها سیاه هستند» باشد در حالیکه ما به روشنی می دانیم چنین نیست. سآبی(سبز+آبی)، واژه اختراعی نلسون گودمن برای نشان دادن نارسایی G1 است. شی ء x ، سآبی به شمار می آید اگر و تنها اگر یکی از دو شرط ذیل را داشته باشد: X سبز است و ملاحظه شده است.X آبی است و ملاحظه نشده است. بنابراین طبق تعریف، مجموعه اشیاء سآبی تنها از اشیاء سبز ملاحظه شده، به همراه اشیاء آبی ملاحظه نشده ساخته می شود. مطابق قضیه اول همه زمردهای ملاحظه شده از آنجا که همه آنها سبز هستند، سآبی محسوب می شوند. بنابراین طبقG1 آنها مؤید این فرضیه که همه زمردها سآبی هستند می باشند. ولی این نامعقول است زیرا اگر این فرضیه که همه زمردها سآبی هستند درست باشد پس زمردهای ملاحظه نشده آبی خواهند بود. ولی همه می دانیم که این نادرست است.
قضایای حقیقیه و خارجیه نزد خونَجی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
افضل الدین خونَجی، با تقسیم هر یک از عقد الوضع و عقد الحمل به خارجی و حقیقی، عقدهای خارجی را به صورت وصفی و عقدهای حقیقی را به سه صورت بسیط، اضافی و شرطی بیان می کند. از آنجا که موصوف و صفت را در منطق جدید غالبا معادل ترکیب عطفی می دانند، به نظر می رسد که عقدهای خارجی را باید به صورت ترکیب عطفی تحلیل کرد. عقدهای حقیقی را نیز دست کم به سه صورت بسیط، شرطی تابع ارزشی و شرطی ربطی می توان تحلیل کرد. روابطی که خونَجی میان انواع قضایای حقیقیه و خارجیه بیان کرده است در بیشتر موارد با تحلیل عقدهای حقیقی به صورت بسیط و در مواردی با تحلیل آن ها به شرطی مادی و در مواردی دیگر با تحلیل آن ها به شرطی ربطی مطابقت دارد. او همچنین، در مواردی به تعهد وجودی در موجبه کلیه استناد می کند و در مواردی آن را وامی نهد. از این همه، نتیجه گرفته ایم که خونَجی در همه موارد بر یک تحلیل ثابت استوار نبوده و تحلیل های گوناگون را با هم درآمیخته است.
اثر قرارداد در تعدیل احکام ضمان دَرَک
حوزه های تخصصی:
ضمان درک عبارت است از ضمان بایع، نسبت به مبیع و یا مشتری نسبت به ثمن در صورتی که مستحق للغیر درآید و مالک نیز چنین معامله ای را که ماهیتی غیر نافذ دارد، اجازه و تنفیذ نکند. این ضمان یک ضمان قهری است و در عین حال متعاملین شروطی را در ارتباط با آن مطرح می کنند. در ارتباط با مفسد بودن یا مفسد نبودن این شروط نظرات و احکام مختلف و گاه متناقض از سوی فقیهان مطرح شده است. نکته اصلی این است که همه شروط مطرح در ارتباط با ضمان درک را به راحتی نمی توان پذیرفت و جای بحث و مناقشه دارد.
تبیین وجه صدق اولیات(مقاله ترویجی حوزه)
حوزه های تخصصی:
اولیات، یکی از مبادی معرفت است که معارف نظری صادق بر پایه آن استوار است. این عنوان همه قضایایی را که صرف تصور برای جزم به صدق آنها کافی است دربرمی گیرد؛ اعم از قضایای تحلیلی به اصطلاح کانت یا اصل عدم تناقض یا قضایای دیگری که تعریف اولیات آنها را پوشش می دهد. این مقاله به منظور تبیین وجه صدق اولیات تدوین یافته است. در این مقاله، دو تبیین براساس دو نظریه ازائه شده است: 1. تبیین بر اساس نظریه کلاسیک (نظریه معنایی) که نظریه غالب فلاسفه اسلامی است؛ 2. تبیین بر مبنای نظریه نوین ( نظریه ارجاع به علم حضوری) که نظریه استاد مصباح است؛ نظریه ای که در آموزه علم حضوری علامه طباطبایی ریشه دارد. در ادامه، وجه اشتراک و افتراق این دو نظریه بیان می شود، سپس نوبت به نقد و بررسی می رسد.
ابهام زدایی از قضایای حقیقیه ، خارجیه ، معدولیه و سالبه المحمول(مقاله ترویجی حوزه)
حوزه های تخصصی:
منطق صوری قدیم، از زمان ارسطو تا مظفر، اصطلاحات بسیاری ساخته است که می توان گفت تا به امروز همه آنها تحولات مفهومی فراوانی یافته اند. متاسفانه در میان فیلسوفان مسلمان و منطق دانان معاصر کشورمان که تعلق خاطری به منطق قدیم دارند، بسیاری از این اصطلاحات با ابهام های فراوانی به کار می روند و در واقع، در بیشتر آنها، اشتراک لفظ ""رهزن"" است. نتیجه این ابهام ها و اشتراک های لفظی، اختلاف نظرهای شدیدی است که در مقاله ها، کتاب ها، پایان نامه ها و... نمود یافته است. به نظر نگارنده، ابهام زدایی از این اصطلاح ها و پایان بخشی به این اختلاف نظرها، مادام که منطق قدیم، زبان طبیعی را به کار می برد، ممکن نیست. زبان های مصنوعی منطق جدید و تحلیل های ژرف و گسترده در این منطق، می تواند در ابهام زدایی و حل مسائل منطق قدیم و حتی فلسفه اسلامی کمک بزرگی باشد. یکی از مسائل بسیار مبهم و مورد اختلاف در منطق قدیم و فلسفه اسلامی، تقسیم قضیه به حقیقیه و خارجیه (و ذهنیه) است. در این مقاله، با اشاره ای گذرا به تعریف های گوناگون این دو قضیه (در آثار گذشتگان) و اختلاف نظرهای موجود درباره آن (در آثار گذشتگان و معاصران)، به تحلیل صوری این تعاریف در منطق جدید و نشان دادن نقاط قوت و ضعف آنها پرداخته ایم. به کمک این تحلیل های صوری، به سادگی می توان ریشه بسیاری از اختلاف نظرها را از میان برداشت. در برخی موارد که دشوارتر به نظر می رسند، به حل اختلاف نظرهای موجود پرداخته ایم.