Логика – наука о правилах мышления, изучающая мышление как средство познания, и о законах мыслительных процессов, направленных на обнаружение и обоснование истины.
Слово «логика» используется для обозначения науки о мышлении, о его формах и законах. Термин «логика» происходит от греческого слова logos, которое означает «мысль», «слово», «разум», «смысл» и т. д. Для обозначения науки этот термин ввел в начале III в. до н. э. основатель стоического направления в философии Зенон из Китиона (ок. 336–264 до н. э.). Аристотель (384–322 до н. э.), подлинный создатель науки логики, использовал для ее обозначения слово «аналитика».
Предметом логики служат законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий мир.
Значимые вопросы философии относятся к познанию действительности и связаны с мышлением, поэтому логика зародилась и развивалась как наука философская, в современности представляющая собой систему знаний, состоящую из двух самостоятельных наук: логики формальной и диалектической.
Сегодня понятие «логика» используется, во-первых, для обозначения последовательных связей предметов и явлений окружающего мира (например, «логика событий», «логика международных отношений»); во-вторых, для характеристики способа мышления («субъективная логика», «женская логика», «железная логика»); в-третьих, для обозначения непосредственно науки.
Логика как наука зародилась в Древней Греции и много столетий считалась критерием образованности. В начале XIX в. Г. В. Ф. Гегель указал на ее ограниченность и недостаточность с точки зрения отражения процесса движения мысли.
Он отметил, что такая логика отражает не движение содержания мысли, а форму мыслительного процесса. Для компенсации этого недостатка Гегель создал новую диалектическую логику, а существовавшую до нее назвал формальной.
Предметом изучения диалектической логики служат законы развития человеческого мышления и основанные на них методологические принципы (объективность, всесторонность рассмотрения предмета, принцип историзма, раздвоение единого на противоположные стороны, восхождение от абстрактного к конкретному и др.).
Диалектическая логика – это один из способов познания диалектики реальности. Формальная логика, использующая математические методы изучения реальности, в начале XX в. получила название «логистика», означающее искусство вычисления. Теперь данный термин почти вышел из употребления, уступив место терминам «математическая логика», или «символическая логика».
Формальная логика изучает форму как нечто отдельное, обособленное от содержания. Предметом изучения формальной логики служит форма мышления. Рассмотрим внешнюю и внутреннюю формы мышления как любого явления.
Внешняя форма явления – это способ данного явления проявиться вовне, его поверхность (например, для мышления такой формой становится речь). Внутренняя форма явления – это структурная конструкция из элементов, которые составляют данное явление. Внутренней формой мышления можно назвать процесс сочетания и взаимодействия образований, которые называются мыслями.
Структура мышления – это различные способы группировки мыслей в процессе мышления.
В отличие от самого мышления и тем более его структуры мы видим их внешнюю речевую форму. Невозможно сделать мышление устойчивым предметом исследования, если только оно не облекается в форму речи (устной или письменной). Очевидно, речь – это эмпирический материал, служащий истоком для формальной логики. Но речь и язык как внешняя структура мышления интересуют логику как средство для ее выражения.
Формальная логика – это наука об общих структурах правильного мышления в его языковой форме, раскрывающая лежащие в его основе закономерности.
Логическими формами называются различные соединения мыслей, рассматриваемые как структурные образования мышления. Логические формы состоят из мыслей, в том числе, например, из других логических форм и различных способов их связи, или так называемых связок. Три вида логических форм, таких как понятие, суждение, умозаключение, состоят из мыслей и средств их связи, связок.
Общая логика представляет собой учение о трех логических формах: понятии, суждении, умозаключении.
По сравнению с другими науками логика изучает особенности, свойства форм мысли, отвлекаясь от их конкретного содержания. Логика изучает формы мысли, существующие самостоятельно вне зависимости как от способа их выражения, так и от предметов, отражаемых мыслью.
Особенности форм мысли определяют кажущуюся оторванность логики от действительности, ее абстрактный характер, а также трудности восприятия у начинающих знакомство с этой наукой. В изучении логики наиболее популярна и распространена среди новичков ошибка: замена мысли предметом, отражающим мысль, или словом, мысль выражающим.
Под мышлением понимается способ отражения действительности, но не сама действительность. Для отражения нужно иметь предмет отражения, самого отражающего и средства отражения.
В философии объектом называется предмет отражения, а субъектом – отражающий предмет. Процесс отражения объекта субъектом осуществляется с помощью разных способов: непосредственных, чувственных и опосредованных, мысленных, рациональных (другими словами, логическими формами).
Эмоциональные формы первичны и обусловливают рациональные, а рациональные формы, имея основой эмоциональные, диалектически их аннулируют, сохраняя в себе их существенные достоинства и свойства. Эмоциональные формы отражения (ощущения, восприятия и представления) – это не предмет логики как науки.
Принято мнение, что чувственный способ отражения завершается представлением, в то время как с понятием начинается рациональный, логический способ отражения. Отмеченный переход от представления к понятию – это скачок в качестве, поскольку понятие – отвлеченное, обобщенное отражение. Мыслью называется идеальная форма отражения, или форма деятельного отражения.
Рациональный, логический аспект отражения складывается из таких основных форм, как понятие, суждение, умозаключение, идея, принцип, закон, категория, проблема, вопрос, доказательство, опровержение, гипотеза, теория, основными атрибутами которых являются отвлеченность, обобщенность, абстрактность, идеальность.
Формы рационального отражения изучаются логикой как система со своими законами внутреннего строения. Логика исследует формы мысли (понятие, суждение и умозаключение) как идеальные образования, со своими закономерностями и структурой.
Многочисленные явления мыслятся одним способом в виде конкретной совокупности присущих им свойств, признаков. Отмечая характерные признаки одного предмета или общие – для всех предметов, образуется понятие предмета как совокупности его существенных признаков, некоторым образом связанных друг с другом.
Различные предметы отражаются в мышлении человека одинаковым способом, в виде связи их существенных признаков, т. е. в форме понятия.
В форме суждений отражаются связи между предметами и их свойствами. Эти связи утверждаются или отрицаются.
Под суждением понимается выраженный в форме утверждения или отрицания способ связи понятий.
Рассматривая умозаключение, с помощью которого из одного или нескольких суждений (посылок) выводится новое суждение (заключение), можно установить, что в умозаключениях одного вида вывод получается одинаковым способом. С помощью связи суждений можно получить вывод из суждений произвольного содержания.
Общим в умозаключениях произвольного содержания является способ связи суждений. Не зависит от содержания для всех основных форм мышления способ связи элементов мысли – признаков в понятии, понятий в суждении и суждений в умозаключении.
Исследование логических форм, безотносительно к их содержанию, составляет важнейшую задачу науки логики. К важным задачам логики относится обучение человека сознательно и эффективно применять законы и формы мышления, т. е. мыслить логично и, следовательно, адекватно познавать окружающий мир.
Наука логика сложилась более двух тысяч лет назад, в 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 учебном году логику восстановили в учебных программах, причем предпочтение отдавалось логике диалектической.
Математическая логика существовала в рамках математики, избежав идеологического давления. На сегодняшний день математическая логика отошла от традиционной и не получила широкого распространения в среде гуманитариев в силу ее относительной сложности и отсутствия необходимости придавать естественным языковым выражениям символический вид.