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

Общая характеристика

Итак, что такое логика? Определение логики очень многогранно. В переводе с греческого она означает «мысль», «разум», «слово» и «закономерность». В современной интерпретации данное понятие используется в трех случаях:

1. Обозначение взаимосвязей и закономерностей, объединяющих поступки людей или события в объективном мире. В этом смысле часто используют такие понятия, как «логическая цепочка», «логика фактов», «логика вещей» и так далее.
2. Обозначение строгой последовательности и закономерности процесса мышления. В таком случае употребляются выражения типа: «логика рассуждения», «логика мышления», «логика речи» и так далее.
3. Обозначение особой науки, изучающей логические формы и операции, а также связанные с ними законы мышления.

Задачи логики

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

Неформальная логика

Главным образом логику классифицируют на:

1. Неформальную.
2. Формальную.
3. Символическую.
4. Диалектическую.

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

Формальная и символическая логика

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

Диалектическая логика

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

Диалектическое рассуждение частично опирается на формальные законы логики. Вместе с тем, анализируя динамику перехода понятий в их противоположность, оно допускает совпадение противоположностей, а значит, ориентируется на диалектические законы.

Объект логики

Определение логики как науки подразумевает, что ее объектом является человеческое является сложным, многосторонним процессом, предполагающим обобщенное отражение человеком вещей и отношений окружающего мира. Данный процесс изучается разными науками: философией, психологией, генетикой, языкознанием, и кибернетикой. Философия рассматривает происхождение и суть мышления, а также его отождествление с материальным миром и познанием. Психология контролирует условия нормальной работы мышления и его развития, а также влияния на него окружающей среды. Генетика стремится к изучению механизма наследования способностей к размышлению. Языкознание ищет связи между мышлением речью. Ну а кибернетики пытаются построить технические модели человеческого мозга и мышления. Сама же логика смотрит на процесс мышления с точки зрения структуры мыслей, а также верности или неверности рассуждений, отвлекаясь при этом от содержания и развития мыслей.

Предмет логики

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

1. Чувственное познание. Осуществляется с помощью органов чувств или приборов.
2. Рациональное познание. Осуществляется с помощью абстрактного мышления.

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

Чувственное познание

Чувственными образом называют знание о внешних свойствах тех или иных вещей и явлений. Чувственное познание может протекать в трех формах:

1. Ощущение . Отражает отдельные свойства предмета.
2. Восприятие . Отражает предмет в целом, представляет собой его целостный образ.
3. Представление . Это образ предмета, сохранившийся в памяти.

На стадии чувственного познания, человеку не всегда доступна сущность вещей и процессов, их внутренние свойства. Маленький принц из одноименного рассказа Экзюпери говорил: «Самого главного глазами не увидишь». Разум или абстрактное мышление приходят на помощь органам чувств в таких случаях.

Рациональное познание

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

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

Понятие

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

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

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

Понятие не может существовать без определения. В разных науках определение может трактоваться с некоторыми отличиями. Определение понятий в логике - это процесс закрепления конкретного смысла за неким языковым термином. По своей сути понятие бесконечно, так как оно вырабатывается универсальным разумом. Определение конечно, так как оно представляет собой итог рассудочной (логической) деятельности. Согласно Гегелю, определение не соответствует Абсолюту и соотносится с представлением. состоит в том, чтобы перевести понятия в представления, избавившись от конечных определений.

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

Виды определений в логике представлены весьма широко. Определение бывает: интенсиональным, реальным, аксиоматическим, номинальным, явным, неявным, генетическим, контекстуальным, индуктивным и остенсивным.

Суждение

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

Правильным называют мышление, в рамках которого из истинных знаний получаются новые истинные знания. Результатом неправильного мышления могут стать также ложные знания. К примеру, есть два суждения: «Если Иван совершил грабеж - он преступник» и «Иван не совершал грабеж». Суждение «Иван не преступник», полученное на основе этой информации, может быть ложным, так как факт того, что он не совершал грабеж, не свидетельствует о том, что он не совершал других преступлений.

Умозаключения

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

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

Заключение

Сегодня мы с вами узнали, что такое логика. Определение этого понятия весьма емкое и многогранное, оно затрагивают широкую область знаний. Такое многообразие проявлений логики иллюстрирует ее взаимосвязь с другими науками, некоторые из которых вполне материалистичны. Также в статье были рассмотрены основные аспекты человеческого мышления: умозаключения, суждения, понятия и определения (в логике). Примеры из жизни помогли нам легче усвоить этот материал.

Логика – это наука о мышлении. Основатель науки Аристотель.

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

Для выяснения предмета логики можно использовать несколько методов, каждый из которых дает определенный-результат . Первый метод – этимологический . Он заключается в том, что требуется прояснить значение слова, которое используется для названия данной науки. Термин «логика» восходит к древнегреческому слову «логос», означавшему слово, мысль, понятие, рассуждение и закон. Этимология слова «логика» показывает, что это наука, имеющая отношение к человеческому мышлению, обосновывает рассуждения с помощью оснований, которые впоследствии стали называться логическими законами. Недостатком данного метода является многозначность слова «логика». В повседневной жизни, в популярной, общенаучной и философской литературе это слово используется в большом спектре значений. Оценки «логично» и «нелогично» могут использоваться для характеристики человеческих действий, оценки событий и т. п. Второй метод – справочно-академический . Он заключается в том, что ответ на вопрос мы ищем в словарях и энциклопедиях. В большинстве словарей и учебников логика определяется как наука о законах и формах правильного мышления, а предметом данной науки признается человеческое мышление . Однако логика рассматривает не только правильное мышление, но и ошибки, возникающие в процессе мышления: парадоксы и т. д.

Предмет логики – человеческое мышление. Сам термин «мышление» является достаточно широким и не дает возможности определить специфику логики по отношению к другим наукам.

Значение логики состоит в следующем:

1) логика выступает важнейшим средством формирования убеждений (прежде всего научных).

2) формальная логика применяется в науке и технике.

3) традиционная формальная логика остается важнейшим средством в сфере всех видов образования. Она является основой организации всех видов знания для его подачи в процессе обучения;

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

2. Формы мышления

Формами мышления явл : понятие, суждение, умозаключение.

Мышление начинается с форм чувственного познания мира – ощущения, восприятие, представление.

Мышление – это высшее по отношению к чувственной форме отражение бытия.

Понятие – это логическая мысль о каком-либо предмете с опред набором существенных признаков.

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

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

Толковый словарь живого великорусского языка, Даль Владимир

логика

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

Логарифмика.

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

Толковый словарь русского языка. Д.Н. Ушаков

логика

логики, ж. (греч. logike от logos - слово, разум).

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

Разумность, правильность умозаключений. Говорить с неотразимой логикой.

Внутренняя закономерность. Логика вещей. Логика событий. Неумолимая логика истории. В его поступках нет никакой логики.

Толковый словарь русского языка. С.И.Ожегов, Н.Ю.Шведова.

логика

Наука о законах и формах мышления. Формальная л. Диалектическая л.

Ход рассуждений, умозаключений. У этого человека своя л. Женская л. (непоследовательная, непонятная; шутл.).

Разумность, внутренняя закономерность чего-н. Л. вещей. Л. событий.

прил. логический, -ая, -ое. Л. вывод. Логическая ошибка.

Новый толково-словообразовательный словарь русского языка, Т. Ф. Ефремова.

логика

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

Внутренняя закономерность, присущая явлениям природы, общества.

Правильный, разумный ход рассуждений, умозаключений.

Энциклопедический словарь, 1998 г.

логика

ЛОГИКА (греч. logike) наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. также Математическая логика.

Логика

