Сущность понятия «логическая форма»
Понятия логической формы, логического следования, логического закона – это фундаментальные понятия формальной логики.
Формальная логика изучает формы и законы правильного мышления. Ее можно назвать наукой о рассуждениях, ведь именно рассуждения – предмет логики. Перед логикой как наукой стоит задача установить правила и законы, которым должны подчиняться правильные рассуждения. Рассуждения логически оформляются, выстраиваются по логическим законам. При этом логические формы и законы – это отражение объективной действительности, а не просто оболочка.
Логическая форма мысли – это строение мысли, ее структура, способ связи между составными частями.
В логической форме отражается реальность, но не вся полнота содержания мира, окружающего нас, а его общие структурные связи, необходимо воплощающиеся в мыслительных структурах.
Логическая форма отвлечена от сущностного содержания мысли, т.е. от того, какие именно предметы, явления, индивиды, отношения, группы, свойства, классы или ситуации составляют ее предмет. Чтобы отвлечься от содержания отдельные дескриптивные составляющие языкового контекста, выражающие данную мысль, могут быть заменены на переменные (параметры).
В современной логике интуитивное понятие логической формы получило уточнение. При анализе формы концептуального образования (понятия, суждения, рассуждения и т.д.) необходимо учитывать особенности языка, поскольку на результат исследования влияет выбор языковых средств. Обычно исходят из того, что оформление мысленных конструкций произведено с адекватным использованием выражений естественного языка. Чтобы зафиксировать логическую форму в чистом виде, применяют особенные искусственные языки, отвечающие следующим требованиям:
- наличие точного синтаксиса – точно заданного алфавита и правил образования сложных выражений;
- базирование на конкретной системе семантических категорий, предусматривающей деление исходных символов на нелогические и логические, фиксацию значений логических символов и формулировку точных семантических правил для определения значений сложных выражений.
Выявление логической формы мысли по сути сводится к переводу естественно-языкового контекста, выражающего мысль, на формализованный искусственный логический язык. При этом дескриптивные термины или даже целые простые высказывания замещают параметрами (нелогическими символами) искусственного языка, причем для замещения одинаковых выражений используют одинаковые символы, а для замещения разных выражений – разные. Также должен быть воспроизведен способ связи и порядок дескриптивных компонентов в соответствии с правилами синтаксиса. Полученное выражение и будет фиксацией логической формы мысли.
Сущность понятия «логическое следование»
Любая наука опирается на возможность получить из одних идей другие – логические следствия. Поэтому вопрос об адекватном описании логического следования является проблемой философии науки в целом, а не только логики.
Логическое следование – это отношение, связывающее посылку и заключение.
Понятие логического следования лежит в основе терминологического аппарата логики, поэтому достаточно сложно дать ему определение, не образовав явный или неявный круг. Можно сказать, что высказывание Б логически следует из высказывания А, когда импликация «если А, то Б» представляет собой частный случай закона логики.
Семантически следование можно определить так: «из посылок А1, А2, … An логически следует высказывание Б, если невозможно, чтобы высказывания Ai были истинны, а высказывание Б ложно». Иными словами, высказывание Б является истинным в каждой модели, где истинны А1, А2, … An.
Итак, особенность логического следования состоит в том, что от истинных высказываний оно позволяет перейти только к истинным: к нему предъявляется требование не позволять получать из истинных посылок ложные заключения. Если бы это требование не выполнялось, смысл в установлении логического следования был бы утрачен.
Сущность понятия «логический закон»
Чтобы достичь истины в процессе рассуждения, необходимо соблюдать законы логики. Выделяют четыре основных формально-логических закона:
- закон тождества,
- закон противоречия (также называется законом непротиворечия),
- закон исключенного третьего,
- закон достаточного основания.
Эти законы обеспечивают непротиворечивость, определенность и доказательность мышления. Только мышление, обладающее этими свойствами, может считаться логичным.
Законы логики действуют независимо от человеческой воли. Люди не создали эти законы – подобно законам природы. Законы логики отражают отношения и связи между вещами материального мира. В то же время законы формальной логики имеют общечеловеческий характер, что подтверждается едиными принципами мышления на разных стадиях развития человеческого общества (в отличие от законов морали, которые существенно трансформировались).
Правильное мышление подчиняется не только формально-логическим принципам, но и законам диалектики:
- закону взаимного перехода между количественными и качественными изменениями,
- закону единства и борьбы противоположностей,
- закону двойного отрицания (отрицания отрицания) и т. д.
Логическая культура — не врожденное качество. Нужно изучать достижения логики, накопленные за тысячелетия истории этой науки, воспитывать в себе привычку правильно мыслить. Логика способствует становлению самосознания, интеллектуальному развитию личности, помогает формированию у нее научного мировоззрения. В науке, в полемике, в повседневной жизни, в обучении нам ежедневно приходится из одних истинных суждений выводить другие, опровергать ложные суждения или неправильно построенные доказательства. Сознательное следование законам логики дисциплинирует мышление, делает его более аргументированным, эффективным и продуктивным, помогает избежать ошибок. Это важно для каждого человека.
