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

منطق

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

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

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

کلید واژه ها: نمودار ون قیاس مطلق حد نامحصل بازنمایی نموداری نمودار کمانی

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

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

نویسنده:
منبع: منطق پژوهی سال یازدهم پاییز و زمستان ۱۳۹۹ شماره ۲ (پیاپی ۲۲) 157-172

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

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

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

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

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

حوزه های تخصصی:
تعداد بازدید : ۴۸۱ تعداد دانلود : ۴۴۸
براساس حداکثرگرایی در باب صادق ساز، هر گزاره ی صادقی صادق ساز دارد. یکی از مسائل پیش روی حداکثرگرایان این است که صادق سازهای گزاره های سالبه چه نوع اموری هستند؟ پاسخ های متعددی از سوی حداکثرگرایان به این مسئله داده شده است. یک رده از این پاسخ ها مبتنی بر امور منفی است. در این مقاله بعد از معرفی کوتاه مسئله، اشاره ای به بعضی پاسخهایی که مبتنی بر امور منفی هستند و برخی از اشکالاتی که دارند خواهیم داشت. این پاسخ ها به ترتیب مبتنی هستند بر وضعیت تام، قطبیت، غیاب و واقعیت های منفیِ بنیادین. براساس راه حل مبتنی بر وضعیت تام، علاوه بر واقعیت های مثبت، واقعیت های دیگری متشکل از تمامیتِ واقعیت های مثبت وجود دارند که صادق ساز گزاره های سالبه خواهند بود. براساس پاسخِ نظریه قطبیت، اشیاء می توانند ویژگی ها را به دو نحو مثبت یا منفی تحقق بخشند و واقعیت های منفی که حاصل تحقق بخشیِ منفیِ ویژگی ها توسط اشیاء هستند، صادق ساز گزاره های سالبه هستند. براساس پاسخِ نظریه غیاب، صادق ساز گزاره های سالبه غیابِ صادق سازِ گزاره ی ایجابیِ متناظرش است. براساس پاسخِ نظریه واقعیت های منفیِ بنیادین، واقعیت های منفی همانند واقعیت های مثبت به نحو بنیادین متحققند و این واقعیت ها صادق ساز گزاره های سالبه هستند. در ادامه به ارائه ی راه حلی برای این مسئله مبتنی بر واقعیت های منفی و بر اساس تحقق اعدام مضاف پرداخته و نشان می دهیم که این راه حل بسیاری از اشکالات دیدگاه های مشابه را ندارد.
۸۴.