(греч. logik), наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л. связываются три основных аспекта: онтологический ≈ «Л. вещей», т. е. необходимая связь явлений объективного мира (Демокрит); гносеологический ≈ «Л. знания», т. е. необходимая связь понятий, посредством которой познаётся «сущность и истина» (Платон), и демонстративный (доказательный), или собственно логический, ≈ «Л. доказательств и опровержений», т. е. необходимая связь суждений (высказываний) в рассуждениях (умозаключениях), принудительная убедительность («общезначимость») которых вытекает только из формы этой связи безотносительно к тому, выражают эти суждения «сущность и истину» или нет (Аристотель). Первые два аспекта относятся к философии и диалектической логике, последний же аспект составляет собственно логику, или современную Л. (которую вслед за И. Кантом иногда называют формальной Л.). Исторически предмет (собственно) Л. ограничивался своего рода «каталогизацией» правильных аргументов, т. е. таких способов рассуждений, которые позволяли бы из истинных суждений-посылок всегда получать истинные суждения-заключения. Известным со времён античности набором таких аргументов однозначно определялся процесс дедукции, характерный для т. н. традиционной Л., ядро которой составляла силлогистика , созданная Аристотелем. По мере изучения особенностей демонстративного мышления предмет традиционной Л. постепенно расширялся за счёт несиллогистических, хотя и дедуктивных способов рассуждений, а также за счёт индукции. Поскольку последняя выпадала из рамок Л. как дедуктивной теории (или совокупности таких теорий), она в конце концов сделалась предметом особой теории, названной индуктивной Л. Современная Л. является историческим преемником традиционной Л. и в некотором смысле её прямым продолжением. Но в отличие от традиционной, для современной Л. характерно построение различного рода формализованных теорий логического рассуждения ≈ т. н. логических «формализмов», или логических исчислений, позволяющих сделать логические рассуждения предметом строгого анализа и тем самым полнее описать их свойства (см. раздел Предмет и метод современной логики). Отображение логического мышления в логических исчислениях привело к более адекватному выражению идеи «логоса» как единства языка и мышления, чем это было в эпоху античности и во все эпохи, предшествовавшие 20 в.; в современной Л. это выражение столь очевидно, что, исходя из различных «формализмов», приходится порой говорить о различных «стилях логического мышления». М. М. Новосёлов. История логики. Историческую основу современной Л. образуют две теории дедукции, созданные в 4 в. до н. э. древнегреческими мыслителями: одна ≈ Аристотелем, другая ≈ его современниками и философскими противниками, диалектиками мегарской школы. Преследуя одну цель ≈ найти «общезначимые» законы логоса, о которых говорил Платон, они, столкнувшись, как бы поменяли исходные пути к этой цели. Известно, что основатель мегарской философской школы Евклид из Мегары широко использовал не только доказательства от противного, но и аргументы, по форме близкие к силлогическим, и таковы многие дошедшие до нас софизмы мегариков. В свою очередь, Аристотель в сочинении «Топика» в качестве доказывающего сформулировал основное правило исчисления высказываний ≈ правило «отделения заключения» (разрешающее при истинности высказываний «если А, то В» и «А» как истинное заключение «отделить» высказывание «В»). И если затем он оставил в стороне Л. высказываний, то в этом «повинны» в немалой степени софизмы мегариков, которые привели Аристотеля к поискам логических элементов речи в элементарной сё единице ≈ предложении. Именно на этом пути он ввёл понятие высказывания как истинной или ложной речи, открыл, в отличие от грамматической, атрибутивную форму речи ≈ как утверждения или отрицания «чего-либо о чём-то», определил «простое» высказывание как атрибутивное отношение двух терминов, открыл изоморфизм атрибутивных и объёмных отношений, аксиому и правила силлогизма. Аристотель создал весьма ограниченную по своим возможностям, но зато законченную теорию ≈ силлогистику, реализующую в рамках Л. классов идею алгорифмизации вывода заключений. Аристотелевская силлогистика положила конец «силлогистике» мегариков, последним представителем которой был Евбулид из Милета, писавший против Аристотеля, автор известных парадоксов «лжец», «лысый», «куча» и нескольких софизмов. Др. последователи Евклида обратились к анализу условных высказываний, считая, что заключения «о присущем», выражаемые фигурами силлогизма, нуждаются в более общей основе. Диодор Крон из Иаса и его ученик Филон из Мегары ввели понятие импликации и изучали связь импликации и отношения следования, предвосхитив идею теоремы о дедукции. Соглашаясь в том, что условное высказывание ≈ импликация ≈ истинно, когда заключение следует из посылки, они расходились, однако, в толковании понятия «следует». Согласно Диодору, В следует из А, когда импликация А É В («если А, то В») необходима, так что нельзя утверждать в зависимости от случая, что иной раз она истинна, а иной раз нет, если А и В одни и те же высказывания. Филон же полагал, что понятие «В следует из А» полностью определяется понятием материальной импликации, которую он ввёл, дав свод её истинностных значений. Так возникла теория критериев логического следования, впоследствии сделавшаяся частью учения стоиков. Неизвестно, обсуждался ли в мегарской школе вопрос об аксиоматизации Л., но Диоген Лаэрций свидетельствует, что Клитомах из школы Евклида был первым, кто написал не дошедший до нас трактат об аксиомах и предикатах. ══Логические идеи мегариков были ассимилированы в философской школе стоиков, основанной около 300 до н. э. Гл. фигурой этой школы был Хрисипп, принявший критерий Филона для импликации и двузначности принцип как онтологическую предпосылку Л. В сочинениях стоиков Л. высказываний предшествует аристотелевской силлогистике, оформляясь в систему правил построения и правил вывода высказываний. Последние по примеру Аристотеля тоже называются силлогизмами. Идея дедукции формулируется более четко, чем у мегариков, в виде след. предписания: условием формальной правильности заключения В из посылок А1, А2,..., An является истинность импликации (A1 & A2 &... & An) É В. Аргументы, основанные на понимании высказываний только как функций истинности, стоики называли формальными; они могут вести от ложных посылок к истинным следствиям. Если же во внимание принималась содержательная истинность посылок, формальные аргументы назывались истинными. Если посылки и заключения в истинных аргументах относились соответственно как причины и следствия, аргументы называются доказывающими. В общем случае «доказывающие аргументы» стоиков предполагали понятие о естественных законах. Стоики считали их аналитическими и возможность их доказательства посредством аналогии и индукции отрицали. Т. о., развитое стоиками учение о доказательстве шло за пределы Л. в область теории познания, и именно здесь «дедуктивизм» стоиков нашёл себе философского противника в лице радикального эмпиризма школы Эпикура ≈ последней наиболее важной для истории Л. школы античности. В споре со стоиками эпикурейцы защищали опыт, аналогию, индукцию. Они положили начало индуктивной Л., указав, в частности, на роль противоречащего примера в проблеме обоснования индукции и сформулировав ряд правил индуктивного обобщения. Эпикурейской «каноникой» заканчивается история логической мысли ранней античности. На смену приходит поздняя античность, эклектически сочетающая аристотелизм и стоицизм. Её вклад в Л. ограничивается по существу переводческой и комментаторской деятельностью поздних перипатетиков (Боэт Сидонский, Александр Эгский, Адраст, Гермин, Александр Афродизийский, Гален и др.) и неоплатоников (Порфирий, Прокл, Симпликий, Марий Викторин, Апулей, Августин, Боэций, Кассиодор и др.). Из нововведений эллино-римских логиков заслуживают внимания логический квадрат Апулея, дихотомическое деление и объёмная трактовка терминов силлогизма у Порфирия, идеи аксиоматизации Л. и Л. отношений у Галена, зачатки истории Л. у Секста Эмпирика и Диогена Лаэрция, наконец, подготовившие терминологию средневековой Л. переводы греческих текстов на латинский язык, в частности «Введения» Порфирия Марием Викторином и сочинений Аристотеля, входящих в «Органон», Боэцием. (Именно в логическом словаре Боэция впервые, по-видимому, появляются понятия «субъект», «предикат», «связка», в терминах которых на протяжении многих последующих столетий логики анализировали высказывания.) Под влиянием доктрины стоиков, заимствованной неоплатонизмом, Л. постепенно сближается с грамматикой. В энциклопедии той эпохи ≈ «Сатириконе» Марциана Капеллы ≈ в качестве одного из семи свободных искусств Л. объявляется необходимым элементом гуманитарного образования. Логическая мысль раннего европейского средневековья (7≈11 вв.), усваивавшего научное наследие античного мира сквозь призму христианского сознания, в творческом отношении значительно беднее эллиноримской. Как самостоятельная наука Л. развивается лишь в странах арабской культуры, где философия остаётся относительно независимой от религии. В Европе же складывается в основном схоластическая Л. в собственном смысле ≈ церковно-школьная дисциплина, приспособившая элементы перипатетической Л. к нуждам обоснования и систематизации христианского вероучения. Лишь в 12≈13 вв., после того как все произведения Аристотеля канонизируются церковной ортодоксией, возникает оригинальная средневековая («несхоластическая») Л., известная под назв. logica modernorum. Контуры её намечены уже «Диалектикой» Абеляра, но окончательное оформление она получает к конце 13 ≈ середине 14 вв. в работах Уильяма Шервуда, Петра Испанского, Иоанна Дунса Скота, Вальтера Бурлея (Бёрли), Уильяма Оккама, Жана Буридана и Альберта Саксонского. В сочинениях этих авторов впервые прослеживаются прообраз «универсума речи» и представление о двояком использовании языка: для выражения мысли о внеязыковых фактах, когда термины «употребляются», и для выражения мысли о самом языке, когда термины «упоминаются» (употребляются автонимно). Учение о пропозициональных связках и кванторах, символизирующих характер логической связи, служит им естественным основанием для различения между «формой» и «содержанием» суждений. А в связи с задачей однозначного «прочтения» синтаксической структуры суждения средневековой логики неявно используют и понятие «области действия» логических операций. Их учение о «следовании» основывается на различии между материальной импликацией и формальной, или тавтологичной, импликацией: для первой можно указать контрпример, для второй ≈ нет. Поэтому материальная импликация рассматривается как выражение содержательного, или фактического, следования, а формальная ≈ логического. Средневековые логики открыли многие известные теперь законы Л. высказываний, которая составляла основу их теории дедукции и которая, как и у стоиков, считалась более общей, чем аристотелевская силлогистика. В этот же период впервые зародилась идея машинизации процесса логического вывода и были предприняты первые попытки её реализации (Р. Луллий). Последующие два столетия ≈ эпоха Возрождения ≈ для дедуктивной Л. были эпохой кризиса. Её воспринимали как опору мыслительных привычек схоластики, как Л. «искусственного мышления», освящающую схематизм умозаключений, в которых посылки устанавливаются авторитетом веры, а не познания. Руководствуясь общим лозунгом эпохи: «вместо абстракций ≈ опыт», дедуктивной Л. стали противопоставлять Л. «естественного мышления», под которой обычно подразумевались интуиция и воображение. Леонардо да Винчи и Ф. Бэкон переоткрывают античную идею индукции и индуктивного метода, выступая с резкой критикой силлогизма. И лишь немногие, подобно падуанцу Я. Дзабарелле (16 в.), пробуют вернуть в методологию научной мысли традиционную логическую дедукцию, предварительно освободив её от схоластической философской интерпретации. Книги Дзабареллы оказали заметное влияние на положение Л. в 17 в. Уже у Т. Гоббса и П. Гассенди дедуктивная Л. полностью освобождается от связи с теологией и перипатетической философией. Несколько раньше основатель точного естествознания Г. Галилей восстанавливает права абстракции. Он обосновывает потребность в абстракциях, которые бы «восполняли» данные опытных наблюдений, и указывает на необходимость введения этих абстракций в систему дедукции в качестве гипотез, или постулатов, или аксиом, с последующим сравнением результатов дедукции с результатами наблюдений. Критицизм в отношении схоластики и одновременная реабилитация дедукции, правда, при некотором снижении интереса к формальной стороне доказательств, характерны для картезианской, т. е. опирающейся на методологические идеи Р. Декарта, логики, систематически изложенной в сочинении А. Арно и П. Николя «Логика, или Искусство мыслить» (1662), вошедшей в историю под названием логики Пор-Рояля. В этой книге Л. представлена как рабочий инструмент всех др. наук и практики, поскольку она принуждает к строгим формулировкам мысли. Картезианская идея mathesis universalis стала ведущей в Л. середины 17 ≈ начале 18 вв. Особое место в её развитии принадлежит Г. В. Лейбницу. Вслед за Р. Декартом, Т. Гоббсом и логиками Пор-Рояля Лейбниц считал возможным создать «всеобщую символику», своеобразный искусственный язык, который был бы свободен от многозначностей, присущих естественным разговорным языкам, понимался без словаря и был бы способен точно и однозначно выражать мысли. Такой язык мог бы играть роль вспомогательного международного языка, а также служить орудием открытия новых истин из известных. Анализируя категории Аристотеля, Лейбниц пришёл к идее выделения простейших исходных понятий и суждений, которые могли бы составить «алфавит человеческих мыслей»; эти первичные неопределяемые понятия, скомбинированные по определённым правилам, должны давать все остальные точно определимые понятия. Лейбниц полагал, что одновременно с таким анализом понятий можно создать универсальный алгоритм, который позволит провести доказательство всех известных истин и составить тем самым «доказательную энциклопедию». С целью реализации этого замысла Лейбниц дал несколько вариантов арифметизации логики. В одном из них каждому исходному понятию сопоставляется простое число, каждому составному ≈ произведение простых чисел, сопоставленных исходным понятиям, образующим данное составное (эта замечательная по своей простоте идея сыграла впоследствии исключительно важную роль в математике и логике благодаря работам Г. Кантора и К. Гёделя). ═К Лейбницу же восходят многие методологически важные фрагменты современной Л. Так, большое значение он придавал проблеме тождества. Принимая схоластический принцип индивидуации (принцип «внутреннего различия»), положенный им в основу монадологии, Лейбниц отказался от онтологизации тождества, определяя тождество через сохраняющую истинность взаимозаменимость в контексте и намечая тем самым путь к построению теорий тождества, основанных на абстракции отождествления. Хотя Лейбниц непосредственно не занимался индуктивной Л., соответствующая проблематика вполне им учитывалась. В частности, она нашла отражение в проводившемся им различении «истин разума» и «истин факта»; для проверки истин разума, по Лейбницу, достаточно законов аристотелевской Л.; для проверки истин факта, т. е. эмпирических истин, нужен ещё (сформулированный Лейбницем) достаточного основания принцип . В связи с этим Лейбниц рассматривал поставленную Галилеем проблему подтверждения общих суждений о действительности эмпирическими фактами, явившись тем самым одним из создателей теории т. н. гипотетико-дедуктивного метода. Исходным пунктом индуктивной Л. нового времени служили методологические идеи Бэкона, но систематически эта логика ≈ Л., исследующая «обобщающие выводы» как заключения, основанные на установлении причинной связи (см. Причинность) между явлениями, ≈ была разработана Дж. С. Миллем (1843), который опирался, в свою очередь, на идеи Дж. Гершеля. Развитая Миллем теория индуктивных умозаключений стала предметом разработки и критики как в Л. 19 в., так и в Л. 20 в. (в частности, в работах русских логиков М. И. Каринского и Л. Б. Рутковского и статистика А. А. Чупрова). При этом она была поставлена в связь с проблематикой теории вероятностей, с одной стороны, и алгебры логики ≈ с другой (начиная уже с работ У. С. Джевонса). Индуктивная Л. 19 в., центральным вопросом которой был вопрос о способах обоснования эмпирических заключений о закономерных (регулярных) связях явлений, в 20 в., с одной стороны, трансформировалась в вероятностную логику, а с другой ≈ вышла за пределы Л. в собственном смысле, приобретя в существенно обогащённом виде новую жизнь в современной математической статистике и теории планирования эксперимента. Индуктивная Л. не была, однако, главной линией развития логической мысли. Этой линией стало развитие строго дедуктивной ≈ математической ≈ логики, истоки которой были заключены уже в сочинениях Лейбница. Хотя большая часть логического наследия последнего оставалась неопубликованной до начала 20 в., прижизненное распространение его идей оказало заметное влияние на развитие алгебрологических методов в Л., в процессе которого уже в 19 в. в трудах О. де Моргана, Дж. Буля, немецкого математика Э. Шрёдера, П. С. Порецкого и др. путём применения математического (в основном алгебраического) метода к Л. была построена развитая логическая теория алгебраического характера, на основе которой в дальнейшем сформировалась современная алгебра Л. Центральной фигурой этого «алгебро-логического» этапа в истории Л. был Буль. Он разработал свою алгебру Л. (термин «алгебра логики» был введён после Буля Ч. Пирсом) как обычную для того времени алгебру, а не как дедуктивную систему в позднейшем смысле. Не удивительно, что Буль стремился сохранить в своей алгебре Л. все арифметические операции, в том числе вычитание и деление, которые оказалось трудно истолковать логически. Алгебра логики Буля (интерпретировавшаяся прежде всего как логика классов , т. е. объёмов понятий) была значительно упрощена и усовершенствована Джевонсом, отказавшимся в Л. от операций вычитания и деления. У Джевонса мы уже встречаем ту алгебраическую систему, которая впоследствии получила название «булевой алгебры» (у самого Буля, использовавшего в своей алгебре операцию, соответствующую исключающему логическому союзу «или», т. е. строгую дизъюнкцию, а не распространённую в современной Л. «обычную», слабую, дизъюнкцию, «булевой алгебры» непосредственно не было). Строгие методы решения логических уравнений были предложены Шрёдером (1877) и Порецким (1884). Многотомные «Лекции по алгебре логики» (1890≈1905) Шрёдера (вместе с работами Порецкого вплоть до 1907) явились высшей точкой развития алгебры Л. 19 в. История алгебры Л. началась с попыток перенести в Л. все операции и законы арифметики, но постепенно логики начинали сомневаться не только в правомерности, но и в целесообразности такого переноса. Они выработали специфические именно для Л. операции и законы. Наряду с алгебраическими в Л. издавна применялись геометрические (точнее, графические) методы. Приёмами представления модусов силлогизмов с помощью геометрических фигур владели античные комментаторы Аристотеля. Использование с этой целью кругов, обычно приписываемое Л. Эйлеру, было известно ещё И. К. Штурму (1661) и Лейбницу, владевшему и отличными от эйлеровых методами. Способы геометрической интерпретации предложений Л. имелись у И. Г. Ламберта и Б. Больцано. Но особенного расцвета эти методы достигли в трудах Дж. Венна, разработавшего графический аппарат диаграмм (см. Логические диаграммы.), фактически полностью эквивалентный Л. классов и носящий уже не только иллюстративный, но и эвристический характер. К концу 19 в. в дедуктивной Л. произошёл глубокий переворот, связанный с работами Дж. Пеано, Пирса и Г. Фреге, которые преодолели узость чисто алгебраического подхода прежних авторов, осознали значение математической Л. для математиков и начали применять её к вопросам оснований арифметики и теории множеств. Достижения этого периода, в особенности связанные с аксиоматическим построением Л., в наиболее чёткой форме можно проследить в исследованиях Фреге. Начиная со своей работы «Исчисление понятий» (1879), он развил совершенно строгое аксиоматическое построение исчисления высказываний и предикатов. Его формализованная Л. содержала все основные элементы современных логических исчислений: пропозициональные переменные (переменные для высказываний), предметные переменные, кванторы (для которых он ввёл специальные символы) и предикаты; он подчёркивал различие между логическими законами и правилами логического вывода, между переменной и константой, различал (не вводя, правда, особых терминов) язык и метаязык (см. Метатеория, Метаязык). Его исследования (так же как аналогичные работы Пирса) в области логической структуры естественного языка и семантики логических исчислений положили начало проблемам логической семантики. Большой заслугой Фреге явилась разработка системы формализованной арифметики, основанной на развитой им логике предикатов. Эти работы Фреге и выявившиеся в связи с ними трудности послужили исходным пунктом развития современной теории математического доказательства . Фреге употреблял оригинальную символику, которая, в отличие от обычно применяемой одномерной, была двумерной (она не привилась). Современная система обозначений в Л. восходит к символике, предложенной Дж. Пеано. С некоторыми изменениями она была воспринята Б. Расселом, создавшим совместно с А. Н. Уайтхедом трёхтомный труд «Принципы математики» ≈ труд, систематизировавший и развивший далее дедуктивно-аксиоматическое построение Л. в целях логического обоснования математического анализа (см. Логицизм). С этого сочинения и начавших появляться с 1904 работ Д. Гильберта по математической Л. естественно датировать начало современного этапа логических исследований. М. М. Новосёлов, 3. А. Кузичева, Б. В. Бирюков. Предмет и метод современной логики. Современная Л. развилась в точную науку, применяющую математические методы. Она стала, по словам Порецкого, математической логикой ≈ Л. по предмету, математикой по методу. В этом качестве Л. стала пригодной для правильной постановки и решения логических проблем математики, в особенности проблем, связанных с доказуемостью и недоказуемостью тех или иных положений математических теорий. Точная постановка таких проблем требует прежде всего уточнения понятия доказательства. Всякое математическое доказательство состоит в последовательном применении тех или иных логических средств к исходным положениям. Но логические средства не представляют собой чего-то абсолютного, раз навсегда установленного. Они вырабатывались в процессе многовековой человеческой практики; «... практическая деятельность человека миллиарды раз должна была приводить сознание человека к повторению разных логических фигур, дабы эти фигуры могли получить значение аксиом» (Ленин В. И., Полн. собр. соч., 5 изд., т. 29, с. 172). Человеческая практика является, однако, на каждом историческом этапе ограниченной, а объём её всё время растёт. Логические средства, удовлетворительно отражавшие практику человеческого мышления на данном этапе или в данной области, могут оказаться неподходящими на следующем этапе или в другой области. Тогда в зависимости от изменения содержания рассматриваемого предмета изменяется и способ его рассмотрения ≈ изменяются логические средства. Это в особенности относится к математике с её далеко идущими многократными абстракциями. Здесь совершенно бессмысленно говорить о логических средствах как о чём-то данном в своей совокупности, как о чём-то абсолютном. Зато имеет смысл рассмотрение логических средств, применяемых в той или иной конкретной обстановке, встречающейся в математике. Их установление для какой-либо данной математической теории и составляет искомое уточнение понятия доказательства применительно к этой теории. Важность этого уточнения для развития математики выявилась в особенности в связи с проблемами её оснований. Разрабатывая множеств теорию, исследователи столкнулись с рядом своеобразных трудных проблем. Исторически первой из них явилась проблема о мощности континуума, выдвинутая Кантором (1883), к которой до 1939 не было найдено подходов (см. Континуума проблема). Другие проблемы, столь же упорно не поддававшиеся решению, встретились в т. н. дескриптивной теории множеств, успешно разрабатываемой советскими математиками. Постепенно становилось всё более ясно, что трудность этих проблем имеет логическую природу, что эта трудность обусловлена неполной выявленностью применяемых логических средств и что единственным путём к её преодолению является уточнение этих средств. Выяснилось, т. о., что разрешение этих задач требует привлечения новой математической науки ≈ математической логики. Надежды, возлагавшиеся на математическую Л. в связи с этими проблемами, оправдались. В особенности это касается проблемы континуума, которая может считаться полностью решённой благодаря работам К. Гёделя (1939) и П. Коэна (1963). Первый из них доказал совместимость обобщённой континуум-гипотезы Кантора с аксиомами теории множеств в предположении непротиворечивости последних. Второй при том же предположении доказал независимость континуум-гипотезы от аксиом теории множеств, т. е. её недоказуемость. Аналогичные результаты были получены П. С. Новиковым (1951) в отношении ряда проблем дескриптивной теории множеств. Уточнение понятия доказательства в математической теории путём установления допускаемых логических средств является существенным этапом её развития. Теории, прошедшие этот этап, называются дедуктивными теориями. Лишь для них допускают точную формулировку интересующие математиков проблемы доказуемости и непротиворечивости. Для решения этих проблем в современной Л. применяется метод формализации доказательств ≈ один из основных её методов. Сущность его состоит в следующем. Формулировки теорем и аксиом развиваемой теории полностью записываются в виде формул, для чего употребляется особая символика, пользующаяся, наряду с обычными математическими знаками, знаками для логических связок, применяемых в математике: «... и...», «... или...», «если..., то...», «неверно, что...», «при всяком...», «существует... такой, что...». Всем логическим средствам, с помощью которых теоремы выводятся из аксиом, ставятся в соответствие правила вывода новых формул из уже выведенных. Эти правила формальны, т. е. таковы, что для проверки правильности их применений нет надобности вникать в смысл формул, к которым они применяются, и формулы, получаемой в результате; надо лишь убедиться, что эти формулы построены из таких-то знаков, так-то расположенных. Доказательство теоремы отображается в выводе выражающей её формулы. Вывод же этот рассматривается как ряд формул, в конце которого стоит формула, подлежащая выводу. В выводе всякая формула либо выражает аксиому, либо получается из одной или нескольких предыдущих формул по одному из правил вывода. Формула считается выводимой, если может быть построен её вывод. Если сопоставление правил вывода применяемым логическим средствам было произведено надлежащим образом, то получают возможность судить о доказуемости теорем в данной теории по выводимости выражающих их формул. Выяснение выводимости или невыводимости той или иной формулы есть задача, не требующая привлечения далеко идущих абстракций, и решать эту задачу часто бывает возможно сравнительно элементарными методами. Идея метода формализации доказательств принадлежит Д. Гильберту. Проведение этой идеи стало, однако, возможным благодаря предшествовавшей разработке математической Л. (см. раздел История логики). Применение идеи формализации доказательств бывает обычно связано с выделением логической части рассматриваемой дедуктивной теории. Эта логическая часть, оформляемая, как и вся теория, в виде некоторого исчисления, т. е. системы формализованных аксиом и формальных правил вывода, может тогда рассматриваться как самостоятельное целое. Простейшими из логических исчислений являются исчисления высказываний: классическое и интуиционистское. В них употребляются следующие знаки: 1) т. н. логические переменные ≈ буквы А, В, С,..., означающие произвольные «высказывания» (смысл этого термина объясняется ниже); 2) знаки логических связок &, É, ù, означающие соответственно «... и...», «... или...», «если..., то...», «неверно, что...»; 3) скобки, выявляющие строение формул. Формулами в этих исчислениях считаются логические переменные и всякие выражения, получаемые из них путём повторного применения следующих операций: 1) присоединение к ранее построенному выражению знака ù слева, 2) написание двух ранее построенных выражений рядом друг за другом со включением одного из знаков &, ═или É между ними и с заключением всего в скобки. Например, следующие выражения являются формулами:

