1) Describa qué es una propiedad estructural. Formule la propiedad de transitividad.

¿Por qué su formulación es un enunciado simbólico de la metateoría?

Las propiedades estructurales son las propiedades características de la noción de

consecuencia lógica de un sistema lógico considerado desde la perspectiva modelo teórica.
Son aquellas bajo las cuales se define una noción de validez independientemente de las
características operacionales o la reglas de inferencia que el sistema posea.

En estos términos, la transitividad de una noción de consecuencia puede formularse de la

siguiente manera: Si de B se sigue C y de A se sigue B, por transitividad, de A se sigue C.

Es un enunciado metateorico dado que no refiere a la dimensión interna del sistema (no
utiliza el lenguaje del mismo, ni el conjunto de proposiciones, ni señala alguna regla de
inferencia). Sino que hace referencia a un posible comportamiento de la noción de
consecuencia y en cuanto tal excede el plano del lenguaje objeto.

2) Reflexione: qué relación encuentra entre el condicional material y la transitividad

de la implicación lógica (transitividad estructural)?

Partimos poniendo en consideración el metateorema de la deducción, bajo el cual existe

una relación de simetría entre la implicación material y la implicación lógica. Es decir, en LC
semánticamente se establece que Δ, A⊨B, si y sólo si tenemos que Δ ⊨ A → B. Esta
simetría estipula que el comportamiento del condicional posea también rasgos transitivos. Ej: p→q,
q→ r ⇒ p→r (análogamente a A⊨B, B⊨C por lo tanto A⊨C).

3) Formule 1 argumento para sostener la tesis según la cual la aplicación estándar de

la lógica es el razonamiento humano.

La aplicación estandar de la lógica no es normar cómo se razona correctamente. Empero, la

lógica es una teoría sobre la validez inferencial. Por lo que, procede a analizar la estructura
formal de los razonamientos y por lo tanto a dar reglas y normativas sobre la validez o
invalidez de los mismos. Por lo tanto, no es posible que la lógica no sea una disciplina que
se ocupe de cómo se ha de razonar correctamente.