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

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

This article has no abstract.

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

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

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