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

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

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

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

ریسک هر‎گونه بحران طبیعی تابع حادثه و آسیب‎پذیری است. بنابراین نقشه‏ی آسیب‎پذیری برای هرگونه نظام مدیریت بحران بایسته است. داده‎ها و اطلاعات منبع در فعالیت‏های اجرایی همراه با انواع عدم ‎قطعیت و عناصر نایقینی هستند. هر نوع ساده‎انگاری روی چنین نقشه‎هایی منجر به تصمیم‎گیری‏های نادرست خواهد شد. بنابراین برای کسب نتایج مناسب باید نقشه‎های آسیب‎پذیری با مؤلفه‎های نایقینی و عدم‎ قطعیت محاسبه شوند. ا...

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

ریسک هر‎گونه بحران طبیعی تابع حادثه و آسیب‎پذیری است. بنابراین نقشه‏ی آسیب‎پذیری برای هرگونه نظام مدیریت بحران بایسته است. داده‎ها و اطلاعات منبع در فعالیت‏های اجرایی همراه با انواع عدم ‎قطعیت و عناصر نایقینی هستند. هر نوع ساده‎انگاری روی چنین نقشه‎هایی منجر به تصمیم‎گیری‏های نادرست خواهد شد. بنابراین برای کسب نتایج مناسب باید نقشه‎های آسیب‎پذیری با مؤلفه‎های نایقینی و عدم‎ قطعیت محاسبه شوند. ا...

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

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

منطق فازی[1] یک نوع منطق چندارزشی است که ریشه در افکار افلاطون و فلسفه شرقی دارد، اما نخستین بار در سال 1965 میلادی، دانشمند ایرانی­الاصل و استاد دانشگاه برکلی(پروفسور لطفعلی عسگرزاده) ملقب به پروفسور«زاده»[2]، منطق فازی را مطرح کرد. برخلاف منطق دو ارزشی ارسطویی که به­دنبال پاسخ آری و یا نه برای تعمیم به تمام پدیده­ها می­باشد(همچون پوزیتیویسم)، منطق فازی جهان را همان­گونه که هست معرفی می­کند. م...