خوداستعلایی هوسرل و تأثیر بنیان های منطقی ذهن بر بیان(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال یازدهم پاییز و زمستان ۱۳۹۹ شماره ۲ (پیاپی ۲۲) 189-207

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

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

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

نویسنده:
منبع: منطق پژوهی سال یازدهم پاییز و زمستان ۱۳۹۹ شماره ۲ (پیاپی ۲۲) 249-271

کلید واژه ها: منطق صوری ارسطو صورت گرایی منطق استعلایی کانت هگل

حوزه های تخصصی:
تعداد بازدید : ۵۱۷ تعداد دانلود : ۲۷۰
به باورِ هگل، منطق نمی تواند ازپیش برایِ تعیّناتِ اندیشه صورتی برسازد، بل که هر تعیّنی صورتِ ویژه یِ خود را دارد. جوهره یِ دگرگون شده یِ روح در منطقِ سنّتی احساس نمی شود و به همین سببْ منطقِ سنّتی به تعیّناتِ پیشینِ روحْ دل خوش است ولذا نه می تواند تعیّناتِ جدیدِ روح را مفهومی کند، و نه متافیزیکِ ویژه ای برایِ هر قومبرسازد. چُنین منطقی به سببِ ناتوانیِ در مفهوم سازی سرانجام به شکاکیّت منجر خواهد شد. در این نوشتار تبیین نموده ایم که چگونه منطقِ معرفت شناختی-وجودشناختیِ هگل سرشتِ اندیشه را دگرگون می سازد.از نظر او،رسالت منطقنه اندیشه ورزیِ صوریِ صِرفْ، بلکه یگانه گرداندن و این همان نمودنِاندیشه با«وجود» است. از این رو منطقِ ویافزون بر اینکهدارای محتوا است،محتوایِ آن تعیّناتِ اندیشه ورزی را نیز آشکار می سازد. منطقِ هگل یک نظامِ فلسفیِ کامل را دربَر دارد، و به سببِ کارآمدی در مفهوم سازی برایِ تمامیِ تعیّناتِ روح؛ اندیشه را به جست وجویِ یک متافیزیکِ نظام مند وامی دارد، بنابراین در منطقِ معرفت شناختی-وجودشناختیْ متافیزیک شدنی است بی آن که به دامِ دگماتیسمی که کانتْ ما را از آن پرهیز داده-امّا خود در آن گرفتار شده-بود، گرفتار شویم.
۸۶.

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

نویسنده:
منبع: منطق پژوهی سال یازدهم پاییز و زمستان ۱۳۹۹ شماره ۲ (پیاپی ۲۲) 31-63

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

حوزه های تخصصی:
تعداد بازدید : ۳۶۲ تعداد دانلود : ۱۸۸
تصور و تصدیق به عنوان دو بخش مبنایی و نظام آفرین در منطق، همواره مورد توجه بوده است. زیربنای منطق دوبخشی، بحث تصوّر و تصدیق است؛ از این رو از زمان ابن سینا تا به امروز، و با توجه به منطق نوین غرب، در این باره مسائل مختلفی به میان آمده است. منطق دوبخشی بر اساس تقسیم علم حصولی به تصور و تصدیق پایه گذاری شده است. با توجه به ماهیت تقسیم و وجود اختلاف نوعی بین اقسام، مسأله نسبت بین تصوّر و تصدیق، از میان تمام این مسائل، اهمّیت بیشتری دارد. چیستی این نسبت بر "منطق تقسیم بندی"، "ابتناء یا عدم ابتناء این دو بر هم"، "امکان تحقق ذهنی هریک بدون دیگری" و مسائل وابسته به این مسائل تاثیر مستقیم دارد. ابن سینا، قطب الدین رازی و ملاصدرا، (در اثری مستقل) از اندیشمندانی هستند که به این مساله پرداخته اند. مقاله حاضر گشودن گره های تحلیلی در تقسیم بندی علم حصولی به تصوّر و تصدیق در آثار سه اندیشمند را برای به دست آوردن نسبت بین تصوّر و تصدیق و نیز نقش هرکدام در حصول دیگری و در نهایت دستیابی به نظری جامع از آرای ایشان درباره ماهیت تصوّر و تصدیق، مدنظر قرارداده است. در این پژوهش، از طریق تفکیک مقام زبان (لفظ) از مقام ماهوی، علم حصولی تبیین و تحلیل شده است: در مقام ماهوی فقط تصدیق و از طریق مقام زبان و ارتباط بین زبان و اندیشه، تصوّر به دست می آید. چنان که علم حصولی تک هسته ای باشد، علم منطق در واقع تک بخشی خواهدبود.
۸۷.

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

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

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

حوزه های تخصصی:
تعداد بازدید : ۲۹۴ تعداد دانلود : ۳۵۰
استدلال خواهم کرد که نه تنها پارادوکس های سمانتیکی پیچیده تر از پارادوکس دروغگو اشکالی برای راه حل تارسکی برای آن، یعنی تعهد به سلسله مراتب زبان، ایجاد نخواهند کرد، بلکه می توان از آنها برای یافتن ساختار درست فرازبان بهره گرفت: پارادوکس ها زمانی بروز می کنند که برای زبان یک ساختار طبقاتی سرتاسری را پیشفرض بگیریم. این کاوش ما را به تصویر غنی تری از فرازبان رهنمون خواهد شد: فرازبان را نیز نباید به منزله طبقه فوقانی زبان موضوعی تلقی کرد، در عوض باید آن را به منزله یک توپولوژی تعریف شده بر زبان موضوعی دانست، که تنوعی از ساختارهای سلسله مراتبی میان مراتب زبان را مجاز می دارد. بحث خواهم کرد که در این تصویر توسعه یافته از مراتب زبان، صدق تارسکی را باید محمولی موضعی در نظر گرفت. نهایتاً بحث خواهم کرد که این رویکرد حاوی پیشنهاداتی برای تحلیل بهتر پارادوکس ها، و به طور خاص پارادوکس یابلو، است: با در نظر گرفتن یک توپولوژی دایره ای می توان مدلی بدون خودارجاعی و غیرپارادوکسیکال برای انتساب صدق و کذب به عبارات یابلو بدست داد.
۸۸.

ویتگنشتاین: نظریه تصویری گزاره(مقاله علمی وزارت علوم)

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

کلید واژه ها: ویتگنشتاین امر واقع حالات امور گزاره تصویر

حوزه های تخصصی:
تعداد بازدید : ۵۷۵ تعداد دانلود : ۳۴۸
در این مقاله مطابق ترتیب بندهای تراکتاتوس، ابتدا به شرح مختصری از هستی شناسی ویتگنشتاین خواهیم پرداخت. ویتگنشتاین در حوزه هستی شناسی، بحث خود را با امر واقع آغاز می کند و سپس برای وضوح بخشیدن به این مفهوم، از مفاهیم حالات امور و اشیاء مدد می گیرد. در حوزه معناشناختی نیز - در پی ارائه یک نظریه معنا- با یک شرح کلی درباره تصویرگری آغاز می کند و به دنبال آن به بررسی گزاره می پردازد و در نهایت تحلیل خود را با بکارگیری مفاهیم گزاره های پایه و اسامی، کامل می کند. در نگاه ویتگنشتاین، همواره میان دو ساحت زبان (اندیشه) و ساحت جهان تناظر برقرار است و تنها در این صورت است که می توان از معناداری گزاره ها سخن به میان آورد. در این مقاله، تلاش می شود با تکیه بر آموزه های ویتگنشتاین در دو حوزه هستی شناسی و معناشناسی، به بررسی آراء وی پرداخته و نسبت میان این هر دو را مورد کنکاش قرار دهیم.
۸۹.

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

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 137-156

کلید واژه ها: عبارت های جمعی مفردگرایی جمع گرایی پارشناسی محمول های توزیع ناپذیر

حوزه های تخصصی:
تعداد بازدید : ۵۱۹ تعداد دانلود : ۴۶۷
عبارت های جمعی بخشی از زبان روزمره و حتی زبان علمی هستند. برای تعیین مرجع یا ارزش سمانتیکی عبارت های جمعی دو رویکرد وجود دارد: رویکرد مفردگرا و رویکرد جمع گرا. طبق رویکرد مفردگرا، مرجع یک عبارت جمعی یک شیء مفرد مجتمع است. این واحد مجتمع می تواند یک کلاس یا یک جمع پارشناختی باشد. طبق رویکرد جمع گرا، عبارت جمعی به یک واحد جمعی ارجاع ندارد، بلکه جمع بودن وصف خودِ ارجاع است. رویکرد جمع گرا به عبارت ها اجازه می دهد که هم زمان به چندین شیء ارجاع داشته باشند. هدف نوشتار حاضر صورت بندی منطقی عبارت های جمعی است. برای نیل به این هدف، ما ابتدا به معرفی نظریه ی جزء و کل (پارشناسی) می پردازیم، سپس اصلاحاتی در این نظریه اعمال می کنیم. درنهایت، ما یک رویکرد مفردگرای مبتنی بر پارشناسی را به کار خواهیم گرفت، رویکردی که بجای استفاده از مفاهیم انتزاعی ای همچون مجموعه ها یا کلاس ها از اشیاء انضمامی ای همچون ترکیب های پارشناختی بهره می برد. نشان خواهیم داد که یک رویکرد مفردگرای پارشناختی قادر است یک سمانتیک به حد کافی قوی برای عبارت های جمعی فراهم کند.
۹۰.

اَپاگوگه ارسطو(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 179-216

کلید واژه ها: اپاگوگه قیاس محتمل فرضیه ربایی استنتاج بهترین تبیین پیرس

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

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

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰)

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

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

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

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 37-63

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

حوزه های تخصصی:
تعداد بازدید : ۲۹۴ تعداد دانلود : ۴۹۰
منطق تک نرم UL یک منطق فازی، زیرساختاری و نیمه ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرمال نیمه خطی است. یعنی نسبت به یک جبر مرتب خطی به طور قوی صحیح و تمام است. ULΔ با قضیه ی (p→q)∨Δ(q→p) از دیگر سیستم های استاندارد منطق موجهات متمایز می گردد. Δφ شهوداً تعبیر می شود که «صادق است که φ» یا به عبارت دقیق تر «به طور کلاسیک صادق است که φ». در این مقاله منطق نیمه کلاسیک ULΔ را با چهار رویکرد اصل موضوعی، حساب ابررشته ها، معناشناسی جبری و معناشناسی استاندارد معرفی می کنیم. فراقضیه هایی که بررسی می کنیم عبارت اند از: استنتاج دلتا، صحت قوی، تمامیت استاندارد قوی و تعریف پذیری منطق کلاسیک.
۹۳.

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

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 157-177

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

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

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

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 63-87

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

حوزه های تخصصی:
تعداد بازدید : ۸۲۸ تعداد دانلود : ۴۲۱
به یک تعبیر، واقع گرایی درباب منطق واقع گرایی درباب موضوع منطق است.اما، منطق واقعاً درباره چیست؟ صحبت از منطق کم و بیش به معنای صحبت از رابطه نتیجه منطقی تلقی می شود؛ رابطه ای که میان مقدمه های یک استدلال و نتیجه آن استدلال برقرار است. در تاریخِ منطق همواره این چنین نبوده است:در قرن بیستم دیدگاه فرگه-راسلی مبنی بر تلقی کردنِ منطق به عنوان مجموعه ای از صدق های منطقی در جامعه علمی حاکم بود. در این مقاله ابتدا دلایلی ارائه خواهیم کرد که نشان دهد که بهتر است که موضوع علم منطق را رابطه نتیجه منطقی بدانیم و نه صدق منطقی. آنگاه دلایلی ارائه می کنیم تا نشان دهیم که چرا بحث درباره متافیزیک منطق اهمیت دارد. در متافیزیک منطق، نظریات واقع گرا عموماً فرض کرده اند که موضوع علم منطق صدق منطقی است.در تقابل با این رویکرد غالب، الگوهایی ارائه کرده ایم که با فرض اینکه موضوع منطق رابطه نتیجه منطقی باشد، چگونه می توان درباب منطق واقع گرا بود. این الگوها الهام گرفته از راه حل هایی هستند که در ذیل مسئله متافیزیک رابطه ها در تاریخ متافیزیک مطرح شده اند
۹۵.

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

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 157-178

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

حوزه های تخصصی:
تعداد بازدید : ۳۹۱ تعداد دانلود : ۲۸۴
توانایی کشیدن خط تمایز دقیق بین هستومند های مشاهده پذیر و مشاهده ناپذیر در نظریه های علمی به عنوان موضوعی مورد مناقشه در بین دو دیدگاه مخالف واقع گرایی علمی و پادواقع گرایی هنوز یکی از موضوعات باز در فلسفه علم می باشد. یکی از استدلال هایی که به نفع واقع گرایان ارائه شده است مدعی است که نمی توان علی الاصول خط تمایزی بین این هستومند ها کشید. از طرف دیگر پذیرش انسجام دیدگاه پادواقع گرایی به نوعی مستلزم پذیرش تمایز بین هستومند های مشاهده پذیر و نامشاهده پذیر می باشد. اگر به هر وسیله ای این تمایز به صورت اصولی رد شود نتیجه آن عدم انسجام دیدگاه پادواقع گرایی خواهد بود. پادواقع گرایان برای دفاع از انسجام دیدگاه خود مبهم بودن مفاهیم مشاهده پذیر و مشاهده ناپذیر را مطرح می کنند. در این نوشتار تلاش خواهیم کرد تعبیری از منطق خطی را معرفی نماییم که با به کار بردن آن می توان وضوح بیشتری به محل نزاع بین واقع گرایان با پادواقع گرایان در مورد ناسازنمای ابهام بخشید. نشان خواهیم داد که اگر تعبیر مورد نظر در ناسازنمای ابهام به کار گرفته شود به صورت منسجم تری می توان ادعا کرد که بر خلاف نظر پادواقع گرایان مبهم بودن مفاهیم مشاهده پذیر و مشاهده ناپذیر به نفع دیدگاه آنها نخواهد بود.
۹۶.

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

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

کلید واژه ها: دوحقیقت باوری گراهام پریست اصل امتناع تناقض منطق فراسازگار

حوزه های تخصصی:
تعداد بازدید : ۱۲۵۳ تعداد دانلود : ۱۲۸۹
دوحقیقت باوری(dialetheism) دیدگاهی است که می گوید برخی از تناقض های صادق وجود دارند. ازآنجایی که در منطق سنتی(ارسطوئی-کلاسیک) اصل امتناع تناقض(LNC) معتبر و برقرار است، این دیدگاه چالش برانگیز است. در این مقاله سعی می شود که مسئله ی اساسیِ دوحقیقت باوری توضیح داده شود، و استدلال ها و انگیزه های گراهام پریست را در عدم پذیرش اصل امتناع تناقض و روی آوردن به منطق های فراسازگار بررسی شود. بنابر این، در بخش های پی در پی، سعی می کنیم وجودِ دوصدقه ها یا تناقض های صادق را در نظام های حقوقی، زبان طبیعی و زبان فرمال و جهان خارج نشان دهیم و دلایل پریست برای پذیرفتنِ آن ها و نقدِ وی از دیدگاه های رقیب را بیان کنیم. با انجام این کارها به نظر می رسد برای مان مشخص می شود به شرط آنکه نقضی بر استدلال های پریست وارد نباشد، دیدگاه پریست در پذیرشِ تناقض های صادق، می تواند پذیرفتنی یاشد. واژگان کلیدی: دوحقیقت باوری، گراهام پریست، اصل امتناع تناقض، منطق فراسازگار
۹۷.

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

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

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

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

رویکردی منطقی-ریاضی به اصول فقه(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 249-277

کلید واژه ها: منطق گزاره ها منطق موجهات مدل کریپکی اصول فقه ساختار نحوی ساختارمعنایی

حوزه های تخصصی:
تعداد بازدید : ۷۵۵ تعداد دانلود : ۴۳۱
در دهه های اخیر، صوری سازی با استفاده از ساختارهای ریاضی، در بسیاری از مباحث که ماهیت منطقی دارند، گسترش یافته است. اصول فقه یکی از این حیطه هاست که ماهیت منطقی دارد و در حقیقت همان منطق حاکم بر استدلال فقهی می باشد. طراحی یک ساختار به سبک منطق ریاضی برای اصول فقه، هم به لحاظ فراهم آوردن ابزاری کارامد برای نشان دادن تمایز ها در روش های گوناگون استدلال فقهی، و هم به لحاظ استفاده از هوش مصنوعی برای ساخت ابزار کمکی در فرایند استنباط فقهی، می تواند مفید واقع شود. در این مقاله پس از معرفی اجمالی رویکرد ریاضی به منطق و بیان مختصری در تعریف اصول فقه، منطق صوری اصول فقه را در قلمرو منطق ریاضی جستجو می کنیم. منطق تکلیف استاندارد و منطق تکلیف دینامیکی را به عنوان نزدیکترین ساختار های ریاضی موجود، به ساختار مورد نظر ما، به اجمال معرفی کرده، پس از بررسی معانی مختلف «واجب» در نوشتارگان اصول فقه، رویکرد فعل محور را برای تبیین مفهوم واجب بر می گزینیم، زبان صوری منطق فقه را مبتنی بر منطق دینامیکی طراحی می کنیم و در انتها نمونه هایی از قواعد فقهی را در این زبان صوری سازی می نماییم.
۹۹.

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

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 93-112

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

حوزه های تخصصی:
تعداد بازدید : ۷۰۵ تعداد دانلود : ۳۹۶
بدیهیات به عنوان زیرساخت معرفت فلسفی و بلکه همه معارف بشری از گذشته دارای ارزش بسزایی بوده است و لیکن به دلایل مختلفی به چرایی آن جز در مطاوی کلمات فلاسفه پرداخته نشده است. در تبیین و توجیه اعتبار و خطاناپذیری بدیهیات مبانی مختلفی مطرح شده است. یکی از این مبانی ارجاع بدیهیات به علوم حضوری و استفاده از خاصیت خطاناپذیری این علم برای تضمین صحت بدیهیات می باشد. آیت الله مصباح را می توان مبدع و یا نخستین مقرر این نظریه دانست. ایشان از شش بدیهی رایج تنها وجدانیات و اولیات را واجد شرایط بداهت می دانند و به دلیل اینکه علم حصولی و حس را مناشیء وقوع خطا می دانند، تلاش می کنند تا ارتباط وجدانیات و اولیات را با آنها قطع نمایند تا راه ورود خطا به بدیهیات مسدود شود و آن گاه برای تضمین صدق و بداهت بدیهیات آنها را با علم حضوری که سرچشمه ضمانت صحت است، پیوند می دهند. اما این نظریه به نظر می رسد با مشکلاتی روبرو است. نوشتار مذکور درصدد است تا با تبیین نظر ایشان و برشمردن ویژگی های علم حضوری ملاحظات وارد بر این نظریه را بررسی کند.
۱۰۰.

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

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

کلید واژه ها: قرآن استقراء استدلال عبرت سیروا انظروا

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

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

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

درجه علمی

مجله

سال

زبان