Логика је именица женског рода из грчког израза лого, везан за логотипи, разлог, реч или говор, што значи расуђивање науке.
У пренесеном значењу реч логика је повезана са а специфичан начин резоновањас правом На пример: Ово никад неће успети! Ваш план нема логике!
ти проблеми или логичке игре су активности у којима појединац мора да користи а логично размишљање за решавање проблема.
Аристотеловска логика
Према Аристотелу, предмет проучавања је логика мислио, као и закони и правила која то контролишу, да би та мисао била тачна. За грчког филозофа саставни елементи логике су концепт, пресуда и расуђивање. Закони логике одговарају везама и односима који постоје између ових елемената.
Неки наследници Аристотела били су одговорни за основе средњовековне логике, која је трајала до тринаестог века. Средњовековни мислиоци попут Галена, Порфирија и Александра Афродизијског класификовали су логику као науку о исправном суђењу, што омогућава постизање исправних и формално ваљаних закључака.
Логика програмирања
Програмска логика је језик који се користи за стварање рачунарског програма. Логика програмирања је од суштинског значаја за развој рачунарских програма и система, јер дефинише логички ланац за тај развој. Кораци за овај развој познати су као алгоритам, који се састоји од логичног низа упутстава за функцију која треба да се изврши.
Логика аргументације
Логика аргументације омогућава проверу ваљаности или да ли је неки исказ тачан или не. Није направљен са релативним или субјективним концептима. То су опипљиви приједлози чија се ваљаност може провјерити. У овом случају, логика има за циљ процену форме предлога, а не садржаја. Силогизми (састављени од две премисе и закључка) пример су аргументационе логике. На пример:
Кукурузно брашно је пас.
Сви пси су сисари.
Стога је кукурузно брашно сисар.
Математичка логика
Математичка логика (или формална логика) проучава логику према њеној структури или облику. Математичка логика се састоји од а дедуктивни систем изјава којима је циљ стварање групе закона и правила којима би се утврдила валидност образложења. Стога се образложење сматра валидним ако је могуће доћи до истинског закључка из истинитих премиса.
Математичка логика се користи и за изградњу ваљаног закључивања путем других закључивања. Образложења могу бити дедуктивни (закључак се обавезно добија на основу истинитости премиса) и индуктивна (пробабилистички).
Формална логика се може поделити у две групе: пропозициона и предикатска.
Лајбница многи виде као ум који је покренуо концепт формалне логике или математике који се бави основним питањима математике. Међутим, тек после 1890. са Пеаном започиње испитивање конзистентности аксиома. Неки важни принципи формалне логике налазе се у Математичкој анализи логике Џорџа Була (аутор Булове логике или алгебре).
пропозициона логика
Пропозициона логика је подручје логике које испитује расуђивање према односима између клаузула (пропозиција), минималних јединица дискурса, које могу бити истините или нетачне.