هدف از این پژوهش معرقی مفهومی جدید در قیاس حملی ارسطویی به نام مبناپذیری است؛ به عبارتی ضربی از ضروب 24گانه­ی منتج قیاس ارسطویی مبناپذیر است اگر تنها با مفروض گرفتن یک ضرب به همراه قواعد برهان خلف، تداخل، عکس ساده، نقض محمول و نقض سور بتوان ضروب منتج دیگر قیاس حملی ارسطو را اثبات کرد. بدین منظور در این مقاله نشان داده خواهد شد که تنها 15 ضرب منتج از ضروب 24گانه­ی منتج منطق حملی ارسطو دارای خاصی...

زمینه و هدف: مساحت، شکل و آرایش مکانی لکه­های زیستگاهی از جمله مهمترین معیارهای بوم شناسی سیمای سرزمین می­باشند که در ارزیابی زیستگاه و تعیین مطلوبیت زیستگاه کاربرد دارد. گوسفند وحشی از گاوسانان موجود در پارک ملی کویر می­باشد. این گونه برای فرار از دست طعمه خواران نیازمند به تپه ماهورها و مناطق با شیب بالا می­باشد تا در صورت تهدید به این گریزگاه­ها پناه ببرد و این تپه ماهورها به عنوان پناه از م...

چکیده یک مدار منطقی ترکیبی، یک شبکه سخت افزاری است که بر مبنای گیت های منطقی طراحی می شود و نیازهای توابع منطقی را برآورده می سازد. برای افزایش کارایی و کاهش هزینه مصرفی در تولید، معیارهای بهینه سازی مانند تعداد گیت و ترانزیستورهای مصرفی در نظر گرفته می شود. روش های مختلفی در این زمینه برای پیدا کردن نقاط کمینه در نظر گرفته شده است، که معروف ترین روش های بهینه سازی روش جدول کارنو و الگوریتم ...

در این مقاله به بررسی قراردادگرایی کارنپی در مقابل پس زمینه ی غالب ویتگنشتاینی آن روزگارمی پردازیم، این پ سزمینه را کارنپ جز مگرایانه و غیرقابل قبول به شمار م یآورد. مقاله را با داستانرضایت مندی اولیه و نارضایتی نهایی تجربه گرایان از رویکرد تاتولوژیک ویتگنشتاین نسبت بهصدق های منطقی و ریاضی آغاز م یکنیم. آن گاه موض عگیری کارنپ در مقابل دیدگاه مطل قگرایانهویتگنشتاین را بررسی می کنیم، دیدگاهی که ا...

پارادوکس های منطقی یک عبارت یا یک جمله خود ارجاع معیوب اند که هم فرض صدق آن مستلزم تناقض است و هم فرض کذب آن. لذا از آنجا که پارادکس های منطقی درستی مهم ترین تئوری های منطقی و فلسفی مانند تعریف خبر به صدق و کذب پذیری، نظریه مطابقت در صدق، قاعده امتناع تناقض و نظام منطق دوارزشی ارسطویی را زیر سوال می برد، پیداکردن راه حل مناسب برای آن همواره یکی از مهم ترین دغه دغه های منطق دانان مسلمان بویژه د...

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