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

Април 4, 2024

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

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

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

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

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

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

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

Генерално гледано, да систем сматра логичним, морају испунити три критеријума:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Обично је подељен на два подтипа:

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

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

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

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

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

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

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