LÓGICA MODERNA DE CLASES

LÓGICA MODERNA DE CLASES

La lógica comúnmente se divide en 2 tipos de lógica que son la lógica antigua y la lógica moderna. La lógica antigua o lógica aristótelica es aquella que fue hecha por Aristóteles y fue desarrollada por los estoicos, y también fue desarrollada en la Edad Media. La Lógica moderna, por otra parte, surge en el siglo XIX y nos habla más propiamente de lo que se conoce como lógica matemática en la que se aplican principios matemáticos a la lógica antigua. La lógica matemática tiene un interés por la sintaxis (reglas de formación de símbolos), semántica (significados atribuibles a los signos) y aspectos metalógicos. Quisiera detenerme para hablar un poco sobre lo que es la semántica, con la semántica podemos tener un conjunto de variables a las que les vamos a dar un significado, comúnmente se utilizan las letras p, q y r, pero esto realmente no importa ya que pueden ser letras cualesquiera. El significado de las letras puede ser lo que nosotros queramos y mandemos. Dentro de lo que es la lógica moderna es importante señalar que la misma está compuesta por más tipos de lógica como son la lógica simbólica, la lógica de cuantificación, la lógica de clases y la lógica proposicional.