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

چکیده ندارد.

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

چکیده ندارد.

چکیده ندارد.

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

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

قرآن کریم، به عنوان یک پدیدۀ زبانی فاخر، در سطح فهم با سلیقه و توان ذهنی بشر مطابق است؛ همچنان که در سطح خَلق نیز، به سبب رسایی و شیوایی، فراتر از سلیقه و توان ذهنی بشر است. برای فهم تحلیل صحیح ویژگیهای چنین پدیدۀ زبانی، بیشتر باید تابع «سلیقه» و شمّ زبانی بود؛ چرا که توجه بیش از حد به قواعد و احکام تجویزی، سبب می شود بسیاری ظرائف معنایی و ادبی مستور در آیات قرآن کریم، درک نشوند و به جای آن که به...

«حمل اولی ذاتی» و «حمل شایع صناعی» در دو معنا به نحو مشترک لفظی به کار می روند: (1) به عنوان قید موضوع (2) به عنوان قید گزاره. مراد ملاصدرا در استعمال این اصطلاحات، تنها معنای دوم بوده است و معنای اول پس از وی متداول شده است. برای جلوگیری از خلط این دو معنا، باید در هر گزاره، هر یک را در مکان مربوط به خود ذکر کرد. باید به حمل اولی و شایع در معنای نخست بلافاصله پس از موضوع تصریح شود، زیرا این مع...

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