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

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

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

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

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

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

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

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

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