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

منطق

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

انواع مبانی علم نزد ارسطو؛ پاسخ به دشواری هایی در تحلیل ثانی، دفتر نخست 2 و 10(مقاله علمی وزارت علوم)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

مبناپذیری اشکال چهارگانه قیاس ارسطویی(مقاله علمی وزارت علوم)

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

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

حوزه های تخصصی:
تعداد بازدید : 151 تعداد دانلود : 908
هدف از این پژوهش معرقی مفهومی جدید در قیاس حملی ارسطویی به نام مبناپذیری است؛ به عبارتی ضربی از ضروب 24گانه ی منتج قیاس ارسطویی مبناپذیر است اگر تنها با مفروض گرفتن یک ضرب به همراه قواعد برهان خلف، تداخل، عکس ساده، نقض محمول و نقض سور بتوان ضروب منتج دیگر قیاس حملی ارسطو را اثبات کرد. بدین منظور در این مقاله نشان داده خواهد شد که تنها 15 ضرب منتج از ضروب 24گانه ی منتج منطق حملی ارسطو دارای خاصیت مبناپذیری هستند. ارسطو چهار ضرب شکل اول قیاس را مبناپذیر می داند زیرا وی اشکال دیگر قیاس را به وسیله ی شکل اول اثبات می کند. از آنجایی که اثبات مبناپذیری چهار ضرب ارسطو تعمیم داده شده است به پانزده ضرب می توان نشان داد که منظور ارسطو از بدیهی بودن شکل اول قیاس مبناپذیری صرف چهار ضرب اول شکل اول نیست. این نتیجه ی مهم منطقی در سیستم ارسطو تنها از رهیافت معرفی مفهوم مبناپذیری ضروب قیاس ممکن گردیده است؛ به عبارت دیگر نشان خواهیم داد که برخلاف دیدگاه رایج در سنت ارسطویی به هیچ وجه مبناپذیری ضروب شکل اول نمی بایست خاستگاهی برای تببین بدیهی بودن ضروب شکل اول قیاس باشد. صرف نظر از اینکه راز بداهت شکل اول قیاس در چه چیزی نهفته است، این مقاله به وجه سلبی، یکی از گزینه های ممکن یعنی مبناپذیری ضروب منتج شکل اول قیاس را به شکلی منطقی در پاسخ به راز بداهت ضروب منتج شکل اول قیاس حذف خواهد کرد.
۱۰۶.

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

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

کلید واژه ها: ضمایر اشاره ای مرکب تئوری دلالت مستقیم دیدگاه تسویری محتوا و مدلول

حوزه های تخصصی:
تعداد بازدید : 533 تعداد دانلود : 646
ضمایر اشاره ای مرکب عباراتی پرکاربرد به شکل «آن ب» و حاصل ترکیب یک ضمیر اشاره ای و یک عبارت اسمی ساده یا مرکب هستند. در مورد رفتار سمانتیکی این عبارات دو تئوری غالب وجود دارد: یکی دیدگاه دلالت مستقیمی و دیگری دیدگاه تسویری. مبتنی بر اولی، ضمیر اشاره ای مرکب یک حد مفرد است و محتوای آن در کاربرد اشاره ای یک فرد است و گرچه عبارت اسمی مندرج در آن در تعیین مدلول ضمیر سهیم است اما در محتوای جمله سهمی ندارد. امّا دومی، با آنها رفتاری مشابه سورها می کند، و مبتنی بر آن ضمایر اشاره ای مرکب یک نسبت دو موضعی میان صفات را در گزاره ی بیان شده توسط جمله حاوی ضمیر به اشتراک می گذارند. این تئوری مدعی توجیه همه اقسام کاربردهای این ضمایر از جمله، اشاره ای، NDNS، QI، متغیر-پایبند و آنافورا می باشد. لذا حامیان این تئوری، انتقاداتی به واسطه این کاربردها به تئوری دلالت مستقیم وارد می کنند. اما قائلان تئوری دلالت مستقیم علاوه بر پاسخ به انتقادات، مسائلی را با استفاده از کاربردهای مزبور در متون وجهی و دیگر متون برعلیه دیدگاه تسویری طرح می کنند که می تواند این دیدگاه را دچار مشکلاتی اساسی کند. روی هم رفته، به نظر می رسد تئوری دلالت مستقیم در مواجهه با ضمایر اشاره ای مرکب تبیین شهودی تر و منسجم تری ارائه می دهد.
۱۰۷.

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

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

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

