TEMA 10: DEDUCCIÓN

Alvaro Barreiro. Dept. Computación. Universidade da Coruña

• Una posible taxonomía del pensamiento
• Primera aproximación a nuestro sistema deductivo
• La lógica: un formalismo para la deducción que produce conclusiones correctas
  • Representación, razonamiento y lógica
  • Inferencia formal: modus ponens y resolución
  • Problemas con las propuestas puramente deductivas de razonamiento humano
• Propuestas de razonamiento mental
  • Esquemas pragmáticos de razonamiento
  • Modelos mentales de razonamiento
• About this document ...