Что значит формальная логика

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

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

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

1. Если суждения являются утвердительными, что сделанный из них вывод не может быть отрицательным.
2. Если одно из утверждений отрицательное, то и общий вывод всегда будет отрицательным.

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

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

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

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

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

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

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

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

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

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

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

Источник

Формальная логика

Форма́льная ло́гика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными методами, правилами и законами [1] . Формальная логика как наука занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а применением законов и правил мышления. Начальной ступенью формальной логики можно считать традиционную логику, а математическую логику — её следующей ступенью, использующей математические методы, символический аппарат и логические исчисления [2] .

В истории философии — отдельный раздел или направление логики конца XIX—начала XX века.

Содержание

История

Автором первой системы формальной логики считается Аристотель, который ввёл понятие силлогизма и переменных, которыми он обозначал термины силлогизма [3] .

По Канту, формальная логика (в «Критике чистого разума» она названа «общей») отвлекается от содержания понятий и имеет дело только с их формой:

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

Программа «логистики»

Формалистами (представителями т. н. «логистики», оформившейся на Женевском конгрессе 1904 г. усилиями Л. Кутюра, А. Лаланда и др.) конца XIX — начала XX века формальность логики связывалась с выделением значений истинности высказываний при переносе их из естественного языка в символическую нотацию. Логистики стремились дать обоснование математическому знанию (в перспективе — естествознанию) в пределах одной только формальной логики. Существенные усилия в этом направлении были приложены Д. Гильбертом, Кутюра, Б. Расселом.

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

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

Так понимаемая формальная логика переставала быть наукой о мышлении, и многими формалистами [7] [8] последнее вовсе дезавуировалось как «психологическое» понятие, не имеющее отношения к логике как таковой, которая-де должна сосредоточиться на изучении и совершенствовании языка, на структурных, а не процессуальных свойствах речевых конструкций. Эта точка зрения нашла развитие во взглядах Венского кружка, Львовско-Варшавской школы и, далее, англосаксонской аналитической философии. Однако другими формалистами (в частности, большинством российских [источник не указан 1309 дней] ) она не разделялась.

В то же время в 1910—20-х гг. претензии логистиков на обоснование точного знания убедительно критиковались А. Пуанкаре [9] и, позднее, примкнувшим к нему в этой критике Гильбертом, после чего логистическое движение сошло на нет.

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

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

Согласно реконструкции, проведённой в ММК, логика имеет дело с «языковым мышлением» (или, «языком взятым в функции мышления»), в котором группы определённым образом связанных между собой знаков по определённым законам замещают реальные объекты и друг друга в отношении к действиям:

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

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

Претензии формальной логики на роль теории мышления несостоятельны, поскольку:

• её понятия описывают не мышление в целом, а лишь его знаковую форму, и то неполно;
• в её понятиях не учитывается зависимость строения и правил преобразования этой формы от содержания;
• её понятия не отражают различия между мышлением и его продуктами (знаниями);
• её понятия не могут объяснить образование сложных знаний;
• её метод несовместим с историческим подходом к исследованию мышления [12] .

Утрата специфики

Распространение идей многозначной логики в различных её вариантах (в том числе, символизированных), а затем — идей абстрактных типов данных в теоретическом программировании проблематизировало «изнутри» специфику истинности как области значений логических функций, включающих лишь два возможных значения. Так, аппарат бесконечнозначной логики Лукасевича—Тарского [13] практически неотличим от аппарата теории вероятностей, а в теории типов данных логический (булев) тип ничем особенным не отличается от прочих ни с операторной точки зрения, ни с точки зрения машинной реализации.

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

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

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

В 1930—40-е гг. формальная логика третировалась официальными философскими инстанциями как «теоретическая основа буржуазного мировоззрения» [14] , нечто несовместимое с марксизмом и коммунистическими идеалами. Активной работы в соответствующих направления не было, традиции были утрачены, немногие остававшиеся в живых специалисты были вынуждены заниматься другими дисциплинами или были лишены условий для нормального научного общения.

Ситуация несколько изменилась в 1946—47 гг., когда (по некоторым сведениям [15] [16] , по личному распоряжению И. В. Сталина) логика была введена в состав школьной программы [17] (был написан ряд учебников (В. Ф. Асмуса, К. С. Бакрадзе, М. С. Строговича) и даже в сокращенном или переработанном виде переизданы «буржуазные» учебники С. Н. Виноградова и Г. И. Челпанова). За этим последовало создание кафедры логики на Философском факультете Московского университета (в качестве одного из кандидатов на занятие кафедры рассматривался А. Ф. Лосев, хотя в конце концов занял её П. С. Попов), издание ряда книг по формально-логической тематике [18] и некоторые другие мероприятия [16] .