حوزه های تخصصی:
تعداد بازدید : 183 تعداد دانلود : 757
پرسش محوری فرگه در مقاله در باب معنی و مدلول آن است که چگونه می توان تفاوت معرفتزایی جمله هایی به فرم a=a را از a=b توجیه کرد.a=a تحلیلی و پیشین است در حالی که a=b پسین است و ارزش شناختی متفاوتی دارد. نظریه معنی (sense) و مدلول فرگه برای پاسخ به همین پرسش طرح می شود.سنس نحوه رسیدن به یک مدلول است و تفاوت راههای رسیدن به یک مدلول توجیه گر چگونگی معرفتزایی اینهمانیهای تجربی است.در سنت تحلیلی توجیه معرفتزایی نقطه قوت نظریه فرگه محسوب می شود.ما بر آنیم استدلال کنیم که اگر ساختار منطقی پیشنهادی فرگه برای اینهمانیهای تجربی را مفروض گرفته و نظریه معنی و مدلول او را بپذیریم، آنگاه اساسا جایی برای کشف تجربی باقی نمی ماند.کشف تجربی در حالتی معنی پیدا می کند که ساختار منطقی متفاوتی به جمله های مورد بحث فرگه نسبت دهیم و در این صورت دیگر نیازی به نظریه معنی و مدلول نخواهیم داشت.
۱۰۸.

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

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

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

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

پاتنم، برون گرایی معنایی و استدلال مدل تئورتیک(مقاله علمی وزارت علوم)

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

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

حوزه های تخصصی:
تعداد بازدید : 810 تعداد دانلود : 383
هیلاری پاتنم (۱۹۲۶-۲۰۱۶)، فیلسوف برجسته ی تحلیلی، بخش مهمی از دوران طولانی تفلسفش را به این سوال می پردازد که «ذهن و زبان چگونه به جهان خارج چنگ می زنند؟» در مقام پاسخ به این سوال، در حوزه ی سمنتیک، برون گرایی معنایی را طرح می کند و در حوزه ی متافیزیک و انتولوژی، علیه رئالسیم متافیزیکی به پا می خیزد و دو استدلال ارائه می کند که یکی از آن ها استدلال مدل تئورتیک است. در این مقاله نشان خواهم داد که استدلال پاتنم به سود برون گرایی معنایی و استدلال مدل تئورتیکِ او علیه رئالیسم متافیزیکی، هرچند به لحاظ ظاهری دارای ساختار و صورت بندی متفاوتی هستند، اما درواقع اندیشه ی واحدی از هر دوی آن ها پشتیبانی می کند. در این راستا، پس از گزارش هریک از این استدلال ها، صورت بندی تازه ای از آن ها ارائه می شود. سپس بر پایه ی وجوه اشتراک این دو استدلال، اندیشه ی پشتیبان آن دو معرفی خواهد شد. طبق این اندیشه ی پشتیبان، انفکاک قاطع میان ذهن و جهان خارج منجر به نامتعین شدن رابطه ای ارجاعی میان آن ها می شود اما بنا به درک متعارف، این رابطه متعین است؛ پس ذهن و جهان خارج منفک از یک دیگر نیستند؛ به عبارت دیگر، درهم تنیده اند.
۱۱۰.

دیدگاه فرگه درباره این همانی با التفات به کتاب «مفهوم نگاشت» و رساله «در باب معنا و دلالت»(مقاله علمی وزارت علوم)

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

