A lógica é o estudo do raciocínio válido. Ela questiona o que se segue de quê. Um argumento válido é aquele em que a conclusão tem de ser verdadeira se as premissas forem verdadeiras. A lógica fornece as ferramentas para distinguir os bons argumentos dos maus argumentos. Aristóteles sistematizou a lógica com o silogismo. Os lógicos medievais refinaram-na. Frege e Russell desenvolveram a lógica simbólica moderna, que utiliza linguagens formais para representar argumentos e regras de inferência para derivar conclusões. A lógica é utilizada em matemática, ciência da computação, linguística e filosofia.

A lógica não é o mesmo que psicologia. Ela estuda os princípios normativos, não como as pessoas realmente pensam. As pessoas raciocinam frequentemente de forma ilógica, mas isso não altera o que a validade exige. A lógica também não é o mesmo que retórica. A retórica visa persuadir. A lógica visa provar. As duas podem sobrepor-se, mas são distintas. A lógica tem muitos ramos: lógica proposicional, lógica de predicados, lógica modal, lógica temporal e lógica multivalorada, entre outros. Cada ramo tem os seus próprios símbolos, regras e semântica. A lógica é uma ciência formal, tal como a geometria, e tem aplicações em qualquer área que exija um raciocínio preciso.

Tipos de lógica

• Proposicional. Trata de proposições completas e conectivos.
• Predicate. Trata de objetos, propriedades e quantificadores.
• Modal. Trata da possibilidade e necessidade.
• Informal. Trata do raciocínio em linguagem natural.

A lógica não é um conjunto de conhecimentos sobre o mundo. É um conjunto de conhecimentos sobre o que decorre do quê.