Discusión:Lógica/Introducción

Inferencias inductivas y deductivas

Estoy en desacuerdo con la frase final que afirma que "un sistema lógico nunca podrá ser perfecto, entendiendo por perfecto que sea: consistente, decidible y completo", puesto que la lógica proposicional cumple estos tres requisitos: existe un procedimiento de decisión (tabla de verdad) para cualquier proposición, es consistente (no puede derivarse en él una contradicción partiendo de tautologías) y es completo (todas las proposiciones verdaderas son demostrables). (Alex beta 19:27 9 feb 2007 (UTC))

Como no he recibido respuesta, he decidido eliminar el párrafo. (Alex beta 19:45 22 feb 2007 (UTC))

Lógica y lenguaje

No entiendo exáctamente por qué se ha incluído este apartado (posiblemente porque no esté terminado). ¿Es un apartado sobre la relación entre la lógica y el lenguaje natural? ¿Es un ejemplo de inferencia deductiva?

En cuanto al problema propuesto, no veo la utilidad de la aseveración sobre los padres "buenos y justos". Está claro que, si el padre cree lo que dice el estudiante, la respuesta del padre de tipo 2 es inconsistente, puesto que no es posible aprobar sin hacer la pelota si sólamente aprueban los que hacen la pelota.

Esperaré para ver si hay alguna aportación más al apartado. Si sigue así, me parece que no encaja donde está (aunque sí podría ser un ejercicio al final de una sección o apartado). (Alex beta 21:06 7 mar 2007 (UTC))