¿Cuál es la diferencia entre los diferentes tipos de lógica?


Respuesta 1:

Deberías hacer tu pregunta un poco más clara. Por supuesto, la lógica es lógica, pero la usas de manera diferente dependiendo de lo que estés haciendo. Por ejemplo, no usaría la lógica informal para construir una prueba matemática, ni viceversa. Sin embargo, el concepto de "lógica" en ambos casos es similar. Brevemente, la diferencia no está en la lógica, sino en lo que se discute.


Respuesta 2:

Es un poco como un software de computadora. Tiene un software de propósito general, por ejemplo, que le permite escribir su propio software. Y también tiene un software de propósito especial que, por ejemplo, hace sus impuestos o contabilidad. Es así con los sistemas de lógica.

Tiene una lógica de propósito general, la lógica estándar que la mayoría de los matemáticos, científicos e ingenieros usan día a día.

Luego, hay sistemas de lógica de propósito especial que no requieren todas las características de la lógica estándar, por ejemplo, poder hacer pruebas por contradicción, o asumir que las proposiciones lógicas son necesariamente verdaderas o falsas. También pueden hacer que las matemáticas sean mucho más desafiantes y divertidas.


Respuesta 3:

Un buen argumento lógico es uno que tiene dos virtudes: buena forma y todas las premisas verdaderas. Los argumentos pueden ser deductivos, inductivos o abductivos. Se dice que un argumento deductivo con forma válida y premisas verdaderas es sólido. Se dice que un argumento inductivo basado en evidencia sólida es convincente. El término "buen argumento" cubre los tres tipos de argumentos.