Tema 6.

Lenguaje y lgica
Los orgenes del lenguaje
Los orgenes del lenguaje se remontan al origen del hombre, pues este es un rasgo fundamental del
proceso de hominizacin, cuando surgen determinados rganos que sern usados como aparatos fonadores.
Muchos investigadores sitan el origen del lenguaje hace unos 40 mil aos, ligado al arte rupestre y a la
costumbre de enterrar a los muertos. Es por esto que estudiar la aparicin del lenguaje tambin implica hacerlo
de otros rasgos de la humanizacin. Lo que es indudable es la afirmacin de que su aparicin fue de manera
paulatina, al igual que la humanidad, hecho que se relaciona con el nmero de habitantes de una poblacin (a
mayor poblacin, mayor necesidad de comunicacin y por tanto de lenguaje).
La paleoneurologa es la ciencia actual que intenta determinar las capacidades mentales de una especie
fsil mediante las impresiones que el cerebro deja sobre la superficie interna del crneo. Pero hablar no es solo
obra del cerebro, sino que en ese acto tambin se incluyen la faringe, la laringe, los labios, la boca, las cuerdas
vocales. Es la fisonoma humana la que nos ha caracterizado para desarrollar este aspecto.
Junto con el origen del lenguaje es interesante conocer el origen de las diferentes lenguas, su evolucin y
su procedencia. Actualmente muchos estudiosos defienden la existencia de una lengua originaria comn de la
que derivaran las diferentes lenguas (de ah el parecido que presentan lenguas muy diferentes entre s).
El lenguaje: tipos y caractersticas
El lenguaje es la capacidad de comunicarse a travs de signos. El lenguaje puede ser:
Lenguaje animal: es innato y no convencional, es decir, se expresa por medio de indicios mmicos
y gsticos.
Lenguaje humano: es aprendido, simblico porque usa un sistema de signos, convencional debido
a la arbitrariedad de los signos, posee potencialidad infinita de expresar cosas anteriormente no
expresadas ni pensadas, adems hay una mutua vinculacin entre pensamiento y lenguaje.
Las dimensiones del lenguaje humano
Las dimensiones del lenguaje humano son:
Sintctica: son reglas que nos indican cmo construir secuencias de signos bien formados.
Semntica: se refiere a las relaciones de los signos con lo que designan, a lo que hacen referencia
(sus significados).
Pragmtica: se refiere a las relaciones entre los signos y los sujetos, es decir, la intencin de los
hablantes y el contexto en el que ocurre la comunicacin.
Los actos de habla
No se debe confundir el lenguaje con la lengua, es decir, cada uno de los lenguajes verbales
histricamente desarrollados por un pueblo determinado. El uso de la lengua por parte de los hablantes
concretos es el habla. Estos usos han sido denominados desde John Searle como actos de habla.
Los actos de habla estn compuestos de una serie de elementos indispensables: emisor (emite el
mensaje), receptor (recibe el mensaje), mensaje (informacin transmitida), canal o medio por el que se
transmite el mensaje, cdigo (conjunto de signos con los que se elabora el mensaje) y contexto (situacin que
engloba al mensaje).
Los actos de habla se clasifican segn su funcin:
Funcin representativa: representa el mundo de manera objetiva.
Funcin normativa o apelativa: prescribe o aconseja conductas a los interlocutores.
Funcin expresiva: exterioriza deseos y sentimientos.
El lenguaje humano
El lenguaje humano puede ser:
Natural: es la lengua que aprendemos socialmente (lengua materna), que evoluciona a lo largo
de la historia. Es un lenguaje bastante completo (toda la informacin puede traducirse), pero a
veces equvoco, es decir, impreciso o ambiguo.
Artificial: es lenguaje convencional o doblemente construido, que posee una capacidad expresiva
pequea y por eso es incompleto, pero es inequvoco, porque es preciso o exacto. Dentro de este
grupo nos encontramos con los lenguajes:
o No formales: el lenguaje cientfico que posee contenido emprico.
o Formales: no poseen contenido o significado emprico, se construyen para limpiar el
lenguaje natural de todo posible malentendido, dejando la forma o estructura sintctica.
Slo posee funcin representativa. Es el caso de las matemticas y de la lgica.
Teoras sobre el origen del lenguaje
Teora conductista (B. F. Skinner): cuando el nio empieza a balbucear y acierta con sus sonidos,
su conducta es reforzada. Esta teora explica adecuadamente la adquisicin de vocabulario, pero
1

