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

هر چیزی که ساختار منسجم و معقولی دارد، دارای ساختار و دستگاهی منطقی است. قرآن کریم نیز در مقام کتاب آسمانی ای که بر پیامبر اکرم(ص) نازل شده، دارای ساختار و دستگاهی منطقی است. از آنجا که قرآن کریم بر انسان ها نازل شده و قصد خروج انسان ها از ظلمت ها به نور را دارد باید دارای ساختاری بر وفق ادراک انسان ها باشد. ساختار فکری و ادراکی انسان ها بر ساختار منطق ارسطویی ـ که چیزی جز ساختار ادراکی و فکری ...

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

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

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

نام و نام خانوادگی : رشید فریدپور مقطع تحصیلی : کارشناسی ارشد رشته و گرایش : الهیات – فلسفه و کلام اسلامی دانشکده : ادبیات وعلوم انسانی استاد راهنما : دکتر جعفر شانظری استاد مشاور : دکتر مهدی دهباشی اسرار اعداد و تطبیق آن با عوالم هستی در اندیشه ی علامه سید حیدر آملی (ره) تاریخ دفاع : 26/7/89 سید حیدر آملی (ره) یکی از بزرگ ترین عرفای جهان اسلام و نماینده برجسته ی عرفان ناب شی...

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

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

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