trabajo de logica y teoria de conjuntos...

Por: Geoffrey Gomez[1]

LOGICA ANTIGUA:
La lógica antigua, hereada por Aristóteles, se apoyaba en tres principios simples: el principio de identidad (A = A), el principio de exclusión ( no-A no es igual a A) y el principio de contradicción (un mismo concepto no puede ser definido simultáneamente como A y como no-A). Estos principios son declarados verdaderos a priori, en todo tiempo y lugar, es decir, que preexisten al razonamiento humano. Así se introduce en el pensamiento europeo la distinción entre verdades de experiencia, fruto de la observación de la realidad física, y verdades formales, deducidas de la reflexión intelectual de ciertas leyes eternas, las "nociones comunes" de Aristóteles o los "principios evidentes" de Descartes.

LOGICA MODERNA:
Hacia la mitad del S. XIX, la lógica se transforma radicalmente en lógica matemática. Esto se debió a que se realizaron encuentro de cuatro corrientes distintas:
1.- La lógica aristotélica.2.- La idea de un lenguaje matematico universal.
3.- Los progresos de álgebra y la geometría.
4.- La concepción de amplios sectores de la matemática como sistema deductivo, lo cual conducía a la necesidad de construir "la lógica de la matemática".
Esta lógica se inicia con The Mathematical Analysis of Logic (1847), de G. Boole, "Ensayo acerca de un cálculo del razonamiento deductivo" que indica como la lógica aparece como un cálculo algebraico; se produce a una completa simbolización; los enunciados lógicos son concebidos como ecuaciones, y se formulan leyes lógicas. Boole desarrolla la lógica de clases y la lógica proposicional. El álgebra se convierte en modelo de la lógica. Y el cálculo que crea Boole es totalmente artificial. Más tarde, Ch.S. Peirce hará aportaciones: la lógica de relaciones, el método de matrices (o tablas de verdad) y nuevos desarrollos de la lógica proposicional.
Así pues, la nueva lógica surge de la aplicación de los métodos matemáticos a la lógica antigua. Por eso se puede decir que se abre un nuevo período, cuando las matemáticas se convierte en objeto de lógica.

LÓGICA EN LOS ÚLTIMOS TIEMPOS
La propuesta de Newton Da Costa empata, con la propuesta del pensador francés, ciudadano del mundo, Edgar Morin, quien ha buscado durante el último medio siglo la formulación de un “paradigma de la complejidad”, que reconozca la interretrorelación íntima, profunda, que existe en todo en el universo, que responda a la necesidad de pensar, retomando a Pascal, el todo así como “particularmente” cada una de las partes, es decir, pensar todo y el todo mismo así como sus partes, tejidas en conjunto. Este pensamiento demanda una nueva lógica que pueda pensar sin trivializarse, lo concurrente, lo complementario y lo antagónico; una lógica que pueda pensar la naturaleza, el cosmos y la vida misma en su dinamicidad, que conciba, contrario al planteamiento de Hegel, la lógica como una astucia de la naturaleza, del cosmos, de la vida y no a la naturaleza, al cosmos, a la vida como una astucia de la lógica.

PROPOSICIONES Y OPERACIONES LÓGICAS.

Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. La proposición es un elemento fundamental de la lógica matemática.

A continuación se tienen algunos ejemplos de proposiciones válidas y no válidas, y se explica el porqué algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minúscula, dos puntos y la proposición propiamente dicha. Ejemplo.

p: La tierra es plana.
q: -17 + 38 = 21
r: x > y-9
s: El Morelia será campeón en la presente temporada de Fut-Bol.
t: Hola ¿como estas?
w: Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones validas. El inciso r también es una proposición valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposición del inciso s también esta perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que terminara la temporada de fut-boll. Sin embargo los enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.


ÁLGEBRA ABSTRACTA
El álgebra abstracta es el campo de la matemática que estudia las estructuras algebraicas como las de grupo, anillo, cuerpo o espacio vectorial. Muchas de estas estructuras fueron definidas formalmente en el siglo XIX, y, de hecho, el estudio del álgebra abstracta fue motivado por la necesidad de más exactitud en las definiciones matemáticas. El estudio del álgebra abstracta ha permitido observar con claridad lo intrínseco de las afirmaciones lógicas en las que se basan todas la matemática y las ciencias naturales, y se usa hoy en día prácticamente en todas las ramas de la matemática. Además, a lo largo de la historia, los algebristas descubrieron que estructuras lógicas aparentemente diferentes muy a menudo pueden caracterizarse de la misma forma con un pequeño conjunto de axiomas.
El término álgebra abstracta se usa para distinguir este campo del álgebra elemental o del álgebra de la escuela secundaria que muestra las reglas correctas para manipular fórmulas y expresiones algebraicas que conciernen a los números reales y números complejos. El álgebra abstracta fue conocida durante la primera mitad del siglo XX como álgebra moderna.

La logica es, ha sido y sera la piera angular de todas las bases del conocimiento humano. Como opinion personal la Logica matematica ha sido un excelente complemento no solo para mi estudios de Licenciatura en Matematicas sino un complemento para mi forma e ver la vida en todos sus aspectos, el estudio de logica nos abre el camino e la facilidad del entendimiento y es herramienta necesaria y casi que suficiente para quiees desean no solo estudiar matematicas sino llegar algun dia a ser unos excelentes matematicos...


Bibliografía
· Wikipedia.org
· Biblioteca.itam.mx
· nonopp.com
.
En cuanto a la lógica, sus silogismos más bien sirven para explicar a otros las cosas ya sabidas, que para aprender.
René Descartes (1596-1650) Filósofo y matemático francés.

[1] Geoffrey Gómez Peña
Estudiante del Programa de Licenciatura en Matemáticas.
Universidad Surcolombiana.
Lógica y Teoría de Conjuntos.Profesora Martha Mosquera Urrutia.