Documente Academic
Documente Profesional
Documente Cultură
Las puertas lgicas son las componentes fundamentales de los circuitos digitales. Ellas ejecutan las
funciones bsicas del lgebra de Boole a partir de cifras en cdigo binario.
Esta estructura, desarrollada por George Boole en los aos 1830s, se encuentra a la base de los
sistemas informticos actuales, los cuales opera exclusivamente con cantidades numricas (codificadas
en binario).
La lgica combinatoria es la lgica ltima y como tal puede ser un modelo simplificado del cmputo,
usado en la teora de computabilidad (el estudio de qu puede ser computado) y la teora de la prueba
(el estudio de qu se puede probar matemticamente).
v.E1
(E1 E2)
donde v es un nombre de variable tomado de un conjunto infinito predefinido de nombres de variables, y E1 y E2 son
lambda-trminos. Los trminos de la forma v.E1 son llamadas abstracciones. La variable se llama el parmetro formal de
la abstraccin, y E1 es el cuerpo de la abstraccin.
El trmino v.E1 representa la funcin que, si es aplicada a un argumento, liga el parmetro formal v al argumento y
entonces computa el valor resultante de E1--- esto es, retorna E1, con cada ocurrencia de substituido por el argumento.
Los trminos de la forma (E1 E2) son llamados aplicaciones. Las aplicaciones modelan la invocacin o ejecucin de una
funcin: La funcin representada por E1 es invocada, con E2 como su argumento, y se computa el resultado. Si E1 (a veces
llamado el aplicando) es una abstraccin, el trmino puede ser reducido: E2, el argumento, se puede substituir en el cuerpo
de E1 en lugar del parmetro formal de E1, y el resultado es un nuevo trmino lambda que es equivalente al antiguo. Si un
trmino lambda no contiene ningn subtrmino de la forma (v.E1 E2) entonces no puede ser reducido, y se dice que est
en forma normal.
La expresin E[a/v] representa el resultado de tomar el trmino E y substituyendo todas las ocurrencias libres de v por el a.
Escribimos as
(v.E a) E[a/v]
por convencin, tomamos (b c d... z) como abreviatura para (... (((a b) c) d)... z). (Regla de asociacin por izquierda).
La motivacin para esta definicin de la reduccin es que captura el comportamiento esencial de todas las funciones
matemticas. Por ejemplo, considrese la funcin que computa el cuadrado de un nmero. Se puede escribir el cuadrado de
x es x*x (usando "*" para indicar la multiplicacin.) x aqu es el parmetro formal de la funcin. Para evaluar el cuadrado
para un argumento particular, digamos 3, lo insertamos en la definicin en lugar del parmetro formal:
El cuadrado de 3 es 3*3
Para evaluar la expresin que resulta 3*3, tendramos que recurrir a nuestro conocimiento de la multiplicacin y del nmero
3. Puesto que cualquier cmputo es simplemente una composicin de la evaluacin de funciones adecuadas con
argumentos primitivos adecuados, este principio simple de substitucin es suficiente para capturar el mecanismo esencial
del cmputo. Por otra parte, en el clculo lambda, nociones tales como '3' y '*' puede ser representado sin ninguna
necesidad de operadores primitivos externamente definidos o de constantes. Es posible identificar los trminos que en el
clculo lambda, cuando estn interpretados convenientemente, se comportan como el nmero 3 y el operador de la
multiplicacin.
Clculos Combinatorios
Puesto que la abstraccin es la nica manera de fabricar funciones en el clculo lambda, algo debe sustituirlo en el clculo
combinatorio. En vez de la abstraccin, el clculo combinatorio proporciona un conjunto limitado de funciones primitivas y de
las cuales las otras funciones pueden ser construidas.
La lgica minimal constructiva se obtiene al eliminar completamente la negacin de la lgica clsica. El resultado, desde el
punto de vista de la teora de la demostracin, es un sistema deductivo donde las reglas de inferencia mantienen una
dualidad introduccin/eliminacin que genera un mecanismo determinista de construccin y verificacin de pruebas. Esta
caracterstica permite que las reglas de la lgica sean invertibles y sirvan como un sistema de tcticas que ayudan al
desarrollo, tanto de teoremas matemticos como de validaciones de especificaciones de software mediante los sistemas
computacionales llamados asistentes de prueba. En esta pltica daremos un breve panorama de los fundamentos y
aplicaciones de la lgica constructiva sirviendonos del asistente de prueba.
LA LGICA DIALCTICA (lgica de las diferencias y de las oposiciones) es una mediacin entre la lgica formal
pura y el anlisis dialctico de las contradicciones en el movimiento; este anlisis dialctico, mal situado, poco
cultivado, se ha oscurecido y su campo desaparece o ms bien parece desaparecer ante la lgica pura y ante la
lgica de las oposiciones. Pero en la concepcin ms amplia que aqu se presenta, el pensamiento lgico se integra
en el pensamiento dialctico como un momento del mismo.
La lgica dialctica se debe a la creacin de Hegel, aunque muchos de sus pensamientos y de sus conclusiones
fueron planteados en la Grecia Antigua por Herclito de feso y Aristteles. Lgica dialctica ubica la atencin en el
hallazgo de las fuentes de desarrollo, en la inteligencia de que este responde a la contradiccin dialcticamente
interpretada.
Se lee a Lenin1 La lgica formal...toma las definiciones formales, guindose por lo que es ms habitual o por lo que
salta a la vista ms a menudo y se limita a eso...la lgica dialctica exige que vayamos ms lejos. Para conocer de
verdad el objeto hay que abarcar y estudiar todos sus aspectos, todos sus vnculos y 'mediaciones'. Jams lo
conseguiremos por completo, pero la exigencia de la multilateralidad nos prevendr contra los errores y el
anquilosamiento. Eso en primer lugar.
Lgica formal
Se acostumbra a definir la lgica formal como aquella ciencia que estudia los razonamientos desde el punto del anlisis formal, es
decir, desde el punto de vista de su validez o no validez. Esto significa que se desentiende del contenido emprico de los
razonamientos para slo considerar la "forma" (estructura sin materia). Dado el siguiente silogismo : Los insectos son artrpodos;
los dpteros son insectos; por tanto, los dpteros son artrpodos; al lgico slo le interesa su validez o correccin (que es formal)
expresada en la estructura vaca de contenido Todo A es B; todo C es A; por tanto, todo C es B . El que los dpteros sean o no sean
artrpodos es una cuestin emprica que interesar en cualquier caso al zologo, pero de ninguna manera al lgico. El fundador de
la lgica formal fueAristteles . Esta disciplina se fue perfeccionando con la introduccin, a lo largo del siglo XIX y XX, de todo un
potente formalismo matemtico (Jorge Boole , Gottlob Frege , Beltrn Russell , etc.). Resulta ya un lugar comn equiparar la lgica
formal a la lgica matemtica , por lo que actualmente constituyen expresiones prcticamente sinnimas. El materialismo
formalista rectifica este planteamiento sosteniendo la imposibilidad de una ciencia "no material". La lgica formal
posee referenciales fisicalistas y es tan material como cualquier otra disciplina cientfica, ya que toda ciencia es material. Por otra
parte, no resulta aceptable la existencia de formas puras hipostasiadas exentas de contenidos materiales.
LA LGICA MATEMTICA es una parte de la lgica y la matemtica, que consiste en el estudio matemtico de la
lgica, y en la aplicacin de dicho estudio a otras reas de la matemtica y de las ciencias. La lgica matemtica tiene
estrechas conexiones con las ciencias de la computacin y la lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican o definen nociones
intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones, y algoritmos, utilizando un lenguaje
formal.
La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de
conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio
de los fundamentos de las matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones:
lgica simblica (o logstica), lgica matemtica, lgica teortica y lgica formal. 1
La lgica matemtica no es la lgica de las matemticas sino la matemtica de la lgica. Incluye aquellas partes
de la lgica que pueden ser modeladas y estudiadas matemticamente.
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican conceptos intuitivos de
objetos matemticos como conjuntos, nmeros, demostraciones y computacin. La lgica estudia las reglas de
deduccin formales, las capacidades expresivas de los diferentes lenguajes formales y las
propiedades metalgicas de los mismos.
En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado
dentro de un determinado sistema formal. En un nivel avanzado, la lgica matemtica se ocupa de la posibilidad de
axiomatizar las teoras matemticas, de clasificar su capacidad expresiva, y desarrollar mtodos computacionales
tiles en sistemas formales. La teora de la demostracin y la matemtica inversason dos de los razonamientos ms
recientes de la lgica matemtica abstracta. Debe sealarse que la lgica matemtica se ocupa de sistemas formales
que pueden no ser equivalentes en todos sus aspectos, por lo que la lgica matemtica no es mtodo de descubrir
verdades del mundo fsico real, sino slo una fuente posible de modelos lgicos aplicables a teoras cientficas, muy
especialmente a la matemtica convencional.
La lgica matemtica no se encarga por otra parte del concepto de razonamiento humano general o del proceso
creativo de construccin de demostraciones matemticas mediante argumentos rigurosos pero hechas usando
lenguaje informal con algunos signos o diagramas, sino slo de demostraciones y razonamientos que pueden ser
completamente formalizados en todos sus aspectos.
Sistemas lgicos[editar]
La lgica matemtica se interesa por tres tipos de aspectos de los sistemas lgicos:
La sintaxis de los lenguajes formales, es decir, las reglas de formacin de smbolos interpretables construidos
a partir de un determinado alfabeto, y las reglas de inferencia. En concreto el conjunto de teoremasdeducibles de
un conjunto de axiomas.
La semntica de los lenguajes formales, es decir, los significados atribuibles a un conjunto de signos, as
como el valor de verdad atribuible a algunas de las proposiciones. En general las expresiones de un sistema
formal interpretadas en un modelo son ciertas o falsas, por lo que un conjunto de proposiciones que admite un
modelo es siempre consistente.
Los aspectos metalgicos de los lenguajes formales, como por ejemplo la completitud semntica,
la consistencia, la compacidad o la existencia de modelos de cierto tipo, entre otros.
Lgica proposicional (Lgica de orden cero): En ella existe smbolos para variables proposicionales (que
pueden ser interpretados informalmente como enunciados que pueden ser ciertos o falsos) adems de smbolos
para diversas conectivas. Estas conectivas permiten formar expresiones complejas a partir de variables
proposicionales simples. Un sistema lgico puede incluir diversos tipos de conectivas, entre ellos, la lgica clsica
suele hacer uso de los siguientes:
se lee no
se lee y
se lee o
se lee implica o si,entonces,
se lee equivalente con o "si, slo s"
Dentro de la lgica proposicional pueden distinguirse varios tipos, por ejemplo restringiendo las posibilidades
de interpretacin semntica se obtiene la lgica intuicionista y ampliando la complejidad de las interpretaciones
semnticas se obtienen las lgicas modales.
Lgica de predicados: Esta no incluye smbolos para variables proposicionales sino que las
proposiciones ms elementales son predicados atmicos formados a partir de variables interpretables
como objetos singulares, relaciones (entre estas frecuentemente se usan = , <, >, etc.), funciones
matemticas. Adems smbolos para representar variables, relaciones y funciones este tipo de lgicas
incluyen cuantificadores. Dentro de la lgica de predicados se pueden distinguir ciertos tipos:
Lgica de primer orden que usualmente es finitaria (slo se admiten proposiciones formadas
mediante un nmero finito de pasos) aunque tambin existen lgicas infinitarias.
Lgica de segundo orden que a su vez pueden ser de diferentes subtipos.
UNA LGICA MODAL es un sistema formal que intenta capturar el comportamiento deductivo de algn grupo de
operadores modales.1 Los operadores modales son expresiones que califican la verdad de los juicios. 1 Por ejemplo, en
la oracin es necesario que 2+2=4, la expresin es necesario que es un operador modal que califica
de necesaria a la verdad del juicio 2+2=4.
En un sentido ms restringido, sin embargo, se llama lgica modal al sistema formal que se ocupa de las expresiones
es necesario que y es posible que.1 Este artculo trata exclusivamente sobre este sistema formal. Otros sistemas
de lgica modal conocidos son la lgica dentica, la lgica temporal, la lgica epistmica y lalgica doxstica.
Vocabulario [editar]
La lgica modal slo agrega dos smbolos al vocabulario de la lgica proposicional: el smbolo , que representa la
expresin del lenguaje natural "es necesario que", y el smbolo , que representa la expresin "es posible que". Ambos
smbolos se prefijan a proposiciones, de modo que se lee "es necesario que p", y se lee "es posible que p". Adems,
en la lgica modal clsica, ambos smbolos son interdefinibles por medio del otro y de la negacin; as:
Esto implica que en principio, slo es necesario tomar uno de los dos smbolos como primitivo, ya que el otro
puede ser definido a partir de ste y del vocabulario de la lgica proposicional. En general, el smbolo que se
toma como primitivo es el de necesidad. Estas interdefiniciones son paralelas a las de los cuantificadores en
la lgica de primer orden:
Las razones de este paralelismo resultarn ms claras en la seccin de semntica de mundos posibles.
Gramtica
La gramtica nos indica qu secuencias de signos del vocabulario estn bien construidas. A estas secuencias se las
llama frmulas bien formadas. La gramtica de la lgica modal es igual a la de la lgica proposicional, excepto que
aade una regla para los operadores modales, la cual ya fue indicada informalmente en la seccin anterior:
Algunos ejemplos de frmulas bien formadas del lenguaje sern, por lo tanto:
Reglas de inferencia[editar]
La regla de inferencia ms propia de la lgica modal se llama N (o regla
de Necesitacin), y dice que si una frmula es un teorema, entonces "es necesario
que " tambin es un teorema. En otros trminos:
Esta regla hay que sumarle, por supuesto, el modus ponens heredado de la lgica proposicional.
Axiomas[editar]
Cules deben ser los axiomas de la lgica modal es algo muy debatido. Diferentes conjuntos de
axiomas permiten demostrar diferentes teoremas, y por lo tanto los axiomas que se eligen muchas
veces dependen de los teoremas que se quieren demostrar, y de la posicin filosfica que se
defiende.
La siguiente es una lista de algunos de los axiomas ms conocidos:
Diferentes combinaciones de axiomas dan lugar a diferentes sistemas de lgica modal. El sistema K (llamado as en
honor a Saul Kripke) es el que menos axiomas utiliza: aparte de los axiomas de la lgica proposicional, el sistema K se
sirve slo del axioma K (no confundir el axioma con el sistema). Por esta misma razn, sin embargo, el
sistema K tambin es el ms dbil de los sistemas, es decir, el que menos teoremas puede demostrar. Sistemas ms
fuertes se construyen agregando axiomas a K. A continuacin hay una tabla con los nombres de los sistemas ms
conocidos y sus axiomas:
Sistema
K
T
S4
S5
B
Axiomas
K
K, T
K, T, 4
K, T, 5
K, T, B
UNA LGICA PLURIVALENTE O LGICA POLIVALENTE es un sistema lgico que rechaza el principio del tercero
excluido de las lgicas bivalentes y admite ms valores de verdad que los tradicionales verdadero y falso.1Distintas
lgicas plurivalentes pueden admitir distintas cantidades de valores de verdad: desde tres, hasta infinito.