Vetenskapen som bygger på lagar, modaliteter och former av vetenskaplig kunskap är känd under namnet logik . Det är en formell vetenskap som saknar innehåll eftersom det fokuserar på studier av giltiga inferensalternativ . Det vill säga, det föreslår att studera metoderna och lämpliga principer för att identifiera den rätta resonemanget i motsats till det som inte är det.

Etymologin gör det möjligt att veta att termen "logik" har sitt ursprung i det latinska ordet logĭca, som i sin tur härrör från de grekiska logikóerna (från logotyper, "skäl" eller "studie" ). Den grekiska filosofen Aristoteles, experter i historiska frågor, pionjerade användningen av begreppet att namnge kontrollen av argument som indikatorer på sanning inom vetenskapen och att presentera syllogismen som ett giltigt argument.

Men vi kan inte ignorera att genom historien finns det många andra figurer som har bidragit med sina idéer och metoder för att utveckla denna vetenskap. Således måste vi under medeltiden understryka den roll som Averroes, den cordovanska filosofen spelade, som bland annat uppgav att det var grundläggande att studera de gamla mästarnas logik och därifrån fortsätta till " filosofera "på rätt sätt.

Redan i artonhundratalet och nittonde århundraden var en av de karaktärer som mest behandlade ämnesområdet logik Immanuel Kant. Detta anses vara en av de viktigaste och inflytelserika tänkarna i historien och är anmärkningsvärt för det faktum att vi i detta ärende har etablerat ett nytt koncept: transcendental logik.

Ett begrepp med vilket den filosofen av preussiska ursprung försökte definiera processen genom vilken människan måste utföra en undersökning av vad som skulle bli de rena begreppa kategorier av transcendentaltyp eller också av vad som är den exakta förståelsen .

Hegel, Augustus De Morgan, John Venn eller Gottlob Frege är andra författare som har utmärkat sig inom logikområdet och särskilt den senare som orsakade en autentisk revolution med sina teorier. Därför betraktas det tillsammans med ovannämnda Aristoteles som den viktigaste logikerna i hela historien. Och det är att han etablerat begreppen bevis, predikatlogik eller formellt språk.

Aristoteles anses vara fadern till formell logik . Å andra sidan avser informell logik den metodiska undersökningen av sannolika argument baserat på oratorisk, retorik och filosofi, bland annat vetenskap. Dess mål är erkännande av paradoxer och felfrågor, liksom att vara en effektiv resurs för att konstruera tal korrekt.

Naturlig logik är den naturliga förmågan att motivera utan att vädja till vetenskapen. Den så kallade fuzzy eller diffuse logiken är å andra sidan en som överväger en viss osäkerhet vid analys av propositionernas sanna eller falska karaktär, liknande den resonemang som är lämplig för människan.

Å andra sidan karakteriseras matematisk logik genom att använda ett konstgjort symboliskt språk och en abstraktion av innehållet.

Det finns andra typer eller klasser av logik, som det binära logiska samtalet, som arbetar med variabler som bara tar två diskreta värden.