esto no significa dominar una lengua, para ello no solo es necesario conocer el lxico sino conocer
y usar las reglas de combinacin (sintaxis y gramtica). Por eso la teora no explica cmo es que
somos capaces de dominar, conocer y aprender tantas reglas.
Teora innatista (Noam Chomsky): adquirimos el lenguaje porque existen en el pensamiento unas
estructuras lgicas, sintcticas, fonticas, bsicas que son innatas, no aprendidas. A esta
capacidad se le denomina competencia gramatical universal. Es una teora que destaca el aspecto
creativo del lenguaje, no est limitado a las experiencias (como ocurra con la propuesta
conductista), sino que puede generar formulaciones lingsticas sin haber tenido noticias de ellas.
Piscologa evolutiva (Jean Piaget): se relaciona con la teora innatista, propugna el desarrollo del
pensamiento o la moral de una manera progresiva, desde lo ms concreto y cercano hacia lo
universal y abstracto. Las principales etapas de la adquisicin del lenguaje son:
o 0-6 meses: sonidos y gritos.
o 6-12 meses: vocalizaciones repetidas e incluso palabras.
o 12-24 meses: frases breves de modo correcto.
o 24 meses en adelante: frases ms largas gramaticalmente correctas y adquisicin de
vocabulario.
Relacin entre lenguaje y realidad (teora del significado)
La semntica estudia la funcin referencial del lenguaje, es decir, cmo el lenguaje se refiere a la realidad
y al mundo y determina el significado de las diferentes expresiones lingsticas.
Segn G. Frege el significado es una mezcla de sentido y referencia y para distinguir entre ellas es
necesario conocer la Paradoja de la Identidad. A=A no puede significar lo mismo que A=B. Esto es debido a que
el lenguaje no solo se refiere a los objetos de los que habla, sino que tambin expresa un sentido. Aunque ambos
puedan hacer referencia a lo mismo, no poseen el mismo sentido. El significado de los nombres no se puede
reducir al objeto que nombran. Los nombres tambin tienen un sentido que influye en la manera en cmo se
representa la referencia. Por ejemplo: lucero del alba y lucero de la tarde se refieren por igual a Venus, pero
mantienen un sentido diferente.
El doble lenguaje
Con el lenguaje se intenta modificar el pensamiento y el comportamiento de otras personas. Nuestro
lenguaje posee dos caractersticas fundamentales (polisemia y ambigedad) que permiten engaar o manipular
como lo hacen los medios de comunicacin. La disciplina que ha estudiado el uso del lenguaje es la retrica o
arte de hablar bien. Ella no ensea a buscar y utilizar argumentos probables y razonables para persuadir y
convencer a otros.
La lgica
Es la ciencia formal que se ocupa de la validez (y no verdad, pues esto depende de su contenido o
significado emprico) de los razonamientos deductivos (silogismos, argumentos o inferencias). Observa la forma
del argumento y que sus premisas junto a su conclusin sean vlidas. Para averiguarlo sustituye los argumentos
por variables proposicionales que se conectan con constantes lgicas o conectivas.
Los signos de la lgica proposicional son:
Variables proposicionales: para simbolizar las proposiciones simples se utilizan las letras minsculas del
alfabeto a partir de la p (p, q, r, s, t, u, a, b, c). Estas letras se denominan variables proposicionales
porque se utilizan para representar a cualquier proposicin del Lenguaje Natural. Por ejemplo: la
proposicin simple Los gatos son mamferos la simbolizamos con una p. Y la proposicin compleja
Los gatos son mamferos y les gusta cazar ratones la simbolizamos como p y q.
Admitimos que cualquier proposicin simple es o bien verdadera o bien falsa, pero no ambas cosas
a la vez. ste es el Principio de Bivalencia: las proposiciones simples slo pueden tener dos valores de
verdad: o son verdaderas o son falsas. (V = 1 = verdadero / F = 0 = falso).

