Lógica 11: utilizando las 4 reglas para proposiciones cuantificadas

Print

En el artículo anterior vimos sobre las reglas de inferencia para proposiciones cuantificadas. Hoy veremos algunos ejemplos en lenguaje formal.

Lógica 11

Instanciación Universal (UI)

Argumento:

  • Todos los calicós son felinos.
  • Luna es un calicó.
  • Por lo tanto, Luna es un felino.

Prueba:

Dado que Luna es un individuo específicamente elegido, podemos utilizar la letra l para representarla en nuestra prueba:

PASOPREMISACONCLUSIÓNRAZONAMIENTO
1.∀x (Cx → Fx)Premisa i
2.Cl/ ∴FlPremisa ii/Conclusión
3.Cl → Fl1, UI
4.Fl2, 3, MP

Generalización Universal (UG)

Argumento:

Todos los objetos existen o no existen.

Prueba:

PASOPREMISARAZONAMIENTO
1.(∀x) (Ox v ¬Ox)Premisa
2.OaSupuesto
3.Oa → Oa2, CP
4.¬Oa v Oa3, Impl
5.Oa v ¬Oa4, Conm
6.(∀x) (Ox v ¬Ox)5, UG

Instanciación Universal (UI) y Generalización Universal (UG)

Argumento:

  • Todos los bulldogs son caninos.
  • Todos los caninos son animales.
  • Por lo tanto, todos los bulldogs son animales”.

Prueba:

Aquí no tenemos ningún individuo específico, solo arbitrarios. Usemos la letra a para representar a nuestros individuos arbitrariamente elegidos:

PASOPREMISACONCLUSIÓNRAZONAMIENTO
1.∀x (Bx → Cx)Premisa i
2.∀x (Cx → Ax)/∴ ∀x (Bx → Ax)Premisas ii/Conclusión
3.Ba → Ca1, UI
4.Ca → Aa2, UI
5.Ca → Aa3, 4 HS
6.∀x (Bx → Ax)5, UG

Instanciación Existencial (EI), Instanciación Universal (UI) y Generalización Existencial (EG)

Argumento:

  • Todos los perros son carnívoros.
  • Algunos perros son animales.
  • Por lo tanto, algunos animales son carnívoros.

Prueba:

PASOPREMISACONCLUSIÓNRAZONAMIENTO
1∀x (Px → Cx)Premisa i
2∃x (Px ^ Ax)/ ∴ ∃x (Ax ^ Cx)Premisa ii/Conclusión
3Pb ^ Ab2, EI (b es un nombre temporal)
4Pb → Cb1, UI (b es introducido previamente)
5Pb4, Simp
6Cb4, 5, MP
7Ab ^ Pb3, Conm
8Ab7, Simp
9Ab ^ Cb9, 6, Conj
10∃x (Ax ^ Cx)9, EG

Recuerda siempre simbolizar primero las premisas existencialmente cuantificadas, no importa el orden de las premisas, esto es para evitar usar  algún nombre específico que ha aparecido antes y podríamos cometer el error de aplicar EI a ese individuo.

PALABRAS FINALES

Con este artículo doy por terminado la serie de conceptos básicos de lógica clásica para apologistas cristianos que deseen construir sus propios argumentos con cierta noción que les ayudará a evitar algunas falacias, así como a identificar las estructuras de argumentos y demostrar si son válidos. Por supuesto, esto es solo la superficie en cuánto a la lógica clásica se refiere y no hay necesidad de que el apologista se quede solo con este conocimiento introductorio, siempre puede profundizar más en esta disciplina.

 


Jairo Izquierdo es parte del equipo de Social Media y autor para la organización cristiana Cross Examined.  Estudia filosofía y teología, siendo su actual foco de estudio la lógica clásica, epistemología, doctrinas cristianas y lingüística.  Es cofundador de Filósofo Cristiano. Es miembro en la Christian Apologetics Alliance y ministro de alabanza en la iglesia cristiana bautista Cristo es la Respuesta en Puebla, México.

Free CrossExamined.org Resource

Get the first chapter of "Stealing From God: Why Atheists Need God to Make Their Case" in PDF.

Powered by ConvertKit

Facebook Comments