Validez y forma lógica

La consecuencia lógica y la validez ______________
1. preceden a la forma lógica.
2. describen de modo diferente la misma característica de la estructura de los argumentos.
3. se distinguen solo en el nivel de detalle con el que capturan la relación entre un conjunto de premisas y una conclusión.
¿Cómo sabemos si cualquier forma lógica es válida o no?
1. Porque tenemos intuiciones sobre cuándo la conclusión de un argumento tendría que ser verdadera si sus premisas lo son (e.g. "Si p, entonces q. p. Por lo tanto, q").
2. A través de métodos que nos darán la seguridad absoluta de que una forma lo es.
3. A través del estudio empírico de la verdad de sus premisas.
¿Qué podemos decir del siguiente gráfico?
1. Que ningún elemento de A es elemento de B.
2. Que todos los elementos de B son elementos de A.
3. Que α es un elemento de B.
4. Que ningún elemento de A no es elemento de B.
Una variable en una forma lógica ________.
1. puede ser reemplazada por cualquier contenido
2. es de un tipo específico
3. puede ser reemplazada por cualquier contenido del tipo correspondiente.
4. , si es de tipo predicativo, puede ser reemplazada por un predicado como 'presidente'.
Un argumento válido _________.
1. es sólido
2. tiene una conclusión verdadera si es sólido.
3. tiene una conclusión verdadera
4. es irrelevante si no es sólido