1. ((АÉ(ВÉС)) É((АÉВ) É(АÉС))),

2. ((А&. В) ÉВ),

   (AÉ(BÉ(A&B))),

   ((АÉС) É((ВÉС) É((АВ) ÉС))),

3. (ùАÉ(АÉВ)),

   ((AÉB) É((AÉùB) ÉùA)),

   (AùA). В обоих исчислениях высказываний ≈ классическом и интуиционистском ≈ употребляются одни и те же правила вывода. Правило подстановки. Из формулы выводится новая формула путём подстановки всюду вместо какой-либо логической переменной произвольной формулы. Правило вывода заключений. Из формул ═и (É) выводится формула. Эти правила отражают обычные способы рассуждений: переход от общего к частному и вывод следствий из доказанных посылок. Различие между двумя исчислениями высказываний проявляется в наборах их аксиом. В то время как в классическом исчислении высказываний в качестве аксиом принимаются все формулы 1≈11, в интуиционистском исчислении высказываний лишь первые десять из этих формул принимаются в качестве аксиом. Одиннадцатая формула, выражающая закон исключенного третьего (см. ниже), оказывается невыводимой в интуиционистском исчислении. Чтобы получить представление о выводе формул в исчислениях высказываний, выведем в интуиционистском исчислении формулу ù(А&ùА), выражающую закон противоречия. Применим правило подстановки к аксиомам 3 и 4, подставив в них формулу ùА вместо переменной В: ((А&ùА) É А), (1) ((А&ùА) É ùА). (2) Подставив затем в аксиому 10 формулу (А&ùА) вместо А, получим (((А&ùА) É В) É (((А&ùА) É ùВ) É ù(А&ùА))). (3) Подставив далее в формулу (3) формулу А вместо переменной В, получим (((А&ùА) É А) É (((А&ùА) É ùА) É ù(А&ùА))). (4) Применив к формулам (1) и (4) правило вывода заключений, получим (((А&ùА) É ùА) É ù(А&ùА)). (5) Применив, наконец, правило вывода заключений к формулам (2) и (5), получим формулу ù(А&ùА), которая, т. о., выводима в интуиционистском исчислении высказываний. Формальное различие двух исчислений высказываний отражает глубокое различие в их истолкованиях, различие, касающееся смысла логических переменных, т. е. самого понимания термина «высказывание». При общепринятом истолковании классические исчисления высказываний этот термин понимается примерно как «суждение» в смысле Аристотеля (см. Суждение). Предполагается, что высказывание непременно истинно или ложно. Подстановка произвольных высказываний, т. е. суждений, вместо логических переменных в формулу даёт некоторую логическую комбинацию этих суждений, рассматриваемую также как суждение. Истинность или ложность этого суждения определяется исключительно истинностью или ложностью суждений, подставляемых вместо логических переменных, согласно следующим определениям смысла логических связок. Суждение вида (Р&Q), называется конъюнкцией суждений Р и Q, есть суждение истинное, когда истинны оба эти суждения, и ложное, когда ложно хотя бы одно из них. Суждение вида (PQ), называется дизъюнкцией суждений Р и Q, есть суждение истинное, когда истинно хотя бы одно из этих суждений, и ложное, когда ложны оба. Суждение вида (Р É Q), называется импликацией суждений Р и Q, есть суждение ложное, когда истинно Р и ложно Q, и истинное во всех остальных случаях. Суждение вида ù Р, называется отрицанием суждения Р, есть суждение истинное, когда Р ложно, и ложное, когда Р истинно. Необходимо отметить, что, согласно данному выше определению, импликация не вполне совпадает по смыслу с житейским словоупотреблением связки «если..., то...». Однако в математике эта связка обычно применялась именно в смысле этого определения импликации. Доказывая теорему вида «если Р, то Q», где Р и Q суть некоторые математические суждения, математик делает предположение об истинности Р и тогда доказывает истинность Q. Он продолжает считать теорему верной, если впоследствии будет доказана ложность Р или истинность Q будет доказана и без предположения об истинности Р. Опровергнутой он считает эту теорему лишь тогда, когда установлена истинность Р и вместе с тем ложность Q. Всё это вполне согласуется с определением импликации (Р É Q). Необходимо также подчеркнуть принятое в математической Л. неисключающее понимание дизъюнкции. Дизъюнкция (РQ), по определению, истинна и в том случае, когда истинны оба суждения Р и Q. Формула ═называется классически общезначимой, если истинно всякое суждение, получаемое из ═в результате подстановок любых суждений вместо логических переменных. Классически общезначимой является, например, формула 1

   1. Её общезначимость есть не что иное, как закон исключенного третьего в следующей форме: «если одно из двух суждений есть отрицание другого, то хотя бы одно из них верно». Этот закон выражает основное свойство суждений: быть истинным или ложным. Обычную формулировку этого закона, включающую и закон противоречия, см. в ст. Исключенного третьего принцип.

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

      Иная трактовка логических переменных лежит в основе интуиционистского истолкования исчисления высказываний. Согласно этой трактовке, всякое математическое высказывание требует проведения некоторого математического построения с некоторыми заданными свойствами. Высказывание можно утверждать, коль скоро это построение выполнено. Конъюнкцию (А&В) двух высказываний А и В можно утверждать тогда и только тогда, когда можно утверждать как А, так и В.

      Дизъюнкцию (АВ) можно утверждать тогда и только тогда, когда можно утверждать хотя бы одно из высказываний А и В. Отрицание ùА высказывания А можно утверждать тогда и только тогда, когда у нас есть построение, приводящее к противоречию предположение о том, что построение, требуемое высказыванием А, выполнено. (При этом «приведение к противоречию» считается первоначальным понятием.) Импликацию (АÉВ) можно утверждать тогда и только тогда, когда мы располагаем таким построением, которое, будучи объединено с любым построением, требуемым высказыванием А, даёт построение, требуемое высказыванием В.

      Формула ═называется интуиционистски общезначимой тогда и только тогда, когда можно утверждать всякое высказывание, получаемое из ═в результате подстановки любых математических суждений вместо логических переменных; точнее говоря, в том случае, когда имеется общий метод, позволяющий при произвольной такой подстановке получать построение, требуемое результатом подстановки. При этом понятие общего метода интуиционисты также считают первоначальным.

      Формулы 1≈10 являются интуиционистски общезначимыми, тогда как формула 11, выражающая классический закон исключенного третьего, не является таковой.

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

      С методом формализации доказательств связано понятие формальной системы. Формальная система включает следующие элементы.

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

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

      Исчисление (см. выше), состоящее из формализованных аксиом и формальных правил вывода. При наличии семантики эти правила должны быть согласованы с ней, т. е. при применении к верным формулам давать верные формулы. Исчисление определяет выводы (см. выше) и выводимые формулы ≈ заключительные формулы выводов. Для выводов имеется распознающий алгоритм ≈ единый общий метод, с помощью которого для любой цепочки знаков, применяемых в исчислении, можно узнавать, является ли она выводом. Для выводимых формул распознающий алгоритм может быть и невозможен (примером является исчисление предикатов, см. Логика предикатов). Об исчислении говорят, что оно непротиворечиво, если в нём не выводима никакая формула ═вместе с формулой ù. Задача установления непротиворечивости применяемых в математике исчислений является одной из главных задач математической Л. Имея в виду охват той или иной содержательно определённой области математики, исчисление считают полным относительно этой области, если в нём выводима всякая формула, выражающая верное утверждение из этой области. Другое понятие полноты исчисления связано с требованием иметь для всякого утверждения, формулируемого в данном исчислении, либо его доказательство, либо его опровержение. Первостепенное значение в связи с этими понятиями имеет теорема Гёделя, утверждающая несовместимость требований полноты с требованием непротиворечивости для весьма широкого класса исчислений. Согласно теореме Гёделя, никакое непротиворечивое исчисление из этого класса не может быть полным относительно арифметики: для всякого такого исчисления может быть построено верное арифметическое утверждение, формализуемое, но не выводимое в исчислении. Эта теорема, не снижая значения математической Л. как мощного организующего средства в науке, убивает надежды на эту дисциплину как на нечто способное осуществить охват математики в рамках одной формальной системы. Надежды такого рода высказывались многими учёными, в том числе основоположником математического формализма Гильбертом. В 70-е гг. 20 в. получила развитие идея полуформальной системы. Полуформальная система ≈ это также система некоторых правил вывода. Однако некоторые из этих правил могут иметь существенно иной характер, чем правила вывода формальной системы. Они, например, могут допускать выведение новой формулы после того, как с помощью интуиции создалось убеждение в выводимости любой формулы такого-то вида. Сочетание этой идеи с идеей ступенчатого построения математической Л. лежит в основе одного из современных построений логики конструктивной математики. В приложениях математической Л. часто применяются исчисления предикатов ≈ классическое и интуиционистское. Математическая Л. органически связана с кибернетикой, в частности с математической теорией управляющих систем и математической лингвистикой. Приложения математической Л. к релейно-контактным схемам основаны на том, что всякая двухполюсная релейно-контактная схема в следующем смысле моделирует некоторую формулу ═классического исчисления высказываний. Если схема управляется n реле, то столько же различных пропозициональных переменных содержит, и если обозначить через i суждение «Реле номер i сработало», то цепь будет тогда и только тогда замкнута, когда будет верен результат подстановки суждений i вместо соответствующих логических переменных в. Построение такой моделируемой формулы, описывающей «условия работы» схемы, оказывается особенно простым для т. н. П-схем, получаемых из элементарных одноконтактных цепей путём параллельных и последовательных соединений. Это связано с тем, что параллельные и последовательные соединения цепей моделируют соответственно дизъюнкцию и конъюнкцию суждений. Действительно, цепь, полученная путём параллельного (последовательного) соединения цепей Ц1 и Ц2, тогда и только тогда замкнута, когда замкнута цепь Ц1 или (и) замкнута цепь Ц2. Применение исчисления высказываний к релейно-контактным схемам открыло плодотворный подход к важным проблемам современной техники. Это же применение обусловило постановку и частичное решение многих новых и трудных проблем математической Л., к числу которых в первую очередь относится т. н. проблема минимизации, состоящая в разыскании эффективных методов нахождения простейшей формулы, равносильной данной формуле. Релейно-контактные схемы являются частным случаем управляющих схем, применяемых в современных автоматах. Управляющие схемы иных типов, в частности схемы из электронных ламп или полупроводниковых элементов, имеющие ещё большее практическое значение, также могут быть разрабатываемы с помощью математической Л., которая доставляет адекватные средства как для анализа, так и для синтеза таких схем. Язык математической Л. оказался также применимым в теории программирования, создаваемой в связи с развитием машинной математики. Наконец, созданный математической Л. аппарат исчислений оказался применимым в математической лингвистике, изучающей язык математическими методами. А. А. Марков. Научные учреждения и издания. Преподавание и исследовательская работа по Л. являются неотъемлемой частью научной и культурной жизни большинства стран мира. В СССР научно-исследовательская работа в области Л. ведётся в основном в научно-исследовательских центрах Москвы, Ленинграда, Новосибирска, Киева, Кишинева, Риги, Вильнюса, Тбилиси, Еревана и др. городов отделениями математических институтов АН СССР и союзных республик, институтами философии, кафедрами Л. университетов и некоторых др. вузов. Публикации работ по Л. в СССР осуществляются: в непериодических изданиях в форме тематических сборников и монографий (в частности, начиная с 1959 в серии «Математическая логика и основания математики»), в непериодических изданиях «Трудов Математического института им. В. А. Стеклова АН СССР» (с 1931), в сборниках «Алгебра и логика» (Новосибирск, с 1962), в «Записках» научных семинаров по Л., в математических и философских журналах. В реферативном журнале «Математика» и в реферативных журналах института научной информации по общественным наукам АН СССР систематически освещаются работы советских и зарубежных авторов по Л. Из специальных зарубежных изданий, освещающих проблематику Л., наиболее известны: международная монографическая серия «Studies in Logic...» (Amst., с 1965) и журналы: «The Journal of Symbolic Logic» (Providence, с 1936); «Zeitschrift für mathematische Logik und Grundlagen der Mathematik» (В., с 1955); «Archiv für mathematische Logik und Grundlagenforschung» (Stuttg., с 1950); «Logique et analyse» (Louvain, с 1958); «Journal of philosophical logic» (Dordrecht, с 1972); «International logic review» (Bologna, с 1970); «Studia Logica» (Warsz., с 1953); «Notre Dame Journal of formal Logic» (Notre Dame, с 1960). Основную организационную работу, связанную с обменом научной информацией в области Л., осуществляет пользующаяся поддержкой ООН Ассоциация символической логики. Ассоциация организует международные конгрессы по Л., методологии и философии науки. Первый такой конгресс состоялся в 1960 в Станфорде (США), второй ≈ в 1964 в Иерусалиме, третий ≈ в 1967 в Амстердаме, четвёртый ≈ в 1971 в Бухаресте. З. А. Кузичева, М. М. Новосёлов. Лит.: Основные классические работы. Аристотель, Аналитики первая и: вторая, пер. с греч., М., 1952; Leibniz G. W., Fragmente zur Logik, В., 1960; Кант И., Логика, пер. с нем., П., 1915; Милль Дж. С., Система логики силлогистической и индуктивной, пер. с англ., 2 изд., М., 1914; De Morgan A., Formal logic or the calculus of inference, necessary and probable, L., 1847 (перепечатка, L., 1926); Boole G., The mathematical analysis of logic, being an essay toward a calculus of deductive reasoning, L. ≈ Camb., 1847 (перепечатка, N. Y., 1965); Schröder Е., Der Operationskreis des Logikkalkuls, Lpz., 1877; Frege G., Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle, 1879; Джевонс С., Основы науки, Трактат о логике и научном методе, пер. с англ., СПБ, 1881; Порецкий П. С., О способах решения логических равенств и об обратном способе математической логики, Казань, 1884; Whitehead A. N., Russell B., Principia mathematica, 2 ed., v. 1≈3, Camb., 1925≈27. История. Владиславлев М., Логика, СПБ, 1872 (см. «Приложение»); Троицкий М., Учебник логики с подробным указанием на историю и современное состояние этой науки в России и в других странах, т. 1≈3, М., 1885≈88; Яновская С. А., Основания математики и математическая логика, в кн.: Математика в СССР за тридцать лет, М. ≈ Л., 1948; её же, Математическая логика и основания математики, в кн.: Математика в СССР за сорок лет, т. 1, М., 1959; Попов П. С., История логики нового времени, М., 1960; Котарбиньский Т., Лекции по истории логики, Избр. произв., пер. с польск., М., 1963, с. 353≈606; Стяжкин Н. И., Формирование математической логики, М., 1967; Prantl К., Geschichte der Logik im Abendlande, Bd 1≈4, Lpz., 1855≈70; Bochenski I. М., Formale Logik, Münch., 1956; Minio Paluello L., Twelfth century logic. Texts and Studies, v. 1≈2, Roma, 1956≈58; Scholz Н., Abriss der Geschichte der Logik, Freiburg ≈ Münch., 1959; Lewis C. I., A survey of symbolic logic, N. Y., 1960; lørgensen J., A treatise of formal logic: Its evolution and main branches with its relation to mathematics and philosophy, v. 1≈3, N. Y., 1962; Kneale W., Kneale М., The development of logic, 2 ed., Oxf., 1964; Dumitriu A., Istoria logicii, Buc., 1969; Blanché R., La logique et son histoire. D"Aristote a Russell, P., 1971; Berka K., Kreiser L., Logik ≈ Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, B., 197

      1. Учебные курсы. Гильберт Д., Аккерман В., Основы теоретической логики, пер. с нем., М., 1947; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Новиков П. С., Элементы математической логики, М., 1959; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960; Гудстейн Р. Л., Математическая логика, пер. с англ., М., 1961; Гжегорчик А., Популярная логика. Общедоступный очерк логики предложений, пер. с польск., М., 1965; Мендельсон Э., Введение в математическую логику, пер. с англ., М., 1971; Марков А. А., О логике конструктивной математики, М., 197

         Некоторые монографии. Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Рейтинг А., Интуиционизм, пер. с англ., М., 1965; Карри Х. Б., Основания математической логики, пер. с англ., М., 1969; Hilbert D., Bernays P., Grundlagen der Mathematik, Bd 1≈2, В., 1934≈39; Markov A. A., Essai de construction d"une logique de la mathématique constructive, Brux., 1971.

         Энциклопедии и словари. Философская энциклопедия, т. 1≈5, М., 1960≈70; Кондаков Н. И., Логический словарь, М., 1971; Encyclopedia of Philosophy. v. 1≈8, N. Y., 1967; Mała encykiopedia Logiki, Wrocław ≈ Warsz. ≈ Krakόw, 1970.

         Библиография. Примаковский А. П., Библиография по логике. Хронологический указатель произведений по вопросам логики, изданных на русском языке в СССР в 18≈20 вв., М., 1955; Ивин А. А., Примаковский А. П., Зарубежная литература по проблемам логики (1960≈1966), «Вопросы философии», 1968, ╧ 2; Church A., A bibliography of symbolic logic, «The Journal of Symbolic Logic», 1936, v. 1, ╧ 4; его же, Additions and corrections to «A bibliography of symbolic logic», там же, 1938, v. 3, ╧ 4; Beth E. W., Symbolische Logik und Grundlegung der exakten Wissenschaften, Bern, 1948 (Bibliographische Einführung in das Studium der Philosophie, Bd 3); Brie G. A. de, Bibliographia Philosophica. 1934≈1945, Bd 1≈2, Brux., 1950≈54; Küng G., Bibliography of soviet works in the field of mathematical logic and the foundations of mathematics, from 1917≈1957, «Notre Dame Journal of Formal Locic», 1962, ╧ 3; Hänggi J., Bibliographie der Sovjetischen Logik, Bd 2, Winterthur, 1971.

