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

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

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

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

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

تفکیک «تصور» و «تصدیق» از تمایزهای اصلی است که متقدمین در منطق و متأخرین در معرفت­شناسی از آن بهره برده­اند، هر دو گروه مقسم این دو را «علم حصولی» می دانند، این تقسیم در «معرفت­شناسی نوصدرایی» برای اقسام معرفت به کار رفته است، اما نمی­توان «تصدیق» را در اصطلاح معرفت­شناسی بنا بر تعریف فلسفۀ اسلامی «علم­حصولی» دانست. این تحقیق با مرور ادبیات فیلسوفان مسلمان به ویژه نوصدراییان، مدعی است که تفکیک ...

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

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

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