Suponga que sabe que las premisas de un argumento son inconsistentes. ¿Hay que hacer una tabla de verdad para saber si es válida o no?

Suponga que sabe que las premisas de un argumento son inconsistentes. ¿Hay que hacer una tabla de verdad para saber si es válida o no?

¿Publicar las partes separadas de tu pregunta de tarea una por una, supongo?
Si las premisas de un argumento son inconsistentes, puedes concluir cualquier cosa y, por lo tanto, el argumento es automáticamente válido. No es necesario utilizar una tabla de verdad para saber si es válida, ya que una tabla de verdad verifica una interpretación cuando todas las premisas son verdaderas y la conclusión es falsa, es decir, verifica la invalidez. Dado que las premisas inconsistentes nunca pueden ser del todo verdaderas, obtenemos que nunca se puede lograr la invalidez y, por lo tanto, el argumento es válido.

Respuestas (3)

La respuesta que probablemente estés buscando

Bajo un enfoque común de "pensamiento crítico" o "introducción a la lógica" en la filosofía, se aplican las siguientes definiciones:

validez : un argumento es válido si se da el caso de que la conclusión no puede ser falsa cuando todas las premisas son verdaderas.

consistencia : es posible que todas las premisas sean verdaderas.

La respuesta es que no necesita una tabla de verdad sobre estas definiciones, porque la inconsistencia en las premisas significa que es imposible que todas las premisas sean verdaderas. A su vez, esto significa que el argumento es válido.

Detrás de esto está que la definición de validez es esta: si todas las premisas fueran verdaderas, entonces la conclusión no podría ser falsa. Dado que un argumento inconsistente nunca puede tener todas sus premisas verdaderas, nunca puede alcanzar un estado con todas las premisas verdaderas y una conclusión falsa.


La respuesta si estás haciendo semántica formal

(Por favor, vote la respuesta de Badrinath si esto es lo que estaba buscando) Tenga en cuenta que si se refiere a la semántica de la teoría del modelo de Tarski y algunos otros enfoques contemporáneos avanzados de la lógica que esto ya no se obtiene, porque la validez y la invalidez solo se aplican a los modelos. , y los modelos solo ocurren cuando:

Un conjunto T de oraciones se llama teoría (de primer orden). Una teoría es satisfactoria si tiene un modelo \mathcal M\models T, es decir, una estructura (de la firma apropiada) que satisface todas las oraciones en el conjunto T. La consistencia de una teoría generalmente se define de forma sintáctica, pero en primer lugar -La lógica del orden por el teorema de completitud no hace falta distinguir entre satisfacibilidad y consistencia. Por lo tanto, los teóricos de modelos a menudo usan "consistente" como sinónimo de "satisfactorio". ( wiki )

Por tal motivo, ninguna teoría podría ser simultáneamente inconsistente y válida, porque sólo las teorías consistentes son válidas o inválidas.

Si las premisas son inconsistentes, entonces puedes concluir cualquier cosa a partir de ellas. Esto se llama Principio de explosión .

Sigo a Tarski al definir que son válidos o inválidos los enunciados hechos frente a la existencia de modelos para las premisas dadas. Para premisas inconsistentes, no hay modelos. En este marco, ningún argumento puede ser a la vez inconsistente y válido.

Como nota al margen, en FOL, para manejar este tipo de lógica, debe optar por métodos lógicos no clásicos como la lógica paraconsistente, la lógica anulable, la lógica Auteespistémica y la lógica predeterminada.

No, creo que eso parece bastante justo. La definición "estricta" de validez es "siempre que las premisas sean verdaderas, las conclusiones son verdaderas"; pero de hecho esa definición "estricta" pasa por alto la modalidad involucrada en el "siempre que". Como señala Badrinath Jayakumar, esta modalidad generalmente está determinada por qué modelos existen que satisfacen las premisas.
Virmalor: Este enlace te ayudará. en.m.wikipedia.org/wiki/Formal_semantics_(lógica)
@BadrinathJayakumar para notificar a alguien que necesita usar @ delante de su nombre... / Eso es interesante, pero vea también jimpryor.net/teaching/vocab/validity.html#consistency
Hice algunas modificaciones leves para dejar claro que esto se refiere a un enfoque tarskiano. No estoy seguro de que ese sea el nivel en el que se le pide al OP que se desempeñe; también el lenguaje "Creo" originalmente me desconcertó.

