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

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

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

• Препоручени чланак: „10 врста логичких и аргументованих заблуда“

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• Гроарке, Л. (2017). Неформална логика. Станфордска енциклопедија филозофије. Приступљено 02. 10. 2018. Може се наћи у https://plato.stanford.edu/entries/logic-informal/
• Логика (2018). Основе филозофије. Приступљено 02. 10. 2018. Може се наћи у https://www.philosophybasics.com/branch_logic.html
• Магнани, Л. (2001). Отмица, разум и наука: процеси открића и објашњења. Њујорк: Клувер Ацадемиц Пленум Публисхерс.
• МцГинн, Ц. (2000). Логичка својства: идентитет, постојање, предвиђање, нужност, истина. Окфорд: Цларендон Пресс.
• Куине, В.В.О. (1986) (1970). Филозофија логике. Цамбридге, МА.: Харвард Университи Пресс.
• Шапиро, С. и Коури, С. (2018). Класична логика. Приступљено 02. 10. 2018. Доступно у Логиц (2018). Основе филозофије. Приступљено 02. 10. 2018. Може се наћи у https://www.philosophybasics.com/branch_logic.html
• Гарсон, Ј. (2018). Модал Логиц. Станфордска енциклопедија филозофије. Приступљено 02. 10. 2018. Може се наћи у https://plato.stanford.edu/entries/logic-modal/