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

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

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

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

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

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

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

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

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

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