Agustin Masaoka

Yessica valos
Adriana Bartomeus
Cristhian Segovia

La

Lgica

Una ciencia y una rama de la filosofa que estudia los

principios de la demostracin e inferencia vlida. La palabra
deriva del griego antiguo (logike), que significa "dotado
de razn, intelectual, dialctico, argumentativo", que a su vez
viene de (logos), "palabra, pensamiento, idea,
argumento, razn o principio".
La lgica examina la validez de los argumentos en trminos
de su estructura, (estructura lgica), independientemente del
contenido especfico del discurso y de la lengua utilizada en
su expresin y del los estados reales a los que dicho
contenido se pueda referir.
Esto es exactamente lo que quiere decir que la lgica es
una ciencia formal.
Tradicionalmente ha sido considerada como una parte de la
filosofa. Pero en su desarrollo histrico, a partir del final del
siglo XIX, y su formalizacin simblica ha mostrado su ntima
relacin con las matemticas; de tal forma que algunos la
consideran como Lgica matemtica.
En el siglo XX la lgica ha pasado a ser principalmente la
lgica simblica. Un clculo definido por unos smbolos y unas

Hasta entonces la lgica no tuvo este sentido de estructura

formal estricta. La tradicin aristotlica y estoica, mantuvo
siempre una relacin con los argumentos del lenguaje natural,
concediendo por tanto a los argumentos una transmisin de
contenidos verdaderos. Por ello aun siendo formales, no eran
formalistas.
Hoy, tras los progresos cientficos relativos a la Lingstica, y el
concepto semntico de verdad en su relacin con el lenguaje, tal
relacin se trata bajo un punto de vista completamente
diferente.
La formalizacin estricta ha mostrado las limitaciones de la
lgica tradicional interpretada actualmente como una
particularidad de la lgica de clases.

Breve historia de la lgica.

Entre los muchos aportes que hizo Aristteles al conocimiento

abstracto, sin duda la lgica formal - de la que fue indiscutiblemente
creador - no solamente puede considerarse el ms trascendental, sino
aquel en que logr mejores y mayores aciertos.
La principal aportacin de Aristteles fue la silogstica, el estudio del
procedimiento de raciocinio por medio del silogismo, en que de dos
premisas se deduce una conclusin; tambin llamada lgica de las
proposiciones o lgica clsica. Los filsofos ulteriores, sobre todo los
pertenecientes a la escuela estoica pre-cristiana y a la escolstica
medieval desarrollaron a fondo la lgica de las proposiciones;
sistematizando y completando la silogstica aristotlica as como
llegaron a desarrollar las llamadas lgicas modales.

Recin en el siglo XIX puede decirse que se desarrollaron nuevas

aportaciones de importancia en el campo de la lgica, con el desenvolvimiento
de la lgica matemtica que, a partir del antecedente del pensamiento de
Leibnitz, realizaron Boole y Frege.
El filsofo y matemtico alemn Gottfried Wilhelm Leibnitz (Leipzig, 1646 Hannover, 1716) - a quien cabe considerar el creador de la lgica matemtica desarroll la idea de un calculus ratiocinator, mediante el cual se aplicara un
sistema de reglas a algunos conceptos generales precisamente definidos, lo
que habilitara a operar en el campo de las cuestiones filosficas con los
mismos procedimientos del razonamiento matemtico. Esta idea tena implcito
el concepto de crear un mtodo equivalente al de las ciencias exactas para
alcanzar la certeza en cuanto a las cuestiones filosficas; pero precisamente
por su estrecha vinculacin con especulaciones filosficas sobre numerosos
temas como la metafsica y la teodicea, el concepto qued largo tiempo
olvidado.

Fue as que la lgica matemtica - tambin llamada lgica simblica

- se desarroll efectivamente en el siglo XIX, especialmente a partir
de George Boole (Inglaterra, 1815 - 1864), autor de la obra
Investigacin de las leyes del pensamiento en que se fundan la
teoras matemticas de la lgica y la probabilidad, en que se
originara la conocida como lgebra booleana; que conjuntamente
con Frege consigui construir clculos lgicos rigurosamente
formalizados, que permitieron aplicar a los problemas lgicos los
procedimientos matemticos. Con ello sentaron los fundamentos
operativos de la tecnologa de la moderna computacin, que fueran
ulteriormente desarrollados por las teoras de Emil Post y el clebre
matemtico ingls Allan Mathison Turing (Inglaterra, 1912-1954),
creador de la Automatic Digital Machine que por primera vez permiti
realizar clculos mecanizados mediante el empleo de algoritmos.

