Топ 10! универсальные законы логики + таблица!

Правила достаточного основания

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

1. Любое высказывание должно быть легко доказуемым. Если не придерживаться этого правила, тогда получается «ложное высказывание».
2. Аргументируйте любое высказывание вескими доказательствами. Когда не смогли нормально обосновать мысли, получается логическая ошибка — «мнимое следование». Слишком много аргументов приводит к тому, что начало забывается.
3. Лучше приводить обоснованные суждения без тезиса.
4. Доказательства должны быть аргументированы связанной логической цепочкой.

Применение

В повседневной жизни

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

В формальной логике

Под тождественностью мысли самой себе в формальной логике понимается тождественность её объёма. Это означает, что вместо логической переменной A{\displaystyle A} в формулу «A{\displaystyle A} есть A{\displaystyle A}» могут быть подставлены мысли различного конкретного содержания, если они имеют один и тот же объём.
Вместо первого A{\displaystyle A} в формуле «A{\displaystyle A} есть A{\displaystyle A}» мы можем подставить понятие «животное; обладающее мягкой мочкой уха», а вместо второго — понятие «животное, обладающее способностью производить орудия труда» (обе эти мысли с точки зрения формальной логики считаются равнозначными, неразличимыми, так как они имеют один и тот же объём, а именно — признаки, отражённые в этих понятиях, относятся лишь к классу людей), и при этом получается истинное суждение «Животное, обладающее мягкой мочкой уха, есть животное, обладающее способностью производить орудия труда».

В математике

В математической логике законом тождества называется тождественно истинная импликация логической переменной с самой собой X⇒X{\displaystyle X\Rightarrow X}.

В алгебре понятие арифметического равенства чисел рассматривается как особый случай общего понятия логического тождества. Однако имеются математики, которые, в противоположность данной точке зрения, не отождествляют символа «={\displaystyle =}», встречающегося в арифметике, с символом логического тождества; они не считают, что равные числа непременно тождественны, и поэтому рассматривают понятие числового равенства как специфически арифметическое понятие. То есть полагают, что сам факт наличия или отсутствия особого случая логического тождества, должен определяться в рамках логики..

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

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

Учёный Иммануил Кант предложил огромную логику разделить на две части: формальную и трансцендентальную.

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

Закон достаточного основания – А ⊃ В

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

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

В чем суть

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

Пример нарушения

«Не ставьте мне двойку. Я прочитал весь учебник и, возможно, что-то отвечу». Вывод не вытекает из основания: студент мог прочитать весь учебник, но из этого не следует, что он сможет что-то ответить.

Как применять в жизни

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

При копировании материала ссылка на сайт sauap.org обязательна

Ссылки: https://lifehacker.ru/4-glavnyx-zakona-logiki/, https://fil.wikireading.ru/4731, https://4brain.ru/blog/,

Главное фото: https://cs8.pikabu.ru/post_img/2017/11/14/10/og_og_151068032821849374.jpg

Нарушения закона тождества[править | править код]

При нарушении закона тождества возможны следующие ошибки:

1. (от греч. ἀμφιβολία — двусмысленность, неясность) — логическая ошибка, в основе которой лежит двусмысленность языковых выражений. Например: «Правильно говорят, что язык до Киева доведет. Я купил вчера копченый язык. Теперь смело могу идти в Киев». Другое название этой ошибки — «подмена тезиса».
2. Эквивокация (от лат. aequivocatio — равноголосие, двусмысленность) — логическая ошибка при рассуждении, в основе которой лежит использование одного и того же слова в разных значениях. Например, смысл простого, на первый взгляд, высказывания: «Ученики прослушали объяснение учителя», – непонятен. Ведь слово «прослушали», а значит, и все высказывание можно понимать двояко: то ли ученики внимательно слушали учителя,то ли все пропустили мимо ушей (причем первое значение противоположно второму). Эквивокация иногда используется как риторический художественный прием. В логике этот прием называют «подмена понятия».
3. Логомахия (от греч. λόγος — слово и μάχη — бой, сражение) спор о словах, когда в процессе дискуссии участники не могут прийти к единой точке зрения в силу того, что не уточнили исходные понятия.

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

То, чего ты не потерял, ты имеешь.

