La lògica és una ciència formal, és a dir, que com qualsevol de les ciències formals crea el seu propi objecte destudi i el raonament i la creació didees per part de la ment són la seva metodologia de treball i coneixement, però a més, la lògica, és una de les branques més importants i populars dins de la Filosofia, el seu objecte d'estudi és els principis de la demostració i la inferència vàlida, que són els mètodes que en definitiva permetran distingir el raonament correcte de l'incorrecte.
L'origen de la lògica es remunta al temps d'or de la Grècia clàssica i al filòsof grec Aristòtil se'l considera com el creador i pare de la mateixa, ja que va ser el primer a utilitzar la noció i donar-li l'entitat que guarda fins als nostres dies, d'estudi dels arguments com a manifestants de la veritat a la ciència.
Aquesta lògica que descrivíem més amunt i de la qual Aristòtil s'erigeix com el seu fundador se l'anomena també com a lògica formal, mentrestant, també existeix una lògica informal la qual enfocarà la seva atenció a l'estudi metòdic d'aquells arguments probables a partir de la filosofia, la retòrica i l'oratòria, entre altres ciències que se n'ocupen.
Bàsicament, la lògica informal destina tots els seus esforços a la identificació de fal·làcies i paradoxes i en la correcta estructuració dels discursos.
Però a la lògica formal i informal no s'esgota la qüestió ja que a més ens trobem amb altres tipus de lògiques que proposen metodologies absolutament diferents com ser la lògica natural que és aquella que es proposa el pensament natural, tal com discorre, sense acudir a la ciència formal com a base de suport.
Després apareix la lògica borrosa o també anomenada difusa que es pren certes llicències respecte de les altres i admet certa ambigüitat entre la veritat o falsedat de les seves proposicions, en estreta concordança i relació amb la raó humana.
En un altre ordre ens podem trobar amb la lògica matemàtica que es maneja usant un llenguatge artificial i simbòlic i realitzant una abstracció dels continguts. I finalment la lògica binària la qual treballa amb variables que admeten només dos valors discrets.
