تاریخچه و فرگشت

گوییک سویی

همچنین شناخته شده با: منطق موجهات منطق وجهی
برابر انگلیک (انگلیسی): Modal Logic

مینه

یک سویی [=وجهی] یک زهاوش [=اظهار] (همانند ’بایستانه‘ [=ضرورتا] یا ’شایدانه‘ [=احتمالا]) است که برای چونی‌نمایی (درست‌شماری) راستی یک داوری بکار می‌رود. گوییک سویی [=منطق وجهی]، در گفتار سخت‌گیرانه، پرهانش [=مطالعه] رفتار فروهازشی [=قیاسی] زهاوش‌های [=عبارتهای] ’بایسته است که‘ [=ضروری است که] و ’شدنی است که‘ [=ممکن است که] است. هرچند، ترم ’گوییک سویی‘ می‌تواند به‌گستردگی برای خانواده‌ای از سامینه‌های پیونددار بکار برده شود. اینها گوییک‌ها را برای باور، برای زمان و زهاوش‌های زمانی دیگر، برای زهاوش‌های خویشکاری (خیمی) مانند ’بایستانه است که‘ و ’پروانه [=اجازه] داده شده است که‘ ، و بسیاری دیگر در بر می‌گیرند. یک دریافت از گوییک سویی بویژه در واکاوی دیسه‌ای بگومگوی فرزانگیک [=استدلال فلسفی] ارزشمند است، آنجا که زهاوش‌ها از خانواده سویی هم همدار (رایج) و هم گیج‌کننده است. گوییک سویی همچنین کاربرد‌های مِهین در دانش رایانش [=کامپیوتر] دارد.


نمونه‌ها/پیاده‌سازی‌ها Modal System T Modal System K سامینه S2 سامینه S1

تاربرگ‌های پیموده‌شده در این نشست: Absorption law Modal System S5 Modal System S4