10/2/2014

Lgica matemtica - EcuRed

Lgica matemtica. Es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las cie ncias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad. Contenido [mostrar]

Inicio
La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la Filosofa, Matemticas,Computacin, Fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. En las matemticas para demostrar teoremas e inferir resultados matemticas que puedan ser aplicados en investigaciones. La evolucin de la lgica est ligada a la evolucin intelectual del ser humano, ya que como ciencia del razonamiento se puede afirmar que su historia representa la historia misma del hombre. La lgica surge desde el momento en que el hombre al enfrentarse a la naturaleza empieza a observar, experimentar, deduce y razona. Durante el periodo 600 AC hasta 300 AC se desarrollaron en Grecia los principios formales de las matemticas, a este periodo se le llamo periodo clsico en donde sus principales representantes son:Platn que el introdujo sus ideas y abstracciones;Aristteles que present el razonamiento ductivo y sistemtico y Euclides que fue el que tuvo mayor influencia ya que este estableci el mtodo axiomtico.

Platn
Platn, propone instaurar en Siracusa una utpica repblica dirigida por filsofos. Crea la Academia de Atenas que no era solo una institucin filosfica, sino centro de formacin poltica para jvenes aristcratas. Segn algunos especialistas, Platn edifica su teora del conocimiento con el fin de justificar el poder emergente de la figura del filsofo. Sostiene la existencia de dos mundos -el mundo de las ideas y el de mundo fsico de los objetos. Segn Platn, lo concreto se percibe en funcin de lo abstracto y por tanto el mundo sensible existe gracias al mundo de las ideas. Platn escoge el formato dilogo como forma de transmisin del pensamiento.

Aristteles
Los tratados de lgica de Aristteles, conocidos como Organn, contienen el primer tratado sistemtico de las leyes de pensamiento para la adquisicin de conocimiento. Representan el primer intento serio que funda la lgica como ciencia.

Objetivos
El objetivo de la lgica matemtica es cuestionar los conceptos y las reglas de deduccin que son utilizadas en las matemticas y esto constituye a la lgica una verdadera matemtica.

lgebra de la lgica
Parte de la lgica matemtica basada en la aplicacin de los mtodos algebraicos al estudio de los objetos lgicos: clases y proposiciones. Por una parte, la proposicin expresa un sentido (juicio); por otra, designa una verdad (V) o una mentira (M). As, las proposiciones El Volga desemboca en el mar Caspio y 2 x 2= 4 expresan un sentido diferente, pero ambas designan una verdad (tienen el significado de V). [1]

http://www.ecured.cu/index.php/L%C3%B3gica_matem%C3%A1tica

1/2

10/2/2014

Lgica matemtica - EcuRed

El lgebra de la lgica examina las proposiciones slo desde el punto de vista de su significado, con la particularidad de que se consideran equivalentes las que poseen un mismo significado de veracidad. [1] El lgebra de la lgica utiliza la notacin simblica (Simbolismo lgico). Adems de los smbolos de las proposiciones, se emplean smbolos para las operaciones: conjuncin, disyuncin, implicacin, negacin, con los cuales el lgebra de la lgica forma unas expresiones partiendo de otras. [1] Una expresin ser compuesta si ha sido formada por otras mediante operaciones algebraicas lgicas; en el caso contrario, ser simple. Dos expresiones se llaman equivalentes si en cada combinacin posible de significados de las expresiones simples en ellas contenidas presentan significados iguales. As A B es equivalente a A B, dado que en las cuatro posibles combinaciones de significados de V y M para A y B: VV, VM, MV, MM, A B presenta el mismo significado que A B. [1] En relacin con los conceptos introducidos, se plantean en el lgebra de la lgica una serie de problemas a cuya resolucin se aplica esta disciplina. Histricamente, el lgebra de la lgica surgi como lgebra de las clases (Boole) y slo despus fue interpretada como lgebra de las proposiciones. Con los trabajos de V. I. Shestakov y de Claude Shannon, el lgebra de la lgica encuentra amplia aplicacin en la teora de los esquemas elctricos y de los esquemas con rels de contacto. [1]

Referencias
1. 1,0 1,1 1,2 1,3 1,4 Rosental M. y P. Iudin. Diccionario Filosfico. Ediciones Universo,Argentina, 1973, pginas 8-9.

http://www.ecured.cu/index.php/L%C3%B3gica_matem%C3%A1tica

2/2