Логика

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

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

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

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

Аристотелиан Логиц

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

Неки насљедници Аристотела били су одговорни за темеље средњовјековне логике, која је трајала до тринаестог стољећа. Средњовековни мислиоци као што су Галенус, Порфир и Александар Афродизије класификовали су логику као науку о правилном просуђивању, што омогућава да се дође до исправних и формално ваљаних резоновања.

Логика програмирања

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

Аргумент логиц

Логика аргументације нам омогућава да потврдимо валидност или да ли је изјава истинита или не. То се не ради са релативним или субјективним концептима, они су опипљиви предлози чија се валидност може верификовати. У овом случају, логика има за циљ да процени облик предлога, а не садржај. Силлогизми (састављени од два премиса и закључак) су примјер логике аргументације. На пример:

Фуба је пас.

Сви пси су сисари.

Према томе, Фуба је сисар.

Матхематицал Логиц

Математичка логика (или формална логика) проучава логику према својој структури или форми. Математичка логика се састоји од дедуктивног система тврдњи који има за циљ да створи скуп закона и правила за одређивање ваљаности расуђивања. Стога се резоновање сматра ваљаном ако је могуће доћи до истинског закључка из истинских премиса.

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

Формална логика се може поделити у две групе: пропозициона логика и предикатна логика.

Лајбница многи виде као ум који је иницирао концепт формалне или математичке логике, која се бави централним питањима математике. Међутим, тек након 1890. године, са Пеаном, почело је питање конзистентности аксиома. Неки важни принципи формалне логике налазе се у Математичкој анализи логике Георгеа Боолеа (аутор логичке или логичке алгебре).

Пропоситионал Логиц

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