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

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

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

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

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

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

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

اعتیاد از دیر زمانی به عناون یکی از دغدغه های مهم دولت مردان بئده است.همچنین همایندی اختلالات روانی با اعتیاد نیز چیز کاملا شناخته شده ای است پژوهش حاضر به بررسی اثربخشی طرحواره درمانی براعتیاد می پردازد.نتایج پژوهش حاکی از اثر بخشی مناسب و کاربندب طرحواره درمانی می باشد.

در این تحقیق از شبکة عصبی مصنوعی برای مدل‌سازی طول و عمق ثانویة پرش هیدرولیکی در حوضچة آرامش با دیوارة همگرا و شیب کف منفی -که یکی از حالت‌های خاص و پیچیده در پرش هیدرولیکی است- استفاده شده است. تعداد 1682 دادة آزمایشگاهی طول و عمق ثانویة پرش هیدرولیکی مربوط به مقاطع مستطیلی، برای شیب کف منفی %6/0-، %3/1- و %2- با زاویة همگرایی %7/2، %4 و %3/5 استفاده شده است. در توسعة مدل شبکه، 15 ساختار پرسپت...

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