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

در این تحقیق یک دستگاه شاخه‏تکان نیوماتیک قابل حمل و سبک برای برداشت میوه‏هایی که می‏توان با تکانیدن شاخه برداشت کرد، طراحی و ساخته شد. جریان هوا و جریان الکتریکی لازم برای به کارانداختن دستگاه از مجموعه‏ای متشکل از مولد الکتریکی و کمپرسور باد سوار بر شاسی قابل حمل تأمین می‏گردد. برای کنترل بسامد ارتعاش مجهز به یک کنترل کنندۀ منطقی برنامه‏پذیر (plc) و به منظور تغییر دامنۀ نوسان مجهز به سیستم پا...

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

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

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

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

هدف: مطالعه دلالت‌های منطق ریاضی برتراند راسل در طراحی نظام‌های سازماندهی اطلاعات. روش/ رویکرد:از حیث گردآوری داده‌ها، تاریخی و از نظر نوع، تحلیلی و از نظر هدف، کاربردی است و به‌روش تحلیل محتوای کیفی انجام شده است. یافته‏ها: در این پژوهش، چارچوبی نحوی، معناشناختی، هستی‌شناختی، و منطقی برای طبقه‌بندی و تحلیل شناسه‌های موضوعی معرفی شده است. ضعف‌ها و کاستی‌های زبان طبیعی در مقایسه با زبان‌های منطق...

پرسش اساسی این جستار ناظر به این مطلب است که چگونه می‌توان نظریة معناداری نزد ملاصدرا را طراحی کرد. جستار حاضر می‌کوشد تا پس از اشاره به نکات روشی هم‌چون بیان نسبت سمانتیک، متافیزیک، و معرفت‌شناسی بر اساس اصل «درستی تفکیک و نادرستی تقدیم» و نیز تفکیک‌های سه‌گانه میان زبان طبیعی و زبان منطقی، تعیین کوچک‌ترین واحد معناداری، و نقش فاعل شناسا در معناداری به نظریة معناداری نزد صدرالمتألهین نزدیک شود...