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

در این پایان نامه براساس مقاله تام هد [20] چگونگی استنتاج قضایای فازی را از نوع معمولی آنها بویژه در جبر بررسی می کنیم. فرض می کنیم x یک جبر است در این صورت زیر مجموعه های فازی x یعنی f(x) تشکیل یک جبر می دهند. در این رساله با استفاده از مفهوم زیرمجموعه -cفازی تعاریفی با الگوی یکسان برای مفاهیم فازی ارائه می دهیم و با یک روش یکسان به استنتاج قضایای جبر فازی از قضایای جبر معمولی می پردازیم ابزار...

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

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

چکیده ندارد.

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

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

در اصول فقه، به قضایایی که دایره عمل آنها، به زمان، مکان و مخاطبِ ‫خاص منحصر است و حکم آن جنبه عمومی ندارد، «قضیه خارجیه» اطلاق می‫شود و در مقابل آن، «قضیه حقیقیه» قرار دارد. این دو اصطلاح، توسط آخوند خراسانی از دانشِ منطق وارد مباحث اصول‫ فقه شد و پیش از آن، فقها اصطلاح «قضیةٌ فی واقعة» را استفاده می‫کردند که تفاوت‫هایی با قضیه خارجیه دارد.اختصاص یک روایت به موقعیت و شرایط خاص، از صدر اسلام وجود ...

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

این مقاله به دو قضیه مربوط به دایره های مماس می پردازد که ابوسهل کوهی، ریاضی دان ایرانی سده 4ق آن ها را یافته است. این دو قضیه ملهم از کتاب مأخوذات منسوب به ارشمیدس است. اصل رساله کوهی برجای نمانده، اما این دو قضیه در تحریر خواجه نصیرالدین طوسی از مأخوذات نقل شده است، و بدین ترتیب به ترجمه لاتینی این اثر در 1659 در لندن و ترجمه لاتینی دیگری در 1661 در فلورانس و نیز یک ترجمه هلندی منقح در 1695 ر...