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