Smbolos auxiliares: en lgica se utilizan parntesis, corchetes y llaves para agrupar ordenadamente las
proposiciones ( ), [ ], { }.
Conectivas o constantes lgicas: se denominan conectivas a aquellos signos lgicos que sirven para unir
a las proposiciones entre s. Las conectivas que manejaremos son las siguientes:
o

Negador (): las expresiones del lenguaje natural tales como no, no es cierto, no es el
caso que, es falso, no es posible, es imposible, ni siquiera, etc., se sustituirn por el
2

smbolo . El negador es aquella conectiva que, al aplicarse a una proposicin cualquiera, sea
simple o compleja, la convierte en falsa si es verdadera y en verdadera si es falsa.
q
V
F
F
V
o Conjuntor (): las expresiones del lenguaje natural tales como y, ni, pero, que, e,
mas, etc., se sustituirn por el smbolo . El conjuntor es aquella conectiva que slo es
verdadera si las dos proposiciones que une son ambas verdaderas, y que es falsa en los dems
casos.
p q pq
V V
V
V F
F
F V
F
F F
F
o Disyuntor (V): las expresiones del lenguaje natural tales como o, o... o..., bien... bien... ,
ya... ya..., o bien, tal vez, etc., se sustituirn por el smbolo . El disyuntor es aquella
conectiva que slo es falsa si las dos proposiciones que une son ambas falsas, y verdadera en
los dems casos.
p q pvq
V V
V
V F
V
F V
V
F F
F
o Implicacin o condicional (): las expresiones del lenguaje natural tales como: si... entonces,
luego, por tanto, en consecuencia, cuando, con tal que, se infiere, se deduce, se
deriva, se demuestra, solo si, cada vez que etc., se sustituirn por el smbolo . El
condicional es aquella conectiva que slo es falsa cuando, siendo el antecedente (proposicin
que se halla a su izquierda) verdadero, el consecuente (proposicin que se halla a su derecha)
sea falso, y verdadera en los dems casos.
p q pq
V V
V
V F
F
F V
V
F F
V
o Bicondicional o doble implicacin (): las expresiones del lenguaje natural tales como: si y
slo si, equivale a., es igual a, vale por, es lo mismo que, etc., se sustituirn por el
smbolo . El bicondicional es aquella conectiva que solo es verdadera si las dos
proposiciones unidas por ella tienen ambas el mismo valor de verdad, es decir, son ambas
verdaderas o falsas a la vez.
p q pq
V V
V
V F
F
F V
F
F F
V
Formalizar una expresin del lenguaje natural consiste en destacar la forma en que se relacionan las
proposiciones de esa expresin, prescindiendo del contenido o significado de stas. Dicho de otro modo:
consiste en traducir al lenguaje artificial de la lgica las expresiones del lenguaje natural.
Mediante las tablas de verdad se puede comprobar el valor de verdad de una forma lgica cualquiera,
Son algoritmos, clculos mecnicos y vlidos para determinar el valor de verdad de una frmula. Para hallar la
tabla de verdad de cualquier frmula hay que dar los siguientes pasos:
1. Identificar las variables y aplicar la frmula 2n, donde n representa el nmero de variables. El
nmero resultante ser el nmero de filas de la tabla de verdad.
2. Elaborar las primeras columnas poniendo los valores de las variables dadas. La forma ms fcil es
dividir por dos el resultado de la frmula anterior, siendo una mitad verdaderos y la otra, falsos.
El resto de variables divide por dos el resultado de la variable anterior.
p

3. Se siguen aadiendo ms columnas de las distintas conectivas, si aparece el negador, se comienza

