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

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