Lógica e Pensamento
A lógica examina de forma genérica as formas que a argumentação pode tomar, quais dessas formas são válidas e quais são falaciosas. Em filosofia, o estudo da lógica aplica-se na maioria dos seus principais ramos: metafísica,ontologia, epistemologia e ética. Na matemática, estudam-se as formas válidas de inferência de uma linguagem formal. Na ciência da computação, a lógica é uma ferramenta indispensável. Por fim, a lógica também é estudada na teoria da argumentação.
História
Embora os sofistas e também Platão tenham se ocupado com questões lógicas, nenhum deles o fez com a amplitude e o rigor alcançado por Aristóteles (séc. IV a.C.). O próprio filósofo, porém, não denominou seu estudo de lógica, palavra que só apareceu mais tarde, talvez no século seguinte, com os estóicos.
A obra de Aristóteles dedicada à lógica chama-se Analíticos, e como o próprio nome diz, tratada analise do pensamento nas suas partes integrantes. Essa e outras obras sobre lógica foram reunidas com o titulo de Organon, que significa “instrumento” e, no caso, instrumento para se proceder corretamente no pensar.
Estudo da lógica
O conceito de forma lógica é central à lógica, que se baseia na idéia de que a validade de um argumento é determinada pela sua forma lógica, não pelo seu conteúdo. A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais.
Lógica informal - é o estudo da argumentação em língua natural. O estudo de falácias é um ramo particularmente importante da lógica