Настоящая книга представляет собой учебное пособие, предназначенное для студентов гуманитарных специальностей. В ее основу положены лекции, читавшиеся автором на историко-филологическом и психологическом факультетах Российского государственного гуманитарного университета. От всех ранее издававшихся учебных пособий эта книга отличается тем, что ее основное содержание составляют не традиционные, а современные идеи и методы логики. Значительно подробнее, чем обычно, излагается аппарат предикатов, кванторов и пропозициональных связок. Излагается современная теория доказательства (на основе исчисления естественного вывода) и дается новая интерпретация аристотелевской силлогистики. Наряду с формал