4-те най-важни типа логика (и функции)

Логиката е изследването на разсъжденията и изводите , Това е набор от въпроси и анализи, които ни позволиха да разберем колко валидни аргументи се различават от грешките и как ги достигаме.

За целта е необходимо разработването на различни системи и форми на обучение, които са довели до четири основни типа логика. Ще видим по-долу какво е всяко от тях.

• Препоръчителна статия: ["10 вида логически и аргументативни заблуди"] (10 вида логически и аргументативни заблуди)

Какво е логиката?

Думата "логика" идва от гръцкото "лого", което може да бъде преведено по различни начини: дума, мисъл, аргумент, принцип или разум са някои от основните. В този смисъл логиката е изследването на принципите и разсъжденията.

Това изследване има за цел да разбере различните критерии на изводите и как стигаме до валидни демонстрации, за разлика от невалидните демонстрации. Така че основният въпрос на логиката е кое е правилното мислене и как можем да различим между валиден аргумент и грешка?

За да отговори на този въпрос, логиката предлага различни начини за класифициране на изявления и аргументи, независимо дали се случват в официална система или в естествен език. По-конкретно, той анализира предложенията (декларативни изречения), които могат да бъдат верни или неверни, както и грешки, парадокси, аргументи, които включват каузалност и изобщо теорията на аргументацията.

Като цяло, за да се приеме, че системата е логична, те трябва да отговарят на три критерия:

• съгласуваност (няма противоречие между теоремите, които съставляват системата)
• здравина (тестовите системи не включват фалшиви изводи)
• пълнота (всички истински изречения трябва да могат да бъдат доказани)

Четирите вида логика

Както видяхме, логиката използва различни инструменти, за да разбере разсъжденията, които използваме, за да оправдаем нещо. Традиционно са разпознати четири основни типа логика, всеки от които има някои подтипове и специфики. Ще видим по-долу какво е всяко едно от тях.

1. Официална логика

Също известен като традиционна логика или философска логика, това е за изучаване на изводи с чисто формално и изрично съдържание , Става въпрос за анализиране на официалните изявления (логически или математически), чието значение не е присъщо, но неговите символи имат смисъл поради полезното приложение, което им се дава. Философската традиция, от която произлиза последната, се нарича точно "формализъм".

На свой ред формалната система е тази, която се използва за извличане на заключение от едно или повече помещения. Последните могат да бъдат аксиоми (очевидни предложения) или теореми (заключения на определен набор от правила за изводи и аксиоми).

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

От своя страна, неформалната логика е по-скорошна дисциплина, която проучване, оценка и анализ на аргументите, изложени в естествения или ежедневния език , Следователно получава категорията "неформално". Той може да бъде говорим или писмен език, или всеки тип механизъм и взаимодействие, използвани за общуване с нещо. За разлика от формалната логика, която например ще се прилага при изучаването и разработването на компютърни езици; формалният език се отнася за езиците и езиците.

По този начин неофициалната логика може да анализира от лични разсъждения и аргументи политически дебати, правни аргументи или помещения, разпространявани от медиите, като вестници, телевизия, интернет и т.н.

3. Символична логика

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

• Предсказателна логика или първа реда : това е формална система, съставена от формули и количествено измерими променливи
• Пропозиционални : това е формална система, съставена от предложения, които могат да създават други предложения чрез съединители, наречени "логически връзки". В това няма почти никакви количествено измерими променливи.

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

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

Най-общо казано, прилагането на математически език в изграждането на логически системи позволява възпроизвеждането на човешкия ум. Например това е много присъщо в развитието на изкуствения интелект и в изчислителните парадигми на изследването на познанието.

Обикновено се разделя на два подтипа:

• logicism : става дума за прилагането на логиката в математиката. Примери за този тип са теорията на доказването, теорията на моделите, теорията на множествата и теорията за рекурсията.
• intuitionism : аргументира, че както логиката, така и математиката са методи, чието приложение е последователно за извършване на сложни умствени конструкции. Но той казва, че в себе си логиката и математиката не могат да обяснят дълбоките свойства на елементите, които те анализират.

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

От друга страна, Съществуват три вида аргументи, които също могат да се разглеждат като логически системи , Това са механизми, които ни позволяват да извлечем изводи от помещенията. Дедуктивните разсъждения правят това извличане от обща предпоставка към конкретна предпоставка. Класически пример е това, предложено от Аристотел: Всички хора са смъртни (това е общата предпоставка); Сократ е човек (това е основната предпоставка) и накрая Сократ е смъртен (това е заключението).

От своя страна индуктивно разсъждение е процесът, чрез който се прави извод в обратна посока: от конкретния до общия. Пример за това би бил "Всички врани, които мога да видя, са черни" (конкретна предпоставка); тогава всички врани са черни (заключение).

И накрая, разсъжденията или модалната логика се основават на вероятностни аргументи, т.е. те изразяват възможност (модалност). Това е формална логическа система, която включва термини като "може", "може", "трябва", "в крайна сметка".

Библиографски справки:

• 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 г. Налично в логиката (2018). Основите на философията. Получен на 2 октомври 2018 г. Наличен на //www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Модална логика. Станфордската енциклопедия по философия. Получен на 2 октомври 2018 г. Наличен на //plato.stanford.edu/entries/logic-modal/