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

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

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

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

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

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

چکیده ندارد.

چکیده: در این پایان نامه بعد از تعریف مفهوم کنترل، روابط و قضایای مربوطه را بررسی و به معرفی سیستم dcl-pc می پردازیم که منطقی برای استدلال درباره توانایی عوامل و ائتلافی از عوامل با استفاده از انتقال کنترل بین عوامل می باشد. پایه منطقی dcl-pc سیستم cl-pc می باشد. این سیستم منطقی است برای همکاری بین عوامل که عوامل مجموعه ای از متغییرهای گزاره ای را کنترل می کنند و توانایی ارزشدهی به متغییرها ر...

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

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