класична логіка
КЛАСИЧНА ЛОГІКА - сукупність логічних теорій, що характеризуються класичною оцінкою істиннісних значень формул та класичним розумінням заперечення. Класична оцінка формул полягає в тому, що головна інтерпретація розглядається як приписування кожній формулі одного з двох значень - "істинне" чи "хибне". Інші інтерпретації допускаються, але вважаються штучними. Класичне розуміння заперечення ґрунтується на визнанні положення, за яким подвійне заперечення рівноцінне ствердженню. Відхід від класичних принципів здійснюється різними шляхами.