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

قانون اساسی جمهوری اسلامی ایران به‌عنوان «مبین نهادها و مناسبات فرهنگی، اجتماعی، سیاسی و اقتصادی جامعه ایران بر‌اساس اصول و ضوابط اسلامی»، راهگشای روشنی برای ارائه الگوی توسعه‌ای است که هم اسلامی است و هم ایرانی. در این قانون برای تمامی قلمروها اعم از سیاسی، اقتصادی و فرهنگی الگویی برای زندگی جمعی وجود دارد. این الگوها در تعامل با یکدیگر، نظام قانون اساسی برای رسیدن به جامعه آرمانی مورد نظر را ...

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

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

در این پایان نامه به بررسی معماری محاسبات ابری به عنوان جدیدترین الگوی ارائه شده در معماری نرم افزار است، پرداخته می شود. همچنین امنیت به عنوان یکی از نیازمندی های غیرکارکردی مهم در این معماری و نیز مدل کنترل دستیابی مبتنی بر نقش (rbac) مورد بررسی قرار می گیرند. با استفاده از مدل rbac، کنترل دستیابی در محیط ابر با زبان فرمال alloy مدل می شود و مورد تحلیل قرار می گیرد. همچنین با سناریوهای تست در...

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

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

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

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

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