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

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

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

«نظریه ضرورت بتّاته» عنوان نظریه‌ای است از «شیخ شهاب الدین سهروردی» که از ابداعات و نوآوری‌های مهم وی در عرصه منطق تلقی می‌شود و دارای نتایج منطقی – فلسفی فراوانی است. سهروردی بدون تردید با طرح این نظریه به «ضرورت فلسفی – متافیزیکی» نظر داشته و از آنجا که تبیین منطقی ضرورت فلسفی از دغدغه‌های مهم چند دهه اخیر در حوزه منطق موجهات جدید بوده است، بررسی دلالت شناختی نظریه مزبور با رویکردی تطبیقی می‌...

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

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

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

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

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

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