نتایج جستجو برای: معاملۀ صوری
تعداد نتایج: 5516 فیلتر نتایج به سال:
جامعه ایران امروز بیش از هر زمان دیگری در پی کشف الگوهای اسلامی در عرصه های مختلف، بر اساس آموزه های اسلامی است. در این راستا این سؤال مطرح م یشود که الگوی اسلامی پیشرفت بر اساس مفاهیم قرآن کریم چیست؟ در پاسخ، این مدعا ارائه شده که الگوی پیشرفت قرآنی الگویی است که رهبران الهی با هدف تحقق سعادت دنیوی و اخروی (حیات طیبه) در ابعاد سیاسی، اقتصادی، فرهنگی، امنیتی و... با تأکید بر منابع وحیانی و بشر...
کتاب فرهنگ نامه منطق اثر نرگس نیمروزی،از انتشارات سال 1392 در حجم 957 صفحه،واژگان تخصصی منطق قدیم و جدید را به صورت توصیفی معرفی می کند. این کتاب، به ویژه در بخش مباحث منطق جدید، دچار ایرادهای جدی ای است که در این مقاله به پاره ای از آنها به عنوان مشت نمونۀ خروار و در قالب چهار بخش زیر اشاره خواهیم کرد: 1. گزینش های بی دلیل مدخل ها 2. برداشت های نادرست فراوان از متون اصلی، (و در نتیجه، ابهام ها...
اهداف عمده پژوهش حاضر عبارت است از 1) بررسی قابلیت اعتماد دو آزمون ا ستدلال صوری و آگاهی عاطفی در فرهنگ ایرانی 2) مقایسه استدلال صوری و آگاهی عاطفی دانش آموزان مدارس عادی و تیز هوش برای این منظو ر388 دانش آموز تیز هوش و عادی از دبیرستان های شیراز آزمون های استدلال صوری و آگاهی عاطفی را تکمیل کردند یافته ها نشان می د هد که در هر دو گروه دانش آموزان تیز هوش و عادی آزمودنی هایی وجود دارند که از لح...
بر اساس دیدگاه تجربه گرایان منطقی، که به دیدگاه مورد قبول شهرت دارد، نظریة علمی مجموعه ای از گزاره هاست که در منطق مرتبة اول صورت بندی می شوند. مطابق با دیدگاه رقیب که با نام دیدگاه معنایی یا غیرگزاره ای شناخته می شود، نظریة علمی مجموعه ای از مدل هاست. در این مقاله سعی می شود نشان داده شود که دیدگاه مورد قبول نمی تواند الگوی قابل قبولی از تعین نیروهای تعمیم یافته در مکانیک کلاسیک ارائه کند. بر ...
هر چیزی که ساختار منسجم و معقولی دارد، دارای ساختار و دستگاهی منطقی است. قرآن کریم نیز در مقام کتاب آسمانی ای که بر پیامبر اکرم(ص) نازل شده، دارای ساختار و دستگاهی منطقی است. از آنجا که قرآن کریم بر انسان ها نازل شده و قصد خروج انسان ها از ظلمت ها به نور را دارد باید دارای ساختاری بر وفق ادراک انسان ها باشد. ساختار فکری و ادراکی انسان ها بر ساختار منطق ارسطویی ـ که چیزی جز ساختار ادراکی و فکری ...
امروزه بیمه های عمر و زندگی از مصادیق بسیار اثرگذار و پرکاربرد در عرصۀ اقتصادی و اجتماعی هستند. در این نوع بیمه ها اشخاص قادرند با صرفه جویی در هزینه ها و پرداخت های مستمر ماهیانه، سرمایه ای را فراهم کنند که تأمین هزینه های تحصیل فرزندان، ازدواج، جهیزیه، ساخت مسکن و ... را میسر کند. اما شبهات و اشکال های فقهی و حقوقی در این زمینه موجب شده است هنوز این نوع بیمه ها جایگاه واقعی خود را در کشورهای ...
یکی از مراحل تعیین مشخصات سیستم در گام تحلیل، تعیین رفتار سیستم می باشد که در این مرحله مشخص می شود چه اتفاقی باید در هر حالت سیستم رخ دهد. به همین منظور تحلیلگر در انتخاب زبان های صوری یا غیرصوری برای نشان دادن رفتار سیستم بر سر دو راهی قرار می-گیرد. پس از تصمیم گیری در استفاده از زبان های صوری یا غیرصوری، تحلیلگر برای تعیین مشخصات سیستم با توجه به نیازمندی های سیستم و قابلیت های زبان ها می با...
شیو منطق جدید در تحلیل گزاره ها شیوه تابع ارزش است در حالی که منطق سنتی گزاره ها را با رویکردی مفهومی و ربطی تحلیل می کند.شیوه نخست ناشی از رویکردی ریاضیاتی به منطق است در حالی که شیوه دوم ناشی از رویکردی فلسفی است.از نتایج رویکرد ریاضیاتی به منطق پرداختن به بحث های فرامنطقی و منطق کلان است
در عصر حاضر با گسترش ارتباطات و شبکه ها، برقراری امنیت در سیستم های مختلف اهمیت یافته است. لذا در این زمینه، پروتکل های امنیتی زیادی پیشنهاد و ارائه می شوند. نکته مهم در مورد این پروتکل ها آن است که قبل از آنکه بتوانند در عمل مورد استفاده قرار بگیرند باید درستی آنها ثابت شود. یکی از روش هایی که در سال های اخیر، بسیار مورد توجه قرار گرفته است و نسبت به روش های قبلی امیدوار کننده تر می باشد، روش...
نام و نام خانوادگی : رشید فریدپور مقطع تحصیلی : کارشناسی ارشد رشته و گرایش : الهیات – فلسفه و کلام اسلامی دانشکده : ادبیات وعلوم انسانی استاد راهنما : دکتر جعفر شانظری استاد مشاور : دکتر مهدی دهباشی اسرار اعداد و تطبیق آن با عوالم هستی در اندیشه ی علامه سید حیدر آملی (ره) تاریخ دفاع : 26/7/89 سید حیدر آملی (ره) یکی از بزرگ ترین عرفای جهان اسلام و نماینده برجسته ی عرفان ناب شی...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید