La ciència que es basa en les lleis, modalitats i formes de el coneixement científic es coneix sota el nom de lògica. Es tracta d'una ciència de caràcter formal que no té contingut ja que fa focus en l' estudi de les alternatives vàlides d'inferència. És a dir, proposa estudiar els mètodes i els principis adequats per identificar el raonament correcte davant el que no ho és.
L'etimologia permet saber que el terme 'lògica' té el seu origen en el vocable llatí lògica , que al seu torn deriva de el grec logikós (de logos , "raó" o "estudi"). El filòsof grec Aristòtil, expliquen els experts en qüestions històriques, va ser pioner a l'emprar la noció per nomenar la revisió dels arguments com a indicadors de la veritat dins de la ciència, i a l'presentar a l'sil·logisme com a argument vàlid.
Tanmateix, no podem passar per alt que al llarg de la història hi ha moltes altres figures que han contribuït amb les seves idees i plantejaments a desenvolupar aquesta ciència. Així, per exemple, durant l'Edat Mitjana cal subratllar el paper que va dur a terme Averroes, el filòsof cordovès que, entre altres coses, va manifestar que era fonamental estudiar la lògica dels mestres antics per, a partir d'aquí, procedir a " filosofar "de la manera correcta.
Ja en els segles XVIII i XIX un dels personatges que més va abordar el tema de la lògica va ser Immanuel Kant. Aquest està considerat com un dels pensadors més importants i influents de la història i destaca pel fet que en aquesta matèria que ens ocupa va establir un nou concepte: la lògica transcendental.
Un terme aquell amb el qual dit filòsof d'origen prussià intentava definir a el procés pel qual l'ésser humà ha de dur a terme una investigació del que vindrien a ser els conceptes purs de categories de tipus transcendental o també del que és l'exacte enteniment.
Hegel, Augustus De Morgan, John Venn o Gottlob Frege són altres dels autors que han destacat en el camp de la lògica i especialment aquest últim que va causar una autèntica revolució amb les seves teories. Per això és considerat, al costat de l'esmentat Aristòtil, com el lògic més important de tota la història. I és que va establir els conceptes de prova, lògica de predicats o llenguatge formal.
Aristòtil està considerat com el pare de la lògica formal. En canvi, la lògica informal fa a l'examen metòdic dels arguments probables a partir de l'oratòria, la retòrica i la filosofia, entre d'altres ciències. Té com a objectiu el reconeixement de paradoxes i fal·làcies, així com ser un recurs eficaç per construir els discursos de forma correcta.
La lògica natural és la destresa natural per raonar sense apel·lar a la ciència. L'anomenada lògica borrosa o difusa, en canvi, és aquella que contempla una determinada incertesa a l'analitzar el caràcter verídic o fals de les proposicions, a semblança de l'raciocini propi de l'ésser humà.
D'altra banda, la lògica matemàtica es caracteritza per emprar un llenguatge simbòlic artificial i realitzar una abstracció dels continguts.
Hi ha altres tipus o classes de lògica, com l'anomenada lògica binària, la qual treballa amb variables que només prenen dos valors discrets.