ім'я, имя ; історія логіки, история логики ; аргументація, аргументация ; доведення, доведение ; знаки, знаки ; значення та смисл, значение и смысл ; логіка, логика, logika, logic ; мислення, мышление ; поняття, понятие ; спростування, опровержение, refutation ; судження, суждение ; умовивід, висновок, умозаключение ; формалізація, формализация

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

• УДК // Логіка. Епістемологія. Теорія пізнання. Методологія та логіка науки