Введение в современную логику. Гладкий А.В.

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