con l.
4. Se hallan los valores de verdad de las conectivas que se encuentran en interior de parntesis y
corchetes. Realizndose por orden si hay ms de uno.
5. Se hallan los valores de verdad de las conectivas que se encuentran fuera de parntesis y
corchetes. Si hay ms de una se realiza por orden.
6. Por ltimo, se analizan los resultados. Al hacer la tabla de verdad de cualquier frmula nos
podemos encontrar con tres casos: que la tabla de verdad de la frmula slo tenga 1, que slo
tenga 0, y que tenga 1 y 0.
a. Tautologa: es una frmula siempre vlida, sean cuales sean los valores de verdad de las
proposiciones que la integran. Es decir, es una frmula cuya tabla de verdad final slo
tiene unos (1).
b. Contradiccin: es una frmula no vlida nunca, sean cuales sean los valores de verdad de
las proposiciones que la integran. Es decir, es una frmula cuya tabla de verdad final slo
tiene ceros (0).
c. Indeterminacin o contingencia: es una frmula que puede ser vlida o no, en funcin
de los valores de verdad de las proposiciones que la integran. Es decir, es una frmula
cuya tabla de verdad final tiene unos (1) y ceros (0) no importa en qu proporcin.
Ejemplo: p ( q r)
Variables: p, q, r = 3
2n = 23 = 8 Esto quiere decir que en nuestra tabla de verdad tendr ocho filas.
p q r p q q r p ( q r)
V V V F
F
F
V
V V F F
F
F
V
V F V F
V
V
V
V F F F
V
F
V
F V V V
F
F
F
F V F V
F
F
F
F F V V
V
V
V
F F F V
V
F
F
Se trata de una indeterminacin.

Todo razonamiento es una expresin condicional cuyo antecedente est compuesto por la
conjuncin de las premisas del razonamiento, y cuyo consecuente es la conclusin del mismo.

Reglas de inferencia, transformacin y clculo deductivo

La lgica proposicional puede presentarse en forma de clculo, esto es, como un conjunto coherente y
sistemtico de reglas de Inferencia, mediante las cuales es posible llegar a deducir ciertas expresiones a partir
de otras.
1. Regla de eliminacin del negador (RE ), (RN) o Doble negacin (DN).
Si tenemos una expresin cualquiera, doblemente negada, entonces podemos concluir en su afirmacin
o viceversa.
1. p
1. p
p DN (1)
p DN(1)
2. Regla de eliminacin del conjuntor (RE ), (EC) o Simplificacin (Simpl.).
Si tenemos una expresin conjuntiva cualquiera, entonces podemos concluir en cualquiera de esas dos
proposiciones que se hallan unidas por la conjuncin, tanto el antecedente como el consecuente.
1. p q
1. p q
p EC (1)
q
EC (1)
4

3. Regla de introduccin del conjuntor (RI ), (IC) o Adjuncin (Adj.) o Regla del producto (RP).
Si tenemos dos expresiones cualesquiera en premisas distintas, entonces podemos concluir en la
conjuncin de ambas.
1. p
2. q
pq
IC (1, 2)
4. Regla de eliminacin del disyuntor (RE V), (ED) o Prueba por casos (PC).
Si tenemos una expresin disyuntiva cualquiera, y suponiendo cada una de las dos alternativas de esa
disyuncin se dedujera la misma expresin, entonces podramos concluir en esa expresin.
1. p v q
2. p
3. r
4. q
5. r
r
ED (1,2-3,4-5)
Si se tiene una disyuncin de elementos idnticos se puede deducir ese elemento (idempotencia).
1. p v p
p
ED (1)
5. Regla de introduccin del disyuntor (RI V), (ID) o Adicin (Ad.).
Si tenemos una expresin cualquiera, entonces podemos concluir en una expresin disyuntiva formada
por esa expresin y cualquier otra expresin.
1. q
pvq
ID (1)
6. Regla de eliminacin del condicional o implicacin (RE ), (EI) o Modus ponendo ponens (MPP) o Modus
ponens (MP).
Si tenemos una expresin condicional cualquiera y tenemos el antecedente de ese condicional en otra
premisa, entonces podemos concluir en el consecuente.
1. p q
2. p
q
MP (1,2)
7. Regla de eliminacin del bicondicional (RE ), (EB).
Un bicondicional puede transformarse en la conjuncin de dos condicionales en los cuales el antecedente
del primero debe ser el consecuente del segundo y el consecuente del primero, el antecedente del segundo.
1. p q
1. q p
(p q) (q p)
EB (1)
(q p) (p q)
EB (1)
8. Regla de introduccin del bicondicional (RI ) (IB).
Si tenemos dos condicionales donde el antecedente del primero es el consecuente del segundo, y el
consecuente del primero es el antecedente del segundo, podremos crear un bicondicional entre los dos
enunciados.
1. p q
2. q p
pq
IB (1,2)
9. Regla de la identidad (Id.).
Si se tiene una expresin se puede concluir esa misma expresin.
1. p
p
Id. (1)
10. Modus tollendo tollens (MTT) o Modus tollens (MT).
Si tenemos una expresin condicional cualquiera, y se deduce la negacin del consecuente de ese
condicional, podemos concluir en la negacin del antecedente.
1. p q
1. p q
2. q
2. q
p MT (1,2)
p
MT (1,2)
11. Modus ponendo tollens (MPT).
Dada la negacin de una conjuncin, si se deduce el antecedente de dicha conjuncin, se podr concluir
con la negacin del consecuente.
5

