Enunciados Logicos

Los enunciados han de contener clases de objetos.
Una clase se compone por varios objetos- definición extensional, que podemos expresar simbólicamente como A: {a, b, c…, n} – que comparten una seriede propiedades - definición intesional, que podemos expresar simbólicamente como A: {x/x Px}- que permiten al objeto pertenecer a la clase.
Un enunciado supone que atribuimos un predicado a unsujeto.
Aristóteles distingue en un enunciado: -Materia.
- Estructura.
Ej.: Juan escribe una carta, el gato bebe leche, el foco ilumina el escenario, tienen materias muy diferentes, pero todostienen la misma estructura: oraciones simples transitivas.
La lógica se ocupa de la estructura de un enunciado, así: Todos los caballos son cuadrúpedos, se traduce en Todo S es P.
S= Clase de objetosdel sujeto.
P= Clase de objetos del predicado.
Tanto S como P son clases de objetos o predicados, sólo que S funciona como sujeto y P como predicado.
Todos los enunciados de la lógica de predicadoscontienen dos predicados.
Los predicados pueden estar considerados en toda su extensión, por lo que serán universales ó estar considerados en parte, por lo que serán particulares.
El predicadopuede afirmar algo del sujeto, por lo que será afirmativo, ó bien puede negar algo del sujeto, en tal caso el enunciado será negativo.
Todo S es P Universal afirmativo.
Ningún S es P Universalnegativo.
Algún S es P Particular afirmativo.
Algún S no es P Particular negativo.
Podemos establecer consecuencias necesarias a partir de estos enunciados.
Partiendo de un solo enunciado, lainferencia es inmediata. Estas inferencias inmediatas se explican en el cuadrado lógico.
Partiendo de más de un enunciado, la inferencia es mediata. Estas inferencias mediatas son el núcleo de la teoría delsilogismo.
Partiendo de las palabras A f f I r m o y n E g O
* A = Universal afirmativo.
* I = Particular afirmativo.
* E = Universal negativo.
* O = Particular negativo.

*...