فیلتر های جستجو:
فیلتری انتخاب نشده است.
نمایش ۴۱ تا ۶۰ مورد از کل ۵۵۶ مورد.
حوزه های تخصصی:
بنا بر قواعد مربوط به نسبت های چهارگانه بین مفاهیم، منطق دانان اثبات کرده اند که همواره بین نقیض های دو مفهوم مساوی و عام و خاص مطلق، به ترتیب، نسبت تساوی و عام و خاص مطلق (ولی به صورت برعکس) برقرار است. هنگامی که نسبت بین نقیض های مفاهیم شامل مورد بحث قرار می گیرد، از آن جا که این مفاهیم فاقد مصداق و بلکه ممتنع المصداق اند، استدلالی که برای اثبات قواعد مذکور به کار می رود، دچار مشکل می شود. منشا مشکل، اعم بودن موضوع سالبه محصله از موجبه معدوله است. منطق دانان تلاش های بسیاری برای حل مشکل کرده اند که به نظر می رسد هیچ کدام تمام نیست. در این مقاله سعی خواهیم کرد نشان دهیم که در این میان ملاصدرا با نقد دیدگاه مشهور درباره معنای اعم بودن موضوع قضیه سالبه، به بیان تفسیر صحیح آن، که خود مبتنی بر دیدگاهی از قطب شیرازی است، می پردازد و سپس با استفاده از ویژگی های قضایای لابتیه، به حل مشکل توفیق می یابد
مفاهیم (اولی، ضروری، بهدیهی، یقینی) در منطق کلاسیک (صوری)(مقاله علمی وزارت علوم)
حوزه های تخصصی:
معانی مفاهیم (اولی، ضروری، بدیهی، یقینی) به ظاهر، روشن است. اما کاربرد آنها در مواضع و مباحث مختلف منطق متفاوت می باشد؛ به تبع این مواضع و مباحث مختلف، معانی آنها نیز تاحدی تغییر کرده و مختلف خواهد بود. در این مقاله سعی داریم این موانع و اختلاف معانی را روشن کنیم.کلید واژه: ابن سینا، استدلال مباشر، اولی، بدیهی، تصور، تصدیق، شیخ اشراق، عرضی، ضروری، ملاصدرا، یقینی.
نظریه زیادگی اظهار صدق و نظریه غیرتوصیفی(مقاله پژوهشی حوزه)
منبع:
ذهن ۱۳۸۲ شماره ۱۳
حوزه های تخصصی:
نظریههای عمده درباب صدق، صدق را وصفی برای جمله میدانند اما براساس نظریه زیادگی اظهار صدق - که توسط فرانک رمزی و فرگه ارائه شد - صدق، امری زاید و حشو تلقی میشود. استراوسون نیز صدق و کذب را محمول توصیفی برای جملات قلمداد نمیکند. به عقیده وی انتساب صدق به یک جمله، نقش انشایی ایفا میکند نه نقش گزارهساز. از اینرو، دیدگاه وی را نظریه غیرتوصیفی درباب صدق میدانند. نوشتة حاضر، ضمن تبیین این دو نظریة جدید به نقد و بررسی آنها میپردازد.
تمایز روش دیالکتیکی سقراط و افلاطون
حوزه های تخصصی:
روش دیالکتیکی، ریشه های مشخصی در اندیشة فلسفی یونان پیش افلاطونی دارد. این ریشه ها را می توان از هراکلیتوس و پارمنیدس تا سوفیست ها یافت، و از آن جا می توان نخستین کاربرد منظم آن را نزد سقراط مشاهده کرد، هرچند زنون الئایی از جانب ارسطو به غلط به عنوان مبدع روش دیالکتیکی معرفی شده است. افلاطون در این روش میراث دار سقراط محسوب می شود، اما تمایز آشکاری میان روش دیالکتیکی سقراط و افلاطون مشاهده می شود. تمایزی که با تکیه بر آموزة مُثل آشکارتر هم می شود. این تمایز مبتنی بر تعارض آموزة مُثل با نادانی سقراط است؛ سقراط روش دیالکتیکی را به این دلیل به کار می گرفت که، نشان دهد روش منطقی اش او را از اظهار نظر قاطعانة مبتنی بر دانایی بر حذر می دارد؛ وظیفة او فقط ویرایش است، ویرایشی که انتهایی بر آن متصور نیست. اما افلاطون با واردساختن آموزة مُثل در این روش، آن را به کلی دگرگون می کند؛ با ورود این آموزه روشن می شود که انتهای روش دیالکتیکی، کشف «مثال» موضوع مورد بحث است.
در این مقاله می خواهیم نشان دهیم که:
1. ریشه های روش دیالکتیکی در اندیشة فلسفی یونان پیش افلاطونی کشف شدنی است؛
2. زنون الئایی احتمالاً ربط خاصی به روش دیالکتیکی ندارد؛
3. آموزة مُثل از آن افلاطون است، نه سقراط؛
4. افزوده شدن این آموزه به روش دیالکتیکی، تأثیر روشنی در تعیین پایانة جست وجوی منطقی دارد؛ یا به عبارت بهتر، روش دیالکتیکی در پرتو آموزة مُثل، با روش دیالکتیکی بدون این آموزه، متمایز است.
منطق جدید و فلسفه ( معرفی تحلیلی کتاب منطق گراهام پریست )
حوزه های تخصصی:
مبانی فلسفی منطق شهودی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (Brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه ای برساخته از روندهای ساخت هویات و براهین ریاضی می داند. در مقاله حاضر، به تبیین مبانی نظری منطق شهودی پرداخته خواهد شد. این نظریات شامل انتقادهای براوئر به ریاضیات و منطق کلاسیک و رویکرد خاص خود او به ریاضیات و منطق است.
کتابشناسی منطق
منبع:
علامه ۱۳۸۳ شماره ۳ و ۴
حوزه های تخصصی:
توجیه استقرا ؛ راه حلی عقل گرایانه برای مساله ی کلاسیک استقرا
حوزه های تخصصی:
لورنس بونژور ، که اکنون استاد فلسفه در دانشگاه واشنگتن است ، در کتاب دفاع از خرد ناب ، افزون بر ارائه ی تبیینی عقل گرایانه برای توجیه پیشین و جانبداری از نقش مبنایی آن در ساختار معرفت ، تلاش می کند راه حلی عقل گرایانه برای مساله ی کلاسیکاستقرا بیابد . او ناکامی تلاش های تجربه گرایانه در تبیین توجیه استقرا را ناشی از پیش فرض های تجربه گرایانه ی آن ها می داند و نشان می دهد توجیه پیشین استقرا تنها رهیافتی است که می توان امید داشت مساله ی استقرا را به شکلی واقعی حل کند و ما را از شکاکیت استقرایی افراطی نجات بخشد .
چالش های پیش روی نظریه کریپکی در باب سمانتیک اسم خاص(مقاله علمی وزارت علوم)
منبع:
نامه مفید ۱۳۸۴ شماره ۵۰
حوزه های تخصصی:
در زبان طبیعی به کلماتی، از قبیل «احمد»، «سقراط» و ... اسم خاص می گوییم. اگر کلمه های موجود در زبان را مجموعه ای از نمادها بدانیم، آن گاه یک نظریه سمانتیکی طرح می گردد، تا منظور از این نمادها را روشن سازد. در برخورد با مساله سمانتیک اسم خاص، دو (رهیافت توصیفی و غیر توصیفی) وجود دارد.در نظریه های توصیفی اسم خاص، که فرگه، راسل و سرل، از جمله طرفداران آن می باشند، محتوای سمانتیکی یک اسم خاص، با یک توصیف معین، یا دسته ای از توصیف ها، معادل است. اما از نظر میل، یک اسم خاص، هیچ گونه محتوای ضمنی (وصفی) نداشته و معنای آن همان شیئی است که آن اسم به آن اشاره می کند. همچنین کریپکی نظریه های توصیفی را نقد و رد می کند. از نظر او معنای یک اسم خاص به هیچ وجه شامل محتوای توصیفی، نمی باشد. با کمی تسامح می توان کریپکی را نیز طرفدار نظریه میل دانست. نظریه غیر توصیفی اسم خاص با مشکلاتی روبرو است. از جمله آنکه: تفاوت آگاهی بخشی برخی اینهمانی ها چگونه توجیه می شود؟ و شرایط صدق جمله های شامل اسنادی گرایشی، به چه صورت است؟ همچنین معناداری اسامی تهی چگونه توجیه می شود؟سعی میل گرایانی چون کریپکی، سمن و براون بر آن است تا راه حلی برای این مسایل بیابند. در این مقاله این راه حل ها، تشریح و مورد نقد و ارزیابی قرار خواهند گرفت.
مشهورات در اندیشه ابن سینا(مقاله علمی وزارت علوم)
حوزه های تخصصی:
- حوزههای تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی
- حوزههای تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
- حوزههای تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق صناعات خمس
- حوزههای تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی فلسفه اسلامی کلیات مکتب های فلسفی فلسفه مشاء
- حوزههای تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی فلسفه اسلامی کلیات فلاسفه اسلامی
یکی از مسئله های جنجال برانگیز در حکمت عملی و منطق ابن سینا، تفسیر دیدگاه وی در باب آراء محموده است. تفاسیر متفاوت از مشهورات خاص و عام که غالباً از دغدغه های کلامی، اخلاقی، اصولی و غیره متأثر است، تحلیل های متعارضی از آراء محموده را رقم زده است. داوری در این باره در گرو مداقه در کل نظام منطقی و حکمی مرتبط با مشهورات در اندیشه ابن سینا است که تاکنون بدان پرداخته نشده است. از نظر ابن سینا، شهرت تابع اجزاء قضیه نیست بلکه امری عارضی است که بر پایه حقیقت استوار نبوده و خاستگاهش اجتماع است. در باب برهان می توان از صدق و برهان پذیری مشهورات سخن گفت؛ اما در باب جدل تنها از حیث شهرت به این قضایا پرداخته می شود. نگاه ابن سینا به این قضایا کاملاً ابزارانگارانه است؛ زیرا از نظر وی مشهورات معرفت بخش و مفید یقین نیستند و تنها کارکردی مدنی دارند. این مقاله می کوشد تا با رویکردی تحلیلی به عنوان درآمدی بر تحلیل آراء محموده به واکاوی اندیشه ابن سینا در باب مشهورات بپردازد.
رابطه ی منطق و زبان از نظر ویتگنشتاین(مقاله علمی وزارت علوم)
حوزه های تخصصی:
در این مقاله، می کوشیم تا رابطه ی زبان و منطق را از نظر ویتگنشتاین بررسی کنیم. برای این منظور از سه کتاب مهم او یعنی رساله ی منطقی-فلسفی، پژوهش های فلسفی و در باب یقین استفاده کرده ایم. ابتدا این رابطه را در رساله ی منطقی-فلسفی توضیح می دهیم و نتایج آن را برمی شمریم. سپس بعضی از انتقادات واردشده به این تلقی را بررسی می کنیم، از جمله نشان می دهیم که نگاه ذات گرایانه به زبان از نظر ویتگنشتاین متأخر، نگاهی اشتباه است و سرچشمه ی بدفهمی از رابطه ی منطق و زبان شده است. آن گاه با مدد گرفتن از پژوهش های فلسفی تلقی ویتگنشتاین متأخر از رابطه ی زبان و منطق را بازسازی می کنیم. از این منظر، منطق مقوم پیشین زبان نیست، بلکه خود محصول به کارگیری زبان است. آن گاه به منظور تأیید این تلقی، به یک پژوهش مردم شناختی استناد می کنیم. در انتها، می کوشیم تا با استفاده از مفهوم «جهان-تصویر» از کتاب در باب یقین به بعضی سؤالات محتمل پاسخ دهیم.
روشی جدید در استنتاج صوری با کمترین قاعده(مقاله ترویجی حوزه)
حوزه های تخصصی:
در منطق قدیم چه در استدلال های مباشر و چه در قیاس ها، هر کدام از قواعد استنتاج جداگانه معرفی می شوند و شرایط آنها بازگو می شود و استنتاج بر اساس آن سامان می یابد و گاه برای تبیین برخی از این قواعد آنها را به برخی دیگر ارجاع می دهند. اما در روشی که این مقاله پیشنهاد می دهد در استدلال های مباشر تنها دو قاعده نقض محمول و عکس مستوی معرفی می شود و بقیه قواعد استنتاجی مانند عکس نقیض، نقض موضوع نقض تام و نقض عکس، بدون معرفی براساس این دو قاعده استنتاج می شوند. نیز با تبارشناسی حملیه و روش سورگذاری در محمول ها به صورت مصنوعی، لمیت عکس مستوی تبیین می شود و بر همین اساس، در قیاس های اقترانی حملی تنها خود قیاس و نقش حد اوسط در آن معرفی می شود. با این روش نتایج همه اَشکال بدون معرفی آنها استنتاج می شود. در این روش، نیازی به تحویل شکل دوم، سوم و چهارم به شکل اول نیست. ویژگی این روش، آسانی و یک نواختی اعمال قیاس است و به شرایط متفاوت نیازی نیست.
بازتعریف مادی و مجرد با استفاده از منطق فازی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
بیشتر تعاریف ارائه شده برای مادی و مجرد به گونه ای هستند که ابتدا امر مادی تعریف می گردد سپس امر مجرد به گونه سلبی (سلب ماده، خواص ماده یا وابستگی به ماده) تعریف می شود: مجرد آن چیزی است که مادی نیست. ایراد وارد به اینگونه تعاریف سلبی این است که دیگر نمی توان بین شی اول و سلب آن شی، حدواسط و شی سومی تعریف کرد. لذا بر اساس این گونه تعاریف نمی توان بین ماده صرف و مجرد تام دسته دیگری از امور (مثلا مجرد برزخی) تعریف کرد. در این مقاله سعی شده ابتدا تعاریف موجود در خصوص مادی و مجرد بررسی گردد، سپس نشان داده شود که با توجه به نظر صدرالمتالهین در خصوص حرکت جوهری اشتدادی نفس ناطقه، لازم است بین مادی صرف و مجرد تام طیفی از امور داشته باشیم، طیفی شامل مادی محض، اندک تجرد نفس نباتی، تجرد مثالی، تجرد عقلی و فوق تجرد و همچنین مراتبی باید بین این مراتب ذکر شده وجود داشته باشد. آنگاه نشان می دهیم که این نگاه طیف گونه به اشیاء با تعاریف مبتنی بر حصر عقلی و به طریق اولی با تعریف سنتی مادی-مجرد (تعریف دوگانه ایجابی - سلبی) سازگار نمی باشد. نهایتاً بیان می کنیم که نمی شود تعریفی جامع برای امری که واحد شخصی ذومراتب است، ارائه داد؛ و در پایان با اشاره مختصر به منطق فازی بیان می کنیم که باید به گونه ای فازی به مسئله نگاه کرد؛ و تعریف جدیدی با استفاده از منطق فازی ارائه می دهیم.
تفکر فازی و کاربرد آن در فلسفه
منبع:
علامه ۱۳۸۳ شماره ۳ و ۴
حوزه های تخصصی:
منطق صدرایی؛ آرا و نوآوری ها در مباحث مقدماتی(مقاله پژوهشی حوزه)
حوزه های تخصصی:
هر چند ملاصدرا - در منطق - متأثر از دیدگاه های حکمت سینوی است؛ اما نوآوری هایی در منطق دارد که به حق می توان منطق او را منطق صدرایی قلمداد کرد. ملاصدرا علاوه بر آن که در دو بخش تعریف و استدلال، نظرات ابتکاری ای دارد، در رابطه با علم منطق به عنوان یک مجموعه در کنار علوم بشری دیگر و نیز در مباحث مقدماتی آن، صاحب رأی است. ملاصدرا بر اساس تقسیم علوم حقیقی به حکمت نظری و حکمت عملی، علم منطق را مندرج در حکمت نظری کرده و آن را از شاخه های فلسفة اولی به شمار می آورده است، هرچند از نظر او - به معیار تقسیم دیگر - و به اعتبار متعلق علم، علم منطق مندرج در علوم عملی است، نه حکمت عملی. در این نوشتار به برخی موشکافی ها، آرا و نوآوری های ملاصدرا در مباحث مقدماتی منطق، اشاره می شود.