Настоящее учебное пособие представляет собой систематическое изложение обширного курса логики, включающее логический анализ языка как знаковой системы, символическую логику (классическую и релевантную) (кн. I), а также формы и приемы познания в естественном языке: понятия и отношения между ними, суждения, определения, теории, силлогистику, правдоподобные умозаключения (теорию индукции), научные объяснения и теорию аргументации (кн. II).