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

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

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

• Рекомендуемая статья: «10 типов логических и аргументированных заблуждений»

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

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

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

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

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

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

4 типа логики

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Индуктивное, дедуктивное и модальное рассуждение

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

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

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

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

• Гроарк, Л. (2017). Неформальная логика. Стэнфордская энциклопедия философии. Проверено 2 октября 2018 года. Доступно в https://plato.stanford.edu/entries/logic-informal/
• Логика (2018). Основы философии. Проверено 2 октября 2018 года. Доступно в https://www.philosophybasics.com/branch_logic.html
• Маньяни, Л. (2001). Похищение, разум и наука: процессы открытия и объяснения. Нью-Йорк: Kluwer Academic Plenum Publishers.
• Макгинн, К. (2000). Логические свойства: идентичность, существование, предрасположенность, необходимость, истина. Оксфорд: Clarendon Press.
• Куайн, W.V.O. (1986) (1970). Философия логики. Кембридж, Массачусетс: Издательство Гарвардского университета.
• Шапиро, С. и Кури, С. (2018). Классическая логика. Проверено 2 октября 2018 года. Доступно в Logic (2018). Основы философии. Проверено 2 октября 2018 года. Доступно в https://www.philosophybasics.com/branch_logic.html
• Гарсон, Дж. (2018). Модальная логика. Стэнфордская энциклопедия философии. Проверено 2 октября 2018 года. Доступно в https://plato.stanford.edu/entries/logic-modal/