Ты не потерял рогов.

Следовательно, ты имеешь рога.

Уловка софистов в данном случае основана на том, что слово «потерял» толкуется двусмысленно. В первой строчке слова «не потерял» относятся к тем предметам, которые у нас есть и которые мы не потеряли, а во второй — слова «не потерял» относятся к тем предметам, которых у нас никогда не было. Ясно, что вывод не может быть правильным.

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

– Я сломал руку в двух местах.

– Больше не попадай в эти места.

Или такой анекдот:

– У вас в гостинице есть тихие номера?

– У нас все номера тихие, только вот постояльцы иногда шумят.

Суждение

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

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

Давайте рассмотрим основные свойства суждения, чтобы понять, чем оно отличается от понятия.

1. Любое суждение состоит из связанных между собой понятий. Для примера возьмем два понятия – мужчина и женщина. Из них можно составить несколько суждений:

• мужчины и женщины – это люди;
• мужчины не являются женщинами;
• некоторые женщины сильнее мужчин.

1. Любое суждение выражается в форме предложения (в то время как понятие выражается словом). При этом не каждое предложение обязательно должно быть суждением.
2. Любое суждение является либо истинным, либо ложным. Если оно соответствует действительности, оно истинное, а если не соответствует – ложное.
3. Суждения бывают простыми и сложными. Сложные суждения состоят из простых, соединенных каким-либо союзом.

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

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

Субъект (S) – это то, о чем идет речь в суждении. В суждении «Все растения не животные» речь идет о растениях, поэтому в данном случае субъектом являются растения.

Предикат (Р) – это то, что говорится о субъекте. В том же суждении «Все растения не животные» о субъекте «растения» говорится, что они – «не животные», поэтому предикатом данного суждения выступает понятие «животные».

Связка – это то, что соединяет субъект и предикат. Роль связки могут выполнять самые разные слова: есть, является, находится, это и т. п.

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

Для закрепления давайте проанализируем простое суждение «Многие школьники любят физкультуру».

1. Субъект – «школьники»
2. Предикат – «физкультура»
3. Связка – «любят»
4. Квантор – «многие»

Надеемся, что это понятно. Стоит также отметить, что в некоторых суждениях квантор может отсутствовать. Однако он обязательно подразумевается. В суждении «Бабочки – это насекомые» квантор видимым образом отсутствует, но он подразумевается – это слово «все».

Вопросы в логике

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

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

Любой вопрос состоит из двух частей:

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

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

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

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

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

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

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

Закон формулируется следующим образом:

неверно, что А и не-А (не могут быть истинными две мысли, одна из которых отрицает другую).

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

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

Закон непротиворечия выражается формулой ():

• • В классической логике: не может быть одновременно А и не-А, А и В.
  • В символической логике: ┐(р Λ ┐р) (неверно, что р и не-р одновременно истинны),

где р — любое высказывание, ┐р – отрицание высказывания р, знак ┐ перед всей формулой – отрицание двух высказываний, соединенных знаком конъюнкции.

Замечание

Некоторые авторы формулируют этот закон как закон противоречия:

• «А не может в одно и то же время быть В и не-В», или:
• «из двух суждений, из которых одно утверждает то, что другое отрицает, одно должно быть ложным».

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

Мы, например, никак не можем себе представить, чтобы бумага была в одно и то же время и белая и не-белая, например красная. Ни одно качество не может в одно и то же время и присутствовать и отсутствовать.

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

Подробнее о законе непротиворечия

Для правильного его понимания необходимо иметь в виду следующее:

утверждая что-либо о каком-либо предмете, нельзя, не противореча себе, отрицать (1) то же самое (2) о том же самом предмете, (3) взятом в то же самое время и (4) в том же самом отношении.

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

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

Ошибка при нарушении закона непротиворечия:

«Противоречивость в рассуждении». В случае ошибки допускается следствие: (p Λ ­ р) → q, читается: если р и не-р, то q, что означает: «из лжи следует все что угодно».

Значение закона непротиворечия для работы юриста

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

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

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

Применение

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

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

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

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

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

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

Литература