La obra culminante de la lgica simblica, la constituye Principia

mathematica de Sir Bertand Russell (Inglaterra, 1872-1970) y Alfred
North Whitehead (Inglaterra, 1861 - U.S.A., 1947), realizada en tres
tomos, entre los aos 1910 y 1913. En esta obra, se sustenta el concepto
de que las matemticas puras se obtienen de premisas lgicas puras, de
modo que los conceptos que las definen tambin son conceptos lgicos
puros.
Cabe sealar, ante lo precedente, la evidencia que emerge en cuanto a; siendo
demostrativa del estrecho vnculo que existe entre sus remotos orgenes
filosficos, su absoluta conexin con los fundamentos del conocimiento de las
matemticas y, por esa va, su clara incidencia en los fundamentos tericos y
conceptuales de la computacin. sta, a su vez, alcanza una repercusin
trascendental no solamente en la informtica en s misma, sino en todas sus
aplicaciones en la vida cotidiana; ya sea a nivel de la industria, las
comunicaciones, y an en una enorme variedad de elementos de uso y
consumo cotidiano.

Los principios lgicos.

Teniendo clara conciencia de la forma en que, desde el fondo de
los siglos, se proyecta hacia nosotros el esfuerzo intelectual de
Aristteles para habilitarnos a pensar correctamente; el empleo de
las reglas de la lgica en otros campos, tales como las decisiones
en el orden de la vida personal, poltica, econmica y jurdica - en
muchos de cuyos aspectos no suele ser frecuente aplicarla debiera ser una importante preocupacin para todos.
Como punto de partida del estudio de las leyes que rigen
el proceso del razonamiento, se han establecido ciertas
leyes fundamentales, que se consideran generales y
anteriores a todos los que de ellos se deducen, que son
producto de la intuicin (resultado de un conocimiento
directo e inmediato), y sobre los cuales se fundamentan
todas las restantes normativas lgicas.
Estos principios se consideran verdades axiomticas,
evidentes por s mismas, que no tienen que, ni necesitan,
demostrarse.

Son cuatro principios, los tres primeros enunciados por Aristteles y el cuarto
agregado por Leibnitz:
El principio de identidad Desde el punto de vista del ser, (ontolgico) se
enuncia expresando que todo objeto (de conocimiento) es igual a s mismo. Sin
embargo, desde el punto de vista lgico, su enunciado se relaciona con la
estructura de las proposiciones, expresando que el principio de identidad se
verifica cuando en una proposicin verdadera el concepto contenido en el
predicado es total o parcialmente idntico al concepto contenido en el sujeto:
el tringulo tiene tres lados.
El principio de (no) contradiccin Tambin tiene una formulacin
ontolgica conforme a la cual un objeto (de conocimiento) no puede ser y al
mismo tiempo no-ser. Desde el punto de vista lgico, este principio se
enuncia expresando que dos proposiciones contradictorias no pueden ser
ambas verdaderas; o que toda contradiccin encierra una falsedad: Si es
verdad que el tringulo tiene tres lados, no puede ser verdad que el
tringulo no tiene tres lados.

En relacin a la lgica aristotlica, o clsica, puede decirse que el principio

de no contradiccin es el fundamental de todos; al punto de que existen
quienes lo consideran el nico principio, del cual se extraen los otros.
El principio de tercero excludo Este principio est estrechamente vinculado
con el de no contradiccin, al punto que a veces se lo distingue de ste
expresando que mientras el de no contradiccin expresa que dos proposiciones
contradictorias no pueden ser ambas verdaderas, el de tercero excludo expresa
que dos proposiciones contradictorias no pueden ambas ser falsas. Sin embargo,
es ms apropiado referir este principio al concepto de valor de verdad de la lgica
clsica, conforme al cual una proposicin solamente puede tener valor de
verdadera o de falsa; y por lo tanto, entre la verdad o la falsedad, no existe una
tercera posibilidad. En consecuencia, la relacin con el principio de no
contradiccin queda mejor expresada en cuanto al principio de tercero excludo,
si se enuncia en el sentido de que de dos proposiciones contradictorias,
necesariamente una ha ser verdadera y la otra ha de ser falsa.

