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

منطق

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

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

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 49-71
حوزه‌های تخصصی:
تعداد بازدید : ۹۱ تعداد دانلود : ۱۱۵
نظام معرفتی مبتنی بر مبناگروی قضایای بدیهی را به عنوان بنیان های معرفتی خود برمی گزیند. اما خود این بدیهیات به دلیل وضوح و آشکارگی اشان مورد کاوشی عمیق و مستقل قرار نگرفته اند. سوال اصلی در ارتباط با بدیهیات، ملاک و چرایی بداهت آنهاست. در این مقاله بعد از بیان تعاریف و شروط لازم در بدیهیات به بررسی ملاکات ارائه شده در مطاوی کلمات اهل فلسفه و منطق برای بداهت پرداخته می شود، با استقصاء در مواضع متفاوت به چهار مبنا اشاره می شود؛ ارجاع بدیهیات به علم حضوری، فطری بودن، ارتباط با یک مبدأ عالی و حصول اضطراری. هر یک از این مبانی دارای اشکالاتی است که به ترتیب ذیل هر مبنا بدان اشاره خواهد شد و در نهایت یک نظریه ترکیبی ارائه می شود که بی نیازی از حدوسط را به عنوان ملاکی برای وضوح مفهومی و شهودات درونی را به عنوان منبعی درونی و معرفت زا برای تضمین صدق بدیهیات پیشنهاد می کند و در نهایت نیز استدلالی عملگرایانه برای پشتیبانی از شهودات درونی ارائه می شود؛ به نظر می رسد نظریه اخیر به گونه ای اثبات پذیر دو رکن بداهت را تبیین می کند.
۵۶۳.

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 137-146
حوزه‌های تخصصی:
تعداد بازدید : ۹۵ تعداد دانلود : ۹۷
در این مقاله به گزاره های مطلقاً اثبات ناپذیر از دیدگاه شهودگرایی براوئری می پردازیم. بنا به تعریف براوئر، یک گزاره مطلقاً اثبات ناپذیر است هرگاه ذهن آفریننده به عنوان ریاضیدانی ایده آل اثباتی داشته باشد مبنی بر اینکه هم خود آن گزاره و هم نقیض آن از منظر ساختی اثبات ناپذیر است. براوئر نشان داده است که وجود چنین گزاره هایی ممکن نیست. مارک فان آتن در کتاب خود در مورد براوئر و شهودگرایی، اثبات کوتاه براوئر در این مورد را بیان کرده و شرح و تفصیل داده است. مترجم فارسی این کتاب نیز به دو شکل مختلف این اثبات را بازسازی کرده و توضیح داده است. در این مقاله بازسازی مناسب تری از اثبات براوئر ارائه می دهیم. در ادامه، به کار گودل در زمینه گسترش حکم براوئر از منطق گزاره ها به منطق محمولات مرتبه اول خواهیم پرداخت. به علاوه اشاره خواهیم کرد که این گونه صوری سازی های ایده های شهودگرایانه در زبان منطق، نمی توانند حق مطلب را درمورد ایده های براوئر ادا کنند.
۵۶۴.

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

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

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

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 173-190
حوزه‌های تخصصی:
تعداد بازدید : ۹۰ تعداد دانلود : ۱۱۶
شعر یکی از صناعات خمس در منطق است. صناعات خمس همگی در قالب قیاس و از ماده متناسب با هر صناعت صورت پذیر می شوند. ماده شعر مخیلات است که قیاس شعری از آن ترکیب می شود. منطق دانان در ارائه صورت قیاس شعری آراء متفاوتی دارند. فارابی و ابن سینا به عنوان دو منطق دان بزرگ، هر یک در این خصوص به راهی رفته اند. فارابی قالب قیاس شعری را یکی از ضروب نامنتج شکل دوم قیاس و ابن سینا آن را یکی از قالب های معتبر شکل نخست قیاس دانسته است. علاوه بر این ابن سینا مثال قضیه شعری را گاه نتیجه یک قیاس و گاه مقدمه صغرای قیاس دانسته است. در این مقاله کوشیده ایم تا ضمن توضیح آراء هر یک از این دو منطق دان درباره قیاس شعری، این امر را تبیین کنیم که چرا هر یک از آنها شکل و ضرب خاصی از قیاس را به عنوان صورت قیاس شعری انتخاب کرده اند. خاصی را برای مشخص کردن وجه اختیار شکل و ضرب خاصی از قالب قیاس شعری از جانب هر یک از آن ها را توضیح دهیم و در خصوص ابن سینا نیز وجه تفاوت دو مثالی را که وی به عنوان نمونه های قیاس شعری ذکر کرده است، بیان کنیم.
۵۶۷.

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 171-199
حوزه‌های تخصصی:
تعداد بازدید : ۹۱ تعداد دانلود : ۹۰
ماهیت قضایای شرطی و تحلیل محتوای آن یکی از مباحث دامنه دار در منطق بوده است. پرسش ها و مسائل مطرح شده در سنت منطقی مغرب زمین در باره قضایای شرطی تا حدی متفاوت از آن چیزی است که در سنت منطقی جهان اسلام می شناسیم. در این مقاله با تکیه بر برخی از آثار مهم منطق سنتی مغرب زمین بویژه انگلیسی زبان در قرن نوزده، به بررسی مهمترین مباحث مربوط به قضایای شرطی متصله، مانند ماهیت قضیه شرطی، دسته بندی های مختلف ارائه شده از قضایا، تعبیر وجهی از قضایای شرطی، کمیت و کیفیت قضایای شرطی و نفی قضایای شرطی پرداخته شده است. منطق دانان غربی در این مباحث آراء متفاوتی ارائه و به نکاتی اشاره کرده اند که در منطق سنتی جهان اسلام کمتر مورد توجه بوده است شناخت آراء متفاوت منطق دانان سنتی غرب در این مباحث، از یکسو ما را با زمینه های رویش منطق جدید آشنا می کند و از سوی دیگر امکان اسباب نقادی منطق سنتی در جهان اسلام را فراهم می سازد.
۵۶۸.

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 201-219
حوزه‌های تخصصی:
تعداد بازدید : ۸۶ تعداد دانلود : ۹۴
اعتبار هر استدلالی به سازواری آن با قوانین منطقی بازبسته است. برخی استدلال ها نمودی برهانی دارند؛ ولی در بطنشان دارای گونه هایی از خطاهای منطقی اند؛ یعنی شبه برهان اند، نه برهان. آثار کلامی، به عنوان متونی که استدلال های به ظاهر منطقی و معتبر در خود دارند، از این باب درخور ارزیابی اند. بنابراین، منطق ابزار علمی مناسبی برای اعتبارسنجی این متون است. در این پژوهش سه استدلال از کتاب کشف المحجوب اثر علی بن عثمان هجویری بررسی می شود. این بررسی هم از منظر نحوی، با مبنا قرار دادن منطق صوری مرتبه اول، انجام می گیرد و هم از دیدگاه معنایی و مواد قیاس. سرانجام با برکشیدن مغالطات صوری و معنایی و نیز تعیین گونه ی مقدمات استدلال ها نشان داده می شود که هجویری از اصول علم منطق آگاهی و بر آنها تسلط داشته، نیز خود را به رعایت قوانین آن موظف می دانسته؛ ولی گاه از مغالطه عاری نبوده است. همچنین برمی آید که استدلال های او گاه از برهان به حد خطابه نزول رتبه دارد.
۵۶۹.

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 111-135
حوزه‌های تخصصی:
تعداد بازدید : ۸۷ تعداد دانلود : ۱۲۴
این مقاله در صدد پاسخ به این پرسش است که حقیقت انواع در خطابه چیست؟ برای پاسخ به این پرسش باید به دو پرسش دیگر نیز پاسخ داده شود. 1. تعریف انواع، چگونه شامل همه مصادیقش می گردد؟ 2. عملکرد انواع در دست یابی به قیاس های خطابی چگونه است؟ برای پاسخ به این پرسش ها، با روش توصیفی تحلیلی، ابتدا تعریف هایی را که منطق دانان ارائه داده اند مورد بررسی قرار دادیم. سپس با بررسی اقسام انواع بدین نتیجه دست یافتیم که این تعریف ها، جامع همه مصادیق نیستند. در ادامه برای ارائه تعریف روشن تر و جامع از انواع با توجه به اقسام انواع و هدف از طبقه بندی آنها به این نتیجه دست یافتیم که انواع، قواعد و فرمول هایی کلی هستند که سخن ور از آنها برای تولید استدلال در موضوعی معین استفاده می کند. این تعریف هم شامل انواع مشترک و هم شامل انواع خاص می شود. در نهایت، برای تکمیل فرآیند تعریف، با ذکر مثال، چگونگی عملکرد آن بیان گردید.
۵۷۰.

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

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 145-169
حوزه‌های تخصصی:
تعداد بازدید : ۸۷ تعداد دانلود : ۹۵
منطق دانان پایبند به نظام ارسطویی، مشارکت حد و برهان را به منزله راه حل خروج از چالش شناخت فصل حقیقی اشیاء و فقدان ارزش معرفت شناختی حد تام ارائه کردند. ظهور صدرالمتالهین و ارائه نظریه اعتباریت ماهیت چالش معرفت شناختی حد تام را جدی تر از گذشته نمایان کرد چون شناخت فصل به معنای معهودش، باعث شناخت حقیقت شیئ نمی گردد چه اینکه فصل و جنس قریب از سنخ ماهیتند در حالی که حقیقت شیئ وجود آن است؛ بر این اساس تلاش برای معرفت به فصل از نظر معرفت شناختی بی ارزش است و نمی تواند ما را در حوزه تصوری به واقعیت شیئ برساند. با این وجود موسس حکمت متعالیه نیز در آثار گوناگون خویش از مشارکت حد و برهان سخن گفته و حد و برهان شیئ را پل ارتباطی به سوی یکدیگر توصیف کرده است. این مقاله با روش تحلیلی – توصیفی و به منظور پاسخ به این سوال سامان یافته است که ملاصدرا که حد تام را در شناخت حقیقت اشیاء ناکارآمد کرده و ماهیت و توابع آن را اعتبار مجازی ذهن گردانده، چگونه می تواند به مشارکت حد و برهان ارزش معرفت شناختی بخشد؟ و به این نتیجه دست یافته که وی با تفکیک میان حد ماهوی و حد وجودی و تقریر حد وجودی به معنای معرفت به تحصل وجودی شیئ، تحلیل وجودی از فصل و جایگزین سازی شناخت تحصل وجودی در حد به جای معرفت به کنه ذات ماهوی در حد، موفق شده به مشارکت حد و برهان ارزش معرفت شناختی ببخشد.
۵۷۲.

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

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

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

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 221-238
حوزه‌های تخصصی:
تعداد بازدید : ۷۹ تعداد دانلود : ۶۴
منطق ناسره ابتنای دروست و فاین نسخه اصلاح شده ای از منطق ناسره ابتنای فاین است. دروست و فاین نشان داده اند که این منطق (به خلاف منطق اولیه فاین) نسبت به سمنتیکی که برای آن تنظیم کرده اند صحت و تمامیت دارد. پس از معرفی سیستم استنتاجی منطق اولیه فاین استدلال می کنم که پاره ای از مشکلات نظریه برهانی در خصوص این منطق وجود دارد. بیش از این، استدلال می کنم که نسخه اصلاح شده دروست و فاین نیز (اگرچه برای اهداف سمنتیکی یادشده مناسب است) با همان مشکلات نظریه برهانی دست به گریبان است. با اصلاح بیشتر سیستم استنتاجی دروست و فاین یک حساب رشته سطح بالاتر تنظیم می کنم. نشان می دهم که به لحاظ سمنتیکی منطق پیشنهادی من معادل با منطق دروست و فاین است. همچنین دلایلی می آورم که در سیستم استنتاجی پیشنهادی مشکلات نظریه برهانی یادشده مرتفع می شوند. حاصل این مقاله ارائه یک سیستم استناجی مناسب برای منطق ناسره ابتنای دروست و فاین است؛ سیستمی که پدیدآورندگان این منطق به آن دست نیافته اند.
۵۷۵.

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

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 23-48
حوزه‌های تخصصی:
تعداد بازدید : ۸۰ تعداد دانلود : ۸۹
مبحث مفاهیم و تصورات در منطق کلاسیک کمتر مورد توجه قرار گرفته است، این در حالی است که این بخش از دانش منطق به دلیل آنکه زیرساخت مباحث گزاره ها است بسیار مهم است. نسب اربعه یکی از این مباحث است که زیرساخت مباحث برهان و انتاج قیاسات اقترانی حملی را فراهم می آورد. این نوع از قیاس محور و نیز از اهداف اصلی منطق کلاسیک ارسطویی است. در این مبحث رابطه مفاهیم و نیز نقیض آنها مورد بررسی قرار می گیرد؛ اما محاسبه و دستیابی به نسبت مفاهیم از ناحیه نقیض ها به خود مفاهیم دچار دشواری و ابهاماتی می گردد. این پژوهش دو مفهوم «تام» و «ناقص» را برای نسبت های عموم و خصوص من وجه و تباین معرفی می کند. این مفاهیم موجب گسترش نسب اربعه به نسب سته شده و مسئله مزبور را حل می کند. همچنین این پیشنهاد را با ملاک ویژه و نوین خوش ساختی نظامات معرفتی که در پژوهش دیگری از نویسنده پژوهیده شده است مورد ارزیابی قرار دهد. نتیجه این ارزیابی ارتقاء کمیت و کیفیت جدول نسب اربعه ارسطویی به در تبدیل به نسب سته است.

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

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

درجه علمی

مجله

سال

زبان