EL CONTEXTO DE LA LOGICA

APUNTES DE LOGICA SIMBOLICA

EL CONTEXTO DE LA LOGICA
Guillermo Garca Wong
1.1. Fines y motivos del estudio de la lgica. La lgica en las ciencias.
Una divisin posible en el pensamiento riguroso o formalizado de las ciencias,
obedece a la diferenciacin del mtodo de validacin o refutacin
(falseamiento: declarar falso un enunciado o afirmacin). En cada uno de estos
grupos de discursos se privilegia alguno de estos mtodos:
a) Ciencias Exactas. Privilegian la demostracin, deduccin o derivacin. Su
discurso terico se halla reducido a la pura formalizacin axiomtica
simblica es decir que de unas leyes generales que sirven de bases a una
teora, -estos enunciados generales son llamados Axiomas- se derivan ciertas
afirmaciones denominadas teoremas; sus leyes se expresan en formulas. Son
ciencias que estudian la estructura. Aqu se incluye:
a. 1.- Las Matemticas - estudio de la estructura de la idea de cantidad, desde
diversos puntos de vista.
a. 2.- Lgica Matemtica o Simblica. Estudio de la estructura del pensamiento.
Llamada tambin Lgica formal o Lgica Matemtica recibe adems el nombre
de Logstica.
b) Ciencias Experimentales. Privilegian el razonamiento inductivo por medio de
la comprobacin experimental de sus hiptesis. Estudian los procesos de la
Naturaleza. Ejemplo: La Fsica, La Qumica, la Biologa, la Geologa, la
Paleontologa, etc. Algunas de ellas como la Fsica, la Biologa molecular han
alcanzado un alto grado de formalizacin, pero no son ciencias exactas, sino
cuasiexactas.
c) Ciencias Conjetrales. Ponen a prueba sus hiptesis presentando
argumentos que explican, predicen o retrodicen las distintas facetas de las
relaciones socio-culturales. Abarcan: Antropologa Cultural, Semiolingstica,

Sociologa, Economa, etc.

No son ciencias exactas, ni siquiera son aproximativas (cuasiexactas), sino que
sus conceptos son plausibles - que logren explicar la estructura de los procesos
que en el marco de ciertas condiciones se confrontan a lo real, al
producirlo/transformarlo o no poder hacerlo.
Una definicin tentativa de la ciencia con la que operaremos es la siguiente:
Las ciencias son un conjunto de enunciados que explican lo real, producindolo
o transformndolo.
Este conjunto escriptural o escritura abarca:
a) Un grupo de smbolos que representan conceptos.
b) Otro de smbolos que representan las conexiones u operaciones posibles
entre los smbolos conceptuales anteriormente mencionados.

PREGUNTAS DE 1.1.1.- Dnde colocara usted a la Psicologa dentro de la clasificacin antes

sealada, en el supuesto que fuese una ciencia?
2.- Por qu las Ciencias de la naturaleza no son exactas, sino aproximativas o
cuasiexactas?
3.- Por qu, en sentido estricto el mtodo experimental puro no puede
aplicarse en las Ciencias Sociales, llamadas Humanas o conjetrales
4.- Por qu no hemos definido a las Matemticas como el estudio de los
nmeros y de la medicin?
1.2.- Lgica formal o Matemtica
1.2.1. Qu es la Lgica formal?
Si anotamos: Juan corre y Luis estudia; aceptando que .Juan corre lo
reemplazamos con la letra p, mientras que a Luis estudia lo sustituimos con la
letra q, ( p y q minsculas); adems y lo reemplazamos con el smbolo ;
obtenemos que esa oracin queda sustituida por una frmula (p q) la cual
esquematiza a ese tipo de oraciones coordinadas y a cualquier otra forma de
oraciones similares por su estructura a las del ejemplo, Vgr.: Kofka fue uno de

los fundadores de la Gestalt theory y Freud fund el Psicoanlisis, tambin se

