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

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

موضوع این مقاله پژوهشی تطبیقـی دربارة رویکرد مشترک صدرالمتألهیـن و علامه طباطبایی در‌بارة نفی‌‌ کارآمدی برهان لم در قلمرو فلسفة اولی است. ملاصدرا با اتکا به نظریة بساطت حقیقت وجود و این‌که امر بسیط حد و درنتیجه برهان ندارد به این نتیجه دست یافت که برهان لم در شناخت و اثبات احوال و اوصاف وجود کارآمد نیست. صدرا برهان اِنّ را نیز، با استناد به قاعدة ذوات الاسباب، گاه به‌کلی نامعتبر و گاه با کارکردی ...

انّ بعض النقاد و مؤرخی الأدب یعتقدون أن لو نظرنا فی دیوان البارودی، لوجدنا أنه لم یأت بجدید، لا فی موضوعات الشعر، و لا فی شکله. و أنه لم یخرج عن موضوعات عصره التقلیدیة. و أنّ شعره موزع بین المدیح و الهجاء و الفخر و الغزل و ریاضة القافیة، إضافة إلی لون وجدانی ساقته أحداث حیاته. و إنّ هولاء النقاد یجعلون تجدیده فی قیاس شعره بشعر معاصریه، فی دیباجته و أسلوبه و ترک التکلف والبهرجة. أمّا إذا کان البارود...

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

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