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

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

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

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

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

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

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

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

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

یکی از پرسشهای اساسی دربارۀ شهودگروی اخلاق­شناختی مور این است که شهودچه نقشی در تشکیل تصوّرات و تصدیقات اخلاقی ایفا می­کند. در این مقاله با بررسی پاسخ مور، به روشی تحلیلی، با تفکیک دو معنای «شهود» در نزد وی، یعنی شهود خاصّۀ «خوبی» - که آن را شهود ش. (1) نامیده­ام - و شهود قضایای اخلاقی مشتمل بر محمول «خوب» که - آن را شهود ش. (2) نامیده­ام - به نتایج زیر رسیده­ام: 1) شهود ش. (1) از طریق مفهوم «خوب...