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