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

هدف: هدف این پژوهش، تعیین ملاک‌ها و شاخصه‌های کرسی آزاد اندیشی بر اساس آیات قرآن بوده است. روش: برای پاسخ به این سؤال که آیا می‌توان مبانی‌ای را برای کرسی‌های آزاد اندیشی بر اساس قرآن یافت و آیا این کتاب عزیز می‌تواند ملاکهایی را در این رابطه ارائه دهد یا نه؛ نخست، تعریفی روشن از کرسی آزاداندیشی بیان شده تا هم بتوان تمایز آن را از کرسی مناظره فهمید و هم مصادیقی را از قرآن که نزدیک به شرایط ذکر ...

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

برخی از تصمیم‌ها و اظهارنظرهای دیوان بین‌المللی دادگستری این پرسش را ایجاد کرده است که آیا دیوان می‌تواند با اعلام خلأ حقوقی به دلایلی همچون عدم تدقیق، کفایت یا فقدان حقوق قابل‌اجرا از اتخاذ تصمیم امتناع کند؟ برخی صاحب‌نظران با اشاره به اظهارنظر دیوان در بند 105(2)(ث) نظریه مشورتی قانونی بودن تهدید یا توسل به سلاح‌های هسته‌ای (1996) به این پرسش پاسخ مثبت می دهند. با توجه به وظیفه خطیر دیوان در ...

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

زمانی که ? مشتق معمولی است (?=?id?_r )، قضایای فوق شناخته شده هستند (مراجع [8]، [9]). هم چنین در مرجع [8] نشان داده شده است که قضایای مشابه برای عمل خودریختی های جبری تحت برخی فرضیات اضافی روی مشخصه ی r، صدق می کنند. توجه کنید که ?id?_r-? یک ?-مشتق 1-مورب از r برای هر خودریختی ? از r می باشد. به این ترتیب قضایای 7.2.2 و 5.1.4 برای پایاهایی از عمل خودریختی های جبری نیز به کار می روند و هیچ پیش ...

قضایای نقطه ی ثابت دوتایی

چکیده ندارد.

‏تعریف کاراتئودوری از مشتق چنین است:می گوییم تابع ‎$f$‎ در نقطه ‎$ain d_f$‎ مشتق پذیر است هرگاه یک تابع ‎$varphi$‎ وجود داشته باشد که در ‎$a$‎ پیوسته باشد و برای هر ‎$x$‎ در یک بازه باز ‎$u$‎ شامل ‎$a$‎،‎[f(x)-f(a)=varphi(x)(x-a).]‎‏در این مقاله به بررسی این تعریف از مشتق می پردازیم. نشان می دهیم که با تعریف استاندارد (کوشی) از مشتق معادل است و می تواند در اثبات ساده تری از بعضی قضایای مقدماتی ...

بی‌شک، مسألۀ شکاف واقع- ارزش را باید در زمرۀ مسائل بسیار مهمّ فلسفۀ اخلاق به‌شمارآورد. طرح مسألۀ شکاف واقع- ارزش را به فیلسوف شکّاک و تجربی‌مسلک اسکاتلندی، دیوید هیوم، منسوب دانسته‌اند. هیوم مدّعی بود که استنتاج قضایای اخلاقی متضمّن باید/ نباید از قضایای متضمّن هست/ نیست، امکان‌پذیر نیست. فیلسوفان اخلاق از این آموزۀ هیومی با عنوان «مغالطۀهست-باید» یاد می‌کنند. پس از هیوم، جرج ادوارد مور، فیلسوف تحلی...