2. Понятие логической формы. Формальная логика – наука о логических формах.

Логическая форма – это такая характеристика мысли, которая не зависит от ее конкретного содержания, но служит для связи и упорядочения ее элементов.

В языке логическая форма фиксируется с помощью пропозициональных, именных и прочих переменных, а также логических констант.

Логическая константа – это функтор, сохраняющий свое значение в любом рассуждении. Логические константы обозначают символами. Некоторые символы уже упоминались, назовем остальные. Функтор «и» обозначается , «или» – v, «либо, либо» – v, «если, то» – , «тогда и только тогда, когда» – , «неверно, что» – , «необходимо, что» – , «возможно, что» – .

Следует отметить, что вопросы о правильности мышления и логическом следовании одних мыслей из других не всегда могут быть решены, исходя из «здравого смысла». Формальная логика исследует и предлагает точные способы решения таких вопросов.

Формальная логика – это наука о закономерностях правильного мышления, т.е. такого мышления, при котором достигается переход от ранее установленных положений к новому знанию на основе мыслительных схем, сложившихся в результате многократного повторения в процессе постижения истины. Формальная логика обосновывает свои выводы, создавая и используя одну из разновидностей специального, т.н. формализованного языка, предложения которого состоят исключительно из логических констант и переменных

3. Логический закон. Правильные и неправильные рассуждения.

Логический закон (или логическая истина) – это логическая форма, которая порождает истинное предложение при любой подстановке вместо переменных их значений (конкретного содержания).

Использование форм, которые являются логическими законам, позволяет оставаться в рамках истинного знания и на основе истинных знаний получать новое истинное знание. Рассуждение, форма которого – логический закон, называется правильным. Отклонение от требований логических законов ведет к нарушению правильности мышления. Правильность отличается от истинности рассуждения. Истинность характеризует мышление в его отношении к действительности, если мысль истинна, она соответствует действительности. Правильность характеризует рассуждение с точки зрения внутренней связи между его элементами. Правильные рассуждения могут приводить к ложным заключениям. Это возможно, когда исходные данные являются ложными.

Соблюдение правильности при истинных исходных данных ведет к истинным результатам. В то же время правильность можно определить как особого рода истинность. Логические связи находятся в соответствии с внешним миром, отражая наиболее простые и всеобщие отношения в нем. Поэтому логические законы определяются с помощью понятия истинности и сами называются логическими истинами. Познавательные ошибки, связанные с неверным представлением о действительности, называют содержательными. Ошибки, связанные с нарушением правильности мышления, называются формальными, или логическими. Они делятся на паралогизмы и софизмы.

Паралогизм – это непреднамеренная логическая погрешность. Она, как правило, является продуктом низкой логической культуры. Софизм – преднамеренное нарушение требований логики, прием интеллектуального мошенничества, связанный с попыткой выдать ложь за истину. Пр.: то, что ты не потерял, то ты имеешь. – Да. – Ты не терял рогов. Следовательно, ты рогат.