HISTORIA DE LA LOGICA

Edad antigua
Aristteles de Estagira (384 a.c. 322 a.c.) considerado como
creador de la Lgica, sin embargo sus predecesores
desarrollaron y cultivaron la inferencia y la prueba en los
diferentes debates que por aquel tiempo realizaban los filsofos.
En el plano sintctico y semntico del lenguaje Protgoras fue el
primero en estudiar las oraciones, Platn en su obra Sofista trat
tambin las afirmaciones y las negaciones, introduce la nocin
del mtodo axiomtico que ms tarde fue completado por
Aristteles cuyo mrito radica el haber sistematizado la lgica
formal codificando las formas de argumentacin correcta que es
donde radica la naturaleza de la lgica como ciencia. Los escritos
lgicos de Aristteles estn contenidos en su libro rganon que
significa instrumento para pensar correctamente (propedutica
o metodologa), este libro contiene los cinco tratados siguientes:
las categoras, las proposiciones, los analticos, (primeros y
segundos) los tpicos y las refutaciones sofsticas. Los analticos
es el tratado que contiene la naturaleza de la lgica y el
Silogismo que trata del razonamiento lgico aristotlico usando
proposiciones categricas.
Aristteles aporta a la lgica la introduccin del uso de variables,
las proposiciones por su cantidad y su cualidad, el raciocinio
deductivo, las formalizaciones de la Lgica y el desarrollo
silogstico.
Ms adelante Teofrasto y Eudemo aportaron los silogismos
hipotticos condicionales perteneciente a la lgica de las
proposiciones los Megariacos plantean el significado de las
proposiciones Si - entonces los Estoicos desarrolla la lgica
Verdadero Falso de las proposiciones.

Edad media
La Lgica Medieval se basa en el trabajo de Aristteles, es
recogida por los sacerdotes y cultivado mayormente en los
conventos, escuelas y universidades de Europa Occidental.
Los estudios de los lgicos profesionales estuvo dirigido al
comentario del Organon destacando Pedro Hispano y Juan
Buridan estableciendo que de Dos premisas contradictorias, se
puede deducir cualquier conclusin.
Edad Moderna
La poca moderna marca el inicio de la Lgica Matemtica. El
precursor de esta lgica es Guillermo G. Leibniz quien introdujo
el clculo lgico llamado Mathesis Universalis que fuese
operacionalmente mecnico, inequvoco y no cuantitativo que
permitiera acabar con todas las disputas y controversias. tambin
desarroll el clculo de la Lgica Proposicional. Euler es otro de
los precursores de la Lgica Matemtica, introdujo los diagramas
que llevan su nombre para ilustrar geomtricamente los
silogismos.
Edad Contempornea
El siglo XIX se caracteriza por el nivel de abstraccin que alcanza
la lgica matemtica destacando Hamilton sobre la cuantificacin
de todo o alguno. Augusto de Morgan considera que la base,
comn de la lgica radica en las relaciones de inclusin o
exclusin parcial o total entre clases; George Boole construye la
Teora de Clases. Venn aclara los procedimientos de Boole
representando los procesos algebraicos en los diagramas de
Venn. Giussepe Peano da a la lgica el nombre de lgica
matemtica creando un lenguaje simblico para las
demostraciones matemticas propuso el uso de los puntos

auxiliares y un modo de simbolizar los cuantificadores. Bertrand

Russell en su obra Los Principios de la matemtica propone que
las matemticas puedan reducirse a una rama de la lgica
generando en su obra investigaciones sobre la inferencia y sus
respectivas aplicaciones.
En el siglo XX la lgica simblica, que tanto deba a la
matemtica haba desembocado, desde principio del siglo, en
cuestiones irresolubles. Esto produjo un paulatino alejamiento de
la lgica con respecto a la matemtica, as como un
deslindamiento de las competencias respectivas. Por un lado, la
lgica, alejndose del excesivo formalismo y simbolismo,
empieza a ocuparse y preocuparse de problemas semnticos, es
decir de las relaciones entre los smbolos y lo que expresan. Se
producen as un acercamiento de la lgica a la lingstica y a la
epistemologa. Filsofos como L. Wittgenstein, R. Carnap
inicialmente bajo la influencia formalista y logicista, dan un viraje
en su filosofar orientndose hacia preocupaciones lgico semntica.

