ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ

Логика как наука в рамках культурной европейской традиции возникла в Древней Греции. Ее элементы исследователи находят еще у Гераклита и Парменида (VI - V вв. до н. э.), но создателем этой науки по праву считается универсальный мыслитель античности – Аристотель (384 – 322 гг. до н.э.). Именно ему принадлежат фундаментальные сочинения, в которых впервые специально рассматривались вопросы формальной правильности мышления, т. е. логика конструировалась как вид научной деятельности.

Следует отметить, что сам термин логика не использовался Аристотелем и был впоследствии введен представителями его научной школы – перипатетиками. Сам же Аристотель то, что относилось к темам «Понятие», «Суждение», «Дедуктивные умозаключения» называл аналитикой, а то, что относилось к последующим темам, именовал диалектикой.

Принципиальные различия: аналитика имеет отношение к строгой науке и спору ради истины, а диалектика, являясь, прежде всего искусством спора, имеет более широкое применение. Потребности этого искусства приводят к появлению логики на Востоке. Так, в древнеиндийской цивилизации, в VI – начале V в. до н.э. появился специфический термин – вакованья (букв. «вопрос – ответ»), означавший искусство спора, или в широком определении – вовлеченность в вопросно – ответную ситуацию. Изначально, искусство толкования заключалось в умении разбивать фонетически слитный речитатив на логически осмысленные суждения и доказывать истинность своей интерпретации.

В древности мыслители усматривали в логике «инструмент» познания действительности, «пульт управления» в дискуссиях, эффективное средство оптимизации мышления и речи. Логика складывалась как дисциплина не только теоретическая, но и практическая, и эта практическая – дидактическая направленность сохранилась в средневековый период, а затем и в логике Нового времени.

Поворотным пунктом исследования логических механизмов интеллектуальной деятельности можно считать идею математизации, выдвинутую в XVII в. немецким философом Г. Лейбницем (1646 – 1716). Согласно его точки зрения, перспектива развития логики заключается в полном переходе к идеальной (совершенно освобожденной от содержания) логической форме при помощи универсального символического языка аналогично языку алгебры. Данная идея – построения логики по образцу математических исчислений оказалась исключительно плодотворной.

С середины ХIХ века до настоящего времени идет интенсивное развитие специфической области логической теории – математической или символической логики, которая не только уточнила многие представления классической логики, но и чрезвычайно обогатила аппарат логико-математического анализа, расширила предмет этой науки. Согласно отечественному исследователю математической логики П.С. Порецкому, она «по предмету – логика, а по методу – математика».

Выявив закономерности решения некоторых математических задач, математическая логика сделала реальностью создание ЭВМ, которые стали играть ведущую роль в информационно – коммуникативную эпоху.

Для современных отечественных логиков главной задачей является профессиональное распространение основ древней науки, с учетом достижений последующих ученых, в частности: В.Ф. Асмуса, В.А. Бочарова, И.А. Герасимовой, Д.П. Горского, А.Д. Гетмановой, Ю.В. Ивлева, В.И. Маркина, А.А. Старченко и других.

Приступая к изучению любой науки, нужно, прежде всего, уяснить, что изучает данная наука, т.е. определить ее предмет.

Наиболее распространенным и устоявшимся определением логики является следующее: логика (от греч.logos – слово, понятие, рассуждение, разум) – наука о законах и операциях правильного мышления (рассуждения). Мышление человека изучается многими науками: философией, психологией, физиологией высшей нервной деятельности, кибернетикой, логикой и другими. Следует отметить, что логика изучает мышление как средство познания и ее предметом являются законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий его мир.

Согласно основному принципу логики, правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от конкретного содержания входящих в него утверждений.

Для того чтобы определить логическую форму, структуру мысли рассмотрим некоторые высказывания:

 

Все студенты являются учащимися.

Московский Кремль является национальным достоянием.

Даниловский монастырь является резиденцией Патриарха Всея Руси.

 

Если мы «отбросим» содержание этих высказываний, то «останется» то, что называется формой этих мыслей, которая может быть записана в виде:

Все S есть Р.

Таким образом, логической формой, или структурой мысли, называется строение этой мысли, способ связи ее составных частей.

Например, содержательно разные высказывания «Если идет война, то есть человеческие жертвы» и «Если математика – наука, то она устанавливает законы» также имеют одинаковую логическую форму: «Если А, то В».

Следующие два вывода, различающиеся своим содержанием, совпадают по своей логической форме: «Если идет дождь, то асфальт мокрый. Сейчас идет дождь. Следовательно, асфальт мокрый» и «Если 13 – простое число, то оно делиться на себя и на единицу. 13 – простое число. Следовательно, 13 делиться только на себя и на единицу». Заменив высказывания, входящие в данные выводы, переменными, получаем, что в обоих случаях рассуждение идет по одной и той же схеме: «Если А, то В. А. Следовательно, В». Это – схема правильного рассуждения: какие бы конкретные высказывания ни подставлялись вместо А и В, если посылки истины, заключение также будет истинным.

Различие между логической формой и содержанием не является абсолютным. То, что в одном случае считается относящимся к форме, в другом может оказаться содержательным компонентом рассуждения, и наоборот.

Следует заметить, что интерес логики к логической форме не означает отвлечение ее от всякого содержания. Сама логическая форма обладает определенным абстрактным содержанием, его иногда называют «формальным», чтобы отличить от «конкретного содержания». Скажем, форма «Все S есть Р» указывает, что у всякого предмета, обозначаемого буквой S, есть признак, обозначаемый буквой Р.

Вместе с тем, благодаря формализации любая мысль может быть представлена в виде логической (или пропозициональной) функции, где S и Р (как в рассматриваемых примерах) обозначают логические переменные, а слова, определяющие данную структуру мысли, являются логическими постоянными. Логическими переменными могут выступать различные понятия, а также суждения. Благодаря такому представлению мыслей возможны различные логические теории, например, логика предикатов, логика высказываний, модальная логика и т. п.

Логика - это фундаментальная наука, используемая как в естественнонаучной, так и в гуманитарных областях человеческой деятельности. Возникшая спонтанно в разных цивилизациях как инструмент общественной практики, логика постепенно превращается в теоретическую науку и ее дальнейшее развитие не зависит от национальных, культурных и языковых особенностях тех или иных стран и народов.

Знание логики позволяет адекватно осмысливать окружающую действительность. Сознательное использование современным высоко квалифицированным специалистом арсенала средств науки логика дисциплинирует мышление, делает речь аргументированной, исключает неоднозначности в деловых разговорах и при составлении официальных протокольных бумах, бессистемность в обработке информации, помогает добиваться жизненных и профессиональных целей с упорством и последовательностью, в достижении поставленной перед собой цели.