Логика - наука о техникама, законима и облицимаразмишљајући. Формалну логику развили су стари Грци много пре наше ере. Грци су били ти који су први изградили демократско друштво у коме су се на народним састанцима доносиле одлуке и закони. Створили су науку парничења на примитивном нивоу. А омиљена забава аристократске омладине биле су расправе са филозофима. Отуда општа љубав према развоју теоријских наука. Грцима је једноставно било потребно учење о томе како вредновати научне доказе.
Први курс из основа логике развио је Аристотел.Скренуо је пажњу на чињеницу да је свако образложење засновано на општим законима, чије кршење доводи до погрешних закључака. Аристотелова формална логика темељила се на следећим законима:
Отуда следи да је формална логиказнање о принципима и законима ефикасне, правилне конструкције резоновања, узимајући у обзир облик њихове конструкције (начини повезивања засебних делова општег резоновања).
Све појаве и предмети имају однос.Односи могу бити објективни или субјективни, општи или приватни, неопходни или случајни. Најзначајније од ових веза називају се закони. Сви они одражавају исту стварност, стога, не могу ни на који начин да противурече. Сви закони људског мишљења повезани су са законима развоја природе.
Закони мишљења представљају стабилну унутрашњу везу између мисли. Ако човек не може да повеже своје мисли, тада неће доћи до тачног закључка и неће моћи да га пренесе другима.
Основни закони формалне логике - то су закони доследности, идентитета,изузетак трећег и закон довољног разлога. Прва три су развили Аристотел и Платон, а потоњег Лајбниц. Кршење ових закона (посебно прва три) доводи до контрадикција, што онемогућава разлику између истине и лажи. Потоњи закон је мање нормативан и више је ограничен у примени.
Мањи закони логике су правилаоперирање судова и концепата, добијање истинског закључка у силогизму, повећавајући вјероватноћу закључака, закључивања индуктивне и традуктивне природе.
Закон доследности значи да размишљање не би требало да буде контрадикторно, већ да одражава квалитативно одређивање ствари.
Изузети трећи закон не прописујетражити нешто треће између две контрадикторне, али истините изјаве и препознати истину само једне од њих. Једна од компоненти контрадикције је свакако тачна.
Формална логика закон идентитета тумачи каозахтев размишљања о тачности, односно под било којим термином требате тачно разумети његову дефиницију и значење. Суштина појмова и судова не може се искривити по својој вољи.
Закон довољног разума једа било која истинска мисао мора бити поткрепљена другим истинитим мислима, а лажне мисли не могу бити поткрепљене. Развој пресуда треба да одражава узрочно-последичну везу. Само у овом случају може се доказати његова поузданост.
Логички облик мишљења и начини одређивања обликабило које мисли изражене су логичким изразима, који укључују везнике „и“, „или„, „ако ... онда ...“, негације „није тачно да“ („не“), речи „неки“ , „све“ („ниједно“), веза „суштина“ (што значи „јесте“) итд. Логички облик пресуде могуће је идентификовати апстраховањем од значења нелогичних појмова који су укључени у вербални израз ове пресуде. Другим речима, формална логика изражава структуру мисли. Логички облик је увек информативан и смислен.
У зависности од облика, мисли се деле на класе:концепти, закључци и судови. Појам - мисао која резимира предмете на основу њихових основних карактеристика. Пресуда је мисао која потврђује присуство (одсуство) стања ствари. Закључивање је мисао која одражава стицање знања израженог у судовима из другог знања.
