Последние годы отмечены возрождением преподавания логики на всех специальностях и направлениях университетов и других высших учебных заведений. Это примечательное явление характерно как для отечественной высшей школы, так и для высшего образования в большинстве стран мира.
Главная причина повышения значимости логики как фундаментальной учебной дисциплины связана с впечатляющими успехами в создании и применении новых информационных технологий. Ну а ключевой элемент информатизации — компьютер — является, как известно, ничем иным как логической машиной. Поэтому формирующаяся на наших глазах информационная цивилизация требует несравненно более высокой, чем прежде, логической культуры.
Сложившаяся в прошлом практика преподавании логики теперь уже не отвечает ее новому месту в образовании специалистов. С известной долей условности можно сказать, что под одним названием по сей день изучаются как бы две различные дисциплины: традиционная логика, излагаемая как философская дисциплина, исследующая условия правильности мышления, и символическая (или математическая) логика, исследующая абстрактные логические структуры. Если первая доминирует на гуманитарных специальностях, то вторая безраздельно господствует в естественно-научном и техническом образовании.
Потребность в синтезе двух этих подходов и преподавание логики как единой науки вполне очевидна: развитие приложений логики усиливает ее методологическую функцию и наоборот. Это нашло отражение и в государственном образовательном стандарте высшего профессионального образования, в соответствии с которым построен настоящий учебник. Для того чтобы перебросить мост от традиционной логической проблематики к символической логике, автором разработано исчисление предикатов — система натурального вывода. Это позволило упростить и одновременно осовременить материал без ущерба для строгости изложения.
При всей своей компактности настоящий учебник задуман как универсальный. Он может использоваться на всех специальностях и направлениях высшего образования, предусматривающих изучение курсов логики различной продолжительности и глубины. В случае преподавания логики в течение двух семестров рекомендуется ориентироваться на усвоение студентами всего учебного материала, изложенного в учебнике. Если же курс логики рассчитан только на один семестр, то при его преподавании студентам-гуманитариям можно ограничиться табличным построением логики высказываний, опустив исчисление предикатов.
Поскольку логика изучает формы мышления и способы их выражения в языке, постольку логика является также наукой о языке. В логике исследуются отдельные аспекты естественных языков (языков, которые возникли и развиваются в основном стихийно), а...
Изучение логики имеет некоторые особенности. Первая из них заключается в том, что эту науку нужно изучать систематически. Не освоив предшествующих разделов, нельзя переходить к последующим, поскольку все разделы логики связаны между собой. Типичной ошибкой...
Изучение логики способствует повышению логической культуры. Уровень логической культуры характеризуется совокупностью логических средств (приемов, способов рассуждения и т.д.), которыми человек владеет.Иногда высказывается мнение, что умение логично рассуждать присуще людям от природы. Это мнение ошибочно....
Формальная логика — одна из древнейших наук. Отдельные фрагменты логической науки начинают разрабатываться с VI в. до н. э. в Древней Греции и Индии. Индийская логическая традиция распространилась позднее в Китае, Японии, Тибете, Монголии,...
Слово «логика» происходит от древнегреческого «логос», которое переводится как «понятие», «разум», «рассуждение». В настоящее время оно употребляется в следующих основных значениях.Во-первых, этим словом обозначают закономерности в изменении и развитии вещей и явлений объективного мира....