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

غیاث الدین جمشید کاشانی آخرین ریاضیدان دورۀ باشکوه تمدن اسلامی است که تأثیر زیادی بر‏ آموزش ریاضیات‏، ریاضیات محاسباتی و به خصوص ریاضیات معماری گذاشته است. در این مقاله، روش کاشانی در محاسبۀ سینوس °1، محاسبۀ عدد π، استخراج ریشۀ nام و مقایسۀ آن با روش استوین، مسائل مرتبط با ارث مطابق شرع مقدس اسلام و قضیۀ اعداد متحابه در نوشته های او مورد بررسی قرار گرفته است. مهم ترین نکتۀ مقاله، تأکید بر نقش پ...

کادی یکی از اتباع و ساکنان کشور عربستان سعودی است که برای سهولت در انجام کارهای تجاری خود، موسسه ای بین المللی در سوئد به نام البرکات ثبت نمود. در 19 اکتبر 476 اتحادیه اروپا در فهرست اشخاص / 2001 ، این شخص بر اساس مقرره شماره 2001 مظنون به حمایت مالی از تروریسم قرار گرفت؛ به استناد این مقرره، تمام اموال وی به نفع جامعه اروپایی توقیف شد. در 27 مه 2002 این مقرره بوسیله مقررة شورای اتحادیه ارو...

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

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

انسانها، به طور طبیعی، دارای استعدادی هستند که به وسیلة آن می توانند در مورد اشخاص یا اشیاء جزئی موجود حکم صادر کرده یا تصدیقی انجام بدهند. آنان در موقعیتهای گوناگون و به دلایل مختلف، احکام و تصدیقات خود را در قالب الفاظ مرکب، نظیر جمله های حملیه، تعبیر می کنند، مثلاً: «حافظ شاعر است» و «شما در حال خواندن هستید» در مواقعی نیز، انسانها، به احکام و تصدیقاتی دربارة معدومات نائل می شوند؛ که آنها را ...

قضیۀ اول مقالۀ دهم اصول اقلیدس، اساس «روش افنا» است. اقلیدس این قضیه را برای نسبت متغیر ثابت می‌کند. ابن هیثم (سدۀ 4 هجری) بنا بر ادعای خود در فی حل شکوک، پی برده بود که حکمی که اقلیدس مطرح می‌کند جزئی است و حکم کلی را برای نسبت ثابت برای اولین بار در این کتاب مطرح و اثبات کرده است. خواجه نصیر الدین طوسی (597-672ق) در تحریر اصول اقلیدس، همان نظر ابن هیثم را تکرار می‌کند. ابن صلاح همدانی (درگذشت...

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

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

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