1. (p q)
2. p
q MPT (1,2)
12. Silogismo hipottico (SH) o Transitividad (Tr.).
Dados dos condicionales, donde el consecuente del primero es el antecedente del segundo, podemos
afirmar un nuevo condicional donde el antecedente sea el del primero y el consecuente el del segundo.
1. p q
2. q r
p r SH (1,2)
13. Transitividad del bicondicional (Tr. ), (Tr.B).
Dados dos bicondicionales, donde el consecuente del primero es el antecedente del segundo, podemos
afirmar un nuevo bicondicional donde el antecedente sea el del primero y el consecuente el del segundo.
1. p q
2. q r
p r Tr.B (1,2)
14. Modus tollendo ponens (MTP) o Silogismo disyuntivo (SD).
Dada una disyuncin y la negacin de uno de sus enunciados, podemos afirmar el otro enunciado de la
disyuncin.
1. p v q
1. p v q
2. p
2. q
q SD (1,2)
p SD (1,2)
15. Ley de Morgan (De Morgan / DM).
De Morgan 1: Dada una proposicin conjuntiva, podemos transformarla en una proposicin disyuntiva
siempre y cuando cambiemos el valor de verdad de cada uno de los enunciados y a su vez el del conjunto.
1. (p q)
q v q DM1 (1)
De Morgan 2: Dada una proposicin disyuntiva, podemos transformarla en una proposicin conjuntiva
siempre y cuando cambiemos el valor de verdad de cada uno de los enunciados y a su vez el del conjunto.
1. (p v q)
p q DM2 (1)
Hay que tener en cuenta que en cada versin se pueden hacer mltiples combinaciones.
16. Propiedad conmutativa de la conjuncin (PC ), (PCC).
Dada una conjuncin se puede concluir otra donde las proposiciones inviertan su lugar.
1. p q
q p PCC (1)
17. Propiedad conmutativa de la disyuncin (PC V), (PCD).
Dada una disyuncin se puede concluir otra donde las proposiciones inviertan su lugar.
1. p v q
q v p PCD (1)
18. Propiedad conmutativa del bicondicional (PC ), (PCB).
Dada un bicondicional se puede concluir otro donde las proposiciones inviertan su lugar.
1. p q
q p PCB (1)
19. Dilema (D) o Ley de simplificacin de la disyuncin (LS V), (LSD).
Dada una disyuncin y dos implicaciones (condicionales) cuyos consecuentes sean iguales y cuyos
antecedentes sean los elementos de la disyuncin, se puede concluir dichos consecuentes.
1. p v q
2. p r
3. q r
r LSD (1,2,3)
20. Dilema constructivo (DC).
Dada una disyuncin y dos condicionales, donde los antecedentes de cada condicional son
respectivamente los enunciados de la disyuncin, podremos afirmar la disyuncin de los consecuentes de dichos
condicionales.
6

1. p v q
2. p r
3. q s
r v s DC (1,2,3)
21. Dilema destructivo (DD).
Dado una disyuncin con ambas proposiciones negadas, y dos condicionales cuyos consecuentes
coincidan con los elementos de la disyuncin, pero afirmados; se puede concluir una disyuncin con los
antecedentes de las dos implicaciones negados.
1. p v q
2. r p
3. s q
r v s DD (1,2,3)
22. Ex contradictione quodlibet (ECQ) o Ex falso quodlibet (EFQ) o Principio de explosin (PE).
Dada una contradiccin, se puede deducir cualquier expresin.
1. p p
q
ECQ (1)
Para resolver el clculo de inferencias iremos poniendo todas las expresiones en lneas numeradas y
sucesivas. Las premisas son el punto de partida de la demostracin y se reconocen porque a su izquierda se
pondr una lnea corta horizontal. Las premisas supuestas se reconocen porque a su izquierda pondremos una
lnea horizontal que se alarga verticalmente hasta volver a hacerla horizontal en alguna lnea siguiente en la que
se cierra el supuesto. Las expresiones deducidas aplicando alguna regla del clculo se conocen porque a su
derecha habr que indicar la regla utilizada y la lnea o lneas a las que se ha aplicado tal regla.
p (q r)
ps
rs

