تئوری میدان اعداد p-ادیک q_p تصمیم پذیر است و حذف چنداگر را در زبان گسترش یافته ی میدان های ارزشی با محمول های p_n می پذیرد. مدل تئوری گسترش های متناهی q_p‎ توسط‎ prestelو roquette مطالعه شده اند. در این پایان نامه‏، ما به مطالعه ی مدل تئوری آن دسته از میدان های p-ادیک می پردازیم که تنها گسترش های جبری رام می پذیرند و به همین دلیل‏، میدان های p-ادیک نامتناهی رام نامیده می شوند. پس از معرفی این ...

مادۀ 1069 قانون مدنی ایران، شرط خیار در عقد نکاح را باطل دانسته، ولی در مورد تأثیر بطلان شرط بر عقد سکوت کرده است. این در حالی بوده که در فقه امامی افزون بر بطلان شرط خیار در نکاح، نظر مشهور بر مبطل بودن چنین شرطی است. حال، سؤال این خواهد بود که آیا بطلان این شرط بر ادلۀ محکمی استوار است و آیا باید شرط یادشده را از شروط صرفاً باطل به‌شمار آورد یا اینکه باطل دانستن قرارداد نکاح نیز لازم است. به‌ع...

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

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

سهروردی در منطق حکمة‌الاشراق در یک نوآوری تمام جهات را به ضرورت برمی‌گرداند. وی جهات سه‌گانه ضرورت، امتناع، و امکان را جزء محمول قرار داده و بر آن است که در این صورت جهت در همه‌ی قضایا ضرورت می‌شود. از آن‌جا که بحث از جهت در دیگر مباحث منطقی، مانند تناقض، عکس، و قیاس‌ها نیز به میان می‌آید، طبعاً این نوآوری در این مباحث تأثیرگذار است. سهروردی بدین نکته واقف بوده و این تأثیرها را نشان داده است. به...

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

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