Introducao_componente_raciocinio_logico

• Formal
• operadores
• infinito
• símbolos
• proposicional
• Informal
• finito
• métodos
• matemática

Combine as correspondências sobre a Lógica.

• Lógica Informal

• Usada na Matemática e nas ciências da Natureza.

• Dedução

• A única capaz de ter validade lógica.

• Lógica Formal

• Pode ter corretude, mas não tem validade lógica.

• Indução

• Usada em ciências sociais, direito e na construção de textos.

• Argumento

• Formado por uma sequência de sentenças encadeadas logicamente formando uma conclusão.

O processo de ​ (a)   de manipulação de afirmações ou ​ (b)   , trabalhadas com regras, técnicas ou métodos, para produzir ou ​ (c)   informação nova. Essa última pode ser chamada de ​ (d)   .

• inferência
• sentenças
• validar
• argumento
• lógica
• análises

Um argumento indutivo ou probabilístico não pode ser válido. Isto significa que do ponto de vista lógico ele não pode ser dedutível. Isto significa que ele não pode cumprir qual requisito abaixo?

• Corretude

• Consequência lógica

• Verdade

• Convicção lógica

Karl Popper, filósofo da ciência, afirma que as ciências da natureza tem verossimilhança (proximidade) com a realidade. Isto significa que suas teorias não podem ser provadas, ou seja, só corroboradas. Corroborar uma teoria é ter as expectativas com relação a ela atingidas. Por que as teorias científicas não podem ser provadas?

• Porque são de natureza probabilística, ou seja, são indutivas.

• Porque não podem ser corretas logicamente.

• Porque suas teorias não são válidas logicamente tem coerência lógica.

• Suas teorias não são convictas.