Википедия

Логика (значения)

Логика :

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

Логика (рассказ)

«Логика» - научно-фантастический рассказ Айзека Азимова, написанный в 1941 году и впервые опубликованный в апреле 1942 года в журнале Astounding Science Fiction . Рассказ вошёл в авторские сборники: Я, Робот (I, Robot ) (1950), The Complete Robot (1982) и Robot Visions (1990). В рассказе действуют постоянные персонажи книг Азимова: Пауэлл (Powell ) и Донован (Donovan )

Примеры употребления слова логика в литературе.

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

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

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

Констатировать абсурд -- значит принять его, и вся логика Шестова направлена на то, чтобы выявить абсурд, освободить --41 дорогу безмерной надежде, которая из него следует.

Андрей потянул на себя гибкий заправочный шланг, соединил разъемы и, перекачивая кислород из баллона НЗ в набедренный баллон скафандра, старался припомнить, через сколько часов с момента полного отсутствия команд человека логика и автоматика десантного катера самостоятельно переводит все бортовые системы в режим полуконсервации: спустя триста десять или спустя пятьсот девяносто?

Стержнем работы с этой молодежью была современная алгебра, математическая логика и -теория алгоритмов.

Ни Кафку, ни Орвелла я тогда еще не читала, поэтому логики этих алогизмов еще не угадывала.

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

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