کلید واژه ها: فرگه این همانی محتوا دلالت معنا

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

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

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

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

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

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

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

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

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

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

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

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

حوزه های تخصصی:
تعداد بازدید : 484
ارسطو با معرفی سه شکل از قیاس اقترانی آغازگر مباحث پردامنه ای در این حوزه شده است. شکل چهارم بعدها به اشکال قیاس اقترانی اضافه شد. در سه قسم اول قیاس اقترانی اختلاف نظری دیده نمی شود بحث بر سر شکل چهارم قیاس و شرایط انتاج آن می باشد. در شکل چهارم قیاس سه اختلاف عمده دیده می شود: 1- جایگاه شکل چهار 2- شرایط انتاج 3- ضروب منتج. گروهی از متقدمان که منطق دانان قبل اثیر الدین ابهری را در بر می گیرد ( ابن صلاح همدانی تا افضل الدین خونجی) با شرایطی، پنج ضرب منتج را برای شکل چهار قائل اند و گروهی از متأخران که در برگیرنده برخی از منطق دانان بعد اثیر الدین ابهری می باشند با شرایط دیگری قائل به هشت ضرب منتج برای آن هستند. قابل ذکر است که اثیرالدین ابهری با شرایطی سه ضرب دیگر به ضروب منتج شکل چهار افزود و به مرور برخی منطق دانان(تفتازانی،حاج ملاهادی سبزواری و ..) بدون توجه به شرایط سه ضرب ارائه شده از سوی ابهری ، به طورکلی قائل به هشت ضرب منتج شدند.در این مجال به بررسی پیشینه شکل چهارم قیاس اقترانی و شرایط انتاج آن می پردازیم. ضمن اثبات درستی نظر متقدمان؛ به ریشه یابی نظر برخی از متأخرین پرداخته شده که مشخص می شود بدفهمی از عبارات اثیر الدین ابهری صورت گرفته و نظر وی در خصوص موجهات(مختلطات) به قیاس های غیرموجه(مطلقات) تسری داده شده است. در این پژوهش علاوه بر بیان روشن این خلط به چرایی این اشتباه نیز پرداخته شده است.
۱۱۴.

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

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

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

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

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

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

کلید واژه ها: استنتاج بهترین تبیین تبیین احتمال بیز تأیید مزیت های تبیین گر

حوزه های تخصصی:
تعداد بازدید : 762 تعداد دانلود : 231
طبق رویکرد رایج به استنتاج بهترین تبیین (IBE)، فرضیه ای که بهترین تبیین را برای پدیده های در دستِ بررسی ارائه می دهد، احتمالاً صادق است. یکی از مهم ترین چالش های پیش روی این نحوه استدلال” ایراد وُلتِر “ است. مطابق این اشکال، دلیلی نداریم که ملاک های انتخاب بهترین تبیین، موسوم به مزیت های تبیین گر، محتمل ترین تبیین- یعنی تبیینی که نسبت به دیگر تبیین های رقیب از احتمال صدق بیش تری برخوردار است- را به دست دهند. هدف اصلیِ این نوشتار، واکاویِ ملاک های احتمالاتیِ مرتبط با IBE در مواجهه با ایراد وُلتِراست. به بیان دقیق تر، در پی آنیم که چنان چه ضابطه های احتمالاتیِ ارائه شده برای ارزیابیِ فرضیه های تبیین گر، ملاک انتخاب بهترین تبیین قرار گیرند، آیا این اطمینان وجود خواهد داشت که محتمل ترین تبیین به دست آید؟ در این راستا، ملا ک های احتمالاتیِ مرتبط با IBE را در سه دسته ملاک های معطوف به قضیه بیز، ملاک های معطوف به نظریه تأیید و ملاک های معطوف به مزیت های تبیین گر بررسی می کنیم. این واکاوی نشان می دهد که هیچ یک از ضابطه های ارائه شده از پس تحدید بهترین تبیین - به گونه ای که محتمل ترین تبیین را به دست دهد- بر نمی آیند.
۱۱۶.

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

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

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

