Introducao_componente_raciocinio_logico

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

Combine as correspondências sobre a Lógica.

• Indução

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

• Lógica Informal

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

• Lógica Formal

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

• Dedução

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

• Argumento

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

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.