• Кириллов В. И. Старченко А. А. Логика. — М.: Высшая школа, 1982. — 264 с. — 100 000 экз.
• Аристотель. Метафизика // Антология мировой философии в четырех томах. — М.: Мысль, 1969. — Т. 1. — 936 с. — 35 000 экз.
• Гусев Д. А. Краткий курс логики. — М.: НЦ ЭНАС, 2003. — 190 с. — ISBN 5-93196-357-X.
• Философский словарь / Под ред. И.Т.Фролова.. — 4-е изд. — М.: Политиздат, 1981. — 445 с. — 700 000 экз.
• Бойко А. П. Логика. — М.: Новая школа, 1994. — 80 с. — 50 000 экз. — ISBN 5-7301-0053-1.
• Виноградов С. Н. Кузьмин А. Ф. Логика. — восьмое издание. — М.: Учпедгиз РСФСР, 1958. — 176 с. — 800 000 экз.
• Тарский А. Введение в логику и методологию дедуктивных наук. — М.: Изд. Иност. Литературы, 1948. — 326 с.
• Горский Д. П. Таванец П. В. Логика. — М.: Политиздат, 1956. — 280 с. — 75 000 экз.
• Эдельман С. Л. Математическая логика. — М.: Высшая школа, 1975. — 176 с.

II. Закон исключенного третьего, или третий лишний

Это, пожалуй, наиболее известный из всех законов логики Аристотеля, который особенно прославила и растиражировала по свету латинская фраза «tertium non datur» (или третьего не дано). В чем суть закона исключенного третьего? Все просто. Если о предмете утверждается какая-та истина (первое суждение), и если кем-то эта истина опровергается (второе суждение), то только одно из них должно быть верным – третьему путь заказан!

«…нет ничего посреди меж двух противоречивых суждений об одном, — в Третьей Книге «Метафизики» отмечал Аристотель, — всякий отдельный предикат следует либо отрицать, либо утверждать». Греческий философ очерчивал границы применения закона третьего лишнего. По его словам, использовать его можно было только в разговорах о прошедшем и настоящем времени. Табу на применение правила накладывалось только на будущее время, так как сложно уверенно утверждать состоится то или иное событие или нет.

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

Ниже мы приведем несколько формул, в которые можно вписать закон исключенного третьего:

А) «X не есть Y» и «Y есть X»Суть формулы: Одно и тоже суждение отрицает нечто о предмете в определенном отношении и определенном времени, при этом второе суждение тоже самое утверждает. В качестве примера: «Медведи – грызуны» и «Медведи – не грызуны».

Б) «Некоторые X не есть Y» и «Все X есть Y» Суть формулы: Некое суждение утверждает нечто по отношению ко всему классу предметов, при этом второе суждение это отрицает, однако по отношению только к некоторой части этих предметов. В качестве примера: «Все солдаты Западного фронта получили медаль за отвагу» и «Отдельные солдаты Западного фронта получили медаль за отвагу».

В) «Некоторые X есть Y» и «Ни одно X не есть Y» Суть формулы: Определенное суждение полностью отрицает наличие характеристики у класса вещей, при этом второе суждение такую характеристику утверждает, однако — в отношении лишь части этих предметов. В качестве примера: «Ни один житель нашего дома не пользуется Интернетом» и «Некоторые жители нашего дома пользуются Интернетом».

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

Закон исключенного третьего плотно взаимодействует с еще одним законом логики Аристотеля — законом непротиворечия. И о нем – ниже.

Сущность логики

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

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

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

Значение слова

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

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

Используются выражения:

• логика событий — имеется в виду некоторая виртуальная модель реальных событий, созданная в языке описания, достаточном для прогнозирования будущего с достаточной точностью.
• логика характера — имеется в виду некоторая виртуальная модель характера личности, позволяющая более или менее точно прогнозировать события-поступки в будущем.
• «Быть может, он безумец, — говорит один из героев рассказа английского писателя Г. К. Честертона, — но в его безумии есть логика. Почти всегда в безумии есть логика. Именно это и сводит человека с ума».
• Есть выражение «женская логика».

Неформальная, формальная, символическая и диалектическая логика

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

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

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

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

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

Отношение к другим наукам

Исторически логика изучалась как часть философии. Сейчас символическая логика также изучается как часть математики, информатики.