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

منطق

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

بررسی شرایط اعتبار سنجی قیاس اقترانی «منفصله-منفصله» نزد ابن سینا و منطق دانان مسلمان(مقاله علمی وزارت علوم)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

مفهوم «جهان غیرمنطقی» از نظر ویتگنشتاین متقدم و رایل(مقاله علمی وزارت علوم)

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

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

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

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

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

درجه علمی

مجله

سال

زبان