INFORME DE LOGICA-MATEMATICAS

GUTIERREZ MEJIA YUSELIS KARINA

HERNANDEZ ROMERO MARIA JOSE
OSPINO DE LA ROSA LAURA CAROLINA
VIVIAN RIVERA RAMIREZ




CARLOS HERNANDEZ
DOCENTE





UNIVERSIDAD POPULAR DEL CESAR
FACULTAD DE CIENCIAS POLITICAS Y SOCIALES
PROGRAMA DE PSICOLOGIA
2014


CONCEPTO DE LOGICA MATEMATICA
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 meta lgicas
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 inversa son 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 hechos usando lenguaje informal con algunos signos o
diagramas, sino slo de demostraciones y razonamientos que pueden ser completamente
formalizados en todos sus aspectos.
ANTECEDENTES HISTORICOS DE LA LOGICA MATEMATICA
La lgica es tan antigua como la propia filosofa. Piensa que la palabra "lgica" proviene
del vocablo griego logos, que significa "razn, ley y palabra", y que est ntimamente unida
a la tarea propia de la filosofa.
Los primeros principios formales de las matemticas se desarrollan en Grecia. Platn,
Aristteles y Euclides proponen las primeras ideas hacia la lgica: Platn propone ideas o
abstracciones. Aristteles resuelve el razonamiento deductivo y sistematizado. Euclides es
el autor que establece el mtodo axiomtico.
Platn
Platn (427-347 AC) intenta instaurar en Siracusa una utpica repblica dirigida por
filsofos, y crea la Academia en Atenas, que no era solo una institucin filosfica, sino
serva de formacin poltica a los jvenes de la aristocracia. Segn muchos crticos, Platn
edifica su teora del conocimiento para justificar el poder preeminente del filsofo y parte
de los pensamientos socrticos: la bsqueda de conceptos y definiciones estables de las
ideas abstractas (justicia, bondad, valor, etc.). Sostuvo la existencia de dos mundos distintos
(el de las ideas y el de las cosas). Segn Platn, lo concreto se entiende slo en funcin de
lo abstracto, resultando que el mundo sensible debe su existencia al mundo de las ideas.
Platn escogi el dilogo como su forma literaria para verter su pensamiento; como
personaje central de sus ''Dilogos'' sita a Scrates, de quien recibi una notable
influencia.
Aristteles
Los tratados de lgica de Aristteles (384-332 a.C.), conocidos como rganon, contienen
el primer tratamiento sistemtico de las leyes de pensamiento en relacin con la adquisicin
de conocimiento. Estos representan el primer intento de establecer a la lgica como ciencia.
Aristteles da una clasificacin de todos los conceptos o nociones (sustancias, cantidad,
relacin, accin, pasin, diferencia, propiedad y accidente) y trata las reglas del
razonamiento silogstico. Aristteles no hace de la lgica una disciplina metafsica, pero si
establece una correspondencia entre el pensamiento lgico y la estructura ontolgica.
El silogismo fue adoptado por los escolsticos (representantes del sistema teolgico-
filosfico, caracterstico de la Edad Media) quienes la enriquecieron con numerosos y
detallados estudios y se esforzaron en formalizarlo. La escolstica, sin embargo, acab por
sobrecargar la teora del silogismo, lo que acarre su descrdito a partir del Renacimiento.
Los lgicos de la edad moderna (Ramee, Arnauld, Nicole, Leibniz, Euler, Lambert)
procuraron simplificarla al mximo, y su tratamiento matemtico se complet hasta
principios del siglo XX (Boole, De Morgan, Frege, Russell). Desde entonces el silogismo
se incluye en la lgica de predicados de primer orden y en la lgica de clases, y ocupa en la
ciencia lgica un papel mucho menor que el desempeado en otros tiempos.
Euclides
Este matemtico alejandrino public numerosas obras entre las que destacan los clebres
''Elementos'', sin duda el texto matemtico ms conocido a lo largo de la historia. Los
''Elementos'' estn divididos en trece libros y constituyen una recopilacin de gran parte de
las matemticas conocidas en tiempos de Euclides; su gran valor reside en el uso riguroso
del mtodo deductivo, distinguiendo entre principios (definiciones, axiomas y postulados) y
teoremas, que se demuestran a partir de los principios. Los principios de naturaleza
puramente geomtrica en ''Elementos'' se conocen como postulados; tres de ellos aseguran
la existencia y unicidad de la recta determinada por dos puntos; el cuarto, la existencia de
una circunferencia de centro y radio dados; y el quinto da condiciones que aseguran que
dos rectas se cortan en un punto. A lo largo de la historia se ha mantenido la sospecha de
que el quinto postulado era demostrable a partir de los anteriores. El deseo de encontrar tal
demostracin condujo, en el siglo XIX, a la construccin de geometras no euclidianas de
las que se deduce la imposibilidad de demostrar el quinto postulado.
Giuseppe peano fue quien bautizo este mtodo como lgica matemtica. Fue
creada siguiendo los pensamientos del filsofo griego Aristteles, claro est que
tomando de una forma ms indeterminada.
Matemticos y fsicos como Leibniz (creador del sistema binario) y Lambert realizaron
algunos internos de tratar las operaciones lgicas formales de una manera simblica, pero
sus estudios se preservaron desconocidos.
Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero
presentaron un sistema matemtico para modelar operaciones lgicas. La lgica tradicional
aristotlica fue reformada y completada, obteniendo un instrumento apropiado para
investigar sobre los fundamentos de la matemtica.
En 1854, el matemtico britnico George Boole public un artculo que marc un
antes y un despus, detallando un sistema de lgica que terminara
denominndose lgebra de Boole. Dicho sistema desempeara un papel
fundamental en el desarrollo del sistema binario actual, particularmente en el
desarrollo de circuitos electrnicos.

