a lógica é uma ciência formal, ou seja, que como qualquer uma das ciências formais cria seu próprio objeto de estudo e o raciocínio e a criação de ideias por parte da mente são sua metodologia de trabalho e conhecimento, mas além disso, a lógica, é um dos ramos mais importantes e populares dentro da filosofia, sendo seu objeto de estudo os princípios da demonstração e da inferência válida, que são os métodos que em definitivo permitirão distinguir o raciocínio certo do errado.
A Origem da lógica remonta ao tempo de ouro da Grécia clássica e o filósofo grego Aristóteles é considerado como o criador e pai da mesma, já que foi o primeiro a utilizar a noção e dar-lhe a entidade que guarda até hoje, de estudo dos argumentos como manifestantes da verdade na ciência.
esta lógica que descrevemos acima e da qual Aristóteles se ergue como seu fundador é denominada também como lógica formal, entretanto, também existe uma lógica informal a qual focará sua atenção no estudo metódico daqueles argumentos prováveis a partir da filosofia,a retórica e a oratória, entre outras ciências que se ocupam destes.
basicamente, a lógica informal destina todos os seus esforços na identificação de falácias e paradoxos e na correta estruturação dos discursos.
mas na lógica formal e informal não se esgota a questão já que ademais nos encontramos com outros tipos de lógicas que propõem metodologias absolutamente distintas como ser a lógica natural que é aquela que se propõe o pensamento natural, tal como discorre, sem recorrer à ciência formal como base de apoio.
logo aparece a lógica borrada ou também chamada difusa que se toma certas licenças em relação às outras e admite certa ambiguidade entre a verdade ou falsidade de suas proposições, em estreita concordância e relação com a razão humana.
em outra ordem podemos nos encontrar com a lógica matemática que se maneja usando uma linguagem artificial e simbólica e realizando uma abstração dos conteúdos. E, finalmente, a lógica binária que trabalha com variáveis que suportam apenas dois valores discretos.