культура

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

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

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

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

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

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

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

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

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

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

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

4 типа логики

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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