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

یکی از دغدغه‌های اساسی فیلسوفان مسئله اثبات وجود خدا بوده است. اهمیت این مسئله برای اسپینوزا که اساس فلسفه او را خدا تشکیل می‌دهد بیش از فیلسوفان دیگر است. او که مهم‌ترین اثر خویش، اخلاق، را با تعریف خدا آغاز می‌کند و با برترین سعادت انسانی، یعنی عشق، به خدا به پایان می‌برد، مسئله وجود خدا را در آثار مختلف خود مورد توجه قرار می‌دهد و وجود او را به دو شیوه لمی و انی اثبات می‌کند. اسپینوزا مفهوم ...

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

چکیده ندارد.

این مقاله به دنبال تبیین «مساله‌شر» و پاسخ‌های ارائه‌شده به آن در دیدگاه ملاصدرای شیرازی و نورمن گیسلر است. به‌رغم تمایزی که نامبردگان در غایت تبیین مساله‌شر دارند به‌گونه‌ای که ملاصدرا درصدد پاسخ به «شبهه ثنویت» و گیسلر در مقام حل «مساله‌منطقی‌شر» است اما این تحقیق با روش تحلیلی‌ ـ ‌‌انتقادی از خلال کتب آن‌ها سه محور مشترک را اصطیاد کرده، دیدگاه‌های آن‌ها را در این سه مقایسه تطبیقی نموده است. ...

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

فرض کنید h/g یک منیفلد همگن ریمانی باشد. در این صورت ژئودزیک ? از h/g گذرنده از مبدا o را همگن گویند هرگاه ??t?=exp?tx??o?, t?r که در آن x?g????. بردار x?g???? که برای آن ??t?=exp?tx??o? یک ژئودزیک باشد را بردار ژئودزیک گویند. نشان داده شده هر فضای همگن ریمانی دارای حداقل یک ژئودزیک همگن می باشد. همچنین توسط لمی بنام لم ژئودزیک مجاسبه بردارهای ژئودزیک امکان پذیر شده است. در این پایان نامه میدان...

در این مقاله یک کنترل تطبیقی فازی برای سیستم‌های غیرخطی SISO در حضور نامعینی پارامتری، ارائه می‌شود. سیستم غیرخطی با استفاده از مدل فازی تاکاگی سوگنو (T-S) مدل‌سازی می‌شود. سپس یک کنترل‌کننده فازی تطبیقی مبتنی بر مدل مرجع (MRAS) برای ردیابی سیگنال مرجع طراحی می‌شود. پارامترهای کنترل‌کننده به‌صورت برخط، در هر لحظه قابل محاسبه است. برای هر سیگنال مرجع ورودی محدود، حالت‌های سیستم به‌طور مجانبی حال...

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