Relaciones

Casa Página1 Página2

Los Cuatro Tiposa de Silogismos Categoricos

Como vimos en la seccion anterior, hay dos cuantificadores para los terminos (sujeto y predicado):
  1. AFFIRMO - latin para afirmativo o inclusion positiva
  2. NEGO - del latin para negativo o exclusion
De estas dos palabras latinas:
  1. Usamos la A y la I of A ffIrmo para las dos formas de silogismos de inclusion y
  2. Usamos la E y O de nEgO para las dos formas de silogismo de exclusion.
Forma A   (postulado UNIVERSAL)
  • Afirmativo Universal
  • Inclusion Total
  • Todo X es Y
  • Sujeto esta distribuido
  • Predicado esta indistribuido
Ejemplos de Forma a:
  1. Todos los dinosaurios estan extinguidos.
  2. Todos los residentes de Norfolk estan en Virginia.

Forma E   (postulado UNIVERSAL)
  • Negativo universal
  • Exclusion Total
  • Toda X no es Y
  • El sujeto esta distribuido
  • El predicado esta distribuido
Ejemplo de Forma E:
  • Todos los ninos no estan permitidos en el cuarto del reactor nuclear.
  • Ningun nino eta permitido en el cuarto del reactor nuclear.

La forma E es muy interesante en el debate de si Dios existe o no. Ateos excluyen la posibilidad de Dios por su naturaleza invisible. Por lo tanto, ellos dicen que la existencia de Dios no puede ser puede ser probada en un laboratorio cientifico. Esto ilustra una verdad sobre la negativa universal: no puede ser probado. Para el ateo, esto se convierte en una espada de doble filo, donde no puede probar que Dios no existe.
Recuerda que los silogismos son formas deductivas de razonamiento, donde nos movemos, logicamente de una premisa a una conclusion a traves de una premisa media. En metodos inductivos discutidos luego en la presentacion de argumento (debate) y en el razonamiento del metodo cientifico, podemos ver los hechos. En el caso presente, el ateo podria ver el hecho de que las escrituras judias predijer on que Dios vendria a la Tierra a sufrir y morir como un sacrificio por los pecados del hombre a ser probado en una resurreccion de los muertos. Ahora se acabaron los silogismos y vamos a los metodos inductivos.

I-form  (postulado PARTICULAR)
  • Postulado Particular
  • Inclusion parcial
  • Parte de X es Y
  • Parte de X eno es Y
  • El sujeto esta indistribuido
  • Predicado esta indistribuido
Ejemplo de Forma I:
  • Algunos de los estudiantes de la escuela superior estan en Algebra 1.
Forma O  (Postulado PARTICULAR)
  • Negativa particular
  • Exclusion parcial
  • Parte de X no es Y
  • Sujeto esta indistribuido
  • Predicado esta distribuido
Ejemplo de Forma O:
  • La mayoria de las flores no son rojas.
  • Algunas rubias no son tontas.

El circulo claro en la elipse Y es una parte de Y pero no es parte de X en el diagrama dela Forma O, arriba.

Los circulitos lo mas monos arriba se llaman diagramas de Euler en honor a Leonhard Euler, un matematico suizo del siglo 18, el cual invento esta notacion. The cute little circles above are called Euler diagrams after Leonhard Euler, an 18th century Swiss mathematician, who invented this notation.




Casa
Página1
Página2





.