درخت حوزه‌های تخصصی

منطق

حوزه‌های تخصصی
ادبیات اقتصاد تاریخ تربیت بدنی جغرافیا حقوق روانشناسی زبان شناسی علم اطلاعات و دانش‌شناسی علوم اجتماعی علوم اسلامی علوم انسانی علوم تربیتی علوم سیاسی فلسفه و منطق مدیریت مطالعات زنان هنر و معماری
توضیحی درباره چارت حکمت و فلسفه شرق فلسفه غرب گروه های ویژه منطق
صوری غیر صوری فرامنطق فلسفه منطق گروه های ویژه
ترتیب بر اساس: جدیدترینپربازدیدترین
فیلترهای جستجو: فیلتری انتخاب نشده است.
نمایش ۱ تا ۲۰ مورد از کل ۵۷۶ مورد.
۱.

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 171-199

کلیدواژه‌ها: قضیه شرطی قضیه فرضی تعبیر وجهی تعبیر اطلاقی

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 173-190

کلیدواژه‌ها: صناعات خمس شعر قیاس فارابی ابن سینا

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 119-143

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

حوزه‌های تخصصی:
تعداد بازدید : ۳ تعداد دانلود : ۱
با وجود آنکه اصل تناقض یکی از مهم ترین اصول حاکم بر فلسفه -به خصوص از زمان ارسطو- به شمار می-آید، کسانی نیز به مصاف این اصل رفته و آن را به چالش کشیده اند. پژوهش حاضر عمدتاً در صدد نشان دادن سیر تاریخی تناقض باوری و راه حل های ارائه شده از سوی تناقض باوران برای اعتقاد به امکان جمع نقیضین از دوران باستان تا کنون می باشد. مسئله اصلی این تحقیق آن است که مخالفان برجسته قاعده امتناع تناقض، در طول تاریخ چه ادله و راه حل هایی برای دیدگاه خود ارائه کرده اند و از روش توصیفی و تحلیل انتقادی برای نیل به پاسخ این مسئله بهره گرفته است. در راستای ترسیم سیر اندیشه دفاع از تناقض باوری، ابتدا پیشینه اصل امتناع تناقض مورد بررسی قرار می گیرد. سپس، تناقض باوری و نسبت آن با همه صادق انگاری مورد مداقّه قرار خواهد گرفت و پس از آن به طور تفصیلی پیشینه و زمینه تناقض باوری از یونان باستان تا دوران معاصر گزارش خواهد شد. تبیین منطق تناقض باور پایان بخش این جستار خواهد بود.
۴.

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 217-229

کلیدواژه‌ها: منطق شهودی منطق زیرشهودی F منطق زیرشهودی WF دستگاه استنتاج طبیعی دستگاه اثباتی هیلبرتی

حوزه‌های تخصصی:
تعداد بازدید : ۲ تعداد دانلود : ۳
منطق زیر شهودی F که نسبت به معناشناسی کریپکی (بدون نیاز به وجود شرط خاصی روی رابطه ی دسترس پذیری مدل های کریپکی) درست و تمام است، اولین بار توسط جیووانا کرسی مطالعه شد. دستگاه اثباتی ارائه شده برای این منطق، دستگاه اثباتی هیلبرتی است. دستگاه WF، به عنوان یک منطق زیرشهودی دیگری که ضعیف تر از دستگاه F است، نخستین بار توسط دیک د یانگ و فاطمه شیرمحمدزاده ملکی معرفی شده است. منطق زیرشهودی WF نسبت به مدل های همسایگی جدیدی که تا حدی پیچیده تر از مدل های همسایگی شناخته شده برای منطق های وجهی کلاسیک (غیر-نرمال) است، درست و تمام است. تنها دستگاه اثباتی معرفی شده برای این منطق زیر شهودی ضعیف تر، دستگاه اثباتی هیلبرتی است. از آنجا که تا کنون هیچ دستگاه استنتاج طبیعی برای هیچکدام از این دو منطق زیرشهودی پایه ارائه نشده است، در این مقاله تلاش خواهم کرد تا برای هر یک از دو منطق زیرشهودی WF و F یک دستگاه استنتاج طبیعی مناسب (درست و تمام) معرفی کنم.
۵.

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 49-71

