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