Сам он тоже был согласен с отцом Араго, но знал, что его не сможет удержать никакая логика .

Значит, им вредит огонь, - сделал вывод Аркан, продемонстрировав достойный пример безупречной логики .

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

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

В отличие от шизофрении, которая оперирует явно оторванными от реальности образами и обнаруживает отсутствие логики , аутизм, как отмечает Э.

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

ЛОГИКА КАК НАУКА

1. Предмет логики

2. Возникновение и развитие логики

3. Язык логики

4. Формы и законы мышления

1. Предмет логики

Ключевые слова: логика, мышление, чувственное познание, абстрактное мышление.

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

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

Нам известно, что первым уровнем выступает чувственное познание. Оно осуществляется на основе органов чувств, их осмысления и синтеза. Напомним основные формы чувственного познания:

1) ощущение;

2) восприятие;

3) представление.

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

а) понятие;

б) суждение;

в) умозаключение.

Прибегая к данным формам познания, человек руководствуется такими приемами как абстрагирование, обобщение, отвлечение от частного, выделение существенного, выведение нового знания из ранее известного и пр.

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

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

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

Значение логики в познании вытекает из возможностей выведения достоверного знания не только формально-логическим путем, но и диалектическим.

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

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

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

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

Задачи и упражнения

1. Один и тот же кубик, на гранях которого расположены цифры (0, 1, 4, 5, 6, 8), находится в трёх различных положениях.

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

