COMO SABEMOS SI UN CONOCIMIENTO ES VÁLIDO , según la lógica proposicional (o lógica matemática)
Respuestas a la pregunta
Respuesta:
Lo que vamos a estudiar a continuación son algunas nociones de la lógica tal como se concibe en la actualidad. Vimos que razonamos llevando a cabo inferencias; aquí se nos ofrece un instrumento para determinar la validez de las mismas, estudiaremos la lógica como un sistema formal que opera sobre los procesos de razonamiento mediante el cálculo, aplicando precisas reglas de inferencia. Seguramente los procedimientos de la lógica te recordarán bastante a las matemáticas. Esto no es casual, la lógica simbólica surge como resultado de la matematización de la lógica tradicional. Veamos cómo fue el proceso.
Explicación:
Sabemos que las proposiciones son o verdaderas o falsas a lo que añadimos ahora que las argumentaciones, razonamientos o inferencias serán correctas o válidas, pero no verdaderas o falsas. Debemos distinguir entre la verdad de las proposiciones y la validez o corrección de los argumentos. Veamos esto.