This article has no abstract.

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

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

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

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

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

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

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