2. Светлана, Лариса и Ирина изучают в вузе разные иностранные языки: немецкий, английский и испанский. На вопрос, какой язык изучает каждая из них, их подруга Марина робко ответила: «Светлана изучает английский, Лариса не изучает английский, а Ирина не изучает немецкий». Оказалось, что в этом ответе лишь одно утверждение является истинным, а два – ложным. Какой язык изучает каждая девушка?

3. Иванов, Петров, Степанов и Сидоров – жители г.Гродно. Их профессии – кассир, врач, инженер и милиционер. Иванов и Пертов – соседи, они всегда ездят на работу вместе на автомобиле. Петров старше Сидорова. Иванов всегда обыгрывает Степанова в шахматы. Кассир всегда ходит на работу пешком. Милиционер не живёт рядом с врачом. Инженер и милиционер встречались единственный раз, когда первый оштрафовал второго за нарушение правил дорожного движения. Милиционер старше врача и инженера. Кто есть кто?

4. Друзья-мушкетёры Атос, Портос, Арамис и д’Артаньян решили позабавиться перетягиванием каната. Портос с д’Артаньяном легко перетянули Атоса с Арамисом. Но когда Портос стал вместе с Атосом, то они одержали более трудную победу над д’Артаньяном и Арамисом. А когда Портос с Арамисом боролись против Атоса с д’Артаньяном, то никто не смог перетянуть канат. Как по силе распределяются мушкетёры?

Составьте логическую схему взаимосвязи уровней и форм познания.

2. Возникновение и развитие логики

Ключевые слова: дедукция, формальная логика, индуктивная логика, математическая логика, диалектическая логика.

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

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

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

Основоположником логики как науки, создателем формальной логики принято считать древнегреческого философа, античного ученого энциклопедического ума Аристотеля (384 – 322 гг. до н.э.). В книгах «Органона»: «Топика», «Аналитики», в «Герменевтике» и др. мыслитель разрабатывает важнейшие категории и законы мышления, создает теорию доказательства, формулирует систему дедуктивных умозаключений. Дедукция (лат.: выведение) позволяет выводить истинное знание о единичных явлениях, исходя из общих закономерностей. Аристотель впервые подвергает исследованию само мышление как активную субстанцию, форму познания и описывает условия, при которых оно адекватно отражает действительность. Логическую систему Аристотеля часто называют традиционной, поскольку в ней содержатся основные теоретические положения о формах, и приемах мыслительной деятельности. Учение Аристотеля включает в себя все основные разделы логики: понятие, суждение, умозаключение, законы логики, доказательство и опровержение. По глубине изложения и общезначимости проблематики его логику называют классической: пройдя испытания на истинность, она и сегодня сохраняет свою актуальность, оказывает мощное воздействие на научную традицию.

Развитие логического знания. Дальнейшим развитием античной логики стало учение философов-стоиков, которые вместе с философско-этической проблематикой логику считают «проистечением мирового логоса», его земной, человеческой формой. Стоики Зенон (333 – 262 гг. до н.э.), Хрисипп (ок.281 – 205 до н.э.) и др. дополняют логику системой высказываний (пропозиций) и выводов из них предложили схемы умозаключений на основе сложных суждений, обогатили категориальный аппарат и язык науки. К этому времени (3 в. До н.э.) относится возникновение самого термина «логика». Логическое знание преподносилось стоиками несколько шире классического воплощения. Оно соединило в себе учение о формах и операциях мышления, искусство ведения дискуссии (диалектика), мастерство публичных выступлений (риторика) и учение о языке.

В Новое время в период широкого распространения в Европе естественнонаучного знания (механика, география и т. Д.) возникают потребности в дополнении системы дедуктивных умозаключений принципами индуктивного мышления. Накопленный эмпирический, фактический материал, частные случаи из практики и жизни путем сравнений и обобщений оказалось возможным построить так, что они приведут к истинным суждениям общего характера. Знание о единичных вещах может «навести» (лат.: inductio) на мысль о наличии общих закономерностей их существования. Это свойство мышления как научную закономерность в противоположность схоластическим рассуждениям отметил в своем труде «Новый Органон или Истинные указания для истолкования природы» английский философ и естествоиспытатель Фрэнсис Бэкон (1561 – 1626). Он выступил, таким образом, родоначальником индуктивной логики

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

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

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

В ХIХ в. символическая логика становится наиболее привлекательной сферой логического знания. Среди наиболее известных представителей математической логики выделяется английский математик Д. Буль (1815 – 1864). В работах «Математический анализ логики» и «Исследование законов мышления» он закладывает основы алгебраических исчислений конкретных элементов (классов) как отношений (операций). Буль стремился перевести на язык знаков отношения между идеями, объектами и абстрактными системами. Булева алгебра – это решение логических задач путем использования трех операций: а) сложение классов (А U В), умножение классов (А ∩ В), и дополнение к классу (А′). Алгебра Буля была применима и в прикладных случаях, например, при интерпретациях конкретно-релейных схем, в исчислениях при программировании в ЭВМ и т.д.

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

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

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

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

В отличие от формальной, логика диалектическая своим предметом имеет исследование возникновения и развития фрагментов действительности, в том числе и логических форм и законов. Это – познание развивающегося мышления. В основе логики диалектической находится ряд принципов: а) принцип развития, б) принцип историзма, в) принцип всесторонности, г) принцип конкретности и др. Центральным понятием диалектической логики является диалектическое противоречие.

Диалектическая логика, накапливая и обобщая свое знание в течение всего периода развития логики, в систематизированном виде была изложена в немецкой классической философии. В работах И. Канта (1724 – 1804) «Критика чистого разума» и «Критика способности суждения» проведено обоснование трансцендентальной логики, определяющей происхождение, содержание и объективную значимость априорных знаний. В философии Гегеля (1770 – 1831) нашла свое завершение объективно-идеалистическая система диалектической логики как всеобщей формы самопознания и саморазвития понятия. В работе «Наука логики» он не только подвергает критике формально-логические законы мышления как «неонтологические», но и обосновывает принципиально иное содержание логических знания – законов, понятий и умозаключений, в основе которых находится диалектика мышления объективного духа.

Новый этап в понимании диалектической логики связан с именами К. Маркса (1818 – 1883) и Ф. Энгельса (1820 – 1895). В работах Ф. Энгельса «Анти-Дюринг», «Диалектика природы», К. Маркса «Капитал» и др. толкование развивающихся форм основывается не на изначальности «саморазвивающегося понятия», а на обнаружении диалектических изменений в самом объективном (материальном) мире. Природа и общество, с их точки зрения, являются основанием для понимания законов диалектического мышления. В марксистской диалектике с материалистических позиций формулируются три важнейших закона диалектики (закон единства и борьбы противоположностей, закон взаимного превращения количественных и качественных изменений, закон отрицания отрицания), основные принципы и категории материалистической диалектики.

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

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

Задачи и упражнения

1. Пользуясь математической последовательностью действий, раскройте секрет угадывания чисел. Задумайте любое число, отнимите от него 1, результат умножьте на 2, из полученного произведения отнимите задуманное число и сообщите результат. Как отгадать задуманное товарищем число?

