You are on page 1of 4

2

UNIVERSIDAD DE SAN CARLOS DE GUATEMALA


CENTRO UNIVERSITARIO DE JUTIAPA -JUSACCONTADURA PBLICA Y AUDITORIA
MARIANO ANTONIO ORTIZ ARRIVILLAGA201640138

EVOLUCIN HISTRICA DE LA LGICA


La lgica es una ciencia formal que estudia los principios de la demostracin y la
inferencia vlida, la palabra deriva del griego antiguo logik, que significa dotado
de razn, intelectual. Las inferencias son el proceso por el cual se derivan las
conclusiones a partir de premisas y la lgica investiga los fundamentos por los cuales
algunas inferencias son aceptables, y otras no. La Inferencia es aquella accin y efecto de
inferir (sacar una consecuencia de otra cosa, deducir algo, conducir a un resultado). La
inferencia nace a partir de una evaluacin mental entre distintas expresiones, que al ser
relacionadas como abstracciones, permiten trazar una implicacin lgica.
LA LGICA A TRAVS DEL TIEMPO:
La Edad Antigua: La lgica, como un anlisis explcito de los mtodos de razonamiento,
se desarroll originalmente en tres civilizaciones de la historia antigua: China, India y
Grecia, entre el siglo V y el siglo I a. C. Se considera a Aristteles el fundador de la lgica
como propedutica1 o herramienta bsica para todas las ciencias. Aristteles fue el
primero en formalizar los razonamientos, utilizando letras para representar trminos.
Sostuvo que la verdad se manifiesta en el juicio verdadero y el argumento vlido en el
silogismo: Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta
necesariamente de ellas, por ser lo que son, otra cosa diferente.
Edad Media: Con el nombre de Dialctica en la Edad Media la Lgica mantiene la
condicin de ciencia propedutica. As se estudia en la estructura de las enseanzas del
Trivium2 como una de las artes liberales pero sin especiales aportaciones en la Alta Edad
Media. En su evolucin hacia la Baja Edad Media son importantes las aportaciones rabes
de Al-Farab; Avicena y Averroes, pues fueron los rabes quienes reintrodujeron los
escritos de Aristteles en Europa. Adems de que en la Baja Edad Media su estudio era
requisito para entrar en cualquier universidad.
Edad Moderna (Siglo XIX): A partir de la segunda mitad del siglo XIX, la lgica sera
revolucionada profundamente. En 1847, George Boole public un breve tratado titulado El
anlisis matemtico de la lgica, y en 1854 otro ms importante titulado Las leyes del
pensamiento. La idea de Boole fue construir a la lgica como un clculo en el que los
valores de verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que se
les aplican operaciones matemticas como la suma y la multiplicacin.
Siglo XX: El siglo XX sera uno de enormes desarrollos en lgica. A partir del siglo XX, la
lgica pas a estudiarse por su inters intrnseco, y no slo por sus virtudes como
propedutica, por lo que estudi a niveles mucho ms abstractos. En 1910, Bertrand
Russell y Alfred North Whitehead publican Principia mathematica, un trabajo monumental
en el que logran gran parte de la matemtica a partir de la lgica. Principia Mathematica
utiliza una notacin inspirada en la de Giuseppe Peano, parte de la cual todava es muy
utilizada hoy en da. Adems de la lgica proposicional y la lgica de predicados, el siglo
1 Propedutica: instruccin preparatoria para el estudio de una ciencia.
2 Trivium: conjunto de las tres artes liberales: gramtica, retrica y dialctica.

2
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA
CENTRO UNIVERSITARIO DE JUTIAPA -JUSACCONTADURA PBLICA Y AUDITORIA
MARIANO ANTONIO ORTIZ ARRIVILLAGA201640138

