Lógica: o que se segue do quê?
A lógica trata da relação de consequência. O que principalmente queremos saber, nesta disciplina, é o que se segue do quê. Por exemplo, se eu disser que alguns acontecimentos são acções, pode concluir-se daí que algumas acções são acontecimentos; e ainda que seja verdade que todas as acções são acontecimentos, isso não pode deduzir-se daquela afirmação. Analogamente, se digo que o sol é uma estrela mortal, segue-se do que digo que alguma estrela é mortal; e ainda que todas as estrelas sejam mortais, isso não se pode concluir dali. Uma noção aparentada com a de consequência lógica é a de argumento válido. Um argumento é uma maneira de estabelecer ou suportar uma conclusão a partir de certas premissas: um encadeado de enunciados que, partindo das premissas, conduz passo a passo até à conclusão desejada; e só é válido, ou logicamente correcto, se a conclusão for uma consequência lógica das premissas. Um argumento válido é uma espécie de prova condicional: uma prova de que a conclusão é verdadeira se as premissas o forem.
Em lógica queremos saber que argumentos são válidos e que argumentos não o são.
[VVAA. Filosofia: uma introdução por disciplinas. Lisboa: Edições 70, 2012, p. 7]
***
O texto Lógica com humor aborda, como pretexto para umas piadas, alguns dos conceitos aqui referidos (a lógica, a dedução e a indução…). Incluindo o modo de raciocinar de Sherlock Holmes.