Educación y ciencia

¿Cuál es la lógica simbólica?

Escrito por jen julian | Traducido por verónica sánchez fang
¿Cuál es la lógica simbólica?

George Boole desarrolló el actual sistema de lógica simbólica incorporándola a las matemáticas.

Photos.com/Photos.com/Getty Images

La lógica simbólica, también llamada lógica de primer orden, es el acto de la creación de un "lenguaje" artificial para hacer frente a los complejos argumentos lógicos. Una de las formas más simples de la lógica, su propósito es ahorrar tiempo en la argumentación y ayudar a prevenir la confusión, imprecisión y la ambigüedad de la palabra. Se utiliza en la lingüística, la filosofía, la informática y, sobre todo en matemáticas.

Otras personas están leyendo

Base de la lógica simbólica moderna

El desarrollo moderno de la lógica simbólica se inició con el Inglés matemático George Boole. En 1847, publicó un panfleto, "Análisis matemático de la lógica", en el que sostenía que la lógica se debía aliar con las matemáticas en lugar de la filosofía. Observando la relación entre el razonamiento deductivo y los símbolos del álgebra, ideó un lenguaje algebraico, con tres operaciones básicas: Y, O y NO. Estas tres funciones formaron la base de su premisa. Eran, y siguen siendo, las únicas operaciones necesarias para realizar comparaciones o funciones matemáticas básicas.

Matemáticas

La lógica simbólica ha contribuido al desarrollo de nuevos marcos axiomáticos, los sistemas formales utilizados para derivar teoremas lógicos, en varias ramas de las matemáticas, incluyendo aritmética, la geometría y el análisis. El estudio de la lógica simbólica de las matemáticas desarrolló a lo que se llamó "la teoría de conjuntos", con sus pioneros del siglo 20, incluyendo David Hilbert, Gödel Kurt y Gentzen Gerhard. El desarrollo de la teoría de conjuntos demostró que casi todas las matemáticas ordinarias se pueden formalizar en términos de conjuntos.

Proposiciones y operadores

En el lenguaje, la lógica simbólica se puede deducir de las proposiciones, que son declaraciones que no se pueden descomponer sin la pérdida de significado. Las proposiciones se representan así: A = B, B = C, entonces A = C, siendo A, B, y C simboliza declaraciones no refutables. Dentro de estas proposiciones son operadores, "y", "culaquiera... o", "si ... entonces" "sólo si" e "implica", entre otros, que actúan como bloques de conexión. En la proposición, "Joe vendrá a la fiesta sólo si Jane está ahí", "sólo si" actúa como un operador. Si la proposición "Jane no está en la fiesta" es verdad, entonces la proposición "Joe no está tampoco en la fiesta" está implícito. Añadir más operadores resulta en estructuras lógicas más complejas.

Ciencias computacionales

Toda la lógica simbólica es tan compleja como el trabajo con números formados por unos y ceros. Como resultado de ello, los desarrollos de Boole en las matemáticas han contribuido enormemente al campo de la informática. Hoy en día, todas las computadores utilizan el sistema de lógica booleana a través de microchips que contienen miles de diminutos interruptores electrónicos organizados en lógicas "puertas", las tres operaciones básicas Y, O, NO. Estos producen conclusiones previsibles y fiables y permiten que el equipo trabaje sus operaciones utilizando un lenguaje binario.

Más galerías de fotos

comentarios

Filtrar por:
  • Mostrar todos
  • Artículos
  • Galerías de fotos
  • Videos
Ordenar:
  • Más relevante
  • Más popular
  • Más reciente

No se encuentran artículos disponibles

No se encuentran slideshows disponibles

No se encuentran videos disponibles

Copyright © 1999-2014 Demand Media, Inc. Acerca de

El uso de este sitio constituye la aceptación de los términos y política de privacidad de eHow. Ad Choices es-US

Demand Media