Gottfried Wilhelm Leibniz (1646-1716), Fue el precursor de la lgica
matemtica, proponiendo un sistema binario para la realizacin de clculos.
El infinito y la lgica de primer orden.
La lgica de primer orden actualmente se encuentra en el problema acerca del
concepto de infinito, pues hay muchas teoras sobre este tema que han sido
propuestas por Aristteles, Leibniz y los pensadores de la lgica atreves de la
historia.

OTROS GRANDES PIONEROS DE LA LOGICA MATEMATICA
Augustus De Morgan
La mayor contribucin de Augustus De Morgan (1806-1871) en el estudio de la lgica
incluye la formulacin de las leyes de Morgan y su trabajo fundamenta la teora del
desarrollo de las relaciones y la matemtica simblica moderna o lgica matemtica. De
Morgan hizo su ms grande contribucin como reformador de la lgica.
Georg F. Cantor
Al matemtico alemn Georg F. Cantor (1845-1918) se debe la idea del ''infinito continuo'',
es decir, la posibilidad de considerar conjuntos infinitos dados simultneamente. Se le
considera el creador de la teora de los nmeros irracionales y de los conjuntos.
Gentzen
El alemn Gentzen (1909-1945) formul la prueba de la consistencia de un sistema de
aritmtica clsica, en el cual el mtodo no elemental es una extensin de induccin
matemtica a partir de una secuencia de nmeros naturales a un cierto segmento de
nmeros ordinales tras finitos.

