کتاب فرهنگ نامه منطق اثر نرگس نیمروزی،از انتشارات سال 1392 در حجم 957 صفحه،واژگان تخصصی منطق قدیم و جدید را به صورت توصیفی معرفی می کند. این کتاب، به ویژه در بخش مباحث منطق جدید، دچار ایرادهای جدی ای است که در این مقاله به پاره ای از آنها به عنوان مشت نمونۀ خروار و در قالب چهار بخش زیر اشاره خواهیم کرد: 1. گزینش های بی دلیل مدخل ها 2. برداشت های نادرست فراوان از متون اصلی، (و در نتیجه، ابهام ها...

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

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

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

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

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

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

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

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

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