2. Как отмерить 6 литров воды, если имеются ёмкости 9 литров и 4 литра:

3. В античной риторике была разработана схема построения выступления, состоящая их пяти важнейших этапов. Расположите их в логической последовательности:

произношение, словесное оформление, изобретение, план, запоминание.

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

3. Язык логики

Ключевые слова: язык, семиотика, семантические категории, искусственный язык, термин.

Язык как знаковая система. Предмет логики – законы и формы мышления. Мышление – идеальная реальность. Все, происходящее в сознании человека, не поддается непосредственному опредмечиванию, материализации. Оно не может быть изучено адекватно без подключения специальных средств выражения мысли. Мы часто задаем вопрос: с помощью каких процессов возможно познание мыслительной деятельности человека? Это, в первую очередь, и в конечном итоге – через язык и посредством языка. Мышление человека реализуется в неразрывной связи с языком, речью, передается другим с помощью языковых выражений. Вот почему логика исследует мышление, опираясь на его конкретную фиксацию в языке.

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

В исследовании языковых выражений мысли логика видит свою одну из основных и непосредственных задач. Изучением языка как знаковой системы занимается семиотика, выявляющая специфику его построения и употребления. Один из ее разделов – синтаксис – анализирует специфику, структуру, способы образования и преобразования языка, отношений между знаками системы. Например, отношения равенства (3 + 2 = 5), отношения следования («Cogitoergosum»), отношения доказательства (доказательство теоремы Пифагора) и пр.

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

Существует еще один тип отношений, без которого немыслимо ни построение языка, ни его практическая реализация. Это – семантическое отношение: отношение между знаками системы и обозначаемыми ими объектами, предметом и его именем (теория референции), отношение знаков и содержания ими замещаемого, смыслового выражения языка (теория смысла). Этот раздел называется семантикой. Семантические категории обозначают такой класс языковых смыслов и референций, который сохраняет свою осмысленность при замене одного знака другим. Например, высказывание 3 + 2 = 5 остается осмысленным при замене знака «2» на знак «3», или, скажем, если знак «+» заменить на знак «-». Теряя при этом истинность, оно останется семантически определенным. В языке традиционной логики существует три общих класса семантических категорий: имя, функтор, высказывание.

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

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

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

Имя – слово или словосочетание, обозначающее какой-либо определенный предмет мысли. Под предметом понимаются различные вещи, процессы, отношения и т.д. Например, человек, гуманизм, деятельность и т.д. Имена разделяются на:

а) простые и сложные (описательные): например, соответственно - земля и столица Республики Беларусь);

б) единичные (собственные) и общие (например, соответственно - Василь Быков и закон).

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

Высказывание – языковое выражение, содержащее истинную либо ложную мысль. Например, «Наполеон был императором Франции». Это – грамматически правильное, семантически определенное, четко сформулированное, завершенное повествовательное предложение. Например, «Простые числа делятся на два типа». Высказывание бывает истинным либо ложным. Это его логические значения. Например, высказывание «Солнце размерами больше Марса» является истинным, однако перестановка местами имен в этом высказывании приведет к ложному значению.

Выражение, служащее в высказывании средством образования новых осмысленных высказываний, называется функтором. Функтор не является ни именем, ни высказыванием. Это – служебное языковое образование, посредством которого так называемые аргументы образуют новое высказывание. Например, Если а = в, то 2а = 2в, 2 + 3 = 5. В этих примерах функторами выступают знаки математических связей: «=» и «+». Функторы бывают одноаргументными (Лес зазеленел), двухаргументными («Подлость опаснее лжи», 3 + 4 и т.д.). В традиционной логике двухаргументные функторы часто называют логическими союзами (логическими связками).

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

Именная функция – выражение, которое содержит переменные, превращающиеся в имя при подстановке вместо них соответствующих аргументов. Примерами именной функции могут быть выражения «космонавт х», «брат у». То есть, при замене переменных х и у данные выражения превращаются в обозначение предмета, название, именование вещи и пр.

Пропозициональная функция выражает собой форму высказывания, в которой при подстановке вместо переменных соответствующих значений образуется семантически определенное высказывание. Например, х больше у, х открыл закон прибавочной стоимости. Пропозициональная функция, аргументы которой – имена, называется предикатом. Например, R является президентом фирмы. Предикат, обозначающий свойство предмета и имеющий одну переменную – имя, называется одноместным предикатом (А обозначает качество). Двух (n - местные) предикаты, располагая двумя и более количеством переменных обозначают отношения между именами – переменными: «а любит в», «а находится между в и с» и пр.

В логике существует потребность выражать различные степени связывания переменных посредством так называемых операторов. Наиболее распространенными операторами являются а) квантор общности, констатирующий наличие свойства, качества, отношения, присущие всему классу явлений по принципу «для всякого х истинно, что…». К примеру, такой квантор содержит высказывание «Всякий предмет тебе разъяснят философские книги» (Гораций). б) квантор существования, обозначающий распространенность тех или иных свойств или отношений на некоторую часть из всего класса явлений. Например, фраза «Существует внутреннее мужество – мужество совести» (С. Смайлс) содержит квантор существования. Формулой квантора существования является выражение: «существует х, для которого…».

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

1) имя - А, В, С и т.д.;

2) функторы (логические константы) –

Ú - «или»;

® - «если, то»;

« - «тогда и только тогда, когда»;

ù , ¯¯¯ - «неверно, что»;

- «необходимо» ;

à - «возможно»,

3) предметные переменные – а, в, с;

4) пропозициональные переменные – p, q, r, s;

5) именная функция - а (х);

6) пропозициональная функция - х Р(х);

7) предикатор - P, Q, R; одноместный предикат - Р (х): (х имеет свойство Р); двухместный предикат Р (х; у): (х и у имеют отношение к Р);

8) скобки - (;);

9) квантор общности - " х (для всякого х верно, что…);

10) квантор существования - $ х (существует х, для которого верно, что…).

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

Задачи и упражнения

1. Вставьте пропущенные цифры и буквы в пустые квадраты, используя скрытые последовательности цифр и букв.

3. Составьте языковые выражения, отражающие:

а) отношение доказательства; б) отношение следования, в) осмысленное, но ложное высказывание; г) именную функцию; д) квантификацию существования.

4. Проведите сравнительную характеристику формализованного и естественного языков логики.

5. Преобразуйте пропозициональные и именные функции в истинные высказывания: а) х причина у; б) х – простое число; в) А – город в Беларуси; г) Х – автор романа «У»; д) между а и в расположено с; е) если р то q.

4. Формы и законы мышления

Ключевые слова: форма мысли, логический закон, логическое следование.

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

Выделяя характерные признаки предмета, а также на основании общих признаков, присущих многим предметам, в мышлении тем самым образуется понятие о предмете, о его классификационных, существенных признаках, одновременно, отличающих его от признаков предметов другого класса. Таким образом, различная связь четко обозначенных, перечисленных признаков предмета (класса предметов) выражается в форме понятия. Понятие квадрата, например, включает в себя следующие признаки: геометрическая фигура, четырёхугольник, все стороны равны, все углы имеют 90 градусов.

Форма мышления, устанавливающая качественные и количественные отношения между предметами мысли и фиксирующая их в виде утверждений либо отрицаний называется суждением. Так, например, отношение человека к благам посредством производственной деятельности может быть выражено в суждении «Человек в процессе трудовой деятельности создает материальные и духовные блага». Суждения, различные по содержанию, по эмоционально-оценочным и прочим аспектам, всегда можно свести к единой унифицированной форме (структуре) мысли. Способ соединения всех его частей с точки зрения формальной логики будет одинаков. Если мы обозначим понятия, входящие в структуру суждения, знаками S (субъект мысли), т. е. то, о чем (о ком) идет рассуждение) и Р (предикат – констатация, выражение признаков либо свойств обозначенного субъекта (S)). Если способ их связи мы представим в виде логической связки «есть» (является, значит и т. п.), то получим логическую форму, общую для любых суждений: S - Р (Все S суть Р). К примеру, структура высказываний: «Всякий человек достоин счастья», «Река – водная артерия земли» и «Сумма углов треугольника равняется 180 градусам» в принципе одинакова, несмотря на их содержательную, смысловую полифонию. В них можно выделить S(человек, река, сумма углов треугольника), Р (достоин счастья, водная артерия земли, 180 градусов) и утвердительную логическую связку, в данных примерах подразумевающуюся, но лингвистически невыраженную.

Более сложной формой мышления, приводящей к установлению нового знания, благодаря тому или иному способу соединения предыдущих суждений-оснований, выступает умозаключение. В этом случае устанавливается четкая однозначная логическая связь между суждениями-основаниями (посылками), соблюдение которой приводит всегда к новому истинному выводу-следствию. Например, какое знание можно получить, располагая двумя суждениями (предложениями): «Всякое научное знание имеет свой предмет изучения» и «Культурология является научным знанием»? Заключение (вывод) здесь очевидно – «Культурология имеет свой предмет изучения». Какие бы высказывания не подставлялись в структуру такого правильного рассуждения, если посылки истинны, соблюдены правила вывода, значит и заключение (новое знание) также будет истинным.

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

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

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

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

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

Законы логики следует разделять на 1) формально-логические и 2) диалектические. Первые отражают формальную правильность рассуждений, вторые – закономерности объективно изменяющейся реальности. Формально-логические законы утверждают, что правильно построенная схема мыслей является необходимым условием для истинности выводов. В противном случае, если не соблюдается это правило, то ложный вывод (неистинное следствие) возможен даже из истинных суждений.

Основными формально-логическими законами считаются:

1. закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе. ((р → р): если р, то р). «Всякий человек – это человек», «Duralex, sedlex» (суров закон, но закон).

2. закон непротиворечия: из двух несовместимых друг с другом суждений одно является ложным.ù(р Ùùр): (неверно, что р и не-р). Т. е. не может быть одновременно ложными две мысли, если одна из них отрицает другую. Причем, речь идет об одном и том же предмете мыслимом в одно и то же время и в конкретном отношении. « Некоторые ученые хотят быть признанными» и «Некоторые ученые не хотят быть признанными».

3. закон исключенного третьего: истинно либо само высказывание, либо его отрицание: (р Úùр): (р или не-р). «Некоторые студенты первого курса связаны с экономической деятельностью. Ни один студент первого курса не связан с экономической деятельностью». Т. е. одновременно истинным не могут быть два противоречивых высказывания, одно из них обязательно ложно. Третьего варианта не дано. Снег бел, либо не бел.

