A lógica é uma ciência formal, isto é, como qualquer das ciências formais ela cria seu próprio objeto de estudo e raciocínio e a criação de idéias pela mente são sua metodologia de trabalho e conhecimento, mas também, a lógica, é uma das ramos mais importantes e populares dentro da Filosofia, seu objeto de estudo sendo os princípios de demonstração e inferência válida, que são os métodos que, em última análise, nos permitirão distinguir o raciocínio correto do incorreto..
A origem da lógica remonta à época de ouro da Grécia clássica e o filósofo grego Aristóteles é considerado o seu criador e pai, já que foi o primeiro a usar a noção e dar-lhe a entidade que mantém até hoje, de estudar os argumentos como manifestações da verdade na ciência.
Essa lógica que descrevemos acima e da qual Aristóteles se destaca como seu fundador é também conhecida como lógica formalentretanto, também há um lógica informal que focalizará sua atenção no estudo metódico daqueles prováveis argumentos da filosofia, retórica e oratória, entre outras ciências que lidam com estes.
Basicamente, a lógica informal despende 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 a questão não se esgota, pois também encontramos outros tipos de lógicas que propõem metodologias absolutamente diferentes, como lógica natural que é aquela proposta pelo pensamento natural, como funciona, sem recorrer à ciência formal como base de sustentação.
Então o lógica difusa ou também chamada de difusa que toma certas licenças com respeito às outras e admite certa ambigüidade entre a verdade ou a falsidade de suas proposições, em estreita concordância e relação com a razão humana.
Em outra ordem, podemos encontrar o Lógica matemática isso é tratado com uma linguagem artificial e simbólica e fazendo uma abstração dos conteúdos. E finalmente o lógica binária que trabalha com variáveis que admitem apenas dois valores discretos.