حوزه های تخصصی:
تعداد بازدید : 673 تعداد دانلود : 371
بیشتر تعاریف ارائه شده برای مادی و مجرد به گونه ای هستند که ابتدا امر مادی تعریف می گردد سپس امر مجرد به گونه سلبی (سلب ماده، خواص ماده یا وابستگی به ماده) تعریف می شود: مجرد آن چیزی است که مادی نیست. ایراد وارد به اینگونه تعاریف سلبی این است که دیگر نمی توان بین شی اول و سلب آن شی، حدواسط و شی سومی تعریف کرد. لذا بر اساس این گونه تعاریف نمی توان بین ماده صرف و مجرد تام دسته دیگری از امور (مثلا مجرد برزخی) تعریف کرد. در این مقاله سعی شده ابتدا تعاریف موجود در خصوص مادی و مجرد بررسی گردد، سپس نشان داده شود که با توجه به نظر صدرالمتالهین در خصوص حرکت جوهری اشتدادی نفس ناطقه، لازم است بین مادی صرف و مجرد تام طیفی از امور داشته باشیم، طیفی شامل مادی محض، اندک تجرد نفس نباتی، تجرد مثالی، تجرد عقلی و فوق تجرد و همچنین مراتبی باید بین این مراتب ذکر شده وجود داشته باشد. آنگاه نشان می دهیم که این نگاه طیف گونه به اشیاء با تعاریف مبتنی بر حصر عقلی و به طریق اولی با تعریف سنتی مادی-مجرد (تعریف دوگانه ایجابی - سلبی) سازگار نمی باشد. نهایتاً بیان می کنیم که نمی شود تعریفی جامع برای امری که واحد شخصی ذومراتب است، ارائه داد؛ و در پایان با اشاره مختصر به منطق فازی بیان می کنیم که باید به گونه ای فازی به مسئله نگاه کرد؛ و تعریف جدیدی با استفاده از منطق فازی ارائه می دهیم.
۱۱۷.

رواداری در نظریه ی ST(مقاله علمی وزارت علوم)

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

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

حوزه های تخصصی:
تعداد بازدید : 139 تعداد دانلود : 787
کوبرروز و دیگران (2012) نظریه ای در باب ابهام پرورانده اند که طی آن مدلی برای رواداری ارائه کنند. قصد بر این است که در این مدل رواداری معتبر باشد؛ چنین نباشد که یک محمول مبهم بر هر چیزی حمل شود؛ و نیز استدلال های پارادوکس خرمن معتبر نباشند. در این مقاله استدلال خواهد شد که اولا، تحدید ایشان از اصل رواداری از آنچه در ادبیات مربوط به ابهام مورد توافق است فاصله می گیرد. و ثانیا، نظریه ایشان جمله ای قوی تر از رواداری را معتبر می انگارد؛ که این جمله مثال های نقض روشن دارد. و ثالثا، نظریه ایشان تنها می تواند رواداری را به معنای ضعیفی معتبر بداند. این نتیجه پایانی نظریه ایشان را به نظریه های غالب در باب ابهام که رواداری را درست قلمداد نمی کنند شبیه خواهد کرد.
۱۱۸.

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

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

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

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

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

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

کلید واژه ها: دلالت ثابت ترمهای کلی مشکل بی مایگی اشیاء وافر اشخاص دفتری

