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