در برابر مساله کثرت منطق ها دو دیدگاه کلی وجود دارد:1-وحدتگرایی2-کثرتگرایی.بیشتر منطقدانان وحدتگرایند.جدیدترین نظریه در این باره از نوعی کثرتگرایی دفاع می کند که مبتنی بر تز تعمیم یافته تارسکی است.از این دیدگاه نظریه درست منطقی نظریه ای است که بتواند با این تز هماهنگ باشد.بر این اساس دست کم سه نظریه درست منطقی می توان تشخیص داد:منطق کلاسیک و ربط و شهودی.اگر تصدیق منطق به معنای ضعیف در نظر گرفته...

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

ثرتگرایی حقوقی میتواند محدود به تحلیل و برداشتی شکلی یا فنّی شده، به معنای حکومت مکانیسمهای حقوقی متفاوت بر موقعیتهای حقوقی یکسان باشد؛ بااینحال، این معنا از کثرتگرایی حقوقی، مانع شناخت همۀ واقعیت های نظام حقوقی و چگونگی تحولات نظام حقوقی است.کثرتگرایی حقوقی را باید نه در سطح مکانیسمهای حقوقی، بلکه در سطح مبانی و منشأهای التزامآوری قاعدة حقوقی جستجو کرد. این معنا از کثرت گرایی، می تواند به صورت...

ثرتگرایی حقوقی میتواند محدود به تحلیل و برداشتی شکلی یا فنّی شده، به معنای حکومت مکانیسمهای حقوقی متفاوت بر موقعیتهای حقوقی یکسان باشد؛ بااینحال، این معنا از کثرتگرایی حقوقی، مانع شناخت همۀ واقعیت های نظام حقوقی و چگونگی تحولات نظام حقوقی است.کثرتگرایی حقوقی را باید نه در سطح مکانیسمهای حقوقی، بلکه در سطح مبانی و منشأهای التزامآوری قاعدة حقوقی جستجو کرد. این معنا از کثرت گرایی، می تواند به صورت...

این پژوهش تحت عنوان "بازیابی مولفه های منطقی در آموزش فلسفه به کودکان" در جهت بررسی متون آموزشی فلسفه کودکان و استخراج مولفه های منطقی از آن ها انجام شده است. لذا مولفه های منطق ارسطویی در این پژوهش به مولفه های تصوری و تصدیقی تقسیم شده است. مولفه های تصوری از مباحث تعریف و تقسیم و مولفه های تصدیقی از مباحث استدلال و صناعات خمس تشکیل شده است. از جمله نتایج بدست آمده این پژوهش عبارت است از: وجود...

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

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

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