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

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

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

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

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

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

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

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

به یک تعبیر، واقع‌گرایی درباب منطق واقع‌گرایی درباب موضوع منطق است.اما، منطق واقعاً دربارۀ چیست؟ صحبت از منطق کم و بیش به معنای صحبت از رابطۀ نتیجه منطقی تلقی می‌شود؛ رابطه‌ای که میان مقدمه‌های یک استدلال و نتیجۀ آن استدلال برقرار است. در تاریخِ منطق همواره این‌چنین نبوده‌است:در قرن بیستم دیدگاه فرگه-راسلی مبنی بر تلقی‌کردنِ منطق به عنوان مجموعه‌ای از صدق‌های منطقی در جامعۀ علمی حاکم بود. در این م...