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

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

This article has no abstract.

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

جبر نوین که از دهۀ ١٩٣٠ میلادی با نفوذ و تأثیر امی نوتر و مبتنی بر دستاوردهای پیشین او، آرتین، ودربورن، براوئر و دیگران شروع شد، با گرایش های متنوعی که بعداً در آن به وجود آمد، بخشی مهم از ریاضیات را به خود اختصاص داد که پژوهش در این بخش تا به امروز ادامه دارد. در این نوشته زمینه های فکری و نتایج پیشین را که به پیدایش جبر نوین منجر شد، به اختصار بیان می کنیم و رهیافت های نویی را مرور می کنیم که ...

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