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

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

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

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

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

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

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

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

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