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

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

ارسطو در کتاب ارغنون (Aristotle,1949:9,30a,15-19 ) به صراحت بیان می­کند که در یک قیاس حملی، اگر صغری مطلقه (عاری از جهت) و کبری ضروری باشد، نتیجه قیاس نیز ضروری است. این نظر ارسطو که در واقع تخطّی از قاعده منطقی مشهور تئوفراستس(تبعیت نتیجه از اخسّ مقدمتین) محسوب می­شود، منشأ منازعات و مشاجرات فراوانی در طول تاریخ منطق گردیده است. منطق­دانان و مورخان مشهور  منطق در قرن بیستم همانند «نیکولاس رشر» و...

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

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

- بررسی وجود محمولی در منطق آزاد و نتایج منطقی و فلسفی آن. - بررسی مبانی منطق آزاد در باب پذیرش محمول وجود؛ - بررسی نظریات جدید درباره وجود و محمول واقع شدن آن؛ - بررسی نظریات فلاسفه اسلامی و غربی در باب وجود محمولی.

در ارتباط با نقش محمولی صفت در جایگاه پیش از فعل‌های «بودن» و معادل‌های آن، دو رویکرد عمده وجوددارد؛ یک دیدگاه صفت را در این جایگاه، جزء غیرفعلیِ فعل مرکب می‌داند و رویکرد دیگر آنرا مسند فرض‌می‌کند. بررسی رفتارصفت‌ها در پیکرۀ وابستگی نحوی زبان فارسی و پیکرۀ گزاره‌های معنایی زبان فارسی نشان‌می‌دهد، صفاتی که در جایگاه پیش از فعل‌های «بودن» و معادل‌های آن قرارمی‌گیرند، به طور کلی به دو دسته تقسیم‌م...

محمول‌های ثانویه[1] از جمله ساخت‌هایی‌اند که در سنت دستورنویسی فارسی مغفول مانده‌اند، اما در چهاردهه مطالعات دستور زایشی کم‌وبیش همۀ گونه‌های آن به‌تفصیل بررسی شده‌اند. محمول‌های ثانویه بر دو گونه‌اند: محمول‌های همامدی[2] و محمول‌های پیامدی[3]. این محمول‌ها بند ناخودایستایی‌اند که ویژگی یا صفتی را به یکی از موضوع‌های جمله نسبت می‌دهند؛ با این تفاوت که در محمول‌های همامدی این ویژگی در زمان وقوع ...

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

وجود ساخت مجهول همواره از موضوعات مباحثه برانگیز در نحو زبان فارسی بوده است. در سنت دستورنویسی و نیز اغلب تحلیل های زبان شناختی، توالی اسم مفعول فعل متعدی و فعل کمکی «شدن» ساخت مجهول فعلی به شمار رفته است. در این میان، مقالۀ حاضر می کوشد تا از منظر برنامۀ کمینه گرا و نیز برپایۀ تمایزی که اِموندز (2006) میان پسوند اسم مفعول[1] در مجهول های فعلی[2] و صفتی[3] قائل است، نشان دهد که آنچه در این زبان ...