de logica is een wetenschap die formeel is, dat wil zeggen dat, zoals elk van de formele wetenschappen haar eigen studieobject creëert en de redenering en het scheppen van ideeën door de geest haar methodologie van werk en kennis zijn, maar bovendien is de logica een van de takken van de belangrijkste en populairste binnen de filosofie, aangezien haar studieobject de principes van demonstratie en valide gevolgtrekking zijn, die uiteindelijk de methoden zijn die het mogelijk maken om de redenering te onderscheiden goed van kwaad.De oorsprong van de logica gaat terug tot de Gouden Tijd van het klassieke Griekenland en de Griekse filosoof Aristoteles wordt beschouwd als de Schepper en vader ervan, omdat hij de eerste was die het begrip gebruikte en het de entiteit gaf die tot op de dag van vandaag de argumenten bestudeert als betogers van de waarheid in de wetenschap.
deze logica die we hierboven hebben genoemd en die Aristoteles als zijn grondlegger staat wordt ook wel formele logica genoemd, in beide is er ook een informele logica die uw aandacht zal richten op de methodische studie van die argumenten waarschijnlijk uit filosofie, retoriek en Oratorium, onder andere wetenschappen die zich hiermee bezighouden.In principe besteedt de informele logica al haar inspanningen aan het identificeren van misvattingen en paradoxen en aan de juiste structurering van discoursen.
maar in de formele en informele logica is de vraag niet uitgeput, omdat we ook andere soorten logica ‘ s vinden die absoluut verschillende methodologieën voorstellen, zoals de natuurlijke logica, die wordt voorgesteld door het natuurlijke denken, terwijl het verder gaat, zonder toevlucht te nemen tot de formele wetenschap als basis van ondersteuning.
verschijnt dan de fuzzy of ook wel fuzzy logica die bepaalde licenties neemt met betrekking tot de anderen en een zekere dubbelzinnigheid toegeeft tussen de waarheid of de valsheid van hun stellingen, in nauwe overeenstemming en relatie met de menselijke rede.
in een andere volgorde vinden we de wiskundige logica die wordt gehanteerd met behulp van een kunstmatige en symbolische taal en het maken van een abstractie van de inhoud. En tot slot binaire logica die werkt met variabelen die slechts twee discrete waarden ondersteunen.