§ 3. ИЗ ИСТОРИИ ЛОГИКИ

Формальная логика — одна из самых древних наук. Она начала разрабатываться в Древней Греции в VI—V вв. до н.э. Немного позже фрагменты логической науки возникли независимо в Древней Индии, где первыми логиками были Даттария Пунарваса Атрея, женщина-аскет Сулабху и Аштвакра. Греческая логика распространилась позднее в Западной и Восточной Европе и на Ближнем Востоке, а индийская — в Китае, Японии, Тибете, Монголии, на Цейлоне и в Индонезии.

Первоначально логика разрабатывалась в связи с запросами практики судопроизводства и ораторского искусства. Связь логики с этими сферами человеческой деятельности прослеживается в Древней Индии, Древней Греции и Риме. Так, в общественной жизни Древней Индии в период, когда проявился интерес к логике, дискуссии были постоянным явлением. Об этом пишет известный русский востоковед академик В. Васильев: «Если явится кто-нибудь и станет проповедовать совершенно неизвестные дотоле идеи, их не будут чуждаться и преследовать без всякого суда: напротив, охотно будут признавать их, если проповедник этих идей удовлетворит всем возражениям и опровергнет старые теории. Воздвигали арену состязания, выбирали судей и при споре присутствовали постоянно цари, вельможи и народ; определяли заранее, независимо от царской награды, какой должен был быть результат спора. Если спорили только два лица, то иногда побежденный должен был лишать себя жизни — бросаться в реку или со скалы, или сделаться рабом победителя; перейти в его веру. Если то было лицо, пользовавшееся уважением, например, достигшее звания вроде государева учителя и, следовательно, обладавшее огромным состоянием, то имущество его отдавалось часто бедняку в лохмотьях, который сумел его оспорить. Понятно, что эти выгоды были большой приманкой для того, чтобы направить честолюбие индийцев в эту сторону. Но всего чаще мы видим (особливо впоследствии), что спор не ограничивался личностями, в нем принимали участие целые монастыри, которые вследствие неудачи могли исчезнуть вдруг после продолжительного существования. Как видно, право красноречия и логических доказательств было до такой степени неоспоримо в Индии, что никто не смел уклониться от вызова на спор”.

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

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

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

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

После Аристотеля в Древней Греции логика разрабатывалась стоиками (IV—II вв. до н.э.). Значительный вклад в латинскую логическую терминологию внесли древнеримский судебный и политический оратор М.Т.Цицерон (106—44 гг. до н.э.) и древнеримский теоретик ораторского искусства и оратор М.Ф.Квинтилиан (ок. 35 — ок. 96 г. н.э.).

Логика развивалась в эпоху Возрождения и Новое время. В 1620 г. в Лондоне был опубликован написанный известным философом Френсисом Бэконом (1561—1626) «Новый Органон”, в котором содержались основы индуктивных методов, усовершенствованных позже Джоном Стюартом Миллем (1806—1873) и получившие название методов установления причинных связей между явлениями (методов Бэкона-Милля).

В 1662 г. в Париже был издан ставший знаменитым учебник «Логика Пор-Рояля”. В 1991 г. переведён на русский язык. Его авторы П.Николь и А.Арно создали логическое учение, основанное на методологических принципах известного философа Р.Декарта (1596-1650).

Логика, основанная на учении Аристотеля, во многом дополненная и развитая, существовала до начала XX в. В начале XX в. в логике произошла своеобразная научная революция, связанная с широким применением методов так называемой символической, или математической, логики. Идеи последней высказаны немецким ученым Г.В.Лейбницем (1646—1716): «Единственное средство улучшить наши умозаключения — сделать их, как и у математиков, наглядными, так, чтобы свои ошибки находить глазами, и, если среди людей возникнет спор, нужно сказать: «Посчитаем!”, тогда без особых формальностей можно будет увидеть, кто прав”.

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

