Filosofia- matéria de 11º ano
1. Argumentação e lógica formal
1.1. Distinção validade/verdade
A lógica permite avaliar se as afirmações são ou não corretamente inferidas, distinguindo os argumentos validos dos inválidos e identificar as regras que permitem afirmar se são ou não validos. A lógica, ajuda-nos a aprender a construir e a avaliar argumentos validos, garantindo deste modo que partindo de premissas verdadeiras consegue-se chegar a uma conclusão verdadeira. Ou seja, a lógica investiga as regras de coerência dos raciocínios e permite a formalização do pensamento, independentemente dos seus possíveis conteúdos materiais. Dentro da lógica existe também a lógica formal, que é uma ciência que estuda as leis que permitem estruturar corretamente o nosso pensamento através da explicitação das propriedades dos argumentos válidos. Um conceito é uma representação lógica abstrata que designa na mente, um conjunto ou uma classe de objetos. Um termo é a expressão verbal do conceito, sendo os conceitos representações mentais abstratas dos termos. Um juízo é a ligação mental de um ou mais conceitos. Desta forma, exprime-se por uma proposição, ou seja, uma expressão verbal, oral ou escrita do juízo. O raciocínio é o encadeamento de juízos em que a verdade de um depende da verdade e da sua ligação com os outros. No entanto, o raciocínio exprime-se por argumentos, os quais constituem discursos de três diferenciados tipo: dedutivo, indutivo e analógico. Por exemplo, o raciocínio analógico parte, então, de uma suposição inicial, que pode ser um pressentimento, uma ideia, uma hipótese, para uma similaridade de estrutura, enquanto que o indutivo, parte de um certo numero de casos estudados e induz que o que se verificou nos casos analisados também se verificará em todos os casos do mesmo género. Finalmente, o raciocínio dedutivo é uma operação intelectual mediante a qual o pensamento, a partir de uma ou mais proposições dadas (premissas) e