De wetenschap die is gebaseerd op de wetten, modaliteiten en vormen van wetenschappelijke kennis is bekend onder de naam logica . Het is een formele wetenschap die geen inhoud heeft, omdat deze zich richt op de studie van geldige alternatieven voor afleiding . Dat wil zeggen dat het voorstelt om de methoden en de juiste principes te bestuderen om de juiste redenering te identificeren, in tegenstelling tot degene die dat niet is.

De etymologie maakt het mogelijk om te weten dat de term 'logica' zijn oorsprong vindt in het Latijnse woord logĭca, dat op zijn beurt is afgeleid van de Griekse logikós (van logo's, 'reden' of 'studie' ). De Griekse filosoof Aristoteles, experts in historische vragen, pionierde het gebruik van het begrip om de controle van argumenten als indicatoren van de waarheid binnen de wetenschap te noemen, en om het syllogisme als een geldig argument te presenteren.

We kunnen echter niet negeren dat er door de geschiedenis heen veel andere figuren zijn die hun ideeën en benaderingen hebben bijgedragen om deze wetenschap te ontwikkelen. Zo moeten we bijvoorbeeld in de Middeleeuwen de rol onderstrepen van Averroes, de Cordovan filosoof die onder andere beweerde dat het fundamenteel was om de logica van de oude meesters te bestuderen en van daaruit verder te gaan naar " filosoferen "op de juiste manier.

Al in de achttiende en negentiende eeuw was een van de personages die het meest over het onderwerp logica sprak Immanuel Kant. Dit wordt beschouwd als een van de belangrijkste en invloedrijkste denkers in de geschiedenis en valt op door het feit dat we in deze kwestie een nieuw concept hebben ontwikkeld: transcendentale logica.

Een begrip waarmee de genoemde Pruisische filosoof probeerde het proces te definiëren waardoor de mens een onderzoek moet doen naar wat de zuivere begrippen van transcendentale categorieën zouden worden, of ook over wat precies het begrip is .

Hegel, Augustus De Morgan, John Venn of Gottlob Frege zijn andere auteurs die uitblonken op het gebied van logica en vooral de laatste die een authentieke revolutie veroorzaakten met hun theorieën. Daarom wordt het, samen met de bovengenoemde Aristoteles, beschouwd als de belangrijkste logicus van de hele geschiedenis. En het is dat hij de concepten van bewijs, predikaat logica of formele taal heeft vastgesteld.

Aristoteles wordt beschouwd als de vader van de formele logica . Aan de andere kant verwijst informele logica naar het methodisch onderzoek van waarschijnlijke argumenten gebaseerd op retorica, retorica en filosofie, naast andere wetenschappen. Het doel ervan is de herkenning van paradoxen en drogredenen, maar ook als een effectief middel om toespraken correct te construeren.

Natuurlijke logica is het natuurlijke vermogen om te redeneren zonder een beroep te doen op de wetenschap. De zogenaamde fuzzy of diffuse logica, daarentegen, is een die een zekere onzekerheid overweegt bij het analyseren van het ware of foute karakter van de proposities, vergelijkbaar met de redenering die eigen is aan de mens.

Aan de andere kant wordt de wiskundige logica gekenmerkt door het gebruik van een kunstmatige symbolische taal en een abstractie van de inhoud.

Er zijn andere typen of klassen van logica, zoals de binaire logica- aanroep, die werkt met variabelen die slechts twee discrete waarden in beslag nemen.