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.
• McGinn, C. (2000). Логически свойства: идентичност, съществуване, предикация, необходимост, истина. Оксфорд: Clarendon Press.
• Куайн, В.В.О. (1986) (1970). Философия на логиката. Кеймбридж, Масачузетс: Harvard University Press.
• Шапиро, С. и Kouri, S. (2018). Класическа логика. Посетен на 2 октомври 2018. Предлага се в Logic (2018). Основите на философията. Посетен на 2 октомври 2018. Наличен в https://www.philosophybasics.com/branch_logic.html
• Гарсън, Дж. (2018). Модална логика. Станфордска енциклопедия по философия. Посетен на 2 октомври 2018. Наличен в https://plato.stanford.edu/entries/logic-modal/