منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه ای برساخته از روندهای ساخت هویات و براهین ریاضی می داند. در مقاله حاضر، به تبیین مبانی نظری منطق ش...

در این پایان نامه منطق های گودل مرتبه اول که خانواده ای از منطق های متناهی یا نامتناهی ارزشی هستند، مطالعه می شود. مجموعه ی ارزش های صدق، v، زیر مجموعه ی بسته ای از [0,1] است که شامل 0 و 1 می باشد. gv منطق حاصل از مجموعه ی v، مجموعه ی آن دسته از فرمول ها است که تحت هر تعبیری بتوی v ارزش 1 پیدا کنند. انتخاب مجموعه های متفاوت v موجب پدید آمدن منطق های متفاوت gv می شود. ثابت خواهیم کرد که gv بندا...

منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه‌‌ شهودگرایی براوئر (Brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می‌دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه‌ای برساخته از روندهای ساخت‌ هویات و براهین ریاضی می‌داند. در مقاله‌‌ حاضر، به تبیین مبانی نظری م...

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

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

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

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

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

از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این...

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