Однако вокруг этой тематики с переменным успехом продолжалась борьба «диалектиков» и «формалистов». В 1950—60-е гг. формальная логика (уже уйдя из школы) обосновалась в вузах и исследовательских институтах. Выдающуюся роль в восстановлении логических исследований и преподавания логики в стране сыграли такие представители формалистического направления, как С. А. Яновская, А. С. Есенин-Вольпин, Ю. А. Гастев, А. А. Марков и др.

Обратной стороной процесса стала контрреакция со стороны «формалистов» по отношению к логикам, стремившимся разрабатывать логику вне программы её формализации. Уже в 1960—70-е г. сложности с публикациями испытывали такие логики, как А. А. Зиновьев (вынужденный затем сменить язык и перейти на «математические» символы), Э. В. Ильенков (покинувший коллектив «Философской энциклопедии» в знак протеста против подмены логической проблематики математической) и др.

До некоторой степени эта реакция продолжается даже в постсоветские годы [19] .

Приложения

Примечания

1. ↑Nat, 2010, p. 2
2. ↑Кондаков, 1971
3. ↑Кондаков, 1971, с. 576
4. ↑ Кант И. Критика чистого разума. — М.: 1994. — С. 14.
5. ↑ Кант И. Цит. соч. — С. 72—73.
6. ↑Scholz H.Concise History of Logic. — New York, 1961.
7. ↑Carnap R. Induktive Logik und Wahrscheinlichkeit. — Wien, 1958. — С. 31.
8. ↑Лукасевич Я. Аристолевская силлогистика с точки зрения современной формальной логики. — М ., 1959. — С. 48—49.
9. ↑Пуанкаре А. О науке. — М .: Наука, 1983. — С. 475—518, 580—616. — 736 с.
10. ↑Зиновьев А. А. Восхождение от абстрактного к конкретному (на материале «Капитала» К. Маркса). — М ., 2002. — 321 с. ; Щедровицкий Г. П.«Языковое мышление» и его анализ // Вопросы языкознания. — 1957. — № 1. — С. 56—68. ; Алексеев Н. Г., Щедровицкий Г. П.О возможных путях исследования мышления как деятельности // Доклады АПН РСФСР. — 1957. — № 3. ; Щедровицкий Г. П.О некоторых моментах в развитии понятий // Вопросы философии. — 1958. — № 6. — С. 55—64. ; Ладенко И. С. Об отношении эквивалентности и его роли в некоторых процессах мышления // Доклады АПН РСФСР. — 1958. — № 1. ; Ладенко И. С. О некоторых процессах мышления, связанных с установлением отношения эквивалентности // Доклады АПН РСФСР. — 1958. — № 2. Швырёв В. С. К вопросу о путях логического исследования мышления // Доклады АПН РСФСР. — 1960. — № 2. и др.
11. ↑Щедровицкий Г. П.О строении атрибутивного знания // Доклады АПН РСФСР. — 1958—60. ; Щедровицкий Г. П., Ладенко И. С.О некоторых принципах генетического исследования мышления // Тезисы докладов на I съезде Общества психологов 29 июня — 4 июля 1959 г. Вып. 1 : Сб. — М ., 1959. — С. 100—?. ; Щедровицкий Г. П., Алексеев Н. Г., Костеловский В. А.Принцип «параллелизма формы и содержания мышления» и его значение для традиционных логических и психологических исследований // Доклады АПН РСФСР. — 1960—61. ; Щедровицкий Г. П. О взаимоотношении формальной логики и неопозитивистской «логики науки» // Диалектический материализм и современный позитивизм : Cб. — М ., 1961. ; Щедровицкий Г. П.О различии исходных понятий «формальной» и «содержательной» логик // Методология и логика наук : Сб. — Томск, 1962. — Т. 41. — С. 81—92.
12. ↑Щедровицкий Г. П. О методе исследования мышления. — М ., 2006. — С. 110—183. — 600 с. . См. тж. Щедровицкий Г. П.Процессы и структуры в мышлении (курс лекций) / Из архива Г. П. Щедровицкого. Т. 6. — М ., 2003. — 320 с. и Щедровицкий Г. П. Проблемы логики научного исследования и анализ структуры науки / Из архива Г. П. Щедровицкого. Т. 7. — М ., 2004. — 400 с.
13. ↑Łukasiewicz J., Tarski A. Untersuchungen über den Aussagenkalkül // Sprawozdania z posiedzec Towarzystwa Naukowego Warszawskiego. Wydział II. R. XXIII. — Warszawa, 1930.
14. ↑ Формальная логика // Розенталь М., Юдин П. (ред.). Краткий философский словарь. — М.: 1940.
15. ↑Ладенко И. С. Становление и развитие идей генетической логики // Вопросы методологии, 1991, № 3.
16. ↑ 12Лахути Д. Г.Сталин и логика // Вопросы философии. — 2004. — № 4. — С. 164-169.
17. ↑ Постановление ЦК ВКП(б) от 03.12.46 «О преподавании логики и психологии в средней школе».
18. ↑ «Основы теоретической логики» Гильберта и В. Аккермана (1947), «Опыт исследования значения логики» Ш. Серрюса (1948), «Введение в логику и методологию дедуктивных наук» А. Тарского (1948) и др.
19. ↑ Cм. например статью «Ильенков Эвальд Васильевич», диффамирующую Ильенкова как учёного, в «Философском энциклопедическом словаре» (М., 2004, под ред. А. А. Ивина).

