logiken är en vetenskap som är formell, det vill säga att som någon av de formella vetenskaperna skapar sitt eget studieobjekt och resonemanget och skapandet av tankar av sinnet är dess metodik för arbete och kunskap, men dessutom är logiken en av grenarna till de viktigaste och mest populära inom filosofin, som är dess syfte att studera principerna för demonstration och giltig inferens, vilka är de metoder som i slutändan gör det möjligt att skilja resonemanget rätt från fel.
logikens ursprung går tillbaka till den klassiska Greklands gyllene tid och den grekiska filosofen Aristoteles betraktas som skaparen och fadern till den, eftersom han var den första som använde begreppet och gav den den enhet som håller till denna dag, av studier av argument som demonstranter av sanning i vetenskapen.
denna logik som vi hänvisade till ovan och som Aristoteles står som grundare kallas också som formell logik, i båda finns det också en informell logik som kommer att fokusera din uppmärksamhet i den metodiska studien av de argument som sannolikt kommer från filosofi, retorik och oratoriska, bland andra vetenskaper som behandlar dessa.
i grund och botten ägnar informell logik alla sina ansträngningar till identifiering av felaktigheter och paradoxer och till korrekt strukturering av diskurser.
men i formell och informell logik är frågan inte uttömd eftersom vi också hittar andra typer av logik som föreslår helt olika metoder som naturlig logik, som är den som föreslås av naturlig tanke, när den fortsätter, utan att tillgripa formell vetenskap som en bas av stöd.
sedan visas den fuzzy eller även kallad fuzzy logic som tar vissa licenser med avseende på de andra och medger en viss tvetydighet mellan sanningen eller falskheten i deras propositioner, i nära överenskommelse och förhållande till mänskligt förnuft.
i en annan ordning kan vi hitta den matematiska logiken som hanteras med ett konstgjort och symboliskt språk och göra en abstraktion av innehållet. Och slutligen binär logik som fungerar med variabler som bara stöder två diskreta värden.