Шта је логика:
Логика То је формална наука која проучава структуру или облике људске мисли (као што су предлози, концепти и образложења) да би успоставила важеће законе и принципе како би добила критеријуме истине.
Као придев, „логично“ или „логично“ значи да нешто следи правила логике и разума. Такође указује на очекиване природне или нормалне последице.
Такође се користи за позивање на такозвани „здрав разум“. Долази из латинског логика, а заузврат од грчког λογικη (логике, 'са разумом, „интелектуалац“, „дијалектичан“, „аргументован“), што заузврат потиче од речи λογος (логотипи, „реч“, „мисао“, „разлог“, „идеја“, „аргумент“).
Пропозициона, математичка или симболичка логика
Пропозициона логика је грана логике која проучава пропозиционе променљиве, логичке везе (
). Неки аутори је такође поистовећују са математичком логиком или симболичком логиком, јер користи низ посебних симбола који је приближавају математичком језику. Предлози могу бити тачни или нетачни.
Филозофска логика
Логика се обично сматра делом Филозофије, иако се логика као таква примењује у разним областима и активностима људског бића.
Филозофска логика користи четири темељна принципа која успостављају исправне мисаоне процесе. Ови принципи су принцип идентитета, принцип противречности, принцип искључене треће стране и принцип довољног разлога.
Формална логика и неформална логика
Формална логика је онај чији су предмет проучавања технички закључци употребом дедуктивних система и формалних језика и семантике. Неформална логика са своје стране проучава системе природног расуђивања и аргументације кроз језик и свакодневну мисао.
Аристотеловска логика
То је логика која се заснива на студијама Аристотела, грчког филозофа 4. века п. Аристотелова логика користи такозване силогизме, што је дедукција или облик резоновања у коме се успостављају премисе из којих се закључује.
То је, дакле, концепт сличан дедуктивно ваљаним аргументима. Класичан пример аристотеловске логике је: 'Сви људи су смртни. Сви Грци су мушкарци. Стога су сви Грци смртни. ' Прве две реченице биле би премиса, а трећа закључак.
Дифузна логика
Концепт дифузна логика потиче из енглеског ('фуззи логиц'). То је врста логике која користи случајне вредности, али контекстуализоване и повезане једна са другом, успостављајући релативни однос онога што се посматра као диференцијални положај. Нејасна логика се примењује у различитим областима као што су рачунарство и индустрија.
