Некласически логики, понятия и категории
НЕКЛАСИЧЕСКА ЛОГИКА - широка област на логически изследвания, която надхвърля областта на изследване на класическата пропозиционална логика и логика на предикатите или, обратно, стеснява тези области.
Съвършено различен подход към изграждането на Н.л. е показано от А.Н. Прайор, който, в резултат на логически анализ и реконструкция на „доминиращия аргумент“ на Диодор Кронос, пръв въвежда темпоралните оператори в логиката и изгражда първите системи на темпоралната логика, като цялата класическа пропозиционална логикаC2 е взета като основа тук и към нея вече са добавени аксиоми, които дефинират нововъведените оператори. Деонтичните логики, епистемичните, императивните и много други, са изградени по подобен начин, тъй като възможностите за изобретяване на нови оператори, добавени към C2, са неограничени.
По този начин има два основни подхода към изграждането на NL: а) ограничаване (стесняване)С2 чрез отхвърляне на всякакви закони на класическата логика; б) разширениеС2 чрез добавяне на нови логически връзки. Това разделение обаче не е изчерпателно, тъй като има НЛ, които не принадлежат към нито един от тези два класа, например комбинаторна логика, безкрайна логика, системи на Лесневски и т.н.
Ето някои доста добре известни N.L.: интуиционистични и конструктивни, суперинтуиционистични (междинни), подсистеми на класическата логика (ВСК,BCI и т.н.), многозначни, модални, доказуеми логики, темпорални, модално-времеви логики, релевантни и следствия, контрафактични и условни, параконсистентна логика, комбинаторна логика и ламбда смятане, квантова, епистемична, деонтична, императивна, немотонна логика, свободна логика, частичналогика, логика на въпросите (еротична логика), интензивна, индуктивна логика, вероятностна логика, размита (логика с размити стойности), логика на потвърждения и генериране на хипотези, логика на решенията, динамична логика, логика на програми, онтология на Лесневски, силогистика и др.
Голямо разнообразие от N.l. (има континууми от логики от определен клас, например континуум от суперинтуиционистични логики), както и критиката и евентуалното елиминиране на всеки закон на логиката и резултатите, свързани с превода на едни логики в други - всичко това постави най-трудния проблем за разработване, ако е възможно, на единен подход към такова явление като "света на логиката".
Речник на философските термини. Научно издание на професор В.Г. Кузнецова. М., ИНФРА-М, 2007, стр. 352-353.