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

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

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

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

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

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

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

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

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

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