Литература

• Кондаков Н. И. Логический словарь / Горский Д. П.. — М .: Наука, 1971. — 656 с.
• Arnold vander Nat Simple formal logic: with common-sense symbolic techniques. — Routledge, 2010. — 360 с. — ISBN 978-0415997454

История логики

• Маковельский А. О.История логики. — М., 1967.
• Н. И. Кондаков, Логический словарь-справочник, М.: «Наука»,1975, с. 285. на сайте Руниверс
• Попов П. С. История логики нового времени. — М., 1960.
• Logic, history of: Precursors of modern logic // Encyclopedia of philosophy / Donald M. Borchert, editor in chief. — 2nd ed. — N. Y. : Thomson Gale, 2006. — Т. 5. — С. 440—446. — 742 с. — ISBN 0-02-865785-3
• Logic, history of: Modern logic // Encyclopedia of philosophy / Donald M. Borchert, editor in chief. — 2nd ed. — N. Y. : Thomson Gale, 2006. — Т. 5. — С. 447—484. — 742 с. — ISBN 0-02-865785-3

Судьба формальной логики в СССР

• Алексеев М. Н. Обсуждение вопросов логики в Московском государственном университете // Вопросы философии, 1951, № 2;
• Алексеев М. Н. Дискуссия по вопросу соотношения формальной логики и диалектики // Вестник МГУ, Серия I. Общественные науки, 1951, № 4.
• Бирюков Б. В. Борьба вокруг логики в Московском государственном университете // Логические исследования, Т. X, 2003.
• Н. И. Кондаков, Логический словарь-справочник, М.: «Наука», 1975, с. 290 на сайте Руниверс
• Щедровицкий Г. П.Я всегда был идеалистом…. — М ., 2001. — 323 с. — ISBN 5-93733-010-2
• Формальная логика. — Ленинград: Издательство Ленинградского университета, 1977.— 357 с. на сайте Руниверс
• Философские вопросы современной формальной логики. — М.: Издательство Академии наук СССР, 1962.— 365 с. на сайте Руниверс

См. также

Ссылки

Логические операции с понятиями

Высказывание — построение над множеством , , , 0, 1>
В — непустое множество, над элементами которого определены три операции: конъюнкция ( или &,бинарная) • дизъюнкция (,бинарная) • отрицание (,унарная)

2 константы: импликация () • Круги Эйлера/Диаграмма Венна • Теория множеств

Wikimedia Foundation . 2010 .

Полезное

Смотреть что такое «Формальная логика» в других словарях:

ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия

ФОРМАЛЬНАЯ ЛОГИКА — см. Логика … Большой Энциклопедический словарь

формальная логика — наука об элементарных законах и формах правильного мышления Большой словарь иностранных слов. Издательство «ИДДК», 2007 … Словарь иностранных слов русского языка

формальная логика — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN formal logic … Справочник технического переводчика

формальная логика — см. Логика. * * * ФОРМАЛЬНАЯ ЛОГИКА ФОРМАЛЬНАЯ ЛОГИКА, см. Логика (см. ЛОГИКА) … Энциклопедический словарь

формальная логика — formalioji logika statusas T sritis automatika atitikmenys: angl. formal logic vok. formale Logik, f rus. формальная логика, f pranc. logique formelle, f … Automatikos terminų žodynas

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

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

ФОРМАЛЬНАЯ ЛОГИКА — наука, изучающая формы мышления в отвлечении от конкретного содержания суждений, умозаключений, понятий … Профессиональное образование. Словарь

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

Источник