4. закон достаточного основания: мысль является истинной, если она имеет достаточное для этого основание. (р → q); (р есть потому, что есть q). Доказанность мысли наступает лишь тогда, когда она опирается на обоснованные, существенные, основополагающие аргументы. Вот один из примеров: «Для того чтобы треугольник был равносторонним необходимо и достаточно, чтобы все его углы были равны».

Законы мышления – это проявление так называемого логического следования. Логическим следованием называется мыслительное отношение, которое существует между посылками (суждениями) и выводимыми из них заключениями (выводами). Логическое следование выступает своеобразной моделью построения мысли по принципу: когда из нашего высказывания р логически следует высказывание q и это высказывание истинно как р → q, то на этом основании новое высказывание ùq → ùp также будет истинным. То есть, истинность высказывания р → q, гарантирует истинность высказывания ùq → ùр. Основным принципом логического следования является утверждение о том, что правильность более общей схемы гарантирует правильность менее общей схемы, но не наоборот.

Задачи и упражнения

1. Приведите примеры основных логических форм мышления из выбранной вами профессиональной деятельности:

а) понятие; б) суждение; в) умозаключение.

2. Являются ли следующие высказывания проявлением законов логики:

а) достаточного основания: «У человека повышена температура тела, следовательно, он заболел», «Данная мысль построена правильно, поэтому она истинна»;

б) исключенного третьего: «Все студенты изучают логику или ни один из студентов не изучает логику», «Постановление суда является законным или не является таковым»?

Логика. Учебное пособие Гусев Дмитрий Алексеевич

Введение, Или что такое логика и зачем она нужна?

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

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

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

Для пояснения этой мысли приведем простой пример. Рассмотрим три совершенно различных по содержанию высказывания:

1. Все караси – это рыбы;

2. Все треугольники – это геометрические фигуры;

3. Все стулья – это предметы мебели.

Несмотря на различное содержание, у этих трех высказываний есть нечто общее, что-то их объединяет. Что? Их объединяет не содержание, а форма. Отличаясь по содержанию, они сходны по форме: ведь каждое из этих трех высказываний строится по схеме или по форме – «Все А – это В» , где А и В – это какие-либо предметы. Понятно, что само высказывание «Все А – это В» лишено всякого содержания (О чем конкретно оно говорит? Ни о чем!). Это высказывание представляет собой чистую форму, которую, как вы догадываетесь, можно наполнить любым содержанием, например: Все сосны – это деревья; Все города – это населенные пункты; Все школы – это учебные заведения; Все тигры – это хищники и т. д. и т. п.

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

1. Если наступает осень, то опадают листья;

2. Если завтра будет дождь, то на улице будут стоять лужи;

3. Если вещество – металл, то оно электропроводно.

Будучи непохожими друг на друга по содержанию, эти три высказывания сходны между собой тем, что строятся по одной и той же форме: «Если А, то В» . Понятно, что к этой форме можно подобрать огромное количество различных содержательных высказываний, например: Если не подготовиться к контрольной работе, то можно получить двойку; Если взлетная полоса покрыта льдом, то самолеты не могут взлетать; Если слово стоит в начале предложения, то его надо писать с большой буквы и т. д. и т. п.

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

Таким образом, форма мышления – это способ, которым мы выражаем наши мысли, или схема, по которой они строятся. Существует три формы мышления.

1. Понятие – это форма мышления, которая обозначает какой-либо объект или признак объекта (примеры понятий: карандаш, растение, небесное тело, химический элемент, мужество, глупость, нерадивость и т. п.).

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

3. Умозаключение – это форма мышления, в которой из двух или нескольких исходных суждений вытекает новое суждение или вывод. Примеры умозаключений:

Все планеты движутся.

Юпитер – это планета.

Юпитер движется.

Железо электропроводно.

Медь электропроводна.

Ртуть электропроводна.

Железо, медь, ртуть – это металлы.

Все металлы электропроводны.

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

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

1. Закон тождества.

2. Закон противоречия.

3. Закон исключенного третьего.

4. Закон достаточного основания.

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

Итак, логика – это наука о формах и законах правильного мышления.

Логика появилась приблизительно в V в. до н. э. в Древней Греции. Ее создателем считается знаменитый древнегреческий философ и ученый Аристотель (384–322 гг. до н. э.). Как видим, логике 2,5 тысячи лет, однако она до сих пор сохраняет свое практическое значение. Многие науки и искусства Древнего мира навсегда ушли в прошлое и представляют для нас только «музейное» значение, интересны нам исключительно как памятники старины. Но некоторые немногие создания древних пережили века, и в настоящее время мы продолжаем ими пользоваться. К их числу относится геометрия Евклида (в школе мы изучаем именно ее) и логика Аристотеля, которая также часто называется традиционной логикой.

В XIX веке появилась и стала быстро развиваться символическая или математическая, или современная логика , в основе которой лежат идеи, выдвинутые задолго до Х1Х в. немецким математиком и философом Готфридом Лейбницем (1646–1716 гг.), об осуществлении полного перехода к идеальной (т. е. совершенно освобожденной от содержания) логической форме при помощи универсального символического языка, аналогичного языку алгебры. Лейбниц говорил о возможности представить доказательство как математическое вычисление. Ирландский логик и математик Джордж Буль (1815–1864 гг.) истолковал умозаключение как результат решения логических равенств, в результате чего теория умозаключений приняла вид своеобразной алгебры, отличающейся от обычной алгебры лишь отсутствием численных коэффициентов и степеней. Таким образом, одно из основных отличий символической логики от традиционной заключается в том, что в последней при описании правильного мышления используется обычный, или естественный язык; а символическая логика исследует тот же предмет (правильное мышление) с помощью построения искусственных, специальных, формализованных языков, или, как их еще называют, исчислений.

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

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

Движение вечно.

Хождение в школу – это движение.

Следовательно, хождение в школу вечно.

Каждый заметит, что ложный вывод получается из-за употребления слова «движение» в разных смыслах (в первом исходном суждении оно употребляется в широком, философском смысле, а во втором – в узком, механическом смысле). Однако найти ошибку в рассуждении не всегда просто. Рассмотрим такой пример:

Все мои друзья знают английский язык.

Нынешний президент Америки тоже знает английский язык.

Следовательно, нынешний президент Америки – мой друг.

Любой человек увидит, что в этом рассуждении есть какой-то подвох, что-то в нем не то или не так. Но что? Тот, кто не знаком с логикой, скорее всего, не сможет точно определить, какая ошибка здесь допущена. Тот, кто знаком с логикой сразу же скажет, что в данном случае допущена ошибка – «нераспределенность среднего термина в простом силлогизме». Или такой пример:

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

Петербург не находится за полярным кругом.

Следовательно, в Петербурге не бывает белых ночей.

Как видим, из двух истинных суждений вытекает ложный вывод. Понятно, что в этом рассуждении тоже что-то не то, есть некая ошибка. Но какая? Вряд ли не знакомый с логикой человек сможет сразу же ее найти. А тот, кто владеет логической культурой, немедленно установит данную ошибку – «расширение большего термина в простом силлогизме».

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

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

Здравый смысл часто называют практической, или интуитивной логикой. Она формируется стихийно в процессе жизненного опыта, примерно к 6–7 годам, т. е. к школьному возрасту или даже раньше, и все мы ей владеем. Так, например, само слово «логика» , скорее всего, было знакомо вам задолго до того, как вы начали читать эту книгу. В жизни мы часто сталкиваемся с такими выражениями, как «логичное рассуждение», «нелогичный поступок», «железная логика» и т. п. Даже если мы никогда не изучали логику, то все равно вполне понимаем, о чем идет речь, когда говорят о логике, логичном или нелогичном.

Рассмотрим такой пример: любой человек, не знакомый с логикой, заметит логическую некорректность и даже нелепость высказывания: Я иду в новых брюках, а ты идешь в гимназию. И каждый скажет, что корректным и осмысленным было бы такое высказывание: Я иду в брюках, а ты идешь в шортах или: Я иду в гимназию, а ты идешь в лицей. Когда мы изучаем логику, то узнаем, что в приведенном примере нарушается логический закон тождества, так как в нем смешиваются две различные (неравные или нетождественные друг другу) ситуации: идти в какой-то одежде и идти куда-то. Получается, что еще до знакомства с законом тождества мы уже им практически пользуемся, знаем о нем, только неявно, интуитивно. Точно так же закон тождества нарушается в высказывании: Сегодня будем копать траншею от этого столба и до обеда . Даже если человек ничего не знает о законе тождества и о его разнообразных и многочисленных нарушениях, он, тем не менее, обязательно обратит внимание на то, что в данном высказывании присутствует какая-то логическая ошибка (хотя бы он и не мог определить, какая именно).

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

Наконец, в повседневной жизни каждый из нас часто слышит и сам употребляет такие выражения, как: Почему я должен тебе верить? Чем ты это докажешь? На каком основании? Обоснуй! Мотивируй! и т. п. Когда мы так говорим, то используем логический закон достаточного основания. Тот, кто не изучал логику, скорее всего, не знаком с этим законом и ничего о нем не слышал. Однако, как видим, незнание данного логического закона не мешает нам практически, или интуитивно им пользоваться.

Данные примеры свидетельствуют в пользу того, что все люди владеют логикой, независимо от того, изучали они ее или нет. Таким образом, мы практически используем логику задолго до того, как начинаем ее теоретически изучать Возникает вопрос: зачем нужно изучать логику, если мы и так ей владеем?

Отвечая на этот вопрос, можно отметить, что то же самое происходит с родным языком: практически мы начинаем им пользоваться в 2,5–3 года своей жизни, а изучать его начинаем только со школьного возраста. Для чего же мы изучаем родной язык в школе, если задолго до нее и так хорошо им владеем? В 2,5–3 года мы пользуемся языком интуитивно, или бессознательно: практически владея им, мы ничего не знаем не только о склонениях и спряжениях, но также – о словах и буквах и даже – о самом факте того, что в жизни мы постоянно используем язык. Обо всем этом мы узнаем только тогда, когда начинаем изучать его в школьном (или старшем дошкольном) возрасте, в результате чего наше интуитивное использование языка постепенно превращается в осознанное – мы начинаем владеть им намного лучше.

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