1. p (q r)
rs
2. p s
3. p
EC (2)
4. q r
MP (1,3)
5. r
EC (4)
6. s
EC (2)
7. r s
IC (5,6)

Falacias y falsos argumentos

El discurso filosfico requiere rigor y coherencia lgica puesto que su objetivo es la bsqueda de la verdad
y su mtodo es la argumentacin y la comunicacin. Esto es lo que se denomina retrica. Pero en ocasiones
puede ser usado como un recurso para introducir la mentira, el error o para confundir al interlocutor.
Las falacias o sofismos son argumentos aparentes, es decir, argumentos que parecen buenos, pero que,
en realidad, son falsos. Esto quiere decir que en ellos se realiza una deduccin incorrecta. Se pueden encontrar
falacias tanto en los argumentos deductivos o formales como en los probables o inductivos.
Falacias formales: son aquellos argumentos parecidos a los vlidos sin serlos. Por ejemplo, en el
caso del modus ponens dar como resultado la afirmacin del consecuente en lugar del
antecedente, o en el modus tollens negar el antecedente en lugar del consecuente.
1. p q
1. p q
2. q
2. p
p
Falacia
q
Falacia
Falacias no formales: la falta de validez no depende de la incorreccin de su forma sino de otros
aspectos que pasan desapercibidos fcilmente. Existen dos grupos:
o Falacias por ambigedad: no son vlidos porque usan palabras o expresiones con varios
significados (La americana es una prenda de vestir. Esta mujer es americana, luego es una
prenda de vestir).
Cuando se trata de alguna palabra que cambia de sentido en el argumento hablamos de
equvoco o ambigedad lxica (La informacin es poder. El poder es algo que corrompe.
Luego la informacin es algo que corrompe).
Se habla de anfibologa cuando se trata de alguna ambigedad sintctica que afecta a
toda la proposicin (Lo vi sentado en el banco).
o Falacias materiales: estas se pueden volver a subdividir:
7

Falacias de datos insuficientes: falacias que no aportan datos suficientes para

apoyar la conclusin que se pretende demostrar o los datos aportados no son los
adecuados o se omiten los datos que sern desfavorables. En este grupo se
incluye la argumentacin de la falsa causa donde se presenta como causa algo
de lo que no hay ninguna seguridad (Antiguamente se crea que el arcoris
produca el cese de la lluvia).
Falacias de pertinencias: aportan informacin que no es adecuada para
demostrar la conclusin pretendida. Entre ellas destacan:
Falacia ad hominem: se ataca a la persona que argumenta o a la que se
ha usado como autoridad en lugar de hacerlo con el argumento
presentado (Te vas a creer lo que dice fulano?).
Falacia ad vericundiam: se apela al prestigio de alguien, pero solo por
prestigio no respetada en ese mbito, no es una autoridad (Lo hace
fulanito).
Falacia ad ignoratiam: se pretende algo falso porque no se conoce o
porque no se ha demostrado su verdad; o se insiste en que es verdadero
porque no se ha demostrado que es falso (Dios existe porque nadie ha
demostrado que no exista).
Falacia ad baculum: se recurre a la fuerza o al poder(coaccin) para
argumentar (Tengo razn porque soy ms fuerte que t).
Falacia ad populum: el argumento se apoya en apelar a las emociones de
una masa, un pueblo, basndose en la cantidad, en la mayora (Bebo
porque todos lo hacen).
Falacia petito principii: se usa la conclusin como premisa de manera
implcita, se presenta como un crculo vicioso (El Corn es verdadero
porque fue escrito por Mahoma, el profeta. Mahoma es el profeta porque
as lo dice el Corn).
Falacia ad misericordiam: apela a la piedad para aceptar una
determinada conclusin (Cmo no iba a darle la razn si las estaba
pasando moradas?).