نتایج جستجو برای: سمانتیکهای منطق عمل
تعداد نتایج: 53826 فیلتر نتایج به سال:
فلسفۀ منطق علمی پسینی است و دربارۀ مبانی فلسفی منطق از سویی، و مسائل فلسفی ناشی از مباحث منطقی از سوی دیگر بررسی میکند. فلسفۀ منطق ارسطو تاکنون تدوین نشده است؛ اما برای تطبیق دو منطق قدیم و جدید لازم است مبانی فلسفی منطق ارسطو را استخراج کنیم، زیرا ممکن است با مشاهدۀ پارهای اختلافات یا اشتراکات ظاهری به وجود وحدت یا تضاد میان آنها حکم کنیم. برای استخراج این مبانی فلسفی باید افزون بر آثار پیر...
وقوع زمین لغزش در شهر سنندج باعث خسارات مالی فراوان و مهم تر از آن استرس حاکم بر مردم ساکن در مناطق لغزشی شده است. هدف از این پژوهش تفکیک و شناسایی میزان حساسیت مناطق اطراف زمین لغزش ها و مقایسه کارایی دو مدل رگرسیون لجستیک و منطق فازی با تابع عضویت گوسی و مثلثی می باشد. با توجه به مرور منابع داخلی و خارجی وهمچنین بازدیدهای صحرایی اولیه ازشهرسنندج، هشت عامل بر وقوع زمین لغزش های منطقه مورد مطال...
نظریه مطابقت صدق از قدیمی¬ترین نظریه¬ها در بررسی ملاک صدق گزاره¬ها و شناسایی حقیقت است که صدق گزاره را به مطابقت مدلول قضیه با محکی آن (واقع) می¬داند. انتقادات متعددی از سوی شکاکان، نسبی¬گرایان، ایده¬آلیستها و عملگرایان و سایر معرفت شناسان از نظریه مطابقت ارائه شده و نظریات بدیلی به عنوان رقیب نظریه مطابقت صدق مطرح شده است از جمله نظریه تلائم که بیشتر از سوی فیلسوفان ایده¬آلیست مطرح شده است، نظ...
هر چند ملاصدرا - در منطق - متأثر از دیدگاههای حکمت سینوی است؛ اما نوآوریهایی در منطق دارد که بهحق میتوان منطق او را منطق صدرایی قلمداد کرد. ملاصدرا علاوه بر آن که در دو بخش تعریف و استدلال، نظرات ابتکاریای دارد، در رابطه با علم منطق بهعنوان یک مجموعه در کنار علوم بشری دیگر و نیز در مباحث مقدماتی آن، صاحب رأی است. ملاصدرا بر اساس تقسیم علوم حقیقی به حکمت نظری و حکمت عملی، علم منطق را مندرج...
منطق فازی[1] یک نوع منطق چندارزشی است که ریشه در افکار افلاطون و فلسفه شرقی دارد، اما نخستین بار در سال 1965 میلادی، دانشمند ایرانیالاصل و استاد دانشگاه برکلی(پروفسور لطفعلی عسگرزاده) ملقب به پروفسور«زاده»[2]، منطق فازی را مطرح کرد. برخلاف منطق دو ارزشی ارسطویی که بهدنبال پاسخ آری و یا نه برای تعمیم به تمام پدیدهها میباشد(همچون پوزیتیویسم)، منطق فازی جهان را همانگونه که هست معرفی میکند. م...
یکی از رویکردهای مورد مطالعه در نظریه مدل بررسی ساختار های آنالیزی با کمک ابزارهای نظریه مدلی است. در این راستا انواع گوناگونی از منطق ها و نظریه مدل های مرتبط با آنها پدید آمده اند که از آن جمله می توان به نظریه مدل فضاهای باناخ، منطق پیوسته و نظریه مدل برای ساختارهای متریک و نیز منطق انتگرال اشاره نمود. منطق پیوسته برای اولین بار توسط چانگ و کیسلر معرفی گردید. بعدها مطالعات نظریه مدلی در این ...
وقوع زمینلغزش در شهر سنندج باعث خسارات مالی فراوان و مهمتر از آن استرس حاکم بر مردم ساکن در مناطق لغزشی شده است. هدف از این پژوهش تفکیک و شناسایی میزان حساسیت مناطق اطراف زمین لغزشها و مقایسه کارایی دو مدل رگرسیون لجستیک و منطق فازی با تابع عضویت گوسی و مثلثی میباشد. با توجه به مرور منابع داخلی و خارجی وهمچنین بازدیدهای صحرایی اولیه ازشهرسنندج، هشت عامل بر وقوع زمینلغزشهای منطقه مورد مطال...
هدف از این پایان نامه، بررسی mv -مدول هاست. در پایان بعضی ساختارهای فازی روی آن نیز بررسی خواهد شد. تا از این طریق بتوانیم در جهت پیشرفت ساختارهای فازی گامی هر چند ناچیز برداریم. ایده درنظر گرفتن فرمول های زبان منطقی به عنوان عبارات جبری اولین بار توسط جورج بول مطرح شد و عمدتاً از طریق در نظر گرفتن روابط بین کلاسهای اشیاء الهام گرفته است. چانگ از طریق تجزیه و تحلیل منطق چندارزشی در سال 1958، به...
افضلالدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزارههای حقیقیه و خارجیه، گزارههای همیشهصادق و گزارههای همیشهکاذب را یافته است. این گزارهها پیش از این در منطق مرتبۀ اول صورتبندی شده و مورد بررسی قرار گرفتهاند و نشان داده شده است که صدق همیشگی این گزارهها نیازمند پیشفرض «وجود فرضی معدومات» است. در این مقاله، این گزارهها را در منطق مرتبۀ دوم بررسی کرده و نشان دادهایم که در ای...
رساله حاضر با هدف بازسازی و بررسی منطق شرطی لزومی سینوی ذیل نظام های منطق جدید تدوین و ارائه شده است. دنبال کردن چنین هدفی نیازمند دو فعالیت مستقل و جداگانه است: 1) مطالعه شرطی لزومی در چارچوب نظام منطق سینوی، 2) بازسازی نتایج این مطالعات در نظام های جدید منطق بر این اساس در ابتدا بررسی و داوری اولیه در باب مباحث شرطی لزومی سینوی در محدوده بنیادهای مورد قبول منطق دانان سینوی و مبتنی بر کاربر...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید