1

Ao de la consolidacin del mar de Grau

ESCUELA ACADMICA PROFESIONAL DE

ADMINISTRACIN Y SISTEMAS
CURSO:

MATEMATICA

TEMA:

COMO LA LGICA FORMAL INFLUYE EN EL

PENSAMIENTO HUMANO

SEMESTRE:

INTEGRANTES:

MANCILLA NOA ROCIO

DEDICATORIA

A Dios por permitirnos un da ms de vida, a nuestros

padres por el apoyo incondicional para lograr mis
objetivos, a nuestros maestros por brindarme los
conocimientos e instruirnos para ser grandes
profesionales.

3
ndice

Introduccin.4
Antecedentes..4
Definiciones.5
Como la lgica formal influye en el pensamiento humano6
Razonamiento deductivo e inductivo en lgica..7

La importancia de la Lgica en la vida Cotidiana...11

Conclusiones10
Bibliografas..11

INTRODUCCION

El lenguaje nos proporciona las herramientas mentales, la habilidad para dar razones de lo
que sabemos. En la experiencia diaria, esperamos que las personas tengan razones para lo
que dicen o hacen; es decir buscamos un principio de racionalidad una lgica. Lo que
parece una buena razn, puede variar de acuerdo con las circunstancias y costumbres. La

4
lgica en cambio, busca tipos particulares de demostraciones racionales que fundamenten
las conclusiones y respalden nuestra ciencia y conocimiento en general.
Aunque durante siglos ha sido considerado un saber filosfico, y se sigue enseando en las
facultades de Filosofa, la Lgica es tambin una ciencia formal, ligada a las Matemticas, y
en los ltimos aos tiende a constituirse en ciencia autnoma (Se desarrolla principalmente
en las escuelas de Informtica). De hecho, en muchos manuales de Filosofa hay slo
menciones a la Lgica, pero creemos que slo se entiende la Lgica cuando se hace un
poco de Lgica.

Definiciones
Lgica
Histricamente la palabra ha ido cambiando de sentido. Comenz siendo una modelizacin
de los razonamientos propuesta por los filsofos griegos y posteriormente ha evolucionado
hacia diversos sistemas formales, relacionados con la teora

