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

برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیۀ گودل و نتایج آن استفاده کرده‌اند. در فلسفۀ ذهن استدلالات مبتنی بر قضیۀ گودل را استدلالات گودلی می‌نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال‌ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده‌اند. تلاش می‌کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخش...

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

نوشتار پیش رو حاوی انتقاداتی بر دیدگاه­های منطقی، معرفت­شناختی و هستی شناختی مندرج در کتاب بن­لایه­های شناخت و بویژه حاوی اشکالاتی بر تفسیر این کتاب از نقد عقل محض کانت است. نویسندۀ بن لایه­ها ... تلاش کرده است بر پایۀ حضوری دانستن علم به امور حسی یا فراحسی، به این نتیجه­گیری­ها بپردازد: ماهیت علم تصور است؛ همۀ احکام تحلیلی پسین هستند؛ غیر از ضرورت، جهت دیگری برای قضایا (مانند: امکان، فعلیت و د...

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

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

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

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

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

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