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

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

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

یکی از علتهای عمده ای که اشتغالزایی را در بخش صنعت به راهبردی الزام آور تبدیل می کند، عبارت است از: امکان گسترش صادرات غیر نفتی و افزایش درامدهای ارزی از طریق توجه به رشته فعالیتهای صنعتی با شدت کاربری بالا. لازم به ذکر است که در کشور ما عامل کار از وفور نسبی بهره مند بوده؛ مواد اولیه و منابع مورد نیاز بخش نیزدر آن قابل تجهیز است. بخش صنعت نیز قابلیت زیادی در اثرگذاری بر روند توسعه اقتصاد کشور ...

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

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

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

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

let h be a separable hilbert space and let b be the set of bessel sequences in h. by using several interesting results in operator theory we study some topological properties of frames and riesz bases by constructing a banach space structure on b. the convergence of a sequence of elements in b is de_ned and we determine whether important properties of the sequence is preserved under the con...

این پژوهش به بررسی رابطه میان اندازه، تنوع درآمدها و اثر تعاملی این دو با ریسک سیستمی بانک‌های خصوصی می‌پردازد. ریسک سیستمی با شاخص کمبود مورد انتظار نهایی (MES) سنجیده می‌شود. این معیار، میانگین بازده سهام بانک در زمان‌هایی است که بازده شاخص بخش بانکی به زیر ارزش در معرض ریسک سقوط می‌کند. داده‌های ترکیبی 8 بانک پذیرفته‌شده در بورس در سال‌های 88-93 جهت تخمین رابطه رگرسیونی به کار گرفته می‌شوند....