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

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

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

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

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

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

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