LÓGICA MATEMÁTICA.

1. ETIMOLOGÍA.-
La palabra Lógica proviene del término griego: LOGIKE = tratado, estudio,
discurso, razón, buen hablar, idea o pensamiento.
Etimológicamente, Lógica es el tratado del pensamiento desde el punto de vista
formal.
2. DEFINICIÓN.-
La lógica es una ciencia formal que estudia la estructura de los conceptos, juicios
y raciocinios, sus relaciones, sus condiciones de validez y sus leyes. Por lo tanto,
LÓGICA ES LA TEORÍA DE LA INFERENCIA.
3. HISTORA.ORIGEN.
La Lógica surge en Grecia con los primeros pensadores del período cosmológico
o presocrático y se desarrolla en el crisol de la Filosofía. Aristóteles es
considerado Padre de la Lógica.
3.1. EDAD ANTIGUA.- La lógica se inicia con Aristóteles (S. IV a. C.) sin
embargo antes de él hubo otros filósofos que se refirieron a la lógica pero sin
llegar a crear una teoría propiamente dicha. Dentro de estos tenemos:
A. DEMÓCRITO.- Estudió los problemas de la inducción,
extendiéndose, sobre todo, en la analogía y en la hipótesis, así como en la
definición de los conceptos. Planteó el principio lógico de la razón suficiente: nada
hay que hacer sin causa.
B. PARMÉNIDES.- Concebía a la realidad inmóvil, pues “toda
transformación en el mundo es pura ilusión de nuestros sentidos”, sostenía que
todo ser es idéntico a sí mismo (principio de identidad).
C. ZENON DE ELEA.- Usa raciocinios ingeniosos para apoyar la tesis
de Parménides, con ello promueve indirectamente el estudio del pensamiento.
Conocido por sus paradojas, aquellas que niegan la existencia del movimiento o
pluralidad del ser.
D. LOS SOFISTAS.- Así se denominaba en la antigua Grecia a los
filósofos que actuaban como maestros de “sabiduría” y “elocuencia”, al emplear
las falacias promovieron el estudio del verdadero y correcto razonamiento. Entre
ellos destaca Protágoras, fue el primero en estudiar las oraciones afirmativas y
negativas
E. SÓCRATES.- Estudió el razonar, principalmente la definición, es
decir qué son las cosas.
F. PLATÓN.- En su obra El Sofista trató sobre las oraciones. Descubrió
el principio de no contradicción "Nada puede ser y no ser al mismo tiempo y en el
mismo sentido."
G. ARISTÓTELES.- Considerado Padre de la Lógica. En su obra,
Organon considera a la Lógica como un instrumento para desarrollar la ciencia y
la sabiduría. EL ORGANON contiene 5 tratados:
1.-Categorías: teoría del concepto
2.-Sobre la interpretación: teoría de los juicios y enunciados 3.-Los Tópicos:
teoría de la argumentación
4.- Argumentaciones Sofisticas: Razonamientos Falaces.
5.- Primeros y segundas analíticos: teoría del razonamiento y la demostración.
Así mismo se le atribuye el Principio del “Tercio excluido” Una proposición es
verdadera o falsa, no existe otra posibilidad
H. ANCIUS MANLIUS BOETIOS (BOECIO).- Aportó a la lógica con su
famoso cuadro de oposición.
EDAD MEDIA.- La Lógica se desarrolla en las escuelas y universidades de
Europa Occidental entre los siglos XI y XII. En esta época estudiaron la inferencia
3.2. coligativa, tema ya abordado por los megáricos y estoicos. A fines del
siglo XIII, Oxford es el centro de la Lógica y Duns Scoto uno de sus más altos
exponentes. El período de madurez de la lógica medieval se expuso con
Guillermo de Occam (1285-1349) y Juan Buridan (1295-1358).
3.3. EDAD MODERNA.- Destacaron:
A. FRANCIS BACON.- Cuyo estudio sobre la inferencia inductiva fue
importante porque en esos tiempos el interés renacentista estaba centrado en el
conocimiento de la naturaleza, destaca la inducción, observación y
experimentación en las ciencias naturales. Autor del famoso tratado Novum
Organum Scientiarium (nuevo instrumento de la ciencia).
GUILLERMO LEIBNIZ.- (1646-1716) alemán, se le considera como el precursor
de la lógica matemática.
Sostuvo que el método para convertir la teoría de la deducción lógica en una
ciencia estricta e infalible era convertirla en cálculo, empleando procedimientos
matemáticos, a lo que llamó “Mathesis Universalis.”
B. LEONARD EULER.- (1707-1783) creó diagramas para ilustrar
geométricamente los silogismos.

3.4. EDAD CONTEMPORÁNEA.- Destacaron:

