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

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

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

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

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

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

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

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

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