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

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

پیش از ظهور منطق جدید، نظام منطقیِ رایج بی‌بدیل می‌نمود. اما منطق کلاسیک، با نظام‌های متعددی روبه‌روست که خود را منطقی و هماورد منطق کلاسیک می‌دانند. این نظام‌ها، اغلب مبتنی بر پیش‌فرض‌های خاص فلسفی هستند و قواعد منطقی متفاوتی را طرح می‌کنند. در مواجهه با این نظام‌ها، پرسشی فلسفی مطرح می‌شود مبنی بر اینکه آیا اساساً کثرت در نظام و/یا قواعد منطقی ممکن است؟ فیلسوفان منطق جدید، پاسخ‌های متنوعی به ای...

کتاب «مبانی منطق و روش شناسی» را به‌عنوان مقدمه‌ای لازم و عام برای همه رشته‌ها و مقدمه‌ای خاص برای فراگیری منطق جدید (به‌ویژه کتاب‌های پیش گفته) بشمار می‌آورند. این کتاب از دو مبحث اصلی شامل شش بخش فرعی به ترتیب زیر تشکیل یافته است: مبحث اول: علم منطق بخش اول، منطق در زبان: 1- مطالعات زبانشناختی، 2- تعریف منطقی بخش دوم، منطق قیاسی: 3- منطق گزاره‌ها، 4- منطق محمولات کلاسیک 5- منطق محمولات جد...

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

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

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

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

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