حوزه های تخصصی:
تعداد بازدید : 723 تعداد دانلود : 775
کریپکی در کتاب مشهور «نامگذاری و ضرورت» مفهوم دلالت ثابت(rigid designation) را برای کلمات مفرد(singular terms) و به منظور رد نظریه های وصفی معرفی کرد؛ به این مضمون که یک کلمه دلالتگر، ثابت است اگر و تنها اگر در همه جهانهای ممکن بر یک چیز دلالت کند. او در سخنرانی سوم این مفهوم را به کلماتی که برای انواع طبیعی مورد استفاده قرار می گیرند تعمیم داد.در باب اینکه این تعمیم چگونه خواهد بود بحثهای بسیاری در گرفته است که می توان آنها را به دو دسته کلی قائلین به همسانی در دلالت(sameness in designation) و ذاتگرایان(essentialists) تقسیم کرد؛ لیکن یک مشکل اساسی بر سر راه قائلین به همسانی در دلالت تحت عنوان «مشکل بی مایگی»""(trivialization problem) وجود دارد که می گوید اگر ثبات برای کلمات کلی(general terms) به معنای همسانی در دلالت در میان جهانهای ممکن باشد ،آنگاه علاوه بر کلمات مربوط به انواع طبیعی بقیه کلمات کلی هم ثابت خواهند شد؛ زیرا آنها نیز دلالت بر یک خصوصیت یکسان خواهند کرد.در این مقاله ما یک روش استدلالی را برای دفع مشکل بی مایگی نقد می کنیم.این روش استدلالی بر این اساس است که اوصاف معین می توانند دلالت بر اشیاء وافر(abundant) بکنند و با استفاده از تناظر(parallelism) بین کلمات کلی و کلمات مفرد نتیجه می گیرد عبارات حملی وصفی نیز می توانند دلالت بر خصوصیات وافر بکنند؛ اما به نظر می رسد این ادعا با بعضی اصولی که رفتار سمانتیکی کلمات را توضیح می دهند و شهودهای ما در مورد صدق عبارات شامل این کلمات، همخوانی ندارد.
۱۲۰.

از دلیل افتراض تا معرّفی و حذف سور وجودی(مقاله علمی وزارت علوم)

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

کلید واژه ها: دلیل افتراض عکس سالبه ی کلیه حذف سور وجودی معرفی سور وجودی

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطو
  2. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
تعداد بازدید : 560 تعداد دانلود : 693
هدف این مقاله تحریر و تحلیل بخشی از تاریخ دلیل افتراض (به طور خاصّ) و تاریخ منطق دوره ی اسلامی (به طور عامّ) است. ارسطو دلیل افتراض را در چندین موضع از دستگاه قیاسی اش، از جمله در اثبات عکس سالب کلّی، به کار می گیرد. مسئله ی مقاله ی کنونی همین کاربرد اخیر است. از زمان تئوفراستوس چالش های فراوانی فراروی این دلیل افتراض نهاده شده است. اسکندر افرودیسی به رفع این چالش ها همّت می گمارد و به این منظور دو تفسیر از افتراض یادشده به دست می دهد که، بر پایه ی تحلیل ما، دومین تفسیر یک برهان خلف است که در آن از حذف و معرّفی سور وجودی و جابه جایی عاطف استفاده شده است و بنابراین نشان می دهد که این بخش از منطق ارسطو هم به منطق گزاره ها و هم به منطق محمول ها وابسته است. نیز این تفسیر، دلیل افتراض را به خاطر استفاده از حدّ شخصی، دلیلی غیرقیاسی می شمارد و آشکار می سازد که اسکندر به درستی قیاس ارسطو را منطق حدّهای کلّی می داند. در جهان اسلام، ابن سینا، خونجی، و خواجه نصیر از همین تفسیر پیروی می کنند و حتّی درک روشن تری نسبت به قواعد یادشده از خود نشان می دهند؛ به گونه ای که ابن سینا و خواجه نصیر آشکارا از تمایزی سخن می گویند که امروزه میان نام خاصّ و نام فرضی نهاده می شود. سهروردی و فخر رازی، امّا، با اثرپذیری از تفسیر نخست اسکندر، تیزبینی چندانی از خود به نمایش نمی گذارند، نه در فهم منطق ارسطو به عنوان منطق حدّهای کلّی و نه در فهم آن دسته از قواعد منطق گزاره ها و محمول ها که در فرآیند افتراض دخیل اند.

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

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

درجه علمی

مجله

سال

زبان