1. Проблема истинности и формально-логической правильности мышления

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

Различают следующие виды формально-логических законов:

1) законы, связанные с отдельными формами абстрактного мышления - или с понятием, или с суждением, или с умозаключением. На основе этих законов выведены конкретные правила, которые в данном пособии рассматривались при анализе каждой из названных форм мышления (например, закон обратного отношения между содержанием и объемом понятия, законы распределенности терминов в простых суждениях, законы различных видов умозаключений и т.д.);

2) законы, которые имеют всеобщий характер для мышления, проявляются во всех его формах. Это основные формально-логические законы: закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания. Их называют основными потому, что они:

- распространяют свое влияние на всю сферу мыслительной деятельности;

- лежат в основе различных логических операций с понятиями и суждениями;

- используются в процессе умозаключений и доказательств;

- отражают важные свойства правильного мышления: определенность, логическую непротиворечивость, последовательность, обоснованность.

2. Понятие формализации

3. Значение логики

4. Правильность мышления

Правильность мышления - это его коренное свойство, которое также проявляется в отношении к действительности. Оно означает способность мышления воспроизводить в структуре мысли объективное строение бытия, соответствовать действительным отношениям предметов и явлений. И наоборот, неправильность мышления означает его способность искажать структурные связи и отношения бытия.

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

5. Логическая форма мышления

Таким образом, логическая форма или форма абстрактного мышления - это способ связи элементов мысли, ее строение, благодаря которому содержание существует и отражает действительность.

В реальном процессе мышления содержание и форма мысли существуют в неразрывном единстве. Нет чистого, лишенного формы содержания, нет чистых, бессодержательных логических форм. Например, приведенная выше логическая форма суждений «Некоторые S есть Р» имеет все-таки некоторое содержание. Из нее мы узнаем, что у всякого предмета мысли, обозначаемого буквой S, есть признак, обозначаемый буквой Р. Причем слово «некоторые» показывает, что признак Р принадлежит только части элементов, составляющих предмет мысли. Это и есть «формальное содержание».

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

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