Historia de la Lgica

Edad antigua
Aristteles de Estagira 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 Organon 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 el procedimiento 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.
LOGICA FORMAL
La podemos definir como la disciplina filosfica que tiene como objeto de estudio
los principios y mtodos que se emplean para distinguir o diferenciar el
razonamiento correcto del incorrecto.

Su Objeto Material es la estructura del pensamiento en sus tres formas:

concepto, juicio y razonamiento.

Su Objeto Formal es la forma o estructura de los razonamientos para

distinguir los "correctos" de los "incorrectos", no hace referencia a su
contenido o materia (o sea, si son "verdaderos" o "falsos").

Lgica informal

La lgica informal tiene como objetivo el contexto en el cual se aplican los

argumentos y cmo este uso puede ser o no vlido. Las falacias informales son un
ejemplo de ello. Consisten los argumentos que se desentienden de los
razonamientos y se preocupan de elementos circunstanciales o contextuales para
convencer o, mejor dicho, engaar al auditor. En esta unidad conoceremos las
falacias informales y aplicaremos los distintos elementos que nos permitan juzgar
las argumentaciones del discurso cotidiano y pblico.

CONCEPTO BASICO DE LOGICA MATEMATICA

Qu es la lgica matemtica?

Es la disciplina que estudia mtodos de anlisis y razonamiento; utilizando el

lenguaje de las matemticas como un lenguaje analtico.

La lgica matemtica nos ayuda a establecer criterios de verdad, equivalencias

lgicas tales como el silogismo, hacer demostraciones de teoremas que participan
en el anlisis de argumentos planteados.

Dentro de la misma, se complementa tambin de la heurstica para resolver

problemas y es muy til en matemticas.

Suele dividirse en cuatro subcampos: teora de modelos, teora de la

demostracin, teora de conjuntos y teora de los sistemas formales en relacin
con el modo en el que codifican conceptos intuitivos de objetos matemticos como
conjuntos, nmeros, demostraciones y computacin.