1.

INTRODUCCIN: LA LGICA SIMBLICA (O LGICA FORMAL)

1.1. La lgica formal

1.1.1. El uso de argumentos

Uno de los rasgos que distinguen al hombre (sic) de sus antepasados

antropoides es el uso del lenguaje. Y un rasgo tpico del lenguaje es el uso de
argumentos.

Un argumento o deduccin es un segmento lingstico de cierta complejidad

en el cual de la posicin de trozos o subsegmentos iniciales, se sigue
necesariamente la posicin de un trozo o subsegmento final.

Ejemplos sencillos:

(1) Si hay riesgo de lluvia, baja el barmetro

Pero el barmetro no baja
Por tanto, no hay riesgo de lluvia

(2) Todo hombre (sic) es mamfero

Todo mamfero es vertebrado
Por tanto, todo hombre (sic) es vertebrado

Revisar este ltimo ejemplo (2) desde el punto de vista de la epistemologa feminista.
RECORDAR: el feminismo no implica el hacer visible la agencia de la mujer en la
historia; el feminismo es una postura epistemolgica que ha contribuido junto a otros
sujetos- a la deconstruccin del sujeto universal moderno.

(3) Si los caracteres adquiridos son hereditarios, entonces la amputacin de un

rgano, reiteradamente efectuada a travs de una serie de generaciones
consecutivas, debiera ser heredada por la prole. Por tanto, los caracteres
adquiridos no son hereditarios.

(4) Todo nmero natural es racional

Todo nmero racional es real
Por lo tanto todo nmero natural es real

Enunciados: principales partes o unidades lingsticas que integran un argumento.

Un enunciado es un segmento lingstico que tiene un sentido completo y que puede ser
afirmado con verdad o falsedad. Son enunciados las expresiones hay riesgo de lluvia,
el barmetro baja. Los enunciados iniciales de un argumento reciben el nombre de
premisa y el enunciado final el de conclusin.

Expresado en trminos generales: si el argumento es un utensilio al que constantemente

se recurre en el discurso de la vida cotidiana, en las controversias polticas y en las
pruebas cientficas, parece que tiene inters y sentido la tarea de estudiar los diferentes
tipos de esquemas o patrones de confeccin de tales utensilios. La lgica formal se
ocupa de hacer un inventario de formas o figuras abstractas de deduccin y proceder al
anlisis y clasificacin de ellas.

La lgica formal es una ciencia abstracta que tiene por objeto el anlisis formal de los
argumentos o tambin y ms concisamente, como teora formal de la DEDUCCIN. La
lgica es parte de la teora de la ciencia. La teora de la ciencia estudia la metodologa
de las distintas ciencias particulares. La filosofa de la lgica se ocupa de saber en qu
consiste la verdad lgica, cmo se explica el acuerdo de las leyes lgicas con la realidad.

1.1.2. La forma de los argumentos

Ejemplo (1, lluvia) y (2, hombre y mamfero):

Si A, entonces B;
Pero no B.
Por tanto, no A

Ejemplo (3, caracteres hereditarios) y (4, nmeros)

Todo P es Q
Todo Q es R
Por tanto todo P es R

1.1.3. La lgica formal: los filsofos griegos desde Aristteles y los estoicos
se plantearon el anlisis de la forma o la figura de los argumentos,
haciendo abstraccin de su materia o contenido. MODUS TOLLENS
es el nombre que se le da al primer esquema. El segundo esquema fue
llamado por los lgicos medievales BARBARA.

1.2. La Lgica simblica

 1.2.1. La matematizacin de la lgica. Ubicar a Kant quien en 1787 en su
Crtica de la Razn Pura que la lgica formal hallbase perfecta y
conclusa desde los tiempos de Aristteles; a esta lgica se le llama
lgica tradicional.Por matemizacin se entiende en metodologa
cientfica la subordinacin de una ciencia al mtodo de la matemtica.
Condiciones necesarias: lenguaje simblico adecuado y formulacin
precisa de las reglas de operacin que se encuentran en la base de los
clculos. En 1904 se comenz a llamar a esta otra lgica, lgica
simblica. Ubicar a Russell y a Wiggenstein (primer y segundo, y
vincular el vaciamiento del sujeto planteado en el artculo de Pietro
Barcellona con el fascismo propio de este perodo de tentativas de
matematizacin de las ciencias.)

En un principio, la lgica slo simbolizaba los elementos variables

