LGICA

1.-Introduccion.-
Lgica (del griego, logos, 'palabra',
'proposicin', 'razn'), disciplina y rama de la filosofa
1
que estudia los principios formales del conocimiento
humano. u principal an!lisis se centra en la "alidez de
los razonamientos y argumentos, por lo que se
esfuerza por determinar las condiciones que #ustifican
que el indi"iduo, a partir de proposiciones dadas,
llamadas premisas, alcance una conclusin deri"ada de
aqu$llas. La "alidez lgica depende de la adecuada
relacin entre las premisas y la conclusin, de tal
forma que si las premisas son "erdaderas la conclusin
tambi$n lo ser!. %or ello, la lgica se encarga de
analizar la estructura y el "alor de "erdad de las
proposiciones, y su clasificacin.
La "alidez de una proposicin se tomar! de la
"eracidad de la conclusin. i una de las premisas, o
m!s, es falsa, la conclusin de una proposicin "!lida
ser! falsa. %or e#emplo& '(odos los mamferos son
animales de cuatro patas, todos los hombres son
mamferos, por lo tanto, todos los hombres son
animales de cuatro patas) es una proposicin "!lida que
conduce a una conclusin falsa. %or otro lado, una
proposicin nula puede, por casualidad, llegar a una
conclusin "erdadera& '*lgunos animales tienen dos
patas+ todos los hombres son animales, por lo tanto
todos los hombres tienen dos patas) representa una
conclusin "erdadera, pero la proposicin no lo es. %or
lo tanto, la "alidez lgica depende de la forma que
adopta la argumentacin, no su contenido. i la
argumentacin fuera "!lida, cualquier otro t$rmino
podra sustituir a cualquiera de los casos utilizados y la
"alidez no se "era afectada. *l sustituir 'cuatro
patas) por 'dos patas) se comprueba que ambas
premisas pueden ser "erdaderas y la conclusin falsa.
%or lo tanto, la proposicin no es correcta aunque
posea una conclusin "erdadera.
2.-Lgica Aristotlica.-
La que es conocida como lgica cl!sica (o tradicional)
fue enunciada primeramente por *ristteles, quien
elabor leyes para un correcto razonamiento
silogstico. ,n silogismo es una proposicin hecha de
una de estas cuatro afirmaciones posibles& '(odo * es
-) (uni"ersal afirmati"o), '.ada de * es -) (uni"ersal
negati"o), '*lgo de * es -) (particular afirmati"o) o
'*lgo de * no es -) (particular negati"o). Las letras
sustituyen a palabras comunes como 'perro), 'animal de
cuatro patas) o /cosa "i"iente/, llamadas 't$rminos) del
silogismo. ,n silogismo bien formulado consta de dos
premisas y una conclusin, debiendo tener cada
premisa un t$rmino en com0n con la conclusin y un
segundo t$rmino relacionado con la otra premisa. 1n
lgica cl!sica se formulan reglas por las que todos los
silogismos bien construidos se identifican como formas
"!lidas o no "!lidas de argumentacin.
ilogismo, forma de razonamiento utilizado en
lgica por la que del contraste de dos
proposiciones o premisas se e2trae una
conclusin.
Aristteles
3.-Lgica Moderna.-
* mediados del siglo 343, los matem!ticos
brit!nicos 5eorge -oole y *ugustus 6e 7organ
abrieron un nue"o campo a la lgica, hoy conocido como
lgica simblica (o moderna), que m!s tarde fue
desarrollada por el matem!tico alem!n 5ottlob 8rege y
de un modo especial por los matem!ticos brit!nicos
-ertrand 9ussell y *lfred .orth :hitehead en
%rincipia 7athematica (; "ols., 1<1=>1<1;). 1l sistema
lgico de 9ussell y :hitehead cubre un espectro
mayor de posibles argumentaciones que las que se
pueden encontrar en la lgica silogstica. 4ntroduce
smbolos para frases enteras y para las con#unciones
que las unen, como 'o), 'y), 'si... entonces...). ?uenta
con smbolos diferentes para el su#eto lgico y el
predicado lgico de una frase+ y ad#udica smbolos para
distinguir las clases, para los miembros de las clases y
para las relaciones de la pertenencia a una clase y la
inclusin en una clase. (ambi$n se ale#a de la lgica
cl!sica en sus suposiciones de la e2istencia respecto a
las cosas aludidas en sus afirmaciones uni"ersales. La
afirmacin '(odo * es -) significa en lgica moderna
que 'i algo es *, entonces es -)+ lo que, a diferencia
de la lgica tradicional, no significa que todo * e2iste.
1l primer manual de lgica formal publicado en espa@ol
fue la obra de Auan 6a"id 5arca -acca titulada
4ntroduccin a la lgica moderna (1<;B).
(anto la rama cl!sica como la moderna implican
m$todos de lgica deducti"a. 1n cierto sentido, las
premisas de una proposicin "!lida contienen la
conclusin, y la "erdad de la conclusin se deri"a de la
"erdad de las premisas. (ambi$n se han hecho
esfuerzos para desarrollar m$todos de lgica inducti"a
como las que sostienen que las premisas conlle"an una
e"idencia para la conclusin, pero la "erdad de la
conclusin se deduce, slo con un margen relati"o de
probabilidad, de la "erdad de la e"idencia. La
contribucin m!s importante a la lgica inducti"a fue la
aportada por el filsofo brit!nico Aohn tuart 7ill,
quien en istema de Lgica (1CD;) estructur los
m$todos de prueba que, seg0n su interpretacin, iban a
caracterizar la ciencia emprica. 1ste estudio ha
desembocado, en el siglo 33, en el campo conocido
como filosofa de la ciencia. 7uy relacionada con $sta
se encuentra la rama de las matem!ticas llamada
teora de la probabilidad.
(anto la lgica moderna como la cl!sica asumen
en sus formas m!s corrientes que cualquier proposicin
bien elaborada puede ser o "erdadera o falsa. 1n a@os
recientes se han desarrollado sistemas de la
denominada lgica combinatoria& una afirmacin puede
tener un "alor distinto a "erdadero o falso. 1n algunos
supuestos es slo un tercer "alor neutro, en otros es
un "alor de probabilidad e2presado como una fraccin
que oscila entre = y 1 o entre >1 y E1. (ambi$n se han
lle"ado a cabo serios traba#os para desarrollar
sistemas de lgica modal, con el ob#eto de representar
las relaciones lgicas entre las afirmaciones de
posibilidad e imposibilidad, de necesidad y
contingencia. Ftra "a es la que propone la lgica
dentica& la in"estigacin de las relaciones lgicas
entre rdenes o entre afirmaciones de obligacin.
George Boole
Bertrand Russell
Alfred ort! "!ite!ead
#o!n $tuart Mill
%.-&isci'linas relacionadas.-
7uy relacionadas con la lgica se encuentran la
sem!ntica o filosofa del lengua#e, que trata acerca del
significado de las palabras y de las frases+ la
epistemologa, o teora del conocimiento, que se ocupa
de las condiciones ba#o las cuales las afirmaciones son
"erdaderas+ y la psicologa del razonamiento, que se
refiere a los procesos mentales que se siguen en el
curso de un razonamiento. *lgunos tratados sobre
lgica incluyen estas materias, pero lo esencial de ese
inter$s se ci@e a las relaciones lgicas entre di"ersas
afirmaciones contrapuestas.
a. em!ntica (del griego semantiGos, 'lo que tiene
significado'), estudio del significado de los
signos lingHsticos, esto es, palabras,
e2presiones y oraciones. Iuienes estudian la
sem!ntica tratan de responder a preguntas del
tipo /J?u!l es el significado de 3 (la palabra)K/.
%ara ello tienen que estudiar qu$ signos e2isten
y cu!les son los que poseen significacin Lesto
es, qu$ significan para los hablantes, cmo los
designan (es decir, de qu$ forma se refieren a
ideas y cosas), y por 0ltimo, cmo los
interpretan los oyentesL. La finalidad de la
sem!ntica es establecer el significado de los
signos Llo que significanL dentro del proceso
que asigna tales significados.
b. 1pistemologa (del griego, episteme,
'conocimiento'+ logos, 'teora'), rama de la
filosofa que trata de los problemas filosficos
que rodean a la denominada teora del
conocimiento. La epistemologa se ocupa de la
definicin del saber y de los conceptos
relacionados, de las fuentes, de los criterios, de
los tipos de conocimiento posible y del grado con
el que cada uno resulta cierto+ as como de la
relacin e2acta entre el que conoce y el ob#eto
conocido.
c. %sicologa, estudio cientfico de la conducta y la
e2periencia, de cmo los seres humanos y los
animales sienten, piensan, aprenden y conocen
para adaptarse al medio que les rodea. La
psicologa moderna se ha dedicado a recoger
hechos sobre la conducta y la e2periencia, y a
organizarlos sistem!ticamente, elaborando
teoras para su comprensin. 1stas teoras
ayudan a conocer y e2plicar el comportamiento
de los seres humanos y en alguna ocasin incluso
a predecir sus acciones futuras, pudiendo
inter"enir sobre ellas.
Bi(liograf)a
*lchourrn, ?arlos 1. Lgica. 1n /1nciclopedia
iberoamericana de filosofa/. (omo M. 7adrid&
1ditorial (rotta, 1<<N.
6eleuze, 5illes. Lgica del sentido. -arcelona&
%laneta>*gostini, 1<<D.
6riga, 1nrique L. 7etodologa del pensamiento&
la lgica desde el hombre primiti"o hasta la
inform!tica. Lima& ,ni"ersidad del %acfico,
1<CB.
5arca (re"i#ano, ?armen. 1l arte de la lgica.
7adrid& 1ditorial (ecnos, 1<<M.
5arrido, 7anuel. Lgica simblica. 7adrid&
1ditorial (ecnos, ;O ed., 1<<B.
Pega 9e@n, Luis. ,na gua de historia de la
lgica. 7adrid& ,ni"ersidad .acional de
1ducacin a 6istancia, 1<<B.