Коллектив авторов - Логика. Краткий курс

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

Многочисленные явления мыслятся одним способом в виде конкретной совокупности присущих им свойств, признаков. Отмечая характерные признаки одного предмета или общие – для всех предметов, образуется понятие предмета как совокупности его существенных признаков, некоторым образом связанных друг с другом.

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

В форме суждений отражаются связи между предметами и их свойствами. Эти связи утверждаются или отрицаются.

Под суждением понимается выраженный в форме утверждения или отрицания способ связи понятий.

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

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

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

Наука логика сложилась более двух тысяч лет назад, в IV в. до н. э. Основателем логики считают древнегреческого философа Аристотеля (384–322 до н. э.).

В его трудах «Органон» («Орудия познания») были сформулированы основные законы мышления, такие как закон тождества, противоречия и исключенного третьего, и определены основные логические операции. Аристотель также разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное, или силлогистическое, умозаключение, что послужило основой такого направления современной математической логики, как логика предикатов.

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

Успехи логической науки в Новое время характеризуются теорией индукции, разработанной английским философом Ф. Бэконом (1561–1626). Ученый критиковал искаженную схоластикой дедуктивную логику Аристотеля и предложил индукцию как метод научных открытий. Основные положения индукции Бэкон изложил в сочинении «Новый Органон».

Методы индукции Бэкона систематизировал английский философ и логик Дж. С. Милль (1806–1873). Дедуктивную логику Аристотеля и индуктивную логику Бэкона – Милля называют формальной, как возникшую и получившую развитие науку о формах мышления. Другое ее название – традиционная, или аристотелевская, логика.

Последующий прогресс в развитии логики связан с такими выдающимися мыслителями, как Р. Декарт, Г. Лейбниц, И. Кант и др. Французский философ Р. Декарт (1596–1650) критиковал средневековую схоластику, а также развил идеи дедуктивной логики, сформулировал правила научного исследования в своем сочинении «Правила для руководства ума».

Неоценимый вклад в логическую науку внесли немецкий философ Г. Лейбниц (1646–1716), который сформулировал закон достаточного основания и выдвинул идею математической логики; немецкий философ И. Кант (1724–1804) и многие другие западноевропейские ученые.

Русские философы и ученые имеют не менее значительные заслуги в развитии науки логики. В их числе такие светила российской науки, как М. В. Ломоносов (1711–1765), А. Н. Радищев (1749–1802), Н. Г. Чернышевский (1828–1889), М. И. Каринский (1840–1917), Л. В. Рутковский (1859–1920), С. И. Поварнин (1870–1952).

Методы исчисления, разработанные в математике во второй половине XIX в., были широко внедрены в логику в трудах Д. Буля, Б. Рассела, Г. Фреге, Ч. Пирса и других математиков и логиков. Анализ дедуктивно проводимых рассуждений с помощью методов исчисления получил название математической, или символической, логики.

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

Широкое распространение логики в России началось в XIX в., когда она стала обязательной учебной дисциплиной в высших учебных заведениях. Расцвет логики приходится на вторую половину XIX – начало XX в. и связан с именами ученых В. Н. Карпова, М. И. Владиславлева, М. И. Каринского, Н. Я. Грота, Л. В. Рутковского, А. И. Введенского, П. С. Порецкого, С. И. Поварнина и др.

Золотой период для логики продлился в России недолго. В советской России в послереволюционный период формальная логика была объявлена буржуазной наукой. Но в 1947/1948 учебном году логику восстановили в учебных программах, причем предпочтение отдавалось логике диалектической.

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

Под именем понимается выражение языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения. Выражение языка становится именем, если оно выступает в роли подлежащего или именной части сказуемого в простом предложении: «S есть Р» (S – подлежащее, Р – сказуемое). Например, высказывание «роза – это цветок» своими составляющими имеет имена «роза» и «цветок».

Высказывание – грамматически правильное предложение, которое может быть истинным или ложным. В логике само понятие высказывания – ключевое, но не допускает универсального определения для разных ее разделов. Но любое высказывание описывает некоторую ситуацию и может быть истинным или ложным.

Высказывание истинно, если соответствует реальной ситуации, и ложно, если не соответствует ей. «Истина» и «ложь» представляют собой истинные значения высказывания.