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

این نوشتار به گزارش و بررسی یکی از مهم ترین دیدگاه ها در رد وجود محمولی، یعنی بحث اشاره پذیری/ اشاره ناپذیری، می پردازد. همچنین نشان می دهد اغلب ادعاهای زیر از قوت چندانی برخوردار نیستند: 1. وجود مطلقاً محمول نیست؛ 2. وجود محمول منطقی نیست؛ و حتی، از جهاتی، این ادعای معتدل تر که می گوید: 3. گرچه وجود به صورت موضوع ـ محمولی محمول منطقی نیست، می توان آن را محمول منطقی به شمار آورد. برای این منظور ...

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

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

این‌ نوشتار به گزارش و بررسی یکی از مهم‌ترین دیدگاه‌ها در رد وجود محمولی، یعنی بحث اشاره‌پذیری/‌ اشاره‌ناپذیری، می‌پردازد. همچنین نشان می‌دهد اغلب ادعاهای زیر از قوت چندانی برخوردار نیستند: 1. وجود مطلقاً محمول نیست؛ 2. وجود محمول منطقی نیست؛ و حتی، از جهاتی، این ادعای معتدل‌تر که می‌گوید: 3. گرچه وجود به‌صورت موضوع ـ محمولی محمول منطقی نیست، می‌توان آن را محمول منطقی به‌شمار آورد. برای این منظو...

یکی از مقدماتی‌ترین مطالبی که در هر کتاب آموزشیِ منطقِ فرگه‌ای در بحث منطق محمولات به چشم می‌خورد، این است که «وجود داشتن» نمی‌تواند در هیچ گزاره‌ای محمول واقع شود؛ بلکه جایگاه «وجودْ» سور گزاره‌ی جزئی است. هدف من در این مقاله این است که نشان دهم بنیان‌گذاران منطق فرگه‌ای چه دیدی به ساختار گزاره داشتند و چرا وجود در این ساختار نمی‌تواند محمول واقع شود. سپس تبیین و راه‌حل این منطق‌دانان از گزاره‌ها...

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

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

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