логіки некласичні

ЛОГІКИ НЕКЛАСИЧНІ — напрям сучасної формальної логіки, що вивчає логічні системи, адекватна семантична інтерпретація яких задовольняє хоча б одну із таких умов: 1) наявність більше двох допустимих значень істинності; 2) наявність таких логічних знаків s, що формула sA не є функцією істинності від А; 3) допустимість пустого універсуму (множина об'єктів інтерпретації); 4) порушення екстенційності принципу (в цьому випадку значення предиката не визначається однозначно його обсягом); 5) порушення принципу підстановки тотожного (можливості підставляти в контекст замість будь-якого імені інше, рівнозначне йому ім'я). Прикладами Л.н. є багатозначні логіки, інтуїціоністська логіка, логіки модальні (висловлювань і предикатів), логіка дій, логіка норм, оцінок.