Логика принимает множество форм, от формальной до символической. Что такое логика и существует ли определение, которое охватывает все её формы?
Логика определяется как система, направленная на получение разумных выводов на основе имеющейся информации. Это означает, что целью логики является использование данных для создания выводов.
Например, если человек вошёл в комнату и увидел детей, держащих в руках фломастеры, а затем увидел каракули на всех стенах, логика подсказала бы, что на основании представленной информации дети рисовали фломастерами на стенах.
Прямых доказательств или признания вины нет, но логические принципы раскрывают правду на основе предоставленной информации.
Логическая этимология
Слово «логика» происходит от греческих слов logike и logos, что переводится как разум. Хотя за всю историю и появилось множество версий этого слова, от латыни до среднеанглийского, первое известное его использование было в 12 веке для определения научного набора принципов.
В 14 веке определение этого слова расширилось, чтобы охватить идею истинного и ложного мышления с точки зрения рассуждений. Сегодня логика связана с рассуждениями в формах нюансов, встречающихся в аргументации, математике, символизме и многом другом.
Логические примеры и концепции
Поскольку логика зависит от разума, эмоции должны быть исключены. Концепция логики опирается исключительно на данные и действительные корреляции, основанные на представленных руководящих принципах.
Цель логики — найти разумные выводы на основе имеющейся информации, но, чтобы сделать эти выводы, человек, их делающий, должен убедиться, что он приводит веские аргументы.
Действительный аргумент против недействительного аргумента
Аргументация является основой логики, поскольку она представляет собой ряд утверждений или предпосылок, которые помогают поддержать общее утверждение. Эти утверждения создают основу для того, чтобы вывод был истинным или ложным.
Существует два типа аргументов: действительные и недействительные.
- Действительный аргумент: когда человек выдвигает аргумент и все его утверждения верны, делается вывод, что аргумент также должен быть верным.
- Недействительный аргумент: когда человек выдвигает аргумент и предъявляет утверждения, которые не доказывают его, или просто не соответствуют действительности.
Спор — это не только драка. Практика аргументации прокладывает путь новым идеям и принципам посредством использования предпосылок и выводов.
Типы логики
Есть много типов логики. Ниже представлены 4 основных:
📌 Неформальная логика
Большинство людей используют неформальную логику каждый день, поскольку именно так мы рассуждаем и формируем аргументы.
Неформальная логика состоит из двух типов рассуждений для выдвижения аргументов:
- Дедуктивное рассуждение: использует информацию из различных источников и применяет эту информацию к имеющемуся аргументу.
- Индуктивное рассуждение: использует предоставленную конкретную информацию для формирования обобщённого вывода.
📌 Формальная логика
«Формальная логика», выражение, придуманное Кантом для характеристики аристотелевской логики, использовалось также как название современной логики, созданной Булем и Фреге, которая во многих аспектах радикально отличается от традиционной логики.
Формальная логика - раздел логики, занимающийся исключительно принципами дедуктивного рассуждения, а не созданием предположений.
📌 Символическая логика
Символическая логика - это тип логики, в котором логическая форма утверждения представляется с использованием символов в качестве инструментов.
📌 Математическая логика
Математическая логика использует формальные системы доказательств, которые используются для доказательства определённых теорем.