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

منطق

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

آیا لزومی جزئی و شرطی اتفاقی متمایزند؟(مقاله علمی وزارت علوم)

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

کلید واژه ها: حملی شرطی لزومی اتفاقی کلی جزئی ضروری ممکن

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

پارادوکس امتناع تناقض: گزارش و گشایش(مقاله علمی وزارت علوم)

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

کلید واژه ها: پارادوکس امتناع تناقض حمل اولی حمل شایع قاعده فرعیه

حوزه های تخصصی:
تعداد بازدید : ۳۹۸ تعداد دانلود : ۳۰۱
پارادوکسِ امتناع تناقض که بنیادی ترین اصل معرفت را به چالش می کشد با پذیرش این که «اجتماع نقیضان ممتنع است» نتیجه می گیرد که «اجتماع نقیضان ممتنع نیست». صدرالدین شیرازی کوشیده است که این پارادوکس را با جدایی نهادن میان حمل اوّلی و شایع فروگشاید. او پیش فرض می گیرد که «اجتماع نقیضان» موضوع گزاره های یادشده و «ممتنع» محمول آن ها است. این جستار با نفی این پیش فرض، راه حل دیگری را پیش می نهد که برپایه ی آن «اجتماع» بر ادات عطف، «نقیضان» بر سازه های عاطف، و «ممتنع» بر ضرورت سلب که ترکیب جهت و کیفیت است، دلالت دارد. پارادوکسِ امتناع تناقض که بنیادی ترین اصل معرفت را به چالش می کشد با پذیرش این که «اجتماع نقیضان ممتنع است» نتیجه می گیرد که «اجتماع نقیضان ممتنع نیست». صدرالدین شیرازی کوشیده است که این پارادوکس را با جدایی نهادن میان حمل اوّلی و شایع فروگشاید. او پیش فرض می گیرد که «اجتماع نقیضان» موضوع گزاره های یادشده و «ممتنع» محمول آن ها است. این جستار با نفی این پیش فرض، راه حل دیگری را پیش می نهد که برپایه ی آن «اجتماع» بر ادات عطف، «نقیضان» بر سازه های عاطف، و «ممتنع» بر ضرورت سلب که ترکیب جهت و کیفیت است، دلالت دارد.
۴۸۳.

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

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

کلید واژه ها: «ابطال های سوفیستی» ارسطو نظریه ی اطلاق منطق ارسطویی منطق قرون وسطایی مغالطات منطقی

حوزه های تخصصی:
تعداد بازدید : ۳۹۱ تعداد دانلود : ۳۰۵
نظریه ی اطلاق (Supposition Theory) یکی از نظریه های مهم منطقی-دلالت شناسی است که در تألیفات و تفاسیر منطق دانان قرون وسطایی در ذیل بحث «ویژگی های حدود» مطرح گردیده است. از آنجایی که این نظریه دارای پیامدهای منطقی، فلسفی و الاهیاتی مهمی است در این پژوهش به بررسی ریشه ی مفهومی و تاریخی آن می پردازیم. مدعای اصلی این پژوهش وجود پیوندی معنادار به لحاظ تاریخی و مفهومی بین نظریه ی قرون وسطایی اطلاق و نظریه ی مغالطات ارسطو است که در رساله ی «در پیرامون ابطال های سوفیستی» وی مطرح شده است. بررسی مورد به مورد مغالطات مطرح شده توسط ارسطو در مقایسه و تطبیق با تحلیل های منطق دانان قرون وسطایی این فرضیه را تقویت می کند که نظریه ی اطلاق همان دلالت شناسیِ پنهان در نظریه ی مغالطات ارسطو است که توسط منطق دانان قرون وسطایی ماهیتی آشکار و مستقل پیدا کرده است و در دوران قرون وسطایی متأخر در برخورد با مشکلات دلالت شناسی مختلف در ابعاد گسترده تری نیز توسعه یافته است.
۴۸۴.

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

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

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

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

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

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

کلید واژه ها: منطق ریاضی منطق چندمقداری منطق فازی منطق پیوسته

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

تصور گزاره ای و توجیه باورهای وجهی(مقاله علمی وزارت علوم)

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

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

