Inferencia formal: modus ponens y resolución

• Una visión tradicional en la psicología (Inhelder, Piaget) es que obtenemos conclusiones con un sistema lógico formal. Usamos reglas de inferencia formal, por ejemplo Modus Ponens
  Si ganan el partido, entonces se clasifican
  Ganaron el partido
  Concluimos: Se clasifican
  
  
• El mecanismo, aunque correcto (sound), es puramente sintáctico
• Hay distintos formalismos. La gente puede razonar con cuantificadores. La lógica de predicados sería una mejor candidata para lógica mental
• resolución
  
  o de forma equivalente
  
  
• Resolución requiere que las sentencias se trasladen a forma normal
• La importancia de la resolución viene dada por la semidecidibilidad de la lógica de predicados: Si una sentencia es una consecuencia lógica de una Base de Conocimiento se puede encontrar una prueba pero si no lo es no hay procedimiento que pueda demostrarlo.

  resolución es completa por refutación: si un conjunto de sentencias es no verificable, entonces la resolución probará una contradicción. La resolución no puede generar todas las consecuencias lógicas de un conjunto de sentencias, pero puede establecer si una determinada sentencia es una consecuencia lógica del conjunto

• No parece muy factible la conversión a forma normal y la resolución como inferencia mental