Suponga que sabe que las premisas de un argumento son inconsistentes. ¿Hay que hacer una tabla de verdad para saber si es válida o no?

No. Las tablas de verdad dan a veces resultados muy contrarios a la intuición y no hay ninguna prueba o argumento convincente de que estos resultados sean correctos.

Las tablas de verdad son consistentes con la siguiente definición de validez lógica, que se usa en lógica matemática y, de hecho, es la definición que se cita con más frecuencia en Internet:

En lógica, un argumento es válido si y sólo si toma una forma que hace imposible que las premisas sean verdaderas y la conclusión, no obstante, falsa. -- https://en.wikipedia.org/wiki/Validity_(lógica)

Esta definición es formalmente diferente de la dada por Aristóteles y, de hecho, de varias formulaciones propuestas por los sitios web de filosofía. No conozco ningún intento de justificar que todas estas definiciones serían equivalentes y significarían lo mismo.

Por lo tanto, no conozco ninguna buena razón para aceptar que las tablas de verdad representan correctamente la lógica de los argumentos lógicos que los seres humanos pueden querer considerar.

Dicho esto, si no puedes decidir por ti mismo, todavía tienes una gama de posibilidades. De hecho, puede confiar en la lógica de la tabla de verdad. ¡Pero también puedes preguntarle a los lógicos si conoces uno!

Aparte de eso, también puede discutir la validez del argumento con otras personas que conozca y que le parezcan razonables para ver si juntos pueden llegar a un consenso sensato.

Recomendaría ese último método si está disponible para usted.

Esto es irrelevante y posiblemente engañoso para un estudiante que estudia lógica formal moderna, pero no obstante es interesante desde un punto de vista histórico (suponiendo que sea exacto). Entonces, ¿cómo definió Aristóteles un argumento válido? ¿Importa cómo Aristóteles definió un argumento válido, o para el caso cualquiera antes de Frege, Boole y Tarski (quizás Leibniz hasta cierto punto también)? Preguntar a las personas que conoces si un argumento parece razonable es probablemente la peor opción.
@John (a) Proporcioné una respuesta a la pregunta formulada. Y no hay nada engañoso en ello. Si no está de acuerdo, por favor articule. (b) Aristóteles caracterizó lo que ahora consideramos como lógica. La lógica de los estoicos y la lógica de los escolásticos concuerda con la de Aristóteles (excepto por un escolástico). (c) ¿Por qué importaría más lo que dijeran Frege, Boole o Tarski que lo que dijeran Aristóteles, los estoicos o los escolásticos? ¿O cualquier idiota elegido al azar en la calle? (d) Si preguntarle a la gente es la peor opción, ¿a quién le vas a preguntar? ¿Máquinas? ¿Alienígenas? ¿Dios? ¿Superhombre?
"¿Por qué habría de importar más lo que dijeran Frege, Boole o Tarski que lo que dijeran Aristóteles, los estoicos, los escolásticos? ¿O cualquier idiota elegido al azar en la calle?" Porque la lógica moderna, la lógica desarrollada por Frege y Tarski, es la lógica que usamos cuando discutimos las 'tablas de verdad', no Aristóteles o los estoicos. Como dije antes, es interesante desde un punto de vista histórico observar la evolución de la lógica, pero puede ser engañoso para un estudiante que trabaja en una tabla de verdad. Y sí, preguntar a personas al azar es la peor opción. Es mejor preguntarle a un experto en lógica.
@John No, la pregunta no es sobre las tablas de verdad como tales, sino sobre si las necesitamos para argumentos cuyas premisas son inconsistentes. ¿Necesitamos tablas de verdad para eso? No. Las tablas de verdad no son ningún modelo correcto del tipo de lógica deductiva que usan los humanos en sus argumentos.
@John En cuanto a los expertos en lógica, lo siento, no, ningún matemático es un experto en lógica. Simplemente llamar algo "lógico" no lo hace así. Los matemáticos han demostrado ser incapaces de investigar la lógica. Han estado trabajando en él durante más de 166 años y todavía no pueden entenderlo. La lógica matemática es esencialmente matemáticas, no es lógica. De nada. Lejos de ahi.