4 најважније врсте логике (и карактеристика)

Логика је проучавање расуђивања и закључивања. То је скуп питања и анализа које су нам омогућиле да схватимо колико се ваљан аргумент може разликовати од заблуда и како долазимо до њих.

За то је неопходно развити различите системе и облике студирања, који су довели до четири главне врсте логике. Видјет ћемо испод тога што је сваки од њих.

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

Шта је логика?

Ријеч "логика" долази од грчког "логоса" који се може превести на различите начине: ријечи, мисли, аргументи, принципи или разлози су неки од главних. У том смислу, логика је проучавање принципа и расуђивања.

Циљ ове студије је да се разумеју различити критеријуми закључивања и како долазимо до валидних демонстрација, за разлику од неважећих демонстрација. Дакле, основно питање логике је оно што је исправно размишљање и како можемо разликовати ваљани аргумент и заблуду??

Да бисмо одговорили на ово питање, логика предлаже различите начине класификације изјава и аргумената, било да се они одвијају у формалном систему или на природном језику. Конкретно, он анализира пропозиције (декларативне реченице) које могу бити истините или лажне, као и заблуде, парадоксе, аргументе који укључују узрочност и, уопште, теорију аргументације..

Уопштено говорећи, да се систем сматра логичним, они морају испунити три критеријума:

• Доследност (не постоји контрадикција између теорема које чине систем)
• Снага (тестни системи не укључују лажне закључке)
• Цомплетуд (све праве реченице морају бити доказане)

4 врсте логике

Као што смо видели, логика користи различите алате да би разумела разлоге које користимо да бисмо нешто оправдали. Традиционално, препознају се четири главне врсте логике, свака са неким подтиповима и специфичностима. Видјет ћемо испод чега се ради.

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

Позната и као традиционална логика или филозофска логика, ради се о проучавању закључака са чисто формалним и експлицитним садржајем. Ради се о анализи формалних изјава (логичких или математичких), чије значење није суштинско, али његови симболи имају смисла корисном апликацијом која је дата. Филозофска традиција из које потоње потиче назива се управо "формализам".

С друге стране, формални систем је онај који се користи да би се извео закључак из једног или више простора. Ово последње могу бити аксиоми (само-очигледне тврдње) или теореме (закључци фиксног скупа правила закључивања и аксиома).

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

Са своје стране, неформална логика је новија дисциплина, која проучава, процењује и анализира аргументе приказане на природном или свакодневном језику. Дакле, добија категорију "неформалних". То може бити говорни или писани језик или било који тип механизма и интеракције који се користи за комуникацију. За разлику од формалне логике, која би се, на примјер, примјењивала на проучавање и развој рачунарских језика; формални језик односи се на језике и језике.

Према томе, неформална логика може анализирати из личног расуђивања и аргумената политичке расправе, правне аргументе или просторије које дистрибуирају медији, као што су новине, телевизија, интернет итд..

3. Симболичка логика

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

• Предикативна логика или први ред: то је формални систем састављен од формула и квантитативних варијабли
• Пропоситионал: то је формални систем састављен од пропозиција, које су у стању да стварају друге пропозиције кроз конекторе који се називају "логички везни". У томе готово да и нема квантитативних варијабли.

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

У зависности од аутора који га описује, математичка логика се може сматрати типом формалне логике. Други сматрају да математичка логика укључује и примену формалне логике у математици и примену математичког расуђивања у формалној логици..

Уопштено говорећи, примена математичког језика у конструкцији логичких система омогућава репродукцију људског ума. На пример, ово је веома присутно у развоју вештачке интелигенције иу рачунским парадигмама изучавања когниције..

Обично се дели на два подтипа:

• Логицизам: ради се о примени логике у математици. Примјери овог типа су теорија теста, теорија модела, теорија скупова и теорија рекурзије.
• Интуитионисм: тврди да су и логика и математика методе чија је примена конзистентна за извођење сложених менталних конструкција. Али, он каже да у себи логика и математика не могу објаснити дубоке особине елемената које анализирају.

Индуктивно, дедуктивно и модално резоновање

С друге стране, Постоје три типа расуђивања која се такође могу сматрати логичним системима. То су механизми који нам омогућавају да извучемо закључке из просторија. Дедуктивно резоновање чини такво извлачење из опште премисе одређеној премиси. Класичан пример је онај који је предложио Аристотел: Сви људи су смртни (ово је општа премиса); Сократ је људско биће (то је главна премиса), и на крају, Сократ је смртан (ово је закључак).

С друге стране, индуктивно резоновање је процес којим се закључује у супротном правцу: од конкретног до генералног. Пример за то би био: "Све вране које видим су црне" (одређена премиса); онда су све вране црне (закључак).

Коначно, расуђивање или модална логика заснива се на пробабилистичким аргументима, тј. Они изражавају могућност (модалитет). То је формални логички систем који укључује термине као што су "могао", "може", "треба", "на крају".

Библиографске референце:

• Гроарке, Л. (2017). Информал Логиц. Станфорд Енцицлопедиа оф Пхилосопхи. Приступљено 2. октобра 2018. Доступно на хттпс://плато.станфорд.еду/ентриес/логиц-информал/
• Логика (2018). Основе филозофије. Приступљено 2. октобра 2018. Доступно на хттпс://ввв.пхилосопхибасицс.цом/бранцх_логиц.хтмл
• Схапиро, С. анд Коури, С. (2018). Цлассицал Логиц. Приступљено 2. октобра 2018. Доступно у логици (2018). Основе филозофије. Приступљено 2. октобра 2018. Доступно на хттпс://ввв.пхилосопхибасицс.цом/бранцх_логиц.хтмл
• Гарсон, Ј. (2018). Модал Логиц. Станфорд Енцицлопедиа оф Пхилосопхи. Приступљено 2. октобра 2018. Доступно на хттпс://плато.станфорд.еду/ентриес/логиц-модал/