A. AUGUSTUS DE MORGAN.- (1806-1871) consideró el silogismo
como una parte de las relaciones de clases.
B. GEORGE BOOLE.- (1815-1864) construyó un cálculo algebraico
mediante símbolos y operaciones definidas, también creó una Teoría de las
Clases por medio de ecuaciones. Obras: "Análisis Matemático de la Lógica",
"Investigación de las Leyes del Pensamiento."
C. JEVONS.- (1835-1882) creó una máquina pensante y la máquina
calculadora.
D. JOHN VENN.- (1837- 1923) representó los procesos algebraicos de
Boole en diagramas.
E. GOTTLOB FREGE.- (1848-1925) considerado como el padre de la
lógica moderna. Estableció la distinción entre variable y constante, el concepto
de función lógica, la idea de función de varios argumentos y el concepto de
cuantificador. Inicia la teoría de las descripciones. Obra: “Conceptografía.”
F. GIUSSEPPE PEANO.- (1858- 1932) llamó por primera vez a la lógica
“Lógica matemática”. Consideró a la Lógica como un instrumento de la
Matemática y desarrolló notablemente el lenguaje simbólico. Propuso los puntos
auxiliares en vez de los signos de agrupación. Obra: “El formulario matemático”.
G. BERTRAND RUSSELL.- (1872-1970) en colaboración con Alfred
Whitehead escribió su importante obra “Principia Matemática”, donde propone
que las matemáticas pueden reducirse a una rama de la Lógica.
H. LUDWIG WITTGENSTEIN.- (1889 – 1951) creador del método de las
tablas de verdad para evaluar fórmulas de la lógica proposicional. Obra:
“Tractatus logicus philosophicus.”

4. LÓGICA FORMAL (Lógica pura).-

Es la ciencia que estudia las formas del pensamiento prescindiendo de todo
contenido. Además es la ciencia que estudia los actos del pensar, conceptuar,
juzgar y razonar desde el punto de vista de su estructura o forma lógica, o sea,
haciendo separación del contenido concreto de los pensamientos y tomando sólo
el procedimiento general de conexión entre las partes del contenido dado.

5. LÓGICA DIALÉCTICA (Lógica connatural).-

Es la ciencia que plantea la necesidad de analizar el contenido del pensamiento,
subordina a la lógica formal.

6. IMPORTANCIA DE LA LÓGICA.- Es importante:

a. Por ella conocemos aspectos de la realidad a través del análisis racional, sin
necesidad de recurrir a la observación y experimentación. Ejemplo: el hombre
que desea ir a Marte, tiene que llevar oxígeno, porque está comprobado que en
Marte no hay oxígeno.
b. Permite ampliar nuestros conocimientos, ensanchar los horizontes de la
observación sensorial porque permite conocer aspectos del mundo que nunca
podrían ser conocidos a través de los sentidos. Es decir, mediante la derivación
lógica de las proposiciones nos permite obtener conclusiones que son ajenas a
la observación.
c. Como disciplina rigurosa, constituye actualmente el método de la Física,
Matemática y aun de la Historia.
Se fundamenta en la Matemática, ésta es la base de la técnica, ésta es base de
la civilización, entonces la lógica ha posibilitado el progreso de la humanidad.

Importancia de la lógica matemática

En el caso de un niño que clasifica las figuras geométricas por colores aplica la
lógica para hacerlo correctamente.
La lógica estudia la forma del razonamiento, es una disciplina que por medio de
reglas y técnicas determina si un argumento es válido o no. En las matemáticos
permite demostrar teoremas e inferir resultados matemáticas que puedan ser
aplicados en investigaciones, se aplica para cálculos numéricos de geometría,
álgebra y en general para la solución de problemas.

En general la lógica se aplica en nuestra vida cotidiana, ya que cualquier trabajo

que se realiza tiene un procedimiento lógico, por el ejemplo; si una persona
desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no
puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la
pared si antes no pintó la parte alta porque se mancharía lo que ya tiene pintado,
también dependiendo si es zurdo o derecho, él puede pintar de izquierda a
derecha o de derecha a izquierda según el caso, todo esto es la aplicación de la
lógica.

- Para que sirve la lógica en tu carrera

Nos sirve para pensar de una manera correcta sobre lo que hay y lo que
pasa,para actuar de una manera razonable en todo momento, tambien
para poder tener más conocimiento para resolver cualquier
problema ya que la lógica hace razonar en los problemas..

El objetivo de la lógica matemática es cuestionar con el mayor rigor los conceptos

y las reglas de deducción utilizados en matemáticas, constituyendo la lógica por
ello una verdadera matemática. Una teoría matemática considera objetos
definidos (enteros, por ejemplo) y define leyes que relacionan a estos objetos
entre sí los axiomas de la teoría). De los axiomas se deducen nuevas
proposiciones (los teoremas, y a veces, nuevos objetos. La construcción de
(sistemas formales(formalización), piedra angular de la lógica matemática,
permite eliminar la arbitrariedad en la elección de los axiomas y definir explicita
y exhaustivamente las reglas de la deducción matemática.