ШЕСТТЕ ВИДА ЛОГИКА И ТЯХНОТО ЗНАЧЕНИЕ - ФИЛОСОФИЯ - 2025

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

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

Аристотел, признат за баща на логиката.

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

Въпреки че логиката се основава на изучаването на твърдения, тя не се фокусира ясно върху естествения език (език, какъвто го познаваме), но полезността му е достигнала до различни области и с различни структури, като математика и изчислителна.

Най-подходящите видове логика

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

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

Формалната логика не се фокусира върху истинността или лъжливостта на съдържанието на определен аргумент, а по-скоро се концентрира върху валидността или не на изграждането на неговата форма.

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

В рамките на формалната логика има две много важни класификации: дедуктивна логика и индуктивна логика.

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

Например, в дедуктивната логика може да се каже, че ако хората имат крака, а Клара е човек, то Клара има крака.

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

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

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

Неформалната логика е отрасълът на изследването, който се фокусира върху езика и посланието, което произлиза от семантични конструкции и аргументи.

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

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

Некласическа логика

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

Ето как се включват математически и символни елементи, нови изявления или теореми, дошли да попълнят недостатъците на формална логическа система.

В рамките на некласическата логика има различни подтипове логика, като модална, математическа, тривалентна, между другото.

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

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

Символичната логика се нарича още логика от първи ред или математическа логика и се характеризира с използване на символи, които представляват нов език, чрез който аргументите се „превеждат“.

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

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

Той се стреми да включи математическите елементи в анализа на структурите на формалната логика. В математическата сфера логиката се използва за доказване на теореми.

Накратко, символичната или математическата логика се стреми да изрази човешката мисъл чрез математически език.

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

Модална логика

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

Модалната логика се преструва, че е в по-голяма степен съвместима с човешката мисъл, следователно обхваща използването на конструкции като „би могло“, „възможно“, „понякога“, „може би“, „вероятно“, „е възможно“, „може би ", сред други.

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

Изчислителна логика

Изчислителната логика е вид логика, извлечена от символна или математическа логика, само тя се прилага в областта на изчислителната техника.

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

Препратки

1. „Логика“ в Енциклопедия Британика. Произведено на 4 август 2017 г. от Encyclopedia Britannica: britannica.com
2. „Формална логика“ в Encyclopedia Britannica. Произведено на 4 август 2017 г. от Encyclopedia Britannica: britannica.com
3. Ернандес, Ф. „Изчислителна логика“ в Националния автономен университет в Мексико. Получено на 4 август 2017 г. от Националния автономен университет в Мексико: unam.mx
4. Muñoz, C. „Некласическа логика“ в Мадридския университет „Комплутенс“. Произведено на 4 август 2017 г. от Мадридския университет „Комплутенс“: ucm.es
5. Джулия, Дж. "Какво е символична логика?" на eHow на испански. Произведено на 4 август 2017 г. от eHow на испански: ehowenespanol.com
6. Oller, C. „Формална логика и аргументация“ (2006) в Националния университет в Ла Плата. Проверено на 4 август 2017 г. от Националния университет в Ла Плата: rfytp.fahce.unlp.edu.ar
7. „Дедуктивни и индуктивни изводи“ в Хунта де Естремадура. Проверено на 4 август 2017 г. в Хунта де Естремадура: educarex.es.