5
Etimologa
Etimolgicamente, la palabra lgica viene del vocablo griego (logos) que
originalmente significa palabra, pero que a lo largo del tiempo ha ido extendiendo su
significado a pensamiento y posteriormente a ciencia o tratado.
Posibles definiciones
La lgica puede definirse por un lado como Ciencia y como Proceso, estudiados por la
filosofa y por la psicologa, y por otro lado como Lenguaje formal, estudiado por las
matemticas.
La lgica como ciencia:
"Es la ciencia filosfica sobre el pensamiento que estudia las leyes del desarrollo de todas
las cosas materiales, naturales y espirituales, es decir, del desarrollo de todo el contenido
concreto del mundo y de su cognicin, o sea, el resultado, la suma total, la conclusin de la
historia del conocimiento del mundo ( V.I. Lenin. Resumen del libro de Hegel Ciencia de la
Lgica. O.C., t.29, p.84)
La lgica estudia los problemas del movimiento del hombre hacia el conocimiento
verdadero, las leyes del origen . Para la lgica lo central es aclarar qu es la verdad y cmo
se alcanza. La verdad es la coincidencia del concepto con el objeto, el paso del hombre
desde la idea subjetiva a la creacin de un cuadro objetivo del mundo a travs de la prctica
formada de la interrelacin de todos los aspectos de la realidad, reflejadas en los conceptos.
Es definida por Davdf como la teora acerca de las leyes objetivas, universales y
necesarias de la naturaleza, la sociedad y todo el conjunto del conocimiento del que dispone
la humanidad (Davdov Vasili, La enseanza escolar y el desarrollo psquico, Investigacin
psicolgica terica y experimental, Editorial Progeso, Mosc, 1986, 277p, ISBN 5-01000621-9, Impreso en la URSS)
La lgica como proceso:
La lgica es el proceso de reflejo del mundo objetivo en la conciencia del hombre y de
verificacin de la correccin de este reflejo por la prctica, es generada histricamente por la
vida de los hombres concretos, cuando se separan de los fenmenos de la naturaleza, sus
categoras (cantidad, calidad, medida, esencia, etc, son escalones y puntos focales del
conocimiento de la naturaleza objetivamente existente, lo que caracteriza la conciencia del
hombre que se desprende de la naturaleza objetivamente existente. (Davdov Vasili, La
enseanza escolar y el desarrollo psquico, Investigacin psicolgica terica y experimental,
Editorial Progeso, Mosc, 1986, 277p, ISBN 5-01-000621-9, Impreso en la URSS)
La lgica matemtica:
El hombre de hoy se relaciona ms frecuentemente con la lgica matemtica que se refiere
a un sistema deductivo en el que existen ciertos axiomas bsicos y ciertas reglas de
deduccin. Ese sistema est formado por un conjunto de expresiones (o smbolos) que
permiten construir determinadas proposiciones (o secuencias de signos dotables de
significado), las reglas deductivas permiten reconocer cuales son la afirmaciones deducibles
de los axiomas mediante las reglas de deduccin y cules no.
Como la lgica formal influye en el pensamiento humano
Lgica formal

6
La Lgica Formal, a diferencia de la anterior, se refiere al estudio de argumentos
racionales en forma estrictamente esquematizada y organizada. Parte de la base que uno
razona bien e intenta mejorar a niveles superiores el razonamiento. Forma relaciones
altamente abstractas entre las ideas. Esta lgica, la formal, no debe ser confundida con la
lgica matemtica o simblica, la cual es slo un tipo de lgica que se encuentra dentro del
campo de la lgica formal.
La existencia de una gran cantidad de concepciones distintas de la lgica implica que sta
no es estudiada en el vaco, sino que es usada en un contexto. Es decir, que puede ser
usada por las otras ciencias. Esto no es menor, ya que nos signific una modificacin
increble de nuestra manera de mirar el universo y el mundo: Pasamos de creer en teora de
los cuatro elementos y en que el mundo era plano, a creer en las teoras de relatividad
general y de mecnica cuntica.
Historia de la lgica
La lgica formal como un anlisis explcito de los mtodos de razonamientos se desarroll
originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo
V y el Siglo I a.C.
En China no dur mucho: la traduccin y la investigacin escolar en lgica fue reprimida por
la dinasta Qin, acorde con la filosofa legalista. En India, la lgica dur bastante ms: se
desarroll hasta que en el mundo islmico apareci la escuela de Asharite, la cual suprimi
parte del trabajo original en lgica. (A pesar de lo anterior, hubo innovaciones escolsticas
indias hasta principios del siglo XIX, pero no sobrevivi mucho dentro de la India Colonial).
El tratamiento sofisticado y formal de la lgica moderna aparentemente proviene de la
tradicin griega.
Aristteles fue el primero en emplear el trmino Lgica para referirse al estudio de los
argumentos dentro del lenguaje natural. En el Organon Aristteles la define como el arte de
la argumentacin correcta y verdadera.
Naci as la anteriormente definida Lgica Informal, o el estudio metdico de los
argumentos. Durante varios siglos, slo fue investigada por la retrica, la oratoria y la
filosofa, entre otras ramas del conocimiento. Se especializ medularmente en la
identificacin de falacias y paradojas, as como en la construccin correcta de
razonamientos.
A partir de mediados del Siglo XIX la lgica formal comenz a ser estudiada en el campo de
las matemticas y posteriormente por las ciencias computacionales, naciendo as la Lgica
simblica. sta trata de esquematizar los pensamientos claramente usando un lenguaje de
signos propio y distinto al verbal, evitando as las ambigedades.
As, en la edad contempornea, la lgica generalmente es entendida para describir
razonamiento en una forma prescriptita. Esto es, describe cmo el razonar debera tomar
lugar.
Adems de encontrarle mltiples e importantes usos computacionales y matemticos a la
lgica simblica, se ha mantenido la lgica aristotlica, la cual principalmente se ocupa de
ensear el buen argumento, y es todava enseada con ese designio en la poca
contempornea. Para la Lgica matemtica y la filosofa analtica la lgica es un objeto de
estudio en s mismo, por lo que sta es estudiada a un nivel ms abstracto.
Existen muchos otros sistemas lgicos, como la lgica dialctica, lgica difusa, lgica
probabilstica, lgica modal y la lgica no montona.

7
Martin Heidegger discpulo de Edmund Husserl, se aparta de estas lneas de consideracin
de la lgica aunque sin despreciarlas y comprendiendo su alcance (pero tambin sus
lmites), planteando que una lgica ms originaria se podra encontrar en un plano previo a
las proposiciones, sentencias, declaraciones o juicios. Tomar en cuenta eso podra llevar a
un replanteamiento de la lgica de la proposicin o la lgica del juicio, puesto que nos
conducira a movernos en las races de la lgica tal como ha sido habitualmente entendida,
races que hasta ahora han sido insuficientemente atendidas. Para l, la lgica tendra que
partir de una suficiente meditacin del ( lgos), el cual debera ser distinguido de la
ratio, que, en rigor, significa algo distinto.
Razonamiento deductivo e inductivo en lgica
La filosofa de Aristteles y Platn engendr la lgica primaria , era deductiva y no inductiva.
Esto quiere decir que las leyes universales podan ser descubiertas por el pensamiento
humano sin necesidad que ste tuviese que optar por mirar casos particulares para
establecer las leyes. Es decir, la lgica deductiva discurre sobre lo que sigue universalmente
desde premisas dadas por la razn humana. Es esta la razn por la cual Aristteles
estableci los cuatro principios a priori para la lgica todava enseados en nuestra poca:
el principio de identidad, el Principio de no contradiccin, el principio del tercero excluido y el
principio de razn suficiente.
Sin embargo, el hacer uso nicamente de la lgica deductiva puede llevar a errores, ya que
se deja la observacin de casos particulares de lado, para ver si se verifica el razonamiento.
As entonces, Aristteles se equivoc incluso en el nmero de dientes que tenan las
mujeres, habindose podido enterar simplemente observando y contando.
En oposicin al formalismo de lo deductivo, Hegel cuestion el principio del tercero excluido
y formul el principio de la universalidad de la contradiccin. Propuso el mtodo analtico
para partir de la materia concreta dada para llegar a la forma de abstracciones universales y
luego proponer definiciones generales. El anlisis deja lo concreto como fundamento y por
medio de la abstraccin de las particularidades, que aparentan ser inferenciales, pone de
relieve lo universal concreto o sea la fuerza de ley general.
En el mismo sentido, el razonamiento inductivo, es el estudio de derivar una generalizacin
o una ley a partir de observaciones. ste fue posteriormente incluido en el estudio de la
lgica, y fue adoptado como el razonamiento bsico de la investigacin cientfica,
combinndola cuando corresponde con la deduccin. Este probablemente es el motivo del
xito y la certeza de los modelos cientficos actuales. Es decir, la inclusin del razonamiento
inductivo en las ciencias no es menor en nuestras vidas, nos permiti tener el modelo
cientfico actual el cual nos ha dado una cantidad impresionante de tecnologa y supuestas
verdades.
La diferencia entre la validez inductiva y la deductiva es la siguiente: Una inferencia es
deductivamente vlida si y slo si no hay posible situacin en la cual todas las premisas son
verdaderas y la conclusin falsa. La nocin de validez deductiva puede ser rigurosamente
establecida para sistemas de lgica formal en trminos de las bien entendidas nociones de
la semntica. La validez inductiva, por el otro lado, requiere que se defina una
generalizacin rentable a partir de un conjunto de observaciones. La tarea de proveer esta
definicin puede ser enfrentada de varias maneras, algunas menos formales que las otras;
algunas de estas definiciones pueden usar modelos matemticos de probabilidades.
Kurt Gdel ha demostrado que en cualquier formalizacin consistente de las matemticas
que sea lo bastante fuerte para definir el concepto de nmeros naturales, se puede construir
una afirmacin que ni se puede demostrar ni se puede refutar dentro de ese sistema y que
ningn sistema consistente se puede usar para demostrarse a s mismo.

8
Por tanto, en nuestra poca los razonamientos deductivos e inductivos deben
complementarse y trabajar juntos, buscando as la verdad sobre la realidad y el entorno.
La importancia de la Lgica en la vida Cotidiana
La lgica en la vida cotidiana es muy importante ya que con esta se solucionan de una
forma correcta los diversos problemas y dilemas que se presentan en nuestro entorno, por lo
tanto, si no implementamos la lgica en nuestro diario vivir, no podramos solucionar de una
manera adecuada, dichos dilemas.
Por ejemplo al realizar una simple operacin matemtica; como rectificar los vueltos en una
tienda, estaramos aplicando una lgica la cual tiene unos pasos, un inicio y un final.
En la vida del hombre la lgica es de gran importancia, ya que es un instrumento necesario
para que obtenga un conocimiento que pueda ser califica- do de vlido.
Todos tenemos nocin del significado de lgica, aun cuando muchos nunca han tomado un
curso sobre la misma, a pesar de ello encontramos frecuentemente que las personas
expresan comentarios como yo no creo eso porque no es lgico, estas indicaciones
carecen de lgica, el argumento de la novela que le no es muy lgico; dichas
expresiones se apegan al concepto de lgica expuesto por Salvador Chvez Prado, quien la
considera como toda persona, situacin, actitud, conducta, que presente orden,
coherencia, congruencia y sistematicidad. Dicha concepcin coloquial que la mayora tiene
difiere de lo que en realidad se encarga de estudiar la lgica.
El pensamiento lgico es importante para el estudiante porque le permite poner orden en
sus pensamientos, a expresar con claridad los mismos, a realizar interpretaciones o
deducciones correctas, a descubrir falsedades y prejuicios, as como a asumir actitudes
crticas ante determinadas situaciones. Adems de lo anterior, el pensamiento lgico le
permite en el campo de la investigacin cientfica, suministrar el empleo correcto de los
esquemas vlidos de inferencia, a proporcionar legalidad a los procedimientos deductivo,
inductivo y analgico, a establecer las bases para toda operacin racional, y finalmente, a
realizar de manera coherente, consistente y sistemticamente todo el proceso de
investigacin.
La importancia de la Lgica
La lgica es la disciplina que estudia el razonamiento. El antiguo filsofo Aristteles fue
quien primero trat con ella. La palabra lgica proviene del vocablo griego 'logos', que
significa 'razn' o 'pensamiento'.
Aristteles defini al ser humano como un animal racional. Si nos guiamos por esta
definicin, llegamos a la conclusin de que la lgica es imprescindible para que el ser
humano pueda vivir de acuerdo a su naturaleza.

Conclusiones
Con esta investigacin hemos obtenido un amplio conocimiento sobre la Lgica formal ,
aunque con este material no es suficiente por lo amplio que este tema, pero nos dio una
iniciacin en la ctedra en estudio, con esto queremos decir que hemos entendido, en parte,
la mayora de los concepto y estudios referentes a los temas antes mencionados; estos

10
temas nos han parecido bastante amplios e indispensables para nuestro crecimiento
intelectual, ya que ellos nos sirven de herramienta para cualquier actividad en nuestra
existencia, en especial con reas de estudios y reas de trabajo que se vinculan con lo
estudiado, aunque no es dems decir que la Lgica formal se aplican a cualquier tema, seas
social, cientfico, etc.

Bibliografas

a) Bibliografa bsica:
Badesa, C., Jan, I. y Jansana, R., Elementos de lgica formal, Ariel, Barcelona, 1998.

11
Falguera, J. L. y Martnez, C., Lgica clsica de primer orden. Estrategias de deduccin,
formalizacin y evaluacin semntica, Trotta, Madrid, 1999.
b) Bibliografa complementaria:
Antn, A. y Casa, P., Lgica Matemtica. Ejercicios, vol. 1, NAU Llibres, Valencia, 1987.
Castrillo, P., La estructura de los condicionales, UNED, Madrid, 1989.
Castrillo, P., Ejercicios de lgica, UNED, Madrid, 1991.
Garca Trevijano, C., El arte de la lgica, Tecnos, Madrid, 1993.
Prez Sedeo, E., Ejercicios de lgica, Siglo XXI, Madrid, 1991.
Quesada, D., La lgica y su filosofa, Barcanova, Barcelona, 1985.
Read, S., Thinking about logic. An introduction to the philosophy of logic, University Press,
Oxford, 1995.
Vega, L., Lecturas de lgica, UNED, Madrid, 1981.
Velarde, J., Historia de la lgica, Servicio de Publicaciones de la Universidad, Oviedo, 1989.