Определение
Существует много типов логики. Логика принимает множество форм — от формальной до символической. Что такое логика и существует ли логическое определение, охватывающее их все?
Логика определяется как система, целью которой является делать разумные выводы на основе предоставленной информации. Это означает, что цель логики — использовать данные для вывода умозаключений. Например, если человек вошел в комнату и увидел детей, держащих маркеры, а затем увидел каракули по всем стенам, логика подсказывала бы, что на основе предоставленной информации дети рисовали маркерами по всем стенам. Прямых доказательств или признаний нет, но логические принципы раскрывают правду на основе предоставленной информации.
Хотя можно обоснованно утверждать, что дети рисовали на стенах маркерами, когда дело доходит до логики, эти выводы должны следовать ряду правил, чтобы гарантировать достоверность и точность сделанного вывода. Различия можно найти в каждом типе логики.
Логическая этимология
Слово «логика» происходит от греческого слова «логике» или «логос», что переводится как разум. Хотя с течением времени существовало множество версий этого слова, от латинского до английского, первое известное использование этого слова было в 12 веке для определения набора научных принципов. В 14 веке определение этого слова расширилось и стало охватывать идею истинного и ложного мышления с точки зрения рассуждения. Сегодня логика связана с рассуждениями в формах нюансов, встречающихся в аргументации, математике, символизме и многом другом.
Логические примеры и концепции
Поскольку логика зависит от разума, эмоции исключены из этой практики, а это означает, что концепция логики опирается исключительно на данные данные и действительные корреляции, основанные на представленных руководящих принципах. Цель логики — найти разумные выводы на основе предоставленной информации, но чтобы сделать эти выводы, человек, о котором идет речь, должен убедиться, что он приводит веские аргументы.
Действительный аргумент против недействительного
Аргументация является основой логики, поскольку она представляет собой ряд утверждений или предпосылок, которые помогают поддержать общее утверждение. Эти утверждения создают основу для того, чтобы вывод был истинным или ложным. Существует два типа аргументов: действительные и недействительные.
- Действительный аргумент: когда человек выдвигает аргумент и все его утверждения верны, тогда делается вывод, что вывод также должен быть правдивым. Действительный аргумент обеспечивает ясные и истинные предпосылки, которые поддерживают общий вывод, что, в свою очередь, делает его обоснованным.
- Недействительный аргумент: когда человек выдвигает аргумент и предъявляет утверждения, которые не доказывают его вывод или предпосылки просто не соответствуют действительности, этот аргумент считается недействительным или ложным.
Чтобы понять эти определения, задумайтесь над следующим выводом: списание долгов по студенческим кредитам поможет стимулировать экономику. Чтобы привести веский аргумент в отношении списания задолженности по студенческому кредиту, человеку необходимо изучить фактическую информацию, чтобы доказать истинность вывода. Они могли бы сделать это, изучив финансовые прогнозы, демографические данные тех, кто будет затронут проблемой, и опросить людей с задолженностью по кредиту, чтобы узнать, как отмена изменит их жизнь. Обобщив эту информацию, можно было бы создать веский аргумент в пользу списания долга.
Спор – это не только борьба. Практика аргументации прокладывает путь новым идеям и принципам посредством использования выводов.
Типы логики
В управляющей науке существует множество типов логики. Четыре основных типа логики:
- Неформальная логика
- Формальная логика
- Символическая логика
- Математическая логика
Читайте дальше, чтобы узнать о каждом типе логики и лучше понять его с помощью определений и примеров.
Неформальная логика
Большинство людей используют неформальную логику каждый день, поскольку именно так мы рассуждаем и формируем аргументацию в данный момент. Например, спор с другом о том, были ли у Рэйчел и Росс перерыв в сериале «Друзья», приведет к использованию неформальной логики. На экране пара решила отвлечься друг от друга, а Росс в это время переспал с другой женщиной. Росс утверждает, что у них был перерыв, а Рэйчел утверждает, что это не так. Для этого аргумента каждый человек использует представленную информацию и делает свой вывод, основываясь на своем понимании слова «перерыв».
Неформальная логика состоит из двух типов рассуждений для аргументации:
- Дедуктивное рассуждение: использует информацию из различных источников и применяет эту информацию к рассматриваемому аргументу, чтобы поддержать более широкий, обобщенный вывод.
- Индуктивное рассуждение: использует конкретную информацию для формирования обобщенного вывода.
В примере с «Друзьями» спорящие друзья будут использовать индуктивные рассуждения, поскольку они используют доказательства, полученные только из одного источника (сериала). Они просмотрели эпизод до и после действий Росса, чтобы определить, действительно ли у пары перерыв. Используя дедуктивные рассуждения, спорящие друзья могли бы рассмотреть больше примеров неверности и даже дать определение слову «разрыв» в терминах различных определений. Индуктивное рассуждение использует меньший пул источников и фокусируется на Россе и Рэйчел. Дедуктивные рассуждения будут сосредоточены на концепции мошенничества и понятии, лежащем в основе слова «перерыв», которое будет опираться на множество источников до тех пор, пока не будет создан более широкий вывод об обмане.
Формальная логика
Формальная логика использует дедуктивные рассуждения в сочетании с силлогизмами и математическими символами, чтобы сделать вывод о правильности вывода. В формальной логике человек стремится убедиться, что посылки, сделанные по теме, логически связаны с выводом.
Типичным примером формальной логики является использование силлогизма для объяснения этих связей. Силлогизм – это форма рассуждения, которая делает выводы на основе двух данных посылок. В каждом силлогизме имеются две посылки и один вывод, который делается на основе данной информации. Самый известный пример — о Сократе.
Посылка А: Сократ — человек.
Посылка B: Все люди смертны.
Вывод C: Следовательно, Сократ смертен.
Поскольку понятие человека присутствует в обеих посылках, силлогизм в заключении связывает Сократа со смертностью. В этом случае силлогизм справедлив. Однако это не означает, что все силлогизмы действительны. Например, возьмем такой силлогизм:
Посылка А: Мой учитель английского скучный.
Посылка B: У моих друзей тоже есть скучные учителя английского языка.
Вывод C: Следовательно, учителя английского языка скучны.
Это обобщение, истинность которого невозможно доказать, и поэтому оно неверно. Это субъективный аргумент, основанный на чьих-то субъективных чувствах. Однако если мы добавим слово некоторые перед учителями английского языка в выводе C, силлогизм окажется верным.
В формальной логике этот тип вывода может быть представлен такими символами, как буквы. Это будет читаться примерно так:
А есть B.
Cs – это As.
Следовательно, Cs — это Bs.
Силлогизмы могут помочь нам сделать вывод на основе предоставленной информации, но они не всегда точны и обоснованы. Для большей точности можно использовать символическую логику.
Символическая логика
В то время как формальная логика может использовать символы для определения достоверности, символическая логика использует только символы для вывода заключения. Подобно силлогизмам, каждой посылке присваивается буква, и буквы проверяются в таблице истинности, чтобы выяснить, является ли вывод обоснованным или недействительным. В этом типе логики языковые нюансы устраняются, и их место занимает использование букв от p до z для определения фактической и обоснованной аргументации.
Например, допустим, мы хотим исследовать, кто ходил в магазин в символической форме. Мы знаем, что Найли и Люси пошли, но Ли — нет. В этом примере p представляет Найли, q представляет Люси, а r представляет Ли. Это выглядело бы примерно так:
(p.q).r
Обратите внимание, что буква r находится за пределами круглых скобок. Это показывает, что Ли не было с Найли и Люси.
Математическая логика
Подобно символической логике, математическая логика использует символы для ответа на различные типы теорий, перечисленных ниже.
Математическая теория помогла проложить путь логике, поскольку она создала способ устранить риторические нюансы при поиске достоверности.
- Теория доказательств. Теория доказательств — это изучение формальных доказательств, в которых рассматриваются наборы утверждений или предпосылок для заключения новых отношений в области математики. Говорят, что это основная конвенция для доказательства истинности теорий в математическом мире.
- Теория множеств. Теория множеств — это изучение коллекций объектов, называемых множествами. Простым примером набора, также известного как группа объектов, является набор простых чисел.
- Теория моделей: в этом исследовании анализируются множества в теории множеств и других математических структурах и применяется логика к указанным структурам, чтобы гарантировать достоверность структуры. В свою очередь, определяется общий смысл структуры.
- Теория рекурсии. Этот аспект логики, также известный как теория вычислимости, фокусируется на том, что невозможно вычислить, и представляет собой глубоко теоретическую точку зрения, которая больше ориентирована на философию математики, чем на саму науку.
Итог урока
Логика – это система рассуждений, целью которой является получение обоснованных выводов на основе предоставленной информации. Чтобы использовать эту систему, человек сосредотачивается на аргументации, определяя предпосылки или утверждения, которые в конечном итоге помогают доказать их общий вывод. Принципы, заложенные в науку, направлены на определение того, является ли аргумент действительным, точные посылки, доказывающие истинность вывода, или недействительность, посылки, оказавшиеся ложными и не подтверждающие его вывод. Чтобы прийти к обоснованному выводу, человек может использовать дедуктивное рассуждение, которое фокусируется на более крупных источниках информации для доказательства обобщенного вывода, и индуктивное рассуждение, которое фокусируется на меньшем объеме данной информации, чтобы доказать истинность вывода.
Четыре основных типа логики:
- Неформальная логика: использует дедуктивные и индуктивные рассуждения для аргументации.
- Формальная логика: использует силлогизмы для умозаключений.
- Символьная логика: использует символы для точного обозначения действительных и недействительных аргументов.
- Математическая логика. Использует математические символы для доказательства теоретических аргументов.
Некоторые формы логики используют риторику и силлогизм, например неформальные и формальные, в то время как другие устраняют нюансы языка и сосредотачиваются на замене слов символами, например символическими и математическими. В целом, цель состоит в том, чтобы убедиться, что посылки и выводы верны и напрямую связаны между собой для формирования веских аргументов.
Часто задаваемые вопросы
Что является примером логики?
Логика использует данную информацию для создания умозаключений. Например, если вы пришли домой и обнаружили, что остатки еды пропали из холодильника, и вы живете с соседом по комнате, логика подскажет, что ваш сосед по комнате съел вашу еду, основываясь на том факте, что в доме больше никого не должно быть.
Что такое логика простыми словами?
Логика — это система принципов, которая использует разум, чтобы определить, верен или неверен вывод. Человек, использующий логику, придет к обобщенному выводу, просмотрев данную информацию и сделав вывод на основе этих данных.