حوزه های تخصصی:
تعداد بازدید : ۳۸۶ تعداد دانلود : ۲۶۷
در این مقاله مدل توجیهی را که گیرسون در مقاله «تخیل پذیری و توجیهِ وجهیِ الغاءپذیر» (2005) برای توجیهِ باورهای وجهی ارائه می کند بررسی می کنم. مدل توجیه پیشنهادی گیرسون مبتنی بر تخیل پذیری است. گیرسون تخیل پذیری را بر اساسِ تصور تحلیل می کند. گیرسون با پذیرشِ شباهت هایِ برخی از مولفه های شرح اش با مدل یبلو (1993)، ادعا می کند که از چند جهت بحث را پیش برده است. یکی از این پیشرفت ها از نظر گیرسون این است که او از تصور گزاره ای در توجیه باور وجهی استفاده می کند. در این مقاله نشان می دهم که گیرسون کمک چندانی به پیشبرد بحث نکرده است. از جمله به این دلیل که تصور گزاره ای به گونه ای که گیرسون تعریف می کند، هیچ کمکی به توجیه باور وجهی نخواهد کرد. علاوه بر آن گیرسون به این سوال که «تصور کردنِ گزاره ای دقیقاً یعنی چه؟» نمی تواند جوابی بدهد که مطابق آن آنچه را که قابل تصور گزاره ای دانسته، مثل نقیض حدس گلدباخ، قابل تصور باشد ولی گزاره های غیرممکن متافیزیکی و حتی گزاره های غیرممکن منطقی قابل تصورِگزاره ای نباشند.
۴۸۷.

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

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

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

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

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

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

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

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

اعتبار استقراء یا عدم اعتبار قیاس؟!(مقاله علمی وزارت علوم)

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

کلید واژه ها: قیاس استقراء توجیه قیاس مسأله ی استقراء موجه سازی سوزان هاک

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

تأملی بر امکان عام از دیدگاه زین الدین کشی(مقاله علمی وزارت علوم)

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

کلید واژه ها: زین الدین کشی حدائق الحقائق منطق امکان عام

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

ملاحظاتی در نظر ویلیامسن درباره تنش میان منطق غیرکلاسیک و کاربردپذیری ریاضیات(مقاله علمی وزارت علوم)

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

کلید واژه ها: مسئله ابهام منطق غیرکلاسیک کاربردپذیری ریاضیات ویلیامسن پارادکس

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

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

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

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

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

مابعدالطبیعه تعریف: مسائل تعریف در کتاب زتا و اتای مابعدالطبیعه ارسطو(مقاله علمی وزارت علوم)

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

کلید واژه ها: وحدت تعریف ماده کلیت امور مرکب اجزاء تعریف

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

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

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

کلید واژه ها: فورسینگ مدل های بولی-مقدار فیلتر ژنریک رسته

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

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

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

کلید واژه ها: است (εστί) افزون نشانگری فعل ارسطو زمان ترکیب درباره ی عبارت

حوزه های تخصصی:
تعداد بازدید : ۳۳۴ تعداد دانلود : ۲۸۵
در این مقاله فعل بودنِ «است» (εστί) در درباره ی عبارت ارسطو و و دلالت هایی که وی صراحتا به «است» نسبت می دهد، بررسی می شود و در موارد متعددی دیدگاه برخی مفسران ارسطو، از جمله آمونیوس، بوئتیوس، فارابی و آکویناس تقریر و نقد می شود. از این رو، ابتدا تعریفِ ارسطو از فعل، از جمله مهمترین ویژگیِ آن، «افزون نشانگریِ زمان»، بررسی می شود. در واقع، «است» به دلیلِ داشتنِ این ویژگی فعل است و به این ترتیب اولین دلالتِ «است» هم روشن می شود. در ادامه درباره ی دو دلالتِ دیگرِ «است» یعنی «افزون نشانگریِ ترکیب» و «تعیین صادق» و رابطه ی این سه دلالت با یکدیگر بحث می شود. و سرانجام نتیجه گرفته می شود که از نظر ارسطو «است» (ثلاثی) یک امر مقولی را نشانگری نمی کند، بلکه فقط افزون نشانگرِ ترکیب است. و با توجه به اینکه «است» افزون نشانگرِ زمان است، می توان گفت که از نظرِ ارسطو در درباره ی عبارت «است» (ثلاثی) افزون نشانگر ترکیب زمان مند است.
۴۹۶.

مسأله تعهد وجودی و معمای گیچ(مقاله علمی وزارت علوم)

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

کلید واژه ها: تعهد وجودی اشیاء افسانه ای معمای گیچ

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

اختلاف متناقضان در جهت و محذور آن(مقاله علمی وزارت علوم)

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

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

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

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

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

کلید واژه ها: استراوسون آستین نظریه صدق اظهارات انشائی محمول صادق

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

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

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

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

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

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

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

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

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

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

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

درجه علمی

مجله

سال

زبان