Дял:
6-те основни логически типа
Има няколко типове логика и всички съсредоточават предмета си на проучване в разбирането на разсъжденията и идентифицират кога са правилни или неправилни.
Изучаването на логиката се е развило от времето на гръцкия философ Аристотел до днес и това е коригирано с намерението да бъде по-конкретно и в същото време по-приспособено към ежедневието на човешкото същество, което му позволява по-осезаемо приложение в различни области.
Логиката се стреми към систематично изследване на аргументите и предложенията, а различните типове логика позволяват да се проучи както чисто формалната структура на тези твърдения, така и какво е свързано със съдържанието и силата на споменатото съдържание..
Въпреки че логиката се основава на изучаването на твърдения, тя не се фокусира ясно върху естествения език (езикът, какъвто го познаваме), но неговата полезност е достигнала до различни области и с различни структури, като математиката и изчислителен.
Най-подходящите типове логика
формален
Формалната логика, известна също като класическа логика или аристотелова логика, е изучаването на предложения, аргументи, изявления или изречения от структурна гледна точка..
Това е метод за структуриране на мисълта и определяне на правилните или неправилни форми на специфичен подход.
Формалната логика не се фокусира върху истината или лъжливостта на съдържанието на даден аргумент, а се фокусира върху валидността или иначе на конструирането на неговата форма..
Тоест обектът на изследване на формалната логика не е емпиричен, за логика не е уместно да се определи дали представеният аргумент е реален и доказан; но изследването му е съсредоточено ясно върху структурата на споменатия аргумент.
В рамките на формалната логика има две много важни класификации: дедуктивна логика и индуктивна логика.
Дедуктивната логика се отнася до онези специфични твърдения, които са генерирани от общите понятия. Чрез този тип логика могат да се правят изводи от вече съществуващи концепции или теории.
Например, в рамките на дедуктивната логика може да се каже, че ако хората имат крака и Клара е човешко същество, то Клара има крака..
В случай на индуктивна логика, конструирането на аргументи се случва по обратен начин; т.е. общи понятия се създават от специфични аргументи.
Например, в рамките на индуктивната логика може да се каже, че ако една котка обича риба, а другата също я харесва, а друга, също така, всички котки като риба.
неформален
Неформалната логика е клонът на изследването, който се фокусира върху езика и посланието, произтичащи от семантични конструкции и аргументи..
Тази логика е различна от формалната логика, тъй като формалната логика изследва структурите на изреченията и предложенията; и неформалната логика се фокусира върху фона на предаденото съобщение.
Неговият предмет на изследване е начинът да се спори за постигане на желания резултат. Неформалната логика потвърждава логическите аргументи, които са по-последователни между другите, които имат по-слаба аргументационна структура.
Не е класически
Некласическата логика, или съвременната логика, произхожда от деветнадесети век и възниква в противовес на изявленията на класическата логика.
Тя установява други форми на анализ, които могат да покрият повече аспекти, отколкото е възможно да се обхване чрез класическия подход на логиката.
Ето как са включени математически и символични елементи, нови твърдения или теореми, дошли да компенсират недостатъците на формалната логическа система..
В некласическата логика съществуват различни подтипове на логиката, като модален, математически, тривалентен и др..
Всички тези типове логика се различават до известна степен от формалната логика или включват нови елементи, които са взаимно допълващи се и позволяват логическото изследване на конкретно изявление да бъде по-точно и адаптирано към полезността в ежедневието..
символичен
Символичната логика се нарича още логика на първия ред или математическа логика и се характеризира с използването на символи, които съставляват нов език, чрез който да се преведат аргументите..
Намерението на символичната логика е да преобразува абстрактни мисли в по-формални структури.
Всъщност той не използва естествен език (език), а използва технически език, който превръща изреченията в елементи, податливи на прилагането на по-точни правила, отколкото могат да се прилагат на естествен език..
Тогава символичната логика позволява третирането на предложения чрез законите за изчисление, за да се избегне объркване или неточности.
Той се стреми да включи математически елементи в анализа на формалните логически структури. В математическото поле логиката се използва за доказване на теореми.
Накратко, символичната или математическата логика се стреми да изразява човешката мисъл чрез математически език.
Това математическо приложение на логиката позволява аргументите и конструкциите да бъдат по-точни.
модален
Модалната логика се фокусира върху изучаването на аргументи, но добавя елементи, свързани с възможността въпросното изявление да е вярно или невярно.
Модалната логика се преструва, че е по-съгласна с човешката мисъл, затова включва използването на конструкции като "може", "вероятно", "понякога", "може би", "вероятно", "е вероятно", "може би" ", Наред с другите.
В модалната логика това е въпрос на разглеждане на сценарий, в който има възможност, и човек се стреми да разглежда всички възможности, които могат да съществуват, от логическа гледна точка..
изчислителната
Изчислителната логика е тип логика, извлечена от символична или математическа логика, само че се прилага в областта на изчисленията.
Компютърните програми използват езика на програмиране за тяхното разработване и, чрез логиката, е възможно да работят по тези езикови системи, да задават конкретни задачи и да изпълняват действия за проверка..
препратки
- "Логика" в Енциклопедия Британика. Възстановен на 4 август 2017 г. от Британска енциклопедия: britannica.com
- "Формална логика" в Енциклопедия Британика. Възстановен на 4 август 2017 г. от Британска енциклопедия: britannica.com
- Ернандес, Ф. "Изчислителна логика" в Националния автономен университет на Мексико. Възстановен на 4 август 2017 г. от Националния автономен университет на Мексико: unam.mx
- Muñoz, C. "Некласическа логика" в Мадридския университет Комплутенсе. Взето на 4 август 2017 г. от Universidad Complutense de Madrid: ucm.es
- Джулия, Дж. "Какво е символична логика?" В eHow en Español. Взето на 4 август 2017 г. от eHow en Español: ehowenespanol.com
- Олер, C. "Формална логика и аргументация" (2006) в Националния университет в Ла Плата. Взето на 4 август 2017 г. от Националния университет на Ла Плата: rfytp.fahce.unlp.edu.ar
- "Дедуктивни и индуктивни изводи" в Junta de Extremadura. Взето на 4 август 2017 г. в Junta de Extremadura: educarex.es.