نظریه مطابقت صدق از قدیمی¬ترین نظریه¬ها در بررسی ملاک صدق گزاره¬ها و شناسایی حقیقت است که صدق گزاره را به مطابقت مدلول قضیه با محکی آن (واقع) می¬داند. انتقادات متعددی از سوی شکاکان، نسبی¬گرایان، ایده¬آلیستها و عملگرایان و سایر معرفت شناسان از نظریه مطابقت ارائه شده و نظریات بدیلی به عنوان رقیب نظریه مطابقت صدق مطرح شده است از جمله نظریه تلائم که بیشتر از سوی فیلسوفان ایده¬آلیست مطرح شده است، نظ...

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

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

هدف این مقاله ارائه اثباتهای دیگری برای چند قضیه مقدماتی در آنالیز حقیقی است. اثبات دیگری از یک قضیه دید تازه تری  نسبت به آن ایجاد می کند که برای  توجیه آن رهیافت نو کافی است. به هر حال اثباتی تازه برای یک قضیه قدیمی  که به لحاظ مفهومی ساده تر باشد، دارای مزایای آشکاری است.

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

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

در مورد قضیه دروغ گو،(کل کلامی کاذب , هرچه می گویم دروغ است)در طی دو هزارو پانصدسال بسیار بحث شده است اما کمتر توجه کرده اند«کل کلامی کاذب»یک قضیه نیست بلکه یک شبه قضیه است که با اصل منطق منافات داردو نمی توانددرمنطق جایی پیداکند.این ها احکام و قضایای ممتنعند و پیداست که حکم یا قضیه ممتنع اصلا قضیه نیست که صادق یا کاذب باشد. دروغ دانستن دورغ, صادق بودن دروغ گو و صدق دروغ را اثبات نمی کندو نکته...

در سال 1967 گلسون و در سال 1968 کاهان و زلاسکو بطور مستقل ثابت کردند که: اگر a یک جبر باناخ جابجایی و یکدار باشد و m یک زیر فضای a که codim(m) آنگاه m یک ایده ال ماکسیمال است ، اگر و تنها اگر m شامل عضو معکوس پذیری نباشد. این قضیه به طور مستقیم ثابت نشد بلکه معادلی برای قضیه فوق بیان شد و با اثبات این قضیه، قضیه اصلی ثابت شد. از همان سالها شرط جابجایی بودن از قضیه فوق برداشته شد هدف فصل اول بیا...

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