Si A, entonces B;
pero no no B.
Por tanto no A.
Observar cmo funciona la lgica del tercer excluido en esta forma
lgica y recordar las implicaciones que esto ha tenido para el
desarrollo de la ciencia social)
.

Los elementos constantes de estos esquemas (todo, es,

si...entonces..., no, por tanto son los elementos que constituyen
el tema propio de la lgica

si ...., entonces se representa por una flecha

la partcula no por el smbolo:
la partcula por tanto por el smbolo:
y se deja de lado la palabra pero,

El MODUS TOLLENS no es un argmento, sino es la regla que se

encuentra en la base de los argumentos tipo MODUS TOLLENS.

La regla del MODUS TOLLENS se enuncia verbalmente as:

Si de una hiptesis se sigue una consecuencia y esa consecuencia no se

da, pudese afirmar con seguridad que la hiptesis en cuestin es
recusable.

Uno de los aportes ms importantes de la lgica simblica es que nos

ha provedo la posibilidad de diferenciar varios rdenes de lenguaje.
Tenemos entonces, a partir de la lgica, varios rdenes de lenguaje,
operacin que nos facilita la comunicacin. Por ejemplo, si la ciencia
 es un lenguaje de primer orden, entonces podemos decir que la
epistemologa es un lenguaje de segundo orden.

Lenguaje objeto o lenguaje acerca del cual se habla.

Metalenguaje o lenguaje en le cual se habla acerca de otro lenguaje.

1.2.2. Breve historia de la lgica simblica: Autores a recordar y a investigar

en forma de breves biografas porque sus nombres estn vinculados a
acontecimientos importantes para la filosofa de la ciencia y a la
ANTROPOLOGA: Boole, Frege, Leibniz, Bolzano, Peirce, Morgan
Venn, Jevons, Schoroder (Siglo XIX); Whitehead, Russel, Brouwer,
Hilber, Wittgenstein, Tarski, Quine, Carnap.
Teora de los Modelos: Tarski
Teora de los algoritmos: Markov
Teora de funciones recursivas: Kleeen, Rogers.

Toda esta parte del texto de Garrido, introduce a las y los estudiantes a
la siguiente parte del programa de TyMI. Si bien no es necesario que
conozcan los detalles de todos estos autores, es oportuno que se
familiaricen con sus nombres, poca, aportes, debates en los que han
intervenido. De esta forma, a las y los estudiantes se les har ms fcil
el punto dos del programa.

2. LENGUAJE DE LA LGICA: Hacia Una formalizacin del Lenguaje; Lenguaje

natural y lenguaje formal; Constantes y variables.

Un argumento es un trozo de lenguaje, susceptible de anlisis y socialmente

controlable.

La lgica se interesa por el lenguaje, y el anlisis lgico puede ser considerado,

desde cierto punto de vista, un anlisis lingstico.

LA LGICA DEDUCTIVA pretende ser una ciencia universal. Esto prerrequiere la

confeccin de un lenguaje artificial que cuente con reglas explcitas por las que se
establezca el uso de los trminos y la formacin de enunciados.

Toda ciencia, de un modo general, recurre a un lenguaje artificial del que forma parte,
el repertorio de trminos tcnicos propio de cada ciencia. En este lenguaje (para el
caso de la lgica) hay smbolos constantes (con un sentido fijo dentro del lenguaje de
la lgica) y smbolos variables, cuyo sentido es oscilante.

2.1. Enunciados atmicos: el lenguaje nos da la posibilidad de designar objetos o

individuos que en gramtica llamamos nombres propios. Este mismo
lenguaje nos da la posibilidad de designar propiedades de los objetos
mediante palabras que la gramtica llama nombres comunes. A los
nombres propios, la lgica, los llama sujetos, y a las palabras que denotan
propiedades de objetos se les llama predicados. Tanto los sujetos como los
predicados son llamados trminos.

Los predicados implican cierta complejidad: algunas veces un predicado es un

rasgo de un objeto (el Orinoco es un ro). Estos son predicados mondicos.
pero otras veces el predicado denota una propiedad que involucra dos o ms
objetos (estar al norte de, estar entre, etc. A este segundo tipo de
predicados, que denotan relaciones se les llama predicados relativos o
polidicos (hasta n).

Los enunciados atmicos, tambin se llaman predicaciones, y son siempre

positivos: El Orinoco es un ro.

Smbolos que denotan a objetos: las primeras letras del alfabeto castellano:
a,b,c, etc.

Smbolos que denotan propiedades y relaciones se llaman: letras

predicativas.

Si se conviene en utilizar el siguiente esbozo de diccionario simblico:

b como constante individual denotativa del objeto individual Orinoco

Q como letra predicativa para denotar la propiedad de ser un ro

El Orinoco es un ro ......
Qb
(Se lee Q de b).

2.1.1. Sujetos y predicados. Predicados absolutos y relativos

2.1.2. Enunciados atmicos
2.1.3. Verdad y falsedad. Principio de bivalencia
Un enunciado atmico se dice que es verdadero cuando es conforme con los
hechos, esto es, cuando la propiedad designada por el predicado
corresponde realmente al objeto u objetos individuales de que se trate.

[Esta regla de la lgica formal implica una concepcin terica: la aceptacin

de la lgica de correspondencia. Dentro de la historia de la ciencia, la lgica
de correspondencia es una entre varias posibilidades de lgica, y hoy por hoy,
dados los cambios tecnolgicos y la definicin de la globalizacin como la
ltima etapa del capitalismo (Jameson), muchos autores consideran que la
lgica de correspondencia ha terminado cannibalizndose. A partir de estas
crticas surgen los estudios culturales y nuevas propuestas tericas que se
vern a lo largo del programa]
 Se dice que un enunciado es verdadero cuando tiene valor de verdad positivo.
Se dice que un enunciado es falso cuando tienen valor de verdad negativo.

Principio del Tercer Excluido: Tradicionalmente la lgica plantea un

principio bsico: todo enunciado es verdadero o falso, pero no ambas cosas a
la vez. Este principio, recibe el nombre de principio de bivalencia. La lgica
que sigue este criterio se llama Lgica Clsica. Este principio es bsico para la
antropologa moderna y para los objetos de la antropologa moderna que hoy
tienen su propia agenda y voz.

2.1.4. Variable individual. Forma enunciativa (funcin proposicional)

Jacobo Borges es pintor

Cristbal Rojas es pintor
Diego Barboza es pintor

x es pintor

Lo anterior, en lenguaje se lgica simblica se lee as:

Pa
Pb
Pc

Px (rango o universo del discurso); esta construccin no es un

enunciado, sino una matriz de enunciado (lo que en trminos
kantianos se llamo concepto vaco, expresin muy importante
para la construccin del sujeto moderno en oposicin a sujeto no
moderno.) En trminos tcnicos se les llama forma enunciativa o
funciones proposicionales.

3.2. Juntores: son fundamentales para la elaboracin de enunciados compuestos.

Tienen que ver con expresiones como y, o, etc. El uso correcto de los
juntores puede considerarse como el principio bsico del pensamiento, es
decir de hacer asociaciones con contenido concreto.

3.2.1. La composicin de los enunciados: La parte de la lgica que se ocupa

del estudio de la composicin de partculas tales como y, no, y
otras similares. Objeto de la lgica de enunciados es formalizar y
definir los juntores y estudiar las leyes de combinacin y deduccin de
los enunciados fundadas en tales nexos.
3.2.2. Negador: La palabra noen nuestro lenguaje de todos los das.
 3.2.3. Conjuntor: Es lo que en nuestro lenguaje de todos los das decimos
mediante la palabra y. Una conjuncin afirma la verdad de sus dos
componentes.
3.2.4. Disyuntor: Corresponde a la palabra o. La disyuncin de dos
proposiciones es verdadera cuando una la menos de esas dos
proposiciones es verdadera, y por supuesto cuando ambas lo son.
3.2.5. Implicador
3.2.6. Coimplicador

3.3. Cuantores
3.3.1. Enunciados generales y particulares
3.3.2. Generalizador
3.3.3. Particularizador
3.3.4. Resumen de lo anterior
3.3.5. Reducibilidad de cuantores a juntores

4. LENGUAJE FORMAL
4.1. Las categoras del lenguaje formal
4.2. Smbolos formales
4.3. Lenguaje y metalenguaje
4.4. Frmulas
4.5. Uso de parntesis
4.6. Nociones adicionales

5. DEDUCCIN
5.1. Argumento deductivo
5.2. Deduccin directa e indirecta
5.3. Formulacin de argumentos. Deductor. Reglas de inferencia.
5.4. Los supuestos de la deduccin
5.5. El clculo lgico
5.6. Deduccin formal (derivacin)

6. REGLAS BASICAS DEL CLCULO DE JUNTORES

7. REGLAS DERVIADAS DEL CLCULO DE JUNTORES
8. SILOGISTICA
9. SEMNTICA: MODELOS; TAUTOLOGIAS; TABLAS SEMNTICAS