pueden esquematizar (p q)
Es una frmula, pues, slo se atiene a la estructura, orden o esquema de esa
oracin o proposicin y no a la especfica significacin de la oracin,
proposicin o enunciado.
Esta frmula se refiere a TODAS las afirmaciones posibles en general y a
NINGUNA: hemos abstrado (extrado) la forma o estructura de esos
enunciados, dejando a un lado cualquier alusin al significado.
Por estos antecedentes se considera que la Lgica es la ciencia ms abstracta
que existe y que adems es VACIA. LA LOGICA ES VACIA, ha vaciado o
anulado cualquier relacin con el significado. LA LOGICA ES LETRA VACIADA
DE SIGNIFICACIN pero sus expresiones o frmulas solo pueden
reemplazar a enunciados con significacin.
Las letras p, q, r, s, t minsculas-, que pueden reemplazar a oraciones con
significado propio, se las denomina categoremas o variables proposicionales.
Son variables ya que las proposiciones a las que reemplazan pueden cambiar
de significado segn el caso del que se trate.
Los smbolos sincategoremticos o nexos llamados tambin juntores o
funtores-, representan a las operaciones que conectan a los categoremas; en s
mismos estos sincategoremas no tienen significado alguno. Se las denomina,
adems, constantes; esto porque su valor no cambia. Por ejemplo: Se refiere
siempre la operacin de conjuncin. Estos SlNCATEGOREMAS tienen un valor
que es puramente sintctico o estructural.
EBF - Expresin o Formula Bien Formada, es decir que cumple las reglas de la
lgica, en ellas se incluyen las posibles conexiones entre variables o
categoremas, conectados por medio de smbolos sincategoremticos.
Ejemplos:
(p q) p implica q.
En cambio, ( p), (q ), (p ) no son EBF, pues no ligan dos variables o
categoremas.
Las variables o categoremas se agrupan de dos en dos (Propiedad

ASOCIATIVA) Ejs. p q r, debe anotarse (pq) r, o tambin p (q r). Aqu

el orden de los categoremas no altera la operacin, ya que en la conjuncin se
cumple la LEY CONMUTATIVA. Mientras que en la implicacin (rt) no se
cumple tal ley. No es lo mismo p q que p q.
1.2.2- SINTAXIS Y SEMNTICA EN LOGICA. El estudio de la estructura pura,
forma u orden de un enunciado u oracin, se denomina SINTAXIS LOGICA Por
ejemplo: Si nieva, entonces hace fro, tiene como estructura o esquema la
frmula (p q), igualmente el enunciado Juan estudia, por lo tanta pasar de
curso, tambin tiene el esquema (p q). Por ende ambas oraciones desde un
punto de vista puramente lgico tienen igual valor.
El estudio de los valores de verdad o falsedad de una frmula se denomina
SEMNTICA LOGICA.
La teora Lgica ms sencilla se llama LOGICA BIVALENTE pues en ella cada
frmula o expresin slo puede adoptar o un valor de verdadera o un valor de
falsa; no hay mas alternativa Ej. Juan corre = p, o es Verdadera o es Falsa.
Verdadero se lo represe por l numero 1, falso por el nmero O.
LA VERDAD EN LOGICA NO SE REFIERE A LA CONCORDANCIA ENTRE EL
JUICIO O PROPOSICION CON UNA SUPUESTA REALIDAD.
Ejemplo: si decimos Lima es la capital de Brasil. Para la lgica bivalente a esa
proposicin le podemos reconocer o el valor de falso (0) o el de verdadero (1),
con el fin de realizar las operaciones que nos interesan, sin tomar en cuenta la
veracidad de dicha oracin en la Geografa de Sudamrica.
Aclaramos que adems que, la proposicin contradictoria de Lima es la capital
de Brasil es Lima no es la capital de Brasil, y tambin tiene dos posibilidades:
o es verdadera (1) o es falsa (O), pero no ambas ni hay otra alternativa. Por lo
cual:
p -p
-----------1 1 0

p no p,

0 1 1

-p es la contradictoria de p.

p es contradictoria con -p

El estudio de los valores veritativos -valores de lo verdadero o falso: de 1 y Oatribuidos a las proposiciones, conforma la llamada Semntica Lgica. Esta es

la concepcin de la VERDAD FORMAL: en realidad la Lgica no se ocupa de la

verdad y de la falsedad, sino de las proposiciones de que pueden ser
calificadas como verdaderas o falsas.
1.2.3- LA FORMA LOGICA se refiere al orden estructura, esquema o forma
lgica de un enunciado: Pablo corre y Jos lee lo representa en la formula (p
q). Piaget fue suizo y Pavlov fue ruso, tambin tienen el mismo esquema (p
q).
De otro lado, El hombre de los lobos so con lobos con orejas puntiagudas o
era parafrnico es representable en la frmula -o expresin bien formada o
EBF- (p q). Igual EBF corresponde la enunciado siguiente, Los problemas
escolares son originados por problemas de aprendizaje o de enseanza,
tambin esquematizada por (pq).
Luego, para la Lgica estas proposiciones tienen igual valor, aunque sus
significados sean distintos.