6-те основни логически типа

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

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

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

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

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

формален

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

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

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

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

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

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

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

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

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

неформален

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

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

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

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

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

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

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

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

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

символичен

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

Намерението на символичната логика е да преобразува абстрактни мисли в по-формални структури.

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

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

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

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

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

модален

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

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

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

изчислителната

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

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