Науката, основана на законите, модалностите и формите на научното познание, е известна под името логика . Това е формална наука, която не разполага със съдържание, тъй като се фокусира върху изучаването на валидни алтернативи на извода . Тоест, той предлага да се проучат методите и подходящите принципи за идентифициране на правилното разсъждение, а не на това, което не е.

Етимологията позволява да се знае, че терминът „логика“ произхожда от латинската дума logĭca, която от своя страна произлиза от гръцкия logikós (от лога, „причина“ или „проучване“ ). Гръцкият философ Аристотел, експерти по исторически въпроси, пионер в използването на понятието, за да назове проверката на аргументите като показатели за истината в науката и да представи силогизма като валиден аргумент.

Но не можем да пренебрегнем, че през историята има много други фигури, които са допринесли за своите идеи и подходи за развитието на тази наука. Така например, през Средновековието трябва да подчертаем ролята на Averroes, кордованския философ, който, наред с други неща, заяви, че е от основно значение да се изучава логиката на старите майстори и от там да се пристъпи към „ философствайте “по правилния начин.

Още в осемнадесети и деветнадесети век един от героите, който най-често се занимава с темата за логиката, е Имануел Кант. Това се смята за един от най-важните и влиятелни мислители в историята и се отличава с факта, че в това отношение сме установили нова концепция: трансцендентална логика.

Термин, с който споменатият философ от пруски произход се опитва да дефинира процеса, чрез който човешкото същество трябва да извърши изследване на онова, което би станало чисто понятие за категории от трансцендентален тип или също за това какво е точното разбиране,

Хегел, Август Де Морган, Джон Вен или Готлоб Фреге са други автори, които са се отличили в областта на логиката и особено на последното, което е предизвикало автентична революция с техните теории. Затова, заедно с гореспоменатия Аристотел, той се смята за най-важния логик от цялата история. Именно той установява концепциите за доказателство, логика на предиката или формален език.

Аристотел се счита за бащата на формалната логика . От друга страна, неформалната логика се отнася до методическото разглеждане на вероятните аргументи, основани на ораторски, реторични и философски, сред другите науки. Нейната цел е признаването на парадоксите и заблудите, както и да бъде ефективен ресурс за правилно конструиране на речи.

Естествената логика е естествената способност да се мисли, без да привлича науката. Така наречената размита или дифузна логика, от друга страна, е тази, която предвижда известна несигурност, когато се анализира истинският или лъжлив характер на предложенията, подобно на разсъжденията, подходящи за човешкото същество.

От друга страна, математическата логика се характеризира с използване на изкуствен символичен език и абстракция на съдържанието.

Има и други видове или класове на логиката, като например двоичното логическо повикване, което работи с променливи, които приемат само две дискретни стойности.