Понятие о логической форме

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

Логика − наука о мышлении, ее предметом, являются законы и формы, приемы и операции мышления, с помощью которых человек позна­ет окружающий его мир. Как самостоятельная наука логика сложилась более двух тысяч лет назад, в IV в. до н.э. Ее основателем является древнегреческий философ Аристотель (348−322 гг. до н.э.).

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

Предметом изучения логики являются формы мышления (отсюда и часто использующееся название науки формальная логика).

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

Значение логики

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

Знание логики повышает культуру мышления, вырабатывает навык мыслить более «грамотно», развивает критическое отношение к своим и чужим мыслям. Поэтому мнение, будто изучение логики не имеет практического значения, несостоятельно.

Мыслить логично − это значит мыслить точно и последовательно, не допускать противоречий в своих рассуждениях, уметь вскрывать логические ошибки. Эти качества мышления имеют большое значение в любой области научной и практической деятельности, в том числе и в работе юриста, требующей точности мышления, обо­снованности выводов.

ПОНЯТИЕ О ЛОГИЧЕСКОЙ ФОРМЕ

Определению логической формы (структуры) мысли предпошлем рассмотрение примеров. Пусть имеются следующие высказывания:

"Все квадраты − прямоугольники";

"Все металлы − проводники электричества";

"Все рабовладельцы − эксплуататоры".

Нетрудно видеть, что по своему конкретному содержанию эти мысли различны. Они относятся к разным областям знания − геометрии, физике, науке об обществе. Тем не менее эти мысли имеют общие черты: ими зафиксированы какие-то объекты (квадраты, металлы, рабовладельцы), принадлежащие этим объектам признаки (то, что они прямоугольники, проводники электричества или эксплуататоры), и выражены мысли с помощью одинаково расположенных слов "все" и "суть" (последнее заменено тире). Стало быть, общее характеризуется не конкретным содержанием этих мыслей, а схемой, способом построения. В традиционной логике для обозначения объектов и их признаков используются соответственно буквы S и Р (начальные буквы латинских слов "субъект" и "предикат").

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

"Если этот треугольник равносторонний, то он равнобедренный";

"Если по данному проводнику проходит электрический ток, то вокруг него образуется электромагнитное поле";

"Если в данном обществе есть классы, то в нем есть государство".

Они состоят их высказываний, соединенных союзом "если, то". Заменив их пропозициональными переменными р и q, получим следующую схему: "Если р, то а".

Теперь обратимся к более сложным примерам: "Если этот треугольник равносторонний, то он равнобедренный; следовательно, если этот треугольник не равнобедренный, то он не равносторонний"; "Если по данному проводнику проходит электрический ток, то вокруг него образуется электромагнитное поле; следовательно, если вокруг проводника не образуется электромагнитное поле, то по проводнику не проходит электрический ток"; "Если в данном обществе есть классы, то в нем есть государство; следовательно, если в данном обществе нет государства, то в нем нет классов". Общее здесь характеризуется тем, что путем преобразования одних 12 мыслей получаются какие-то новые мысли, новые знания. Это достигается с помощью схемы Если р, то q, следовательно, если не - q, то не - р".

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

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