Таким образом, к началу текущего столетия символическая логика оформилась в качестве относительно самостоятельной дисциплины в рамках логической науки. Первым капитальным трудом по символической логике была работа Б.Рассела и А.Уайтхеда «Principia mathematica” (3 тома), вышедшая в 1910—1913 гг. Применение методов символической логики к решению проблем, поставленных традиционной логикой, а также проблем, которые даже не могли быть ею поставлены, вызвало в начале XX в. революцию в логике. Именно использование методов символической логики отличает логику современную от традиционной. Вместе с тем в современной логике сохраняются все достижения и вся проблематика традиционной логики.

Диалектическая логика также имеет древнее происхождение. Идеи диалектики мышления восходят к древневосточной и античной философии. Основные категории диалектической логики использовались уже в ранней греческой классике (VI—V вв. до н.э.), однако, они не были объединены в систему, и диалектическая логика была далека от выделения в самостоятельную науку. В развитие диалектической логики внесли определенный вклад Платон и Аристотель, отдельные идеи этой логики высказывались средневековыми философами. Классические формы диалектической логике придали немецкие философы Нового времени: Кант, Фихте, Шеллинг и, в особенности, Гегель. Диалектическая логика Гегеля является систематическим учением, созданным с позиции объективного идеализма.

Диалектическую логику на материалистической основе разрабатывали К.Маркс, Ф.Энгельс и В.И.Ленин. Дальнейшее развитие она получила в трудах современных философов.

Контрольные вопросы

1. Каковы основные черты абстрактного мышления? 2. Что собой представляет форма мысли и как она появляется? 3. Понятие и способы выявления закономерной связи между мыслями. 4. Что изучает формальная логика? 5. В чём различие между логикой традиционной и современной?

Поделитесь на страничке

Следующая глава >

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

Можно ли записать логику?

Джордж Буль (1815-1864) считается основоположником математической логики как самостоятельной дисциплины. Благодаря его работам логика «перестала зависеть от породившего её естественного языка» , обрела свой алфавит, свою орфографию и свою грамматику. Появилась возможность не только устно её выражать, но и записывать на бумаге в виде символов, формул, а также преобразовывать по чётко сформулированным правилам.

Главные работы на эту тему:

«Математический анализ логики» (1847) – С неё начались размышления о логике не «извне», а «изнутри».

«Логическое исчисление» (1848).

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

«A true idea ought to agree with its own object», что дословно переводится как «истинная идея должна согласовываться со своим собственным объектом».

«Things which have nothing in common cannot be understood by means of each other; or the conception of the one does not involve the conception of the other» – «Вещи, которые не имеют ничего общего, не могут быть поняты посредством друг друга; или понятие одного не включает в себя понятие другого».

Дж. Буль создал новый вид алгебры. Сейчас её так и называют — «булева алгебра», а формулировка «булева переменная» вошла в обиход программистов, операторов и многих пользователей ЭВМ. В современности его исследования относят к области кибернетики.

Логические правила

Работу Буля высоко оценил английский математик Огастес де Морган (1806-1871). Он хотел также сблизить математику и логику. Его главные работы на данную тему:

«Формальная логика или исчисление выводов необходимых и возможных» (1847) – В ней были изложены элементы логики высказываний и логики классов, дана первая развитая система алгебры отношений. При чём некоторые положения из неё даже опередили Дж. Буля.

«Тригонометрия и двойная алгебра» (1849) – Благодаря идее символической алгебры на исчисление комплексных величин они, в свою очередь, были строго обоснованы не только геометрически, но и алгебраически.

«Бюджет парадоксов» (1872).

«Заметки о вероятностях и об их применимости к исследованию рисков для жизни и работе страховых компаний» (1838) – Первое изображение нормального распределения вероятностей.

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

Убеждение, значение, истина и реальность, а не индивидуальное сознание

С 1867 года начали публиковаться работы Чарльза Сандерс Пирса (1839-1914) по логике. А уже в 1876-1878 годах были опубликованы две его популярных статьи: «Закрепление верования» и «Как сделать ясными наши идеи», в которых были описаны идеи, составившие ядра прагматизма и семиотики. В настоящее время благодаря этим работам он считается отцом (основоположником) этого учения.

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

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

