1.4. Понятие о логической форме и правильности мышления
1.4. Понятие о логической форме и правильности мышления
Изучая способы образования и определения понятий, построения суждений и умозаключений, логика неизбежно должна абстрагироваться, отвлекаться от их конкретного содержания. В противном случае она была бы не в состоянии выделить те общие черты, которые характерны для всех понятий, суждений и умозаключений. Так, например, умозаключения: "Если Кай - человек, то он смертей" и "Если треугольник равнобедренный, то углы при его основании равны", всегда приводят к истинным результатам, когда их посылки истинны. Хотя содержание этих умозаключений весьма отлично друг от друга, но форма рассуждения в обоих случаях одинакова. Но чтобы выявить эту логическую форму в чистом виде, необходимо абстрагироваться (отвлечься) от конкретного содержания суждений или мыслей, оставить это в стороне как нечто не имеющее прямого отношения к форме. Для этого лучше всего подходит обозначение понятий и суждений с помощью символов и формул, аналогично тому, как поступают в элементарной алгебре, когда выражают с их помощью арифметические утверждения. Подобными символами в очень ограниченной мере пользовался уже Аристотель и некоторые его последователи.
С возникновением математической логики, которую часто называют символической, использование символов и формул приобрело систематический характер, а в связи с этим в значительной мере возросло и применение математических методов в логике. Прежняя логика была не в состоянии выявить логическую форму рассуждений, поскольку для этого необходимо было построить формализованные языки, с помощью которых можно было бы свести рассуждения на естественном языке к преобразованию формул на специально созданном искусственном логическом языке.
В первом приближении логическую форму мысли можно рассматривать как способ связи элементов мышления в единую структуру. Так, в понятии мы имеем дело со связью его признаков, которые характеризуют смысл понятия или его содержание. В суждении атрибутивного типа выражается связь между субъектом и предикатом, которая отображает реально связь между предметом и его свойством; в реляционном суждении речь идет об отношении между различными предметами, в умозаключении - об отношении между его посылками и заключением, а в доказательстве - между аргументами и тезисом.
С понятием логической формы непосредственно связан вопрос о правильности мышления и отличии его от истинности.
Логическая правильность мышления, в частности рассуждения, связана с соблюдением норм и законов логики. Иначе говоря, правильность мышления напрямую зависит от того, осуществляем ли мы логические операции над формами мысли в соответствии с нормами, обоснованными логикой: например, образуем и определяем понятия, строим и преобразуем суждения, устанавливаем отношения между ними, придерживаемся ли правил логического следования при выводе дедуктивных умозаключений и т.д. Такие правила имеют общий характер и не зависят от конкретного содержания мысли.
Поскольку правильность рассуждения зависит исключительно от его формы, постольку в нем все дескриптивные (описательные) термины можно заменять другими. Поэтому, если нам известно, что некоторое рассуждение является правильным, то путем замены его дескриптивных терминов другими мы может убедиться также в правильности другого рассуждения, имеющего такую же логическую форму. Гораздо более эффективным приемом проверки правильности рассуждения является построение противоречащего рассуждения, или контрпримера.
Фундаментальный принцип логики состоит в том, что в правильном рассуждении из истинных посылок нельзя вывести ложного заключения. Если мы построим рассуждение той же самой формы, в котором посылки будут истинными, а заключение будет ложным, то рассматриваемое нами рассуждение будет логически неправильным. Если же контрпримера построить не удается, тогда рассуждение считается правильным.
Такой прием проверки правильности рассуждений был известен еще Аристотелю и, по-видимому, применялся задолго до него. Однако поиск контрпримера - дело во многом случайное. Ведь если мы не обнаружили противоречащий пример, то не можем окончательно утверждать, что рассуждение будет непременно правильным. Для этого необходимо располагать систематической процедурой для поиска контрпримеров. Традиционная логика не могла решить эту проблему, поскольку не обладала методами формализации рассуждений, с помощью которых только и возможен систематический поиск контрпримеров.
Понятие истинности мышления противоположно понятию его правильности, ибо оно учитывает конкретное содержание мысли, например суждения. Еще Аристотель называл суждение истинным, если оно соответствует действительности, т.е. соединяет в мысли то, что соединено в самой действительности. Так суждение "железо - металл" истинно, потому что свойство "быть металлом" присуще железу. Аналогично этому умозаключение будет истинным, если его результат верно отображает действительность, соответствует реальным фактам, данным наблюдения, опыта и практики вообще. Если умозаключение является дедуктивным и выводится из истинных посылок в точном соответствии с правилами логического следования, то его заключение не нуждается в дальнейшей проверке, ибо является достоверно истинным.
Нередко вместо термина "логическая правильность" мысли употребляется термин "логическая истинность", а для обозначения истинности в этом случае используется термин "фактическая или содержательная истинность". Очевидно, что хотя понятия правильности и истинности имеют противоположный смысл, их нельзя противопоставлять друг другу в абсолютном плане. Ведь в реальном процессе познания ориентированном на поиск и доказательство истины, одинаково важны как правильность рассуждений, так и фактическая истинность полученных результатов.
Правильность мысли есть необходимое, но недостаточно условие для установления её истинности. Чтобы быть истинной, мысль должна соответствовать действительности верно отражать ее.
Смешение этих понятий иногда может привести к противоречиям и ошибкам, особенно когда это касается абстрактных теорий. Известно, что вплоть до открытия неевклидовой геометрии Н.И. Лобачевским геометрия Евклида считалась единственно верным геометрически» учением об окружающем нас физическом пространстве. Если заменить в этой геометрии аксиому о параллельных на противоположную, т.е. допустить, что через точку вне данной прямой на плоскости можно провести к ней по крайней мере две параллельные линии, то полученная в результате этого неевклидова геометрия будет такой же логически непротиворечивой, т.е. правильной, как и обычная геометрия Евклида. Хотя с точки зрения логической правильности обе геометрии одинаково допустимы и равноценны, но теоремы неевклидовой геометрии кажутся весьма необычными человеку, воспитанному на геометрии Евклида. Так, сумма углов треугольника в геометрии Лобачевского меньше 180 градусов, а число параллельных, которые можно провести к данной прямой, бесконечно велико. По этим причинам геометрия Лобачевского встретила серьезное сопротивление со стороны традиционно мыслящих математиков и была признана лишь много времени спустя.
Но какая же из этих геометрий истинна? На этот вопрос можно получить ответ, только сопоставив их результаты с данными экспериментальных физических исследований, например измерив сумму внутренних углов треугольника, две вершины которого находятся на Земле, а третья, скажем, на Сириусе или иной звезде. Но для наших земных и околоземных расстояний расхождения между теорией и опытом пренебрежимо малы. Этот примечательный случай из истории геометрии показывает, насколько важно отличать логическую правильность от фактической истинности, когда речь идет о применении абстрактных теорий к реальному миру. Если логическая правильность, или, как говорят математики, непротиворечивость теории, может быть установлена логико-математическими методами, то ее фактическая истинность требует обращения к эмпирическим методам исследования, которые как раз и обнаруживают соответствие или расхождение выводов теории с действительностью.
Более 800 000 книг и аудиокниг! 📚
Получи 2 месяца Литрес Подписки в подарок и наслаждайся неограниченным чтением
ПОЛУЧИТЬ ПОДАРОКЧитайте также
2 ГЛАВА. Понятие как форма мышления
2 ГЛАВА. Понятие как форма мышления В современной логике, особенно математической, которая ориентируется на дедуктивные, доказательные рассуждения, проблема понятия утратила то значение, которая она имела в традиционной логике. Со времен Г. Фреге понятие рассматривается
§ 1. Понятие как форма мышления
§ 1. Понятие как форма мышления Окружающий нас мир предстает перед человеком не скоплением одинаковых предметов, а как множество предметов, явлений, процессов, наделенных различными свойствами. Любые свойства, черты, состояния, отношения предмета, которые характеризуют
Понятие как форма мышления и его структура
Понятие как форма мышления и его структура Понятие – это форма мышления, отражающая предметы в их существенных признаках.Признаком предмета называется то, в чем предметы сходны друг с другом или отличаются друг от друга.Т. о., признаки представляют собой черты, свойства
§ 2. ПОНЯТИЕ О ФОРМЕ И ЗАКОНЕ МЫШЛЕНИЯ
§ 2. ПОНЯТИЕ О ФОРМЕ И ЗАКОНЕ МЫШЛЕНИЯ Форма мышленияЛюбая мысль имеет содержание и форму. Под содержанием мысли понимают отображенные в ней предметы, их свойства и отношения. В мышлении содержание существует в понятиях, суждениях и умозаключениях. Каждая из этих форм
§ 1. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ
§ 1. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ Понятие — это форма мышления, отражающая предметы в их существенных признаках.Признаком предмета называется то, в чем предметы сходны друг с другом или чем они друг от друга отличаются.Любые свойства, черты, состояния предмета, которые так
Глава I. Понятие как форма мышления
Глава I. Понятие как форма мышления 1. Понятие и предмет Происхождение и сущность понятия1. Из следующих высказываний выделите все понятия и определите, что именно в них отражается — предмет (явление), свойство или отношение: «Земля — планета». «В России проводится
Краткий вывод о правильности и единственной возможности этой дедукции чистых рассудочных понятий
Краткий вывод о правильности и единственной возможности этой дедукции чистых рассудочных понятий Если бы предметы, с которыми имеет дело наше познание, были вещами в себе, то мы не могли бы иметь о них никаких априорных понятий. Действительно, откуда мы могли бы взять эти
Критерии правильности замкнутой теории в физике[70]
Критерии правильности замкнутой теории в физике[70] На одном из коллоквиумов, некоторое время назад состоявшихся в Институте Макса Планка в рамках изучения условий жизни научно-технического мира и посвященных обсуждению философских основ квантовой теории, для
10. Понятие как форма мышления
10. Понятие как форма мышления Понятие – это форма мышления, отражающая предметы и явления в их существенных признаках.Признаками могут быть свойства предмета, которые объединяют или отделяют предметы один от другого. Иными словами, признаки – это свойства предметов, в
ЛЕКЦИЯ № 5 Понятие как форма мышления
ЛЕКЦИЯ № 5 Понятие как форма мышления 1. Общая характеристика понятий Понятие — это форма мышления, отражающая предметы и явления в их существенных признаках.Как уже говорилось выше, человек воспринимает тот или иной предмет, выделяя характерные свойства (признаки)
§2. Категории бытия и мышления Шанкары в сопоставлении с категориями бытия и мышления Хайдеггера в интерпретации Дж. Мехты
§2. Категории бытия и мышления Шанкары в сопоставлении с категориями бытия и мышления Хайдеггера в интерпретации Дж. Мехты Современные индийские философы проявляют довольно большой интерес к творчеству Хайдеггера, и одним из наиболее ярких примеров этого интереса могут
В церковных школах грамматика изучалась прежде всего для того, чтобы способствовать правильности устной речи
В церковных школах грамматика изучалась прежде всего для того, чтобы способствовать правильности устной речи Путь к пониманию средневекового мира лежит через осознание того, что устная культура характеризуется такой степенью стабильности, которой нет в визуальном