کلیدواژه‌ها: ملاک بداهت اولیات علم حضوری شهودات درونی وضوح مفهومی

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

تحلیل ماهیت و طبقه بندی آموزه انواع در خطابه(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 111-135

کلیدواژه‌ها: خطابه انواع انواع مشترک انواع خاص

حوزه‌های تخصصی:
تعداد بازدید : ۴ تعداد دانلود : 0
این مقاله در صدد پاسخ به این پرسش است که حقیقت انواع در خطابه چیست؟ برای پاسخ به این پرسش باید به دو پرسش دیگر نیز پاسخ داده شود. 1. تعریف انواع، چگونه شامل همه مصادیقش می گردد؟ 2. عملکرد انواع در دست یابی به قیاس های خطابی چگونه است؟ برای پاسخ به این پرسش ها، با روش توصیفی تحلیلی، ابتدا تعریف هایی را که منطق دانان ارائه داده اند مورد بررسی قرار دادیم. سپس با بررسی اقسام انواع بدین نتیجه دست یافتیم که این تعریف ها، جامع همه مصادیق نیستند. در ادامه برای ارائه تعریف روشن تر و جامع از انواع با توجه به اقسام انواع و هدف از طبقه بندی آنها به این نتیجه دست یافتیم که انواع، قواعد و فرمول هایی کلی هستند که سخن ور از آنها برای تولید استدلال در موضوعی معین استفاده می کند. این تعریف هم شامل انواع مشترک و هم شامل انواع خاص می شود. در نهایت، برای تکمیل فرآیند تعریف، با ذکر مثال، چگونگی عملکرد آن بیان گردید.
۷.

براوئر و گزاره های مطلقاً اثبات ناپذیر(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 137-146

کلیدواژه‌ها: شهودگرایی براوئر منطق گزاره های مطلقاً اثبات ناپذیر

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

اثبات پذیری قضیه هیندمن شور و هیندمن برائر در حساب پئانو(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 27-47

کلیدواژه‌ها: اثبات پذیری حساب پئانو قضیه هیندمن قضیه برائر قضیه شور قضیه رمزی

حوزه‌های تخصصی:
تعداد بازدید : ۱ تعداد دانلود : ۳
قضیه هیندمن بیان می کند که برای هر افراز از مجموعه اعداد طبیعیN به تعداد متناهی بخش، یک زیر مجموعه نامتناهی از اعداد طبیعی وجود دارد که همه مجموع های متناهی از اعضای متمایز این زیر مجموعه، عضو یک بخش مشخصی از افراز باشند. همچنین قضیه شور بیان می کند که برای هر افراز از مجموعه اعداد طبیعیN به تعداد متناهی بخش، حداقل یکی از بخش های افراز وجود دارد که شامل سه عدد x,y,z است که x+y=z. قضیه برائر شبیه قضیه شور است با این تفاوت که به جای جواب برای معادله x+y=z، حداقل یکی از بخش های افراز شامل تصاعد حسابی به صورت \{a,a+b,a+2b,…,a+(l-1)b\} باشد. در این مقاله، اثبات پذیری قضیه هیندمن شور و هیندمن برائر را در حساب مرتبه اول پئانو مطالعه می کنیم و نشان می دهیم که نسخه متناهی این قضایا در حساب مرتبه اول پئانو اثبات پذیر است. در ادامه خواهیم دید که با اضافه شدن شرط مجزا بودن هم نتایج در حساب مرتبه اول پئانو اثبات پذیر باقی می ماند.
۹.

تحلیلِ انتقادیِ دیدگاهِ استاد مطهّری در بابِ کارکردِ منطقِ ارسطویی(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 147-171

کلیدواژه‌ها: منطق فایده منطق منطق ارسطویی صورت استدلال ماده استدلال مرتضی مطهری

حوزه‌های تخصصی:
تعداد بازدید : ۲ تعداد دانلود : ۲
مسئله اساسیِ این پژوهش، گزارش و بررسیِ دیدگاه استاد مطهّری در بابِ کارکردِ منطقِ ارسطویی در کشفِ خطاهای اندیشه و هدف از آن نقدِ دیدگاهِ تحویلی نگرانه وی است. مطهّری در آثارِ خویش، کارکردِ منطقِ قدیم را صرفاً به اصلاحِ صوریِ استدلال های بشری محدود می کند. وی نه تنها اصلاحِ خطاهای مادّی را وظیفه منطق نمی داند؛ بلکه معتقد است اساساً منطقی برای تصحیحِ خطاهای مادّیِ بشر وجود ندارد و تنها «با دقّت» و «مراقبت» می توان از خطای مادّی مصون ماند. در این پژوهش نشان خواهم داد: 1- مطهّری در انحصارِ کارکردِ منطقِ ارسطویی به ساختارهای صوریِ استدلال، دچار مغالطه تحویلی نگری شده است؛ 2- وی بررسیِ جزئیِ «مادّه استدلال» و «تعیینِ قانونِ حاکِم بر مادّه استدلال» را با یکدیگر خَلط کرده است؛ 3- وی «منطقِ مادّی» را این همان با کشفِ «عِلل روانیِ خطای مادّی» دانسته است و به دامِ «روانشناسی گری» افتاده است؛ 4- عدمِ وجودِ قوانینِ کلّی در تشخیص صحّت و سقم موادّ استدلال به شکاکیّت می انجامد؛ 5- «دقّت» و «مراقبت»؛ شروطی عامّ در عدمِ ارتکابِ هرگونه خطایی است، نه خطای مادّی. با این انتقادات آشکار می شود نظریّه مطهّری در بابِ کارکردِ منطقِ ارسطویی قابلِ دفاع نیست.
۱۰.

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 23-48

کلیدواژه‌ها: نسب اربعه نسب سته مجموعه مرجع خوش ساختی

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

تبیین معنا شناسی ناشناخت گرایانه ومسئله فرگه-گیچ(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 1-26

کلیدواژه‌ها: ابراز گرایی اخلاقی اظهارات انجام گرانه کنش گفتار صحت معنا شناختی ترکیب مندی کفایت منطقی

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 109-118

کلیدواژه‌ها: فلسفه ریاضی ترجمه کولی ون نقد

حوزه‌های تخصصی:
تعداد بازدید : ۳ تعداد دانلود : ۱
در سال های اخیر، برخی از کتاب های فلسفه ریاضی به فارسی ترجمه شده اند. متأسفانه در برخی موارد، این ترجمه ها نارسا و حتی گمراه کننده می باشند. به نظر می رسد که بررسی و نقد این ترجمه ها می تواند به اصلاح و بهبود این وضعیت کمک کند. در این نوشته پس از مروری مختصر بر کتاب فلسفه ریاضی تألیف کولی ون، به مروری گزینشی بر ترجمه این کتاب می پردازیم. کتاب فلسفه ریاضی کولی ون متنی مقدماتی در زمینه فلسفه ریاضی است. این کتاب برای دوره های کارشناسی و کارشناسی ارشد در دانشگاه های استرالیا و ایالات متحده آمریکا نوشته شده است. هرچند مخاطبان اصلی این کتاب دانشجویان فلسفه هستند، اما به نظر می رسد که پیش نیاز فلسفی زیادی نمی طلبد و برای دانشجویان ریاضی نیز قابل استفاده است. مشخصات ترجمه و متن اصلی به قرار زیر است: 1. کولی ون، مارک (1397). درآمدی بر فلسفه ریاضی معاصر، ترجمه کامران شهبازی، تهران: نقد فرهنگ. 2. Mark Colyvan (2012). An Introduction to the Philosophy of Mathematics.
۱۳.

دلالت در ارسطو(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 81-108

کلیدواژه‌ها: ارسطو دلالت وحدت هم‌نامی به شیوه های بسیار گفته شدن با اشاره به واحد

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 73-110

کلیدواژه‌ها: صادق کاذب حق باطل قضیه گوینده

حوزه‌های تخصصی:
تعداد بازدید : ۳ تعداد دانلود : ۲
ارسطو قضیه را به سخنی تعریف کرده است که یا صادق است یا کاذب. اما ابن سینا، که در همه کتاب هایش به جز اشارات و تنبیهات، تعریف ارسطویی را ذکر می کند، در کتاب اخیر از این نظر عدول کرده، قضیه را به صدق و کذب «گوینده اش» تعریف کرده است: «الترکیب الخبری وهو الذی یقال لقائله إنه صادق فیما قال أو کاذب». این یعنی صدق و کذب وصف گوینده سخن است و نه خود سخن، و این بر خلاف تعریف ارسطو و خود ابن سینا در همه آثار پیشین است که صدق و کذب را وصف سخن می گیرند و نه گوینده سخن. برخی از معاصران دلایلی بر عدول ابن سینا از تعریف نخستین به تعریف دوم طرح کرده اند که ضمن گزارش آنها، نشان می دهم که انتساب هیچ یک از آنها به ابن سینا مستند نیست. در برابر، دلیل تازه ای مطرح می کنم که احتمال استناد آن به ابن سینا اگر بیشتر نباشد کمتر نیست و آن اینکه واژه های «صادق» و «کاذب» در زبان عربی پیش از عصر ترجمه به معنای «راست» و «دروغ» در زبان فارسی و مانندهای آن در دیگر زبان ها نبوده است بلکه به معنای «راست گو» و «دروغ گو» در زبان فارسی و مشابه های آن در دیگر زبان ها بوده است. معادل های «راست» و «دروغِ» فارسی در زبان عربی پیش از عصر ترجمه، بر خلاف آنچه معمولا گمان می رود، «حق» و «باطل» است و نه «صادق» و «کاذب». احتمالا با تفطن به این نکته زبان شناختی، ابن سینا در کتاب اشارات و تنبیهات تعریفی ارائه کرده است که به لغت شناسیِ زبان عربی پیش از عصر ترجمه وفادارتر است.
۱۵.

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 201-219

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

حوزه‌های تخصصی:
تعداد بازدید : ۲ تعداد دانلود : 0
اعتبار هر استدلالی به سازواری آن با قوانین منطقی بازبسته است. برخی استدلال ها نمودی برهانی دارند؛ ولی در بطنشان دارای گونه هایی از خطاهای منطقی اند؛ یعنی شبه برهان اند، نه برهان. آثار کلامی، به عنوان متونی که استدلال های به ظاهر منطقی و معتبر در خود دارند، از این باب درخور ارزیابی اند. بنابراین، منطق ابزار علمی مناسبی برای اعتبارسنجی این متون است. در این پژوهش سه استدلال از کتاب کشف المحجوب اثر علی بن عثمان هجویری بررسی می شود. این بررسی هم از منظر نحوی، با مبنا قرار دادن منطق صوری مرتبه اول، انجام می گیرد و هم از دیدگاه معنایی و مواد قیاس. سرانجام با برکشیدن مغالطات صوری و معنایی و نیز تعیین گونه ی مقدمات استدلال ها نشان داده می شود که هجویری از اصول علم منطق آگاهی و بر آنها تسلط داشته، نیز خود را به رعایت قوانین آن موظف می دانسته؛ ولی گاه از مغالطه عاری نبوده است. همچنین برمی آید که استدلال های او گاه از برهان به حد خطابه نزول رتبه دارد.
۱۶.

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 221-238

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

حوزه‌های تخصصی:
تعداد بازدید : ۱ تعداد دانلود : 0
منطق ناسره ابتنای دروست و فاین نسخه اصلاح شده ای از منطق ناسره ابتنای فاین است. دروست و فاین نشان داده اند که این منطق (به خلاف منطق اولیه فاین) نسبت به سمنتیکی که برای آن تنظیم کرده اند صحت و تمامیت دارد. پس از معرفی سیستم استنتاجی منطق اولیه فاین استدلال می کنم که پاره ای از مشکلات نظریه برهانی در خصوص این منطق وجود دارد. بیش از این، استدلال می کنم که نسخه اصلاح شده دروست و فاین نیز (اگرچه برای اهداف سمنتیکی یادشده مناسب است) با همان مشکلات نظریه برهانی دست به گریبان است. با اصلاح بیشتر سیستم استنتاجی دروست و فاین یک حساب رشته سطح بالاتر تنظیم می کنم. نشان می دهم که به لحاظ سمنتیکی منطق پیشنهادی من معادل با منطق دروست و فاین است. همچنین دلایلی می آورم که در سیستم استنتاجی پیشنهادی مشکلات نظریه برهانی یادشده مرتفع می شوند. حاصل این مقاله ارائه یک سیستم استناجی مناسب برای منطق ناسره ابتنای دروست و فاین است؛ سیستمی که پدیدآورندگان این منطق به آن دست نیافته اند.
۱۷.

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 145-169

کلیدواژه‌ها: مشارکت حد و برهان حد ماهوی حدّ وجودی تحصل وجودی برهان وجودی ملاصدرا

حوزه‌های تخصصی:
تعداد بازدید : ۱ تعداد دانلود : ۱
منطق دانان پایبند به نظام ارسطویی، مشارکت حد و برهان را به منزله راه حل خروج از چالش شناخت فصل حقیقی اشیاء و فقدان ارزش معرفت شناختی حد تام ارائه کردند. ظهور صدرالمتالهین و ارائه نظریه اعتباریت ماهیت چالش معرفت شناختی حد تام را جدی تر از گذشته نمایان کرد چون شناخت فصل به معنای معهودش، باعث شناخت حقیقت شیئ نمی گردد چه اینکه فصل و جنس قریب از سنخ ماهیتند در حالی که حقیقت شیئ وجود آن است؛ بر این اساس تلاش برای معرفت به فصل از نظر معرفت شناختی بی ارزش است و نمی تواند ما را در حوزه تصوری به واقعیت شیئ برساند. با این وجود موسس حکمت متعالیه نیز در آثار گوناگون خویش از مشارکت حد و برهان سخن گفته و حد و برهان شیئ را پل ارتباطی به سوی یکدیگر توصیف کرده است. این مقاله با روش تحلیلی – توصیفی و به منظور پاسخ به این سوال سامان یافته است که ملاصدرا که حد تام را در شناخت حقیقت اشیاء ناکارآمد کرده و ماهیت و توابع آن را اعتبار مجازی ذهن گردانده، چگونه می تواند به مشارکت حد و برهان ارزش معرفت شناختی بخشد؟ و به این نتیجه دست یافته که وی با تفکیک میان حد ماهوی و حد وجودی و تقریر حد وجودی به معنای معرفت به تحصل وجودی شیئ، تحلیل وجودی از فصل و جایگزین سازی شناخت تحصل وجودی در حد به جای معرفت به کنه ذات ماهوی در حد، موفق شده به مشارکت حد و برهان ارزش معرفت شناختی ببخشد.
۱۸.

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 49-79

کلیدواژه‌ها: میرزای قمی منطقِ روان شناختی حجیت ظن دلیلِ منطقی نقدِ منطقِ ارسطویی

حوزه‌های تخصصی:
تعداد بازدید : ۲ تعداد دانلود : ۲
تبیینِ میرزایِ قُمی درباره یِ دلیلِ عملی از سه جهت حائزِاهمیت است: (1) او از جدی ترین منتقدانِ منطقِ ارسطویی و نحوه یِ دلیل آوری در این منطق به حساب می آید و راهِ متفاوتی را از مدافعانِ این منطق پیموده است. (2) منطقِ حاکم بر اندیشه یِ میرزایِ قُمی یک منطقِ روان شناختی به حساب می آید. و (3) با ارائه یِ تبیینِ متفاوت از سرشتِ دلیل، تقلید را نوعی از دلیل به حساب می آورد و بابِ استناد به تقلید را در امورِ عملی می گشاید. در این پژوهش موضعِ میرزایِ قُمی درباره یِ دلایل به بحث گذاشته شده و نشان داده شده است که میرزایِ قُمی هر امرِ اقناع آور را دلیل می داند. میرزا با فرارَوی از صورت گرایی در منطقِ ارسطویی، به تکثّرِ صورت در استدلال باور دارد و معتقد است که نحوه یِ التفاتِ مجتهد، صورتِ استدلال را به نحوِ پسینی معیّن می سازد؛ بنابراین به نحوِ پیشینی، نمی توان هیچ صورتی را نمی توان به عنوانِ صورتِ استدلال پذیرفت. به باورِ میرزا، یقینِ منطقی وجود ندارد و یقینِ منطقی نیز نوعی یقینِ روان شناختی است. اگر یقین یک سره امری روان شناسانه باشد، سه لازمه پدید می آید: (1) تمایزی بینِ ظنِ خاص و ظنِ عام از بین می رود و همه یِ ظنون به یک سان معتبر می شوند. ازاین رو، (2) در اعتباربخشی به ظنون، تفاوتی وجود ندارد که از چه منبعی برآیند؟ و (3) تقلیدِ اقناع آور ازنظرِ معرفت شناسانه هیچ تفاوتی با یقینِ روان شناسانه ندارد و بل که تقلید قِسمی از یقین به حساب می آید؛ ازاین رو (4) در امورِ عملی می توانیم از تقلید بهره گیریم.
۱۹.

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 1-21

کلیدواژه‌ها: مبادی حجت یقینیات مظنونات مشهورات مقنعات مسلمات

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 191-215

کلیدواژه‌ها: عرضی لازم بین تقسیم ثنائی دلالت لفظی دلالت خارجی حصر عقلی اقسام دلالت لفظی

حوزه‌های تخصصی:
تعداد بازدید : ۲ تعداد دانلود : ۲
منطق دانان مسلمان «لزوم» را در دلالت التزامی به سه مفهوم مختلف مطلق لزوم ذهنی، لزوم بیّن بالمعنی الاعم و الاخص تفسیر کرده اند. پژوهش حاضر به روش توصیفی-تحلیلی نشان داده است که بر مبنای اشتراط هر یک از این مراتب در دلالت التزامی، این دلالت مجموعا بر شش دسته از معانی صدق نمی کند: ۱-معانی خارجی غیر لازم نسبت به معنای لفظ ۲-معانی غیر قابل حمل بر معنای لفظ ۳-معانی جزئی ۴-عرضیات مفارق ۵-عرضیات لازم غیر بیّن بالمعنی الاعم ۶-عرضیات لازم غیر بیّن بالمعنی الاخص که بیّن بالمعنی الاعم نمی باشند. وجود چنین محدودیتی در دامنه صدق دلالت التزامی سبب عدم جامعیت دلالت لفظی می شود؛ زیرا موارد مذکور، در دامنه دلالت مطابقی و تضمنی نیز نمی گنجند. تلاش های برخی منطقیون در حصر اقسام دلالت لفظی نیز خالی از ایراد به نظر نمی رسد و مشکل عدم جامعیت این تقسیم را برطرف نمی نماید: لذا پژوهش فعلی به معرفی تقسیم ثنائی جدیدی پرداخته که قسیم دلالت مطابقی و تضمنی در آن را، «دلالت خارجی» نامیده و دلالت التزامی را نیز ذیل آن قرار داده است تا تقسیم جدید در عین نوآوری و رفع اشکالات، قابل تطبیق با تقسیمات پیشین باشد.

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

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

درجه علمی

مجله

سال

زبان