DEFINICIONES DE LOGICA
La ciencia que se basa en las leyes, modalidades y formas del
conocimiento cientfico se conoce bajo el nombre de lgica. Se
trata de una ciencia de carcter formal que carece de contenido
ya que hace foco en el estudio de las alternativas vlidas de
inferencia. Es decir, propone estudiar los mtodos y los principios
adecuados para identificar al razonamiento correcto frente al que
no lo es.
http://definicion.de/logica/#ixzz4HuAl3iQb

Por lo que hemos visto, podramos decir que la lgica es la

disciplina filosfica que tiene un carcter formal, ya que estudia la
estructura o formas de pensamiento (tales como conceptos,
proposiciones, razonamientos) con el objeto de establecer
razonamientos o argumentos vlidos o correctamente lgicos.
Adems de estudiar las estructuras que conforman el
pensamiento, a la lgica le interesa descubrir las leyes y los
principios que permiten conducirnos con rigor, precisin y verdad
hacia el conocimiento.
Una definicin que nos puede ayudar a resumir los principales
objetivos de la lgica es la que nos proporciona Gregorio
Fingermann; para este autor la lgica es: "La ciencia de las leyes
y de las formas del pensamiento, que nos da normas para la
investigacin cientfica y nos suministra un criterio de verdad".
http://www.conocimientosfundamentales.unam.mx/

La lgica es 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,
es 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.
El origen de la lgica se remonta al tiempo de oro de la Grecia
clsica y al filsofo griego Aristteles se lo considera como el
creador y padre de la misma, ya que fue el primero en utilizar la
nocin y darle la entidad que guarda hasta nuestros das, de
estudio de los argumentos como manifestantes de la verdad en la
ciencia.
http://www.definicionabc.com/general/logica.php

Lgica es una ciencia formal que estudia la estructura o formas

del pensamiento humano (como proposiciones, conceptos y
razonamientos) para establecer leyes y principios vlidos para
obtener criterios de verdad. Como adjetivo, 'lgico' o 'lgica'
significa que algo sigue las reglas de la lgica y de la razn.
Indica tambin una consecuencia esperable natural o normal. Se
utilizar tambin para referirse al llamado 'sentido comn'. Procede
del latn lgica, y a su vez del griego (logike, 'que posee

razn, 'intelectual', 'dialctico', 'argumentativo'), que a su vez

deriva de la palabra (logos, 'palabra', 'pensamiento',
'razn', 'idea, argumento').
http://www.significados.com/logica/

La lgica es una disciplina consistente en el estudio de los

procedimientos formales de la razn. Esto significa que la misma
se abocar a intentar conocer qu tipo de estos procedimientos
son los correctos a la hora de razonar. Su existencia se remonta
a la antigedad, en el seno del nacimiento de la filosofa. En la
actualidad es especialmente til a la hora de realizar aportes a la
ciencia mediante el establecimiento de parmetros correctos e
incorrectos para teorizar y para procesar la informacin que se
suscita de la experimentacin.

Definicion.mx: http://definicion.mx/logica/

La palabra Lgica proviene del griego logos que significa razn.

Actuar o pensar con lgica es hacerlo en forma razonada y
argumentada, pero el pensamiento lgico tiene una serie de
criterios que los definen como tal, y que permiten llegar a una
conclusin vlida, a partir de dos juicios o proposiciones. Si se
parte de proposiciones verdaderas, tambin ser verdadera la
conclusin. La verdad o falsedad del razonamiento lgico no
depende de que se corroboren sus enunciados y conclusin con
la experiencia, sino de la coherencia interna del discurso. Esto es

lo que se conoce como Lgica formal. Los principios lgicos

reconocen la paternidad del filsofo griego Aristteles.

DeConceptos.com http://deconceptos.com/cienciassociales/logica#ixzz4HuIgxitr