Znanost, ki temelji na zakonih, modalitetah in oblikah znanstvenega znanja, je znana pod imenom logika . To je formalna znanost, ki nima vsebin, saj se osredotoča na preučevanje veljavnih alternativnih sklepov . To pomeni, da predlaga preučitev metod in ustreznih načel za opredelitev pravilnega sklepanja v nasprotju s tistimi, ki niso.
Etimologija omogoča, da vemo, da izraz „logika“ izvira iz latinske besede logĭca, ki izhaja iz grške logikós (iz logosa, razuma ali študija ). Grški filozof Aristotel, strokovnjak za zgodovinska vprašanja, je začel uporabljati pojem, da bi preveril argumente kot kazalce resnice v znanosti in predstavil silogizem kot veljavni argument.
Vendar pa ne smemo prezreti, da je skozi zgodovino veliko drugih osebnosti, ki so prispevale svoje ideje in pristope k razvoju te znanosti. Tako moramo npr. V srednjem veku poudariti vlogo Averroesa, kordovskega filozofa, ki je med drugim izjavil, da je bistvenega pomena preučiti logiko starih mojstrov in od tam nadaljevati s " filozofirati “na pravi način.
Že v osemnajstem in devetnajstem stoletju je bil eden od likov, ki so najbolj obravnavali temo logike, Immanuel Kant. To velja za enega najpomembnejših in najpomembnejših mislecev v zgodovini in se kaže v tem, da smo v tej zadevi vzpostavili nov koncept: transcendentalna logika.
Izraz, s katerim je filozof pruskega izvora poskušal opredeliti proces, s katerim mora človek izvesti preiskavo o tem, kaj bi se pojavilo kot čisti koncepti kategorij transcendentalnega tipa ali tudi tega, kaj je točno razumevanje .
Hegel, Augustus De Morgan, John Venn ali Gottlob Frege so drugi avtorji, ki so se odlikovali na področju logike in še posebej tisti, ki je s svojimi teorijami povzročil avtentično revolucijo. Zato se, skupaj z omenjenim Aristotelom, šteje za najpomembnejšega logiča vse zgodovine. In to je, da je vzpostavil koncepte dokazovanja, predikatne logike ali formalnega jezika.
Aristotel se šteje za očeta formalne logike . Po drugi strani pa se neformalna logika nanaša na metodično preučevanje verjetnih argumentov, ki temeljijo na govorništvu, retoriki in filozofiji, med drugimi znanostmi. Njegov cilj je prepoznavanje paradoksov in zmot, pa tudi učinkovito sredstvo za pravilno konstruiranje govorov.
Naravna logika je naravna sposobnost razumevanja, ki ni privlačna za znanost. Tako imenovana mehka ali razpršena logika pa je tista, ki razmišlja o določeni negotovosti, ko analiziramo resnični ali napačni značaj predlogov, podobno razmišljanju, ki je primerno za človeka.
Po drugi strani je za matematično logiko značilen umetni simbolni jezik in abstrakcija vsebine.
Obstajajo tudi druge vrste ali razredi logike, kot je binarni logični klic, ki deluje s spremenljivkami, ki vzamejo samo dve diskretni vrednosti.