Leibnitz en un sentido ontolgico expresando que todo lo que existe tiene su razn
de ser. Algunos filsofos le han dado una enunciacin en sentido lgico, expresando
que todo juicio es falso o verdadero, por alguna razn; y por lo tanto ha de ser posible
justificar su veracidad o su falsedad por medio de la razn. De este principio, se
considera derivado el:
El principio de causalidad Este principio, ms propiamente ontolgico, implica que
todo lo que existe tiene una causa; por lo cual todo lo que es efecto de una causa
puede convertirse a su vez en causa de otro efecto.

Lgica y
verdad.
Como se ha expresado antes, la lgica formal o lgica
pura, estudia las formas en que procede el raciocinio, en
forma abstracta; es decir, prescindiendo de sus
contenidos concretos. Por ese camino, procura encontrar
las leyes formales universales del pensamiento correcto;
de tal manera que produzcan ese resultado cualquiera
sean los contenidos a que se apliquen.
De tal manera, la lgica formal se atiene no al contenido
sino a la validez de los razonamientos, no a su materia
sino a su forma; por lo cual la forma de un razonamiento
correcto debe ser independiente:
tanto de los objetos de que trate,
como de las propiedades de esos objetos que puedan
tomarse en consideracin.
Como tambin se ha sealado antes, en el estudio del proceso
de un razonamiento determinado, hecho a partir de ciertas
premisas, no es permitido acudir a elementos que no estn ya
contenidos en esas premisas; de modo tal que para la validez
de la conclusin a que conduzca el razonamiento:

si los datos del objeto de que tratan las premisas han sido previamente
constatados para l, deben darse por verificables en cualquier otro objeto de la
misma categora.
si en las premisas se considera determinadas propiedades, el razonamiento vlido
para ella debe continuar sindolo tanto en las premisas como en la conclusin, si
alguna de esas propiedades es sustituda por otra.
si el razonamiento correcto tiene una determinada validez en un determinado
momento de cualquiera de ellos, debe mantener la misma validez en cualquier
otro momento; tanto respecto del objeto de la premisa como de sus propiedades

Lgica, lenguaje y
smbolos.
En la prctica, no es posible razonar directamente mediante conocimientos en un
estado mental, sino por medio de representaciones simblicas, que se expresan en
objetos materiales perceptibles por medio de los sentidos, tales como palabras,
signos, grficos, frmulas, etc.
El uso del lenguaje corriente lleva implcito un enfoque de sintaxis, que consiste en
las relaciones formales entre los trminos empleados; y un enfoque semntico, que
consiste en el sentido de referencia que se atribuye a las palabras empleadas, su
relacin con los objetos y los conceptos de la realidad a que con su empleo se trata
de aludir, y que es cierto modo es socialmente cambiante dentro de un mismo
idioma, considerando distintos tiempos y lugares.
El lenguaje de uso corriente - tanto el coloquial como el culto, literario o el de
ciertas disciplinas especializadas - resulta totalmente imperfecto en cuanto al
rigor, claridad, abstraccin y precisin requerido para la expresin de los
conceptos y objetos en los estudios lgicos; especialmente considerando lo
expuesto en cuanto a la prescindencia de los componentes de contenidos
materiales de los procesos del razonamiento.

Diferencias entre psicologa y la lgica?

Existe una gran diferencia ya que la psicologa corresponde al estudio de sujeto
pensante y de los procesos psicolgicos reales que ocurren en l, entre los cuales
esta tambin el proceso de pensar. A diferencia de la lgica que se ocupa del
pensamiento elaborado y formulado ya que debe estudiar los pensamientos
mismos, analizarlos en sus formas, en su estructura, en sus enlaces y dems
caracteres que pueden tener, prescindiendo en absoluto del sujeto que pudo
haberlos elaborado.

Por qu la psicologa era considerada

como una ciencia de hechos y la lgica
como una ciencia ideal?
Porque para los psiclogos tiene igual valor un pensamiento correcto como uno
falso, ya que lo que verdaderamente le interesa al psiclogo es saber como se
forman las ideas, los juicios y los razonamientos. En cambio para la lgica lo mas
importante es establecer las leyes que debe seguir el pensamiento para tener
valides, ser correcto y libre de toda contradiccin.