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

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

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

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

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

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

در این پایان نامه یک الگوریتم برای نقطه درونی نشدنی با استفاده از روش اولیه-دوگان ارائه شده است. الگوریتم ارائه شده همانند سایر الگوریتم های نقطه درونی نشدنی شکاف دوگانی و مانده های شدنی بودن را با آهنگ یکسان کاهش می دهد.با فرض وجود جواب بهینه، نشان داده می شود که حداکثر (o(n تکرار برای کاهش شکاف دوگانی و مانده های شدنی بودن با عامل(1-theta)- کفایت می کند . این الگوریتم نقاط تکرار شدنی اکید را ...

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