Ло́гика ( — «наука о правильном мышлении», «способность к рассуждению»; от «учение, наука») — философская дисциплина и формальная нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Логика как наука возникла в недрах древнегреческой философии. Далее в течение почти двух с половиной тысячелетий до второй половины XIX века логика изучалась как часть философии и риторики. Начало современной логики, построенной в форме исчисления, положил Г. Фреге в сочинении «Begriffsschrift» («Запись в понятиях», в другом переводе — «Исчисление в понятиях», 1879).Бочаров В. А., Маркин В. И. Введение в логику. — М.: ИД «ФОРУМ»: ИНФРА-М, 2010. С. 35-39. — 560 с. — ISBN 978-5-8199-0365-0 (ИД «ФОРУМ») ISBN 978-5-16-003360-0 («ИНФРА-М»)
Основная цель логики и её функция: сохранить в неизменном виде законы выведения последующих утверждений из предыдущих. При этом истинность выводов зависит только от истинности входящих в вывод утверждений и от правильной их связи между собой. Изучая, как одни мысли следуют из других, логика выявляет законы мышления.
Кроме главного значения, как науки, изучающей законы мышления со стороны формы мыслей, а не их содержания, слово «логика» обладает также близкими, но более специализированными значениями «внутренняя закономерность, присущая тем или иным явлениям» или «правильный, разумный ход рассуждений».Ефремова Т. Ф. Новый словарь русского языка. Толково-словообразовательный. — 2001—2002. В частности, этим словом может называться следующее: в процессе мышления — когда говорится о логичном и нелогичном мышлении, где последовательность утверждений соответствует изученным в логике схемам, в отличие от полностью бессвязных и рассуждений по аналогии с произвольными понравившимися автору образами или стереотипами; в электронике — вид схем, предназначенных для обработки информации и управления, в отличие от силовых схем трансформации и распределения энергии, и маломощных, но обрабатывающих атомарные сигналы: фильтрации, регистрации, генерации; в произвольных явлениях — приписываемая или обнаруженная в их функционировании определённая схема, повторяющийся в процессах шаблон, которые могут быть описаны в логических категориях: состояние, подчинение, отражение, зависимость и т. п.
Основные сведения Интеллектуальную деятельность, мышление изучают многие науки, в частности: психология, эпистемология, психолингвистика. Среди всех таких наук логика занимает особое место. В ней, в отличие от других наук, законы мышления изучаются со стороны формы мыслей, а не их содержания.
Логика изучает такие формы мысли, а также их вербальные, символьные (знаковые) представления, которые находятся в корректном отношении (истинности, случайности, возможности, необходимости и т. д.) к положению дел в реальном мире, и которые, будучи применены к совокупностям корректных по форме мыслей (представлений), вновь приводят к корректным мыслям (представлениям).
К основным изучаемым в логике формам мысли относятся корректные рассуждения, включая такие их составляющие, как доказательства и опровержения.
Таким образом, логика изучает способы вывода новых истинных знаний не из непосредственно данного чувственного опыта, а из знаний, полученных ранее.
Характерной чертой современной логики является антипсихологизм. Если в XIX веке часто логика рассматривалась как часть психологии (Т. Липпс, Хр. Зигварт), то Г. Фреге показал, а под его влиянием Э. Гуссерль убедительно подтвердил, что это не так, что логика базируется на собственном основании, природа которого не психологическая. В то же время при анализе формулируемых субъектом оценочных предложений необходимо учитывать его знания, верования, убеждения. Для изучения таких предложений требуется строить специальные логики, включающие субъект.
Изучение правил корректного мышления с применением символических представлений является областью исследований символической логики. Представления правил и операций корректного мышления в виде формализованных структур исследуются в формальной логике. Формализованные структуры, отражающие формальные аспекты корректного мышления и удовлетворяющие требованиям к математическим структурам, а также другие близкие к ним математические структуры изучаются в математической логике.
Символы применял ещё Аристотель, а также все последующие учёные-логики. По-видимому, термин «символическая логика» впервые был применен Дж. Венном в 1880. Иногда термин «символическая логика» используется как синоним термина «математическая логика». Определение «формальная» для логики, занимающейся анализом формальной стороной структуры высказываний и доказательств, было введено И. Кантом для отграничения её по главной особенности от других видов логик.
Математическая логика представляет собой раздел математики, объединяющий исследования логических проблем с применением математических средств, что позволяет изучать формальную сторону корректного связного мышления более точно. Под современной логикой понимается именно математическая логика. Также утверждается, что «современная логика является логикой по предмету, и математикой по методу», и таким образом логика представляет собой отдельную сущность, не являющуюся частью математики. В настоящее время символьная, формальная и математическая логики часто рассматриваются как синонимы, особенно с добавлением «современная».
Поэтому исследования логических вопросов с использованием средств естественного языка в философии продолжаются, но уже дополнительно с применением идей и аппарата математической логики. Это позволяет прояснить основания логики более глубоко. Также это позволяет провести более глубокий и точный анализ и осмысление некоторых понятий и проблем философии. Такие исследования в философии дают новые импульсы к развитию современной логики.Горский Д. Н., Ивин А. А., Никифоров А. Л. Краткий словарь по логике. Статья — философская логика- М.: Просвещение, 1991. −208 с. — ISBN 5-09-001060-9
Логические исследования в современной философии не образуют целостной её области, а представляют собой совокупность отдельных логико-философских работ, которые, тем не менее, объединяются в раздел, называемый философской логикой. В Новой философской энциклопедии (НФЭ) ИФ РАН таким образом понимаемой философской логике выделяются две части: собственно «философская логика», изучающая философские проблемы средствами современной логики и «философия логики», исследующая основания логики средствами философии. При этом утверждается, что зачастую одно подменяется другим, хотя это два разных направления исследований. Другие исследователи под философской логикой (точнее, под философскими логиками) понимают неклассические логики, в которых изучаются типы рассуждений, а также стороны познавательного процесса, в том числе требующие применения модальностей, не учитываемых в классических логиках, базирующихся на двузначном принципе. В то же время в НФЭ ИФ РАН утверждается, что философская логика трактовалась как модальная (являющаяся частью совокупности неклассических логик) только первоначально. Также в этой энциклопедии выражается мнение, что различными специалистами философская логика понимается по-разному, и скорее, по-своему. Даже если она и выделяется как особая научная дисциплина, её предмет, границы применения и методы однозначно определить не удаётся.
По мнению В. А. Бочарова и В. И. Маркина, логика как наука включает множество частных различающихся логик. Более того, таких логик бесконечно много. Эти логики базируются на различных совокупностях типов отношений вещей и способов анализа, принятии разных предпосылок, абстракций и идеализаций, соответствующих использованной точки зрения, ракурсу взгляда и оценки объективной реальности. Однако никакие теоретические построения, на каких бы совокупностях абстракций и идеализаций они бы не основывались, не могут охватить полностью всю реальность — реальность всегда остается более богатой и динамичной, чем любые теории. Всё это приводит к постоянному появлению новых логик, логических теорий, направленных на исследования вновь открытых типов рассуждений, высказываний, правил и законов, базирующихся на различных совокупностях исходных предпосылок. Таким образом осуществляется постоянное развитие логики в целом, как науки.
Логика лежит в основе всех наук и используется в качестве одного из основных их инструментов.Gauch H. G. The PEL model of full disclosure // Scientific Method in Practice.— Cambridge University Press, 2003.— p.124.— 435pp.— ISBN 978-0-521-01708-4 Как было сказано выше, логика образует разделы философии и математики; раздел булевой алгебры — классической математической логики — является одной из основ информатики.Бауэр Ф. Л., Гооз Г. Информатика: вводный курс. Перевод с нем. М. Мир. 1976 г. 484с.
По мнению В. А. Бочарова, в логике выделяются следующие основные разделы: теория рассуждений (включает теорию дедуктивных рассуждений и теорию правдоподобных рассуждений), металогика и логическая методология.
Изучение мыслительной деятельности в логике сопряжено с исследованием языковых конструкций вербальных представлений мыслей в логической семиотике, при этом в аспекте синтаксиса в логической синтактике, семантики — в логической семантике и прагматики — в логической прагматике.
История логики
Подобно тому как умение говорить существовало ещё до возникновения науки грамматики, так и искусство правильно мыслить существовало задолго до науки логики. Логические операции: определение, классификация, доказательство, опровержение и другие — постоянно применяются людьми в их мыслительной деятельности, часто неосознанно и с погрешностями. Некоторые склонны считать собственное мышление естественным процессом, не требующим анализа и контроля больше, чем, скажем, дыхание или движение, но реальное мышление не сводится просто к логической последовательности. В процессе решения возникающих задач также существенны: интуиция, эмоции, образное видение мира, эвристикаКанеман Д. Думай медленно... решай быстро. — М.: АСТ, 2013. — 625 с. и многое другое. Однако не полная строгость мышления ещё не значит, что в нём логика не применяется.
Хотя многие культуры выработали сложные системы рассуждения, логика как эксплицитный анализ методов рассуждения получила основательное развитие изначально только в трёх традициях: в китайской, индийской и греческой. Хотя точные даты возникновения и этапов развития логики в перечисленных традициях не слишком достоверны (особенно в случае Индии). Современная логика, разработанная формально изощрённо, происходит в конечном счёте из греческой традиции (аристотелевской логики), которая, однако, была воспринята не непосредственно, а через арабо-мусульманских философов и средневековых европейских логиков и их комментаторскую деятельность.
Можно выделить следующие исторические и региональные формы логики (приведены также их наименования, исторически существовавшие и принятые в литературе по истории формальной логики):
Древнекитайская логика. Индийская логика. Европейская и ближневосточная логика: традиционная логика (в широком смысле) Античная и раннесредневековая логика: диалектика; Средневековая логика: Арабская и еврейская средневековая логика; Восточнохристианская средневековая логика; Западноевропейская средневековая логика: схоластическая логика, диалектика Логика европейского Возрождения; диалектика; Логика Нового времени: традиционная логика (в узком смысле), формальная логика. Современная логика (общемировая, со второй половины XIX века): математическая логика, символическая логика, логистика (последнее — как правило, в западной литературе).
Логика в своём развитии прошла три порога: порог формализации рассуждений (во всех трёх традициях); введение условных (символических, буквенных и числовых) обозначений (только европейская традиционная логика); научная революция, с которой началась современная логика, — математизация (внесение в логику математических методов).
Логика в Древнем Китае