This article has no abstract.

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

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

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

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

تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.

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

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

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

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