Bertrand Rusell
Bertrand Rusell (1872-1970) es uno de uno de los creadores de la logstica y uno de los
pensadores de mayor influencia en la filosofa cientfica contempornea. Lo fundamental de
su obra est en sus aportes a la lgica. Decididamente anti aristotlico, lleg a afirmar que
quien quera iniciarse en la lgica deba comenzar por no estudiar la lgica de Aristteles.
Por influencia de los trabajos de Cantor descubri en la teora de conjuntos varias paradojas
que resolvi mediante la teora de los tipos; aos ms tarde establecera una teora similar,
la de la jerarqua de los lenguajes, para eliminar las paradojas semnticas. Siguiendo los
trabajos de Cantor, Peano y Frege, Rusell se propuso fundamentar y axiomatizar la
matemtica a partir de conceptos lgicos. Este empeo culmin con la publicacin (1910-
1913) de los monumentales ''Principia Matemtica'' (en colaboracin con Whitehead), obra
que, adems, sentaba las bases de la moderna lgica formal.
Kurt Gdel
Kurt Gdel (1906-1978) tuvo mltiples contribuciones a la lgica matemtica, destacando
la demostracin de la consistencia de la hiptesis cantoriana del continuo y el teorema y la
prueba de incompleta semntica. En ''Sobre las proposiciones indecidibles de los sistemas
de matemtica formal'' establece que es imposible construir un sistema de clculo lgico
suficientemente rico en el que todos sus teoremas y enunciados sean decidibles dentro del
sistema. Con este teorema se demostr definitivamente que era imposible llevar a cabo el
programa de la axiomatizacin completa de la matemtica propugnado por Hilbert y otros,
ya que, segn l, no puede existir una sistematizacin coherente de la misma tal que todo
enunciado matemtico verdadero admita demostracin. Siempre habr enunciados que no
son demostrables ni refutables. Para probar esta asercin se sirvi de la mate matizacin de
la sintaxis lgica.
IMPORTANCIA DE LA LOGICA MATEMATICA PARA LA PSICOLOGIA
Para la Psicologa, el estudio de un pensamiento implica el estudio de todos los procesos
que conllevan a la realizacin del mismo, mientras, por su parte, la Lgica slo se interesa
por el estudio de su estructura. Para que un pensamiento sea vlido, debe cumplir la
estructura aristotlica, pero para que sea un pensamiento debe cumplir tambin todos los
procesos mentales estudiados por la Psicologa. Se comprende entonces la relacin entre la
Lgica y la Psicologa: la Lgica es la estructura operatoria de la cual la Psicologa se
encarga de estudiar su funcionamiento real.
Por lo cual Las matemticas apoyan a la psicologa en la creacin y revisin de test
psicomtricos y sirven para aprender, escuchar o analizar informacin, organizarla para
luego dar una conclusin que sea ms verdadera, que se aplicada a la hora de las terapias
con las personas y aumentara nuestra capacidad de anlisis por eso es importante que en
nuestro perfil profesional como psiclogos tengamos conocimientos de lgica matemtica.
SISTEMA DE NUMERACION
Un sistema de numeracin es un conjunto de smbolos y reglas que permiten representar
datos numricos. Los sistemas de numeracin actuales son sistemas posicionales, que se
caracterizan porque un smbolo tiene distinto valor segn la posicin que ocupa en la cifra.
En matemticas, varios sistemas de notacin que se han usado o se usan para representar
cantidades abstractas denominadas nmeros. Un sistema numrico est definido por la base
que utiliza. La base de un sistema numrico es el nmero de smbolos diferentes o
guarismos, necesarios para representar un nmero cualquiera de los infinitos posibles en el
sistema.
A lo largo de la historia se han utilizado multitud de sistemas numricos diferentes.
VALORES POSICIONALES
La posicin de una cifra indica el valor de dicha cifra en funcin de los valores
exponenciales de la base. En el sistema decimal, la cantidad representada por uno de los
diez dgitos -0, 1, 2, 3, 4, 5, 6, 7, 8 y 9- depende de la posicin del nmero completo.
Para convertir un nmero n dado en base 10 a un nmero en base b, se divide (en el sistema
decimal) n por b, el cociente se divide de nuevo por b, y as sucesivamente hasta obtener un
cociente cero.
SISTEMA BINARIO
El sistema binario desempea un importante papel en la tecnologa de los ordenadores. Los
nmeros se pueden representar en el sistema binario como la suma de varias potencias de
dos.
Ya que slo se necesitan dos dgitos; el sistema binario se utiliza en ordenadores y
computadoras.
NMEROS
Palabra o smbolo utilizado para designar cantidades o entidades, que se comporten
como cantidades. Es la expresin de la relacin existente entre una cantidad y otra
magnitud que sirve de unidad. Se pueden considerar nmeros todos aquellos conceptos
matemticos para los cuales se definen dos operaciones, de adicin y multiplicacin, cada
una de las cuales obedece a las propiedades conmutativa y asociativa.
CONJUNTOS NUMRICOS

NMEROS NATURALES

Dicho en trminos muy simples, los nmeros naturales son los que sirven para contar.
El conjunto de los nmeros naturales tiene las siguientes propiedades:
Si se suma a un natural el nmero 1 el resultado es otro nmero natural.
Por lo tanto el conjunto de los naturales es un conjunto infinito.
Las propiedades enunciadas anteriormente constituyen el Axioma de Induccin
Completa.
El conjunto de los Nmeros Naturales se denota por la letra N y se representa as:
N = {1, 2, 3, 4, 5, 6, 7, 8,}

NMEROS ENTEROS

El conjunto de nmeros enteros, es tambin infinito.
Son parejas de nmeros naturales (x, y), cuya resta x-y define un nmero entero.
Por ejemplo: la pareja (7, 3) define el entero positivo 4 ya que 7 - 3 = 4.
La pareja (2, 4) define el entero negativo -2 ya que 2 - 4 = -2.

NMEROS RACIONALES

El conjunto de nmeros racionales est integrado por parejas de nmeros enteros cuyos
elementos se dividen entre s.
A este conjunto tambin pertenece el 0, que est definido por todas aquellas fracciones
que tienen al 0 por numerador.
Los racionales sern positivos o negativos segn sea el signo de cada uno de los
integrantes de las parejas que los definen.
As ser que parejas de enteros de igual signo definirn un racional positivo; y parejas de
enteros de distinto signo definirn un racional negativo.
No existen racionales cuyo denominador sea 0.

NMEROS REALES

(Designados por ) incluyen tanto a los nmeros racionales (positivos, negativos y el
cero) como a los nmeros irracionales.

NMEROS COMPLEJOS

Son una extensin de los nmeros reales . El conjunto de los nmeros complejos se designa
como . Los nmeros complejos incluyen todas las races de los polinomios, a diferencia de
los reales. Todo nmero complejo puede representarse como la suma de un nmero real y
un nmero imaginario (que es un mltiplo real de la unidad imaginaria, que se indica con la
letra i), o en forma polar.