از زمان ابن‌سینا تاکنون دلایل گوناگونی بر اثبات وجود ذهنی ارائه شده‌ است که مهم‌ترین آن‌ها ده دلیل است. این مقاله می کوشد تا، ضمن بررسی و نقد این براهین ده‌گانه، نشان دهد که: 1) اثبات وجود ذهنی برای ادراکات حصولی صرفاً با یاری مقدّمه‌ای تعمیم‌دهنده ممکن است. 2) دو برهانِ حکم بر معدومات و قضایا‏ی حقیقیه صرفاً در صورت ارجاع به برهانِ تصوّر معدومات نتیجه بخش اند. 3) هفت برهان از براهین وجودِ ذهنی از قبیل...

در این مقاله، یکی از منابع اصلی شالودۀ فکری‌فلسفی ملاصدرا یافت و بررسی شده است. شاکلۀ وجودشناسی صدرالمتألهین بر مبانی بساطت، وحدت حقۀ حقیقیه، سریان وجودی و... استوار است و مطابقت بسیاری با بیانات حضرت علی(ع) در وصف خداوند متعال در نهج‌البلاغه مانند مطلقیت، وحدت غیرعددی، دوگانه و منفصل‌نبودن خداوند از موجودات و... دارد؛ به­گونه­ای‌که الهیات حضرت علی(ع) یکی از ارکان اصلی شاکلۀ عقل شیعی و اساس و ب...

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

1)مطالعه همگرایی خم ها و دنباله های تقریبا انبساطی در چارچوب فضای هیلبرت و فضای های گسترده تر 2)تعمیم خم ها و دنباله های تقریبا انبساطی به حالت نیم گروهی . 3)بررسی کاربردهای نظریه در معادلات تحولی و سایر کاربردهای احتمالی

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

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

قانونگذار قانون مجازات اسلامی سال 1370 برابر ماده 231 اقرار و شهادت (بینه) را از راه­های ثبوت قتل در دادگاه به حساب آورده و مواد 232 الی 236 را به احکام اقرار و مادتین 237 و 238 را به احکام شهادت اختصاص داده است. در فرضی که بر ارتکاب قتل از سوی «الف» با گواهان حائز شرایط اقامه بینه می­شود و در عین حال فرد دیگری با شرایطی که مقنن در جهت پذیرش اقرار لازم می­داند، اقرار می­کند که قاتل نه مشهود عل...

قضیۀ اول مقالۀ دهم اصول اقلیدس، اساس «روش افنا» است. اقلیدس این قضیه را برای نسبت متغیر ثابت می‌کند. ابن هیثم (سدۀ 4 هجری) بنا بر ادعای خود در فی حل شکوک، پی برده بود که حکمی که اقلیدس مطرح می‌کند جزئی است و حکم کلی را برای نسبت ثابت برای اولین بار در این کتاب مطرح و اثبات کرده است. خواجه نصیر الدین طوسی (597-672ق) در تحریر اصول اقلیدس، همان نظر ابن هیثم را تکرار می‌کند. ابن صلاح همدانی (درگذشت...

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