Lógica Formal: Proposiciones, Inferencias y Estructura del Silogismo
Cuadro de Oposición de las Proposiciones
Este es el Cuadro de Oposición de las proposiciones, las cuales deben tener el mismo sujeto y predicado, pero diferente cantidad y cualidad. De acuerdo al lugar en que se ubiquen, siempre reciben los siguientes nombres:
Contrapositivas
Se definen como un tipo de inferencia inmediata que puede reducirse a las dos primeras. El proceso consiste en aplicar, en primer lugar, una obversión; luego, una conversión y, por último, nuevamente una obversión.
- Modo de uso: Reemplazar al sujeto por el complemento del predicado y al predicado por el complemento del sujeto, sin alterar los demás elementos.
Inferencias Mediatas
Las inferencias mediatas son aquellas que pueden realizarse partiendo de dos o más afirmaciones o proposiciones. Se clasifican de la siguiente manera:
Inferencias mediatas inductivas
Parten de una premisa mayor general, particular y afirmativa, de la cual se infiere una premisa menor particular afirmativa. De ambas se infiere una tercera, llamada conclusión universal afirmativa.
Inferencias mediatas deductivas
Están formadas por una premisa mayor general, universal y afirmativa, de donde se difiere una premisa menor particular afirmativa; de estas se extrae una conclusión particular afirmativa.
Tipos de Proposiciones
Existen cuatro tipos de proposiciones para utilizar en los silogismos, las cuales se clasifican según su cantidad y cualidad.
El Silogismo
El silogismo es un razonamiento de tipo deductivo que parte de dos premisas, de las cuales se extrae o infiere una conclusión que no debe agregar nada a lo contenido originalmente en dichas premisas.
Estructura del Silogismo
El silogismo se compone de varios elementos, los cuales se agrupan en:
- Materia
- Forma
Materia del Silogismo
La materia del silogismo está integrada por las proposiciones y los términos, y se divide en próxima y remota:
- Premisa mayor (PM): Representa la idea universal (todo).
- Premisa menor (Pm): Es el hecho o idea sobre el que deseamos saber si es cierto, comparándolo con la premisa mayor (particular).
- Conclusión (C): Es el resultado de la comparación de las dos premisas anteriores.
Modo del Silogismo
El modo del silogismo es la forma que este toma de acuerdo con la cantidad y la cualidad de las premisas y la conclusión.