Сводимость математики к логике

Фреге Готтлоб (1848-1925) также относится к основоположникам современной математизированной логики. Как комментировали Б. В. Бирюкова и З. А. Кузичева: главный замысел в его работах – подвести под математику (исключая геометрию) строгий логический базис. Он следовал Лейбницевой установке на логизацию науки, а также частично принимал учения Иммануила Канта о природе математики и её суждений, вне зависимости от опыта.

Революционный вклад в логику и философию языка внесло его сочинение «Исчисление понятий» (1879). Можно сказать, что он изобрёл и аксиоматизировал логику предикатов. Что, в свою очередь, позволило решить средневековую проблему множественной общности. А также определил различия между значением и смыслом – ввёл понятие семантического треугольника (треугольника Фреге).

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

Список использованных источников:

Бирюков Б. В. Жар холодных чисел и пафос бесстрастной логики.

Буль Дж. Исследование законов мышления. – London: Walter and Maberly, Cambridge: MacMillan and Co 1854.-424с., с.

Пирс Ч.С. – Начала прагматизма. Том 2. Логические основания теории знаков. – СПб.: Лаборатория метафизических исследований философского факультета СПбГУ; Алетейя, 2000. – 352с.

Фреге Г. Логика и логическая семантика: Сборник трудов. – М.: Аспект Пресс, 2000.-512с., с.

Амосова Виктория, писатель

Редактор: Чекардина Елизавета Юрьевна

§ 5. ИСТОРИЯ ЛОГИКИ (КРАТКИЙ ОЧЕРК)

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

Важным этапом в развитии учения Аристотеля явилась логика античных стоиков (Зенон, Хрисипп и др.), дополнившая аристотелевскую теорию силлогизма описанием сложных умозаключений. Логика стоиков — основа другого направления математической логики: логики высказываний.

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

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

Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф. Бэконом (1561—1626). Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж. С. Миллем (1806—1873).

Дедуктивная логика Аристотеля и индуктивная логика Бэкона — Милля составили основу общеобразовательной дисциплины, которая в течение длительного времени была обязательным элементом европейской системы образования и составляет основу логического образования в настоящее время.

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

Дальнейшее развитие логики связано с именами французского философа Р. Декарта (1596—1650), внесшего существенный вклад в дедуктивную логику; немецкого философа Г. Лейбница (1646—1716), сформулировавшего закон достаточного основания, выдвинувшего идею математической логики, которая получила развитие значительно позднее; немецкого философа И. Канта (1724— 1804) и многих других европейских философов и ученых.

Ряд оригинальных логических идей выдвинули и развили мыслители стран Востока: Ибн Сина (Авиценна), Ибн Рушд (Аверроэс) и др.

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

Во второй половине XIX в. в логике начинают широко применять разработанные в математике методы исчисления. Это направление разрабатывалось в трудах Д. Буля, У. С. Джевонса, П. С. Порецкого, Г. Фреге, Ч. Пирса, Б. Рассела, Я. Лукасевича и других математиков и логиков. Теоретический анализ дедуктивных рассуждений методами исчисления с использованием формальных языков получил название математической, или символической, логики.

Символическая логика — интенсивно развивающаяся область логических исследований, включающая множество разделов, или, как их принято называть, «логик» (например, логика высказываний, логика предикатов, вероятностная логика и т. д.). Большое внимание уделяется разработке многозначной логики, в которой, помимо принятых в традиционной логике двух значений истинности — «истинно» и «ложно», —допускается много значений истинности. Так, в разработанной польским логиком Я. Лукасевичем (1878—1956) трехзначной логике вводится третье значение — «возможно» («нейтрально»). Им же построена система модальной логики со значениями «возможно», «невозможно», «необходимо» и т. п., а также четырехзначная и бесконечная логики.

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

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

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

Особенность формальной логики состоит в том, что она рассматривает формы мышления, отвлекаясь от их возникновения, изменения, развития. Эту сторону мышления изучает диалектическая логика, впервые в развернутом виде представленная в объективно-идеалистической философской системе Гегеля (1770— 1831) и с материалистических позиций переработанная в философии марксизма.

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

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

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

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

