4 самых важных типа логики (и особенности)

May 2, 2024

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

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

Рекомендуемая статья: [«10 типов логических и аргументативных ошибок»] (10 типов логических и аргументативных ошибок)

Что такое логика?

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

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

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

В общих чертах, чтобы считать систему логичной, они должны соответствовать трем критериям:

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

4 типа логики

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

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

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

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

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

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

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

3. Символическая логика

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

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

4. Математическая логика

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

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

Обычно он делится на два подтипа:

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

Индуктивное, дедуктивное и модальное мышление

С другой стороны, Есть три типа рассуждений, которые также могут рассматриваться как логические системы , Это механизмы, которые позволяют нам делать выводы из предпосылок. Дедуктивные рассуждения делают такое извлечение из общей предпосылки в конкретную предпосылку. Классическим примером является то, что предложил Аристотель: все люди смертны (это общая предпосылка); Сократ - это человек (это главная предпосылка), и, наконец, Сократ смертелен (это вывод).

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

Наконец, рассуждение или модальная логика основаны на вероятностных аргументах, то есть они выражают возможность (модальность). Это формальная логическая система, которая включает такие термины, как «может», «может», «должен», «в конце концов».

Библиографические ссылки:

Groarke, L. (2017). Неформальная логика. Стэнфордская энциклопедия философии. Получено 2 октября 2018 г. Доступно по адресу //plato.stanford.edu/entries/logic-informal/
Логика (2018). Основы философии. Получено 2 октября 2018 года. Доступно по адресу //www.philosophybasics.com/branch_logic.html.
Shapiro S. и Kouri S. (2018). Классическая логика. Получено 2 октября 2018 года. Доступно в журнале Logic (2018). Основы философии. Получено 2 октября 2018 года. Доступно по адресу //www.philosophybasics.com/branch_logic.html.
Гарсон, J. (2018). Модальная логика. Стэнфордская энциклопедия философии. Получено 2 октября 2018 г. Доступно по адресу //plato.stanford.edu/entries/logic-modal/