Наведено найуживаніші терміни традиційної та сучасної формальної логіки. Розглянуто деякі нові напрямки у розвитку логічної теорії, зокрема, часову, деонтичну, паранесуперечну та епістемічну логіку. Розкрито сутність таких понять, як бінарна функція, дискрипція визначена, деонтична повнота, закон подвійного заперечення, інтерсуб'єктивність.

Приведены наиболее употребимые термины традиционной и современной формальной логики. Рассмотрены некоторые новые направления в развитии логической теории, в частности, временная, деонтическая, паранепротиворечащая и эпистемическая логика. Раскрыта сущность таких понятий, как бинарная функция, дискрипция определенная, деонтическая полнота, закон двойного отрицания, интерсубъективность.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"