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

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

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

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

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

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

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

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

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

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

Четирите типа логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Индуктивна, дедуктивна и модална аргументация

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

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

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

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

• Groarke, L. (2017). Неформална логика. Станфордска енциклопедия на философията. Получено на 2 октомври 2018 г. Налице е на адрес https://plato.stanford.edu/entries/logic-informal/
• Логика (2018). Основи на философията. Възстановен на 2 октомври 2018 г. На разположение на адрес https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. and 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/