XX vio el desarrollo de muchos otros sistemas lgicos; entre los que destacan las muchas
lgicas modales.
LOS PRINCIPIOS DE LA LGICA:
El Principio de Identidad: El principio de identidad A es igual a A, establece que una cosa
es igual a s misma, es decir, cualquier norma, contrato, institucin u ordenamiento jurdico
son iguales a s mismos. Con esto consagra el principio de la seguridad jurdica desde el
punto de vista normativo, o sea la garanta dada al individuo de que las normas no sern
creadas, derogadas o modificadas sino en virtud del fiel cumplimiento al procedimiento
previamente establecido en el ordenamiento jurdico.
El Principio de Contradiccin: El principio de contradiccin: "Una cosa no puede ser y
no ser a la vez y bajo el mismo aspecto", normativamente expresa: no se puede
considerar que una norma sea y no sea aplicable a un mismo hecho, en igualdad de
circunstancias de modo, tiempo y lugar. Este principio se formul en la mxima: "A iguales
hechos, igual Derecho" "La ley de la contradiccin es de gran importancia para pensar
correctamente. En los razonamientos deductivos, dicha ley permite fundamentar la
existencia de necesidad lgica en la inferencia de la conclusin."
Principio De Tercero Excluido: El principio de tercero excluido: "entre dos cosas
contradictorias no cabe trmino medio" se formularia diciendo: entre dos normas
contradictorias no existe una intermedia, sino que al aceptar una, se excluye la otra. El
juez debe solucionar la contradiccin que transitoriamente se ha presentado,
seleccionando unas de ellas. No puede inhibirse alegando contradiccin de la ley; por
esto, la contradiccin es solo transitoria, pues incurrir en denegacin de la justicia. El
principio de tercero excluso, en este apartado, no existen los trminos medios; es decir, es
o no es, "esta ley es de gran importancia para el pensar. Sirve de base para el
razonamiento y en la de demostracin del contrario."
Principio de la Razn Suficiente: Principio de la razn suficiente "todo lo que es, tiene,
su razn de ser", afirma en el Derecho: Toda norma tiene una razn de ser, ya sea esta
histrica, social o econmica. Este principio se formul en la clebre expresin "ocassio
legis"3, lo que dio ocasin a la ley, por lo que se hizo necesaria dictarla. El principio de la
razn suficiente, esta ley para considerar que una proposicin es completamente cierta,
tiene que ser demostrada; debiendo conocerse los suficientes fundamentos para afirmar
que sea verdadera.
La lgica se fundament como una ciencia formal, es decir, que como cualquiera de las
ciencias formales crea su propio objeto de estudio y el razonamiento; y la creacin de
ideas por parte de la mente son su metodologa de trabajo y conocimiento, pero adems,
la lgica, se considera como una de las ramas ms importantes y populares dentro de la
Filosofa, siendo su objeto de estudio los principios de la demostracin y la inferencia
vlida, que son los mtodos que en definitiva permitirn distinguir el razonamiento correcto
del incorrecto.
3 Ocassio Legis: condiciones que generaron la ley.

3
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA
CENTRO UNIVERSITARIO DE JUTIAPA -JUSACCONTADURA PBLICA Y AUDITORA
MARIANO ANTONIO ORTIZ ARRIVILLAGA

201640138

LNEA DEL
TIEMPO DE LA
LGICA
EDAD ANTIGUA 5000-476 A.C.:
Se desarrollan en Grecia los principios
formales de las matemticas. Este
periodo clsico lo protagonizan Platn,
Aristteles y Euclides. Platn propone
ideas o abstracciones. Aristteles
resuelve el razonamiento deductivo y
sistematizado. Euclides es el autor que
establece el mtodo axiomtico.

EDAD MODERNA 1596 D.C.:


REN DESCARTES:
Filsofo y matemtico su creacin de la
geometra analtica se permite el uso de
mtodos algebraicos. Se le acua la
frase "Je pense, je sui" (pienso, luego
existo).
Sus logros en la lgica matemtica
fueron; geometra analtica y los
mtodos
algebraicos
los
cuales
permitieron el desarrollo ms rpido
que los mtodos sistemticos.

EDAD ANTIGUA 427 347 A.C.:


PLATN, 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.

EDAD ANTIGUA 384 332 A.C.:


ARISTTELES: Aristteles defini la
lgica como "ciencia que estudia los
razonamientos correctos", por lo que la
entenda como un instrumento al
servicio de las dems ciencias.
Cualquier ciencia (la fsica, por ejemplo)
debe construirse con razonamientos
correctos, por lo que la lgica ser de
gran utilidad al ser su cometido el
establecer las formas correctas de
razonamientos (de ah que se la
considere como una ciencia formal,
pues no se interesa por el contenido de
los razonamientos, sino por su forma).

EL RENACIMIENTO 1500 1800 D.C.:


Ante el retroceso de la escuela clsica
de los griegos se presentan periodos de
autoridad religiosa. El Renacimiento es
el inicio de una nueva revolucin que
revive la ciencia y las matemticas. Los
representantes ms destacados son
Descartes, Newton y Leibniz.

