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