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