EDAD ANTIGUA 300 A.C.:


EUCLIDES:
Matemtico
alejandrino
autor de la universal obra, los clebres
Elementos.
Uno
de
los
textos
matemticos ms relevantes de la
historia del pensamiento cientfico
hasta del siglo XIX. Los Elementos
estn divididos en XIII Libros y
constituyen
la
recopilacin
ms
exhaustiva
de
las
matemticas
conocidas en el ao 300 aC. Su valor
universal lo propaga el uso riguroso del
mtodo deductivo que distingue entre
principios -definiciones, axiomas y
postulados-, y teoremas, que se
demuestran a partir de los principios.

3
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA
CENTRO UNIVERSITARIO DE JUTIAPA -JUSACCONTADURA PBLICA Y AUDITORA
MARIANO ANTONIO ORTIZ ARRIVILLAGA

EDAD MODERNA 1724 D.C.:


IMMANUEL KANT:
Divide
la
lgica
en
analtica
trascendental
y
dialctica
trascendental. Kant entiende que hay
formas puras a priori del entendimiento
y de la razn. La lgica es dividida,
segn l, en Analtica Trascendental y
Dialctica Trascendental. Establece que
para todo hay una causa a lo que l
llam "principio de causalidad"

SIGLO XX 1934 D.C.:


KARL POPPER:
En la lgica de dicho mtodo critic la
idea "prevalente de que la ciencia es en
esencia inductiva. Propuso un criterio
de comprobacin que l denomin
falsabilidad, para determinar la validez
cientfica, y subray el carcter
hipottico-deductivo de la ciencia".

201640138

EDAD MODERNA 1818 D.C.:


GEORGE BOOLE:
El lgico y matemtico George Boole,
aplica el clculo matemtico a la lgica,
fundando el lgebra de la lgica. En
cierto modo realiza el sueo de Leibniz
de una characteristica universalis o
clculo del raciocinio. El empleo de
smbolos
y
reglas
operatorias
adecuados
permite
representar
conceptos, ideas y razonamientos
mediante
variables
y
relaciones
(ecuaciones) entre ellas. Boole dio un
mtodo general para formalizar la
inferencia deductiva, representando
complicados
raciocinios
mediante
sencillos sistemas de ecuaciones.

EDAD MODERNA 1879 D.C.:


FRIEDRICH LUDWIG GOTTLOB FREGE:
Fue un filsofo, matemtico y lgico
alemn. El primero en distinguir "la
caracterizacin formal de las leyes
lgicas de su contenido semntico".
fue defensor del logismo aunque este
solo fuera aplicado a la teora de
conjuntos y aritmtica. Es tambin
nombrado "el mayor lgico despus de
Aristteles". Defendi el logismo que es
la tesis de que "las matemticas son
reducibles a la lgica".

EDAD MODERNA 1818 D.C.:


JOHN STUART MILL:
John Mill defini la lgica como " una
parte del arte de pensar" nos dice que
el lenguaje es uno de los principales
instrumentos para el pensar.
Estudioso de la lgica escolstica. Nos
dice, tambin cual es el objeto de la
lgica; " Elaboracin y ordenacin de
intuiciones sensibles"

EDAD MODERNA 1872 D.C.:


BERTRAND RUSSELL:
Fue aristotlico pero llego a afirmar que
para estudiar la lgica no se deba
estudiar primero a Aristteles.
Estableca la jerarqua de los lenguajes
y con otros matemticos axiomatiza las
matemticas con la lgica.

ACTUALIDAD SIGLO XXI 2013 D.C.:


LA SIGUIENTE REVOLUCION LOGICA:
La siguiente Revolucin Lgica incorpora la fusin entre matemticas y computacin. Las
computadoras tienden a explorar datos inteligentemente transfiriendo informacin de las bases
de datos a las bases de conocimiento interconectadas a travs de la Red a escala infinitesimal.
La lgica evoluciona pues como un gen hacia la culminacin del conocimiento libre que nace
del rigor formal de la Matemtica griega; emerge renovada mente de etapas de persecucin tan
oscuras como la Edad Media y otros intentos ms recientes; hasta el intercambio constante y
continuo de datos en la moderna era de estructura de redes que Internet proporciona a modo
neuronal a la Humanidad.