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

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

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

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

کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...

کورت گودل در فوریة‌‌ ۱۹۷۰ با دِینا اسکات دربارة‌‌ استدلال هستی‌‌شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا‌حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة‌‌ دوم در نظام S5 است، با این‌‌همانی و یک اصل انتزاع ویژگی‌‌ها. به ‌شرط پذیرش نظام منطقی، نتیجة‌‌ گودل، این‌‌که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به ‌دست می‌‌آی...

 در منطق موجهات جدید، رابطۀ جهت و سور را با فرمول‌هایی نشان می‌دهند که به افتخار ژان بوریدان و خانم روت بارکن مارکوس ـ دو منطق‌دان از سدۀ چهاردهم و بیستم میلادی ـ فرمول‌های بوریدان و بارکن نامیده شده‌اند. ضیاء موحد، لطف‌الله نبوی و مهدی عظیمی پیشینۀ این فرمول‌ها را به ابن‌سینا می‌رسانند. در این مقاله نشان می‌دهیم که ابن‌سینا فقط تمایز «جهت سور» و «جهت حمل» را بیان کرده است و اشاره‌های او در دو ...

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

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

مقالۀ حاضر از منظر شناختی به بررسی طرح‌واره‌های مالکیت محمولی و اسمی در زبان فارسی می‌پردازد. منظور از طرح­واره ساخت­هایی است که امکانات دستوری از آنها به وجود آمده­اند. در این راستا، رویکرد شناختی هاینه (1997) در مورد طرح‌واره‌های مالکیت با توجه به داده‌های فارسی محک می‌خورد. یافته‌های این تحقیق نشان می‌دهد که زبان فارسی از طرح‌واره‌های کنش، مکانی، همراهی، هدف و منبع برای رمزگذاری مالکیت محمول...