چکیده:
هدف از این پژوهش معرقی مفهومی جدید در قیاس حملی ارسطویی به نام مبناپذیری است؛ به عبارتی ضربی از ضروب 24گانهی منتج قیاس ارسطویی مبناپذیر است اگر تنها با مفروض گرفتن یک ضرب به همراه قواعد برهان خلف، تداخل، عکس ساده، نقض محمول و نقض سور بتوان ضروب منتج دیگر قیاس حملی ارسطو را اثبات کرد. بدین منظور در این مقاله نشان داده خواهد شد که تنها 15 ضرب منتج از ضروب 24گانهی منتج منطق حملی ارسطو دارای خاصیت مبناپذیری هستند. ارسطو چهار ضرب شکل اول قیاس را مبناپذیر میداند زیرا وی اشکال دیگر قیاس را به وسیلهی شکل اول اثبات میکند. از آنجایی که اثبات مبناپذیری چهار ضرب ارسطو تعمیم داده شده است به پانزده ضرب میتوان نشان داد که منظور ارسطو از بدیهی بودن شکل اول قیاس مبناپذیری صرف چهار ضرب اول شکل اول نیست. این نتیجهی مهم منطقی در سیستم ارسطو تنها از رهیافت معرفی مفهوم مبناپذیری ضروب قیاس ممکن گردیده است؛ به عبارت دیگر نشان خواهیم داد که برخلاف دیدگاه رایج در سنت ارسطویی به هیچ وجه مبناپذیری ضروب شکل اول نمی بایست خاستگاهی برای تببین بدیهی بودن ضروب شکل اول قیاس باشد. صرف نظر از اینکه راز بداهت شکل اول قیاس در چه چیزی نهفته است، این مقاله به وجه سلبی، یکی از گزینه های ممکن یعنی مبناپذیری ضروب منتج شکل اول قیاس را به شکلی منطقی در پاسخ به راز بداهت ضروب منتج شکل اول قیاس حذف خواهد کرد.
خلاصه ماشینی:
مبناپذیری اشکال چهارگانة قیاس ارسطویی محمد حافی 1 مهین باقری 2 ، مهدی میرزاپور 3 ، غلامرضا ذکیانی 4 چكيده هدف از این پژوهش معرفی مفهومی جدید در قیاس حملی ارسطویی بهنام مبناپذیری است؛ بهعبارتی ضربی از ضروب 24گانۀ منتج قیاس ارسطویی مبناپذیر است، اگر تنها با مفروضگرفتن یک ضرب بههمراه قواعد برهان خلف، تداخل، عکس ساده، نقض محمول، و نقض سور بتوان ضروب منتج دیگر قیاس حملی ارسطو را اثبات کرد.
اثبات منتجبودن ضروب معتبر دیگر با دنبالکردن استراتژی (ب) امکان دارد؛ بهعبارتی کافی است که نشان داده شود میتوان ضرب Ferio را براساس این مبنا اثبات کرد.
اثبات منتجبودن ضروب معتبر دیگر با دنبالکردن استراتژی (ب) امکان دارد؛ بهعبارتی کافی است که نشان داده شود میتوان ضرب Ferio را براساس این مبنا اثبات کرد.
اثبات منتجبودن ضروب معتبر دیگر با دنبالکردن استراتژی (ب) امکان دارد؛ بهعبارتی کافی است که نشان داده شود میتوان ضرب Ferio را براساس این مبنا اثبات کرد.
اثبات منتجبودن ضروب معتبر دیگر با دنبالکردن استراتژی (ب) امکان دارد؛ بهعبارتی کافی است که نشان داده شود میتوان ضرب Ferio را براساس این مبنا اثبات کرد.
اثبات منتجبودن ضروب معتبر دیگر با دنبالکردن استراتژی (ب) امکان دارد؛ بهعبارتی کافی است که نشان داده شود میتوان ضرب Ferio را براساس این مبنا اثبات کرد.
اثبات منتجبودن ضروب معتبر دیگر با دنبالکردن استراتژی (ب) امکان دارد؛ بهعبارتی کافی است که نشان داده شود میتوان ضرب Ferio را براساس این مبنا اثبات کرد.
اثبات منتجبودن ضروب معتبر دیگر با دنبالکردن استراتژی (ب) امکان دارد؛ بهعبارتی کافی است که نشان داده شود میتوان ضرب Ferio را براساس این مبنا اثبات کرد.