Вопросы для самопроверки

1. Когда возникла наука логика? Кто ее основатель?

2. В чем отличие современной (символической) логики от традиционной (аристотелевской) логики? Что такое диалектическая логика?

3. Приведите определение формальной логики.

Данный текст является ознакомительным фрагментом.
Читать книгу целиком
Поделитесь на страничке

Следующая глава >

В развитии логики принято выделять два основных этапа:

— первый этап с 1У века до н.э. по Х1Х век. Это период возникновения и развития формальной (или традиционной, или аристотелевской) логики;

— второй этап с конца Х1Х века по настоящее время. Это период возникновения и развития современной (или символической, или математической) логики, которая представлена классической и неклассической логиками.

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

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

Основателем логики как науки принято считать Аристотеля. Именно с его работы «Органон», что в переводе с греческого языка означает «орудие», «инструмент», ведет свое начало логика как наука. Справедливости ради, и на это указывал сам Аристотель, следует отметить, что и в трудах других античных философов (Демокрита, софистов) можно найти систематическое изложение логических проблем. Заслуга Аристотеля состоит в том, что он создал теорию дедуктивных умозаключений и доказательства; дал

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

В средние века (У – Х1У вв.) логика, впрочем, как и вся духовная жизнь общества, в значительной степени была подчинена интересам богословия. Но в бесконечных схоластических спорах оттачивались приемы доказательств, определения понятий, анализ суждений. До сих пор сохраняется в логике латинская терминология, введенная в эпоху Средних веков. Большой вклад в развитие логики внесли представители арабского (мусульманского) средневековья, такие как Аль-Фараби (10 в.) и Ибн-Сина (11 в.).

В эпоху Возрождения (ХУ – ХУ1 вв.) логика переживает кризис. Её рассматривают как «искусственное мышление», оторванное от эмпирического познания. В это время бурно развиваются естественные науки, математика, механика.

В Новое время (ХУП – Х1Х вв.) логика опять начинает бурно развиваться, так как именно она могла обеспечить доказательность и строгость научных теорий. Большой вклад в развитие логики в этот период внесли: Ф.Бэкон, Р.Декарт, А.Арно, П.Николь, Б.Паскаль, Г.Лейбниц, И.Кант, Г.Гегель.

Второй период развития логики связан с Х1Х и ХХ веками. В это время возникает и развивается символическая или математическая логика. Её основоположником считается Г.Лейбниц, однако только в Х1Х веке его идеи получили интенсивное развитие в работах Д.Буля, Э.Шрёдера, П. Порецкого, Г.Фреге, С.Джевонса, Ч.Пирса и других.

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

Итак, логика – одна из самых древних наук. Её богатая событиями история насчитывает две с половиной тысячи лет. На рубеже Х1Х – ХХ веков в логике произошла научная революция и сегодня логика — одна из наиболее динамически развивающихся наук, образец строгости и точности даже для математики.

Логика как наука возникла в конце V – начале IV веков в Древней Греции (Афины) и много столетий считалась критерием образованности. Основателем логики считают древнегреческого философа Аристотеля. Предшественниками Аристотеля в развитии логической науки в Древней Греции были Парменид, Зенон Элейский, Сократ и Платон. Аристотель же впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. В его трудах «Органон» («Орудия познания») были сформулированы основные законы мышления, такие как закон тождества, противоречия и исключенного третьего. Он также разработал теорию понятия и суждения, исследовал дедуктивное и силлогистическое умозаключения.

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

1) зарождение и первоначальное развитие философии и науки, прежде всего математики.

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

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

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

После Аристотеля в Древней Греции логика также разрабатывалась представителями школы стоиков. Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квинтилиан.

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

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

Диалектическая логика — это один из способов познания диалектики реальности.

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

Формальная логика изучает форму как нечто отдельное,обособленное от содержания.

Предметом изучения формальной логики служит форма мышления.

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

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

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

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