Escolar Documentos
Profissional Documentos
Cultura Documentos
LARS-GUNNAR ANDERSSON
aSTEN DAHL
LOGICA
PARA LINGÚISTAS
Colección
LOGICA y TEORIA DE LA CIENCIA
Director: 1981
PASCUAL MARTINEZ FREIRE
PrDfesor agregado numerario de Lógica QtARANINFW
Universidad CompIu tense de Madrid
MADRID
Traducido por
JAIME SARABIA
@) Cambridge University Press
@) de la edición espaftola, Paraninfo, S. A., Madrid, Espalla,
® de la traducción éspaftola, Paraninfo, S. A., Madrid, Espafta.
TItulo original:
LOGIC IN LlNGUlSTlCS
Reservados los derechos de edición,
reproducción o adaptación.
IMPRESO EN ESPAAA
PRINTED IN SPAIN
ISBN: O 521 291747 (edición inglesa)
ISBN: 84 283 1126-9 (edición espaftola)
Depósito Legal: Z. 739-81.
3.1. INFERENCIA
26
INFERENqAS
dera también. En (2) la conclusión no tiene por qué ser verdadera, incluso
en el caso de que las premisas lo fueran. Podría ocurrir que de hecho la
conclusión fuera verdadera pero ello no dependería de su relación con
las premisas. En (1), sin embargo, podemos estar seguros de que si las
premisas son verdaderas, la conclusión también lo es. (1) es, pues, una
inferencia lógicamente válida.
Uno de los más importantes aspectos de la lógica es el estudio de
las inferencias válidas y de los enunciados que son necesariamente ver-
daderos. Hay dos tipos fundamentales de inferencia: las que son nece-
sariamente válidas y las que lo son sólo con un cierto grado de proba-
bilidad.
A cada tipo de inferencia le corresponde un tipo especial de estudio
lógico. El estudio de las inferencias necesariamente válidas se desarrolla
en el seno de la lógica deductiva, mientras que las inferencias que son
válidas hasta un cierto grado de probabilidad se estudian en la lógica
inductiva. Consideremos los dos ejemplos siguientes, que ponen de ma-
nifiesto la diferencia entre una inferencia deductiva y una inferencia in-
ductiva.
27
INFERENCIA- Y ANALlSIS LOGICO DE LOS ENUNCIADOS
Las propiedades comunes alos razonamientos (5) y (6) que hacen váli-
dos a ambos constituyen lo que llamamos forma lógica de los razona-
mientos. Estudiaremos más detenidamente este concepto en la sección
próxima.
Para aclarar el hecho de que la 'validez de un razonamiento es total-
mente independiente de la verdad de hecho de sus premisas y de su
conclusión, vamos a analizar tres .razonamientos más.
/
(7) Premisa: La lechuza y la zorra son pájaros
Conclusión: La lechuza es un pájaro
28
FORMA LOGleA
(8) es una inferencia válida, a pesar de que tanto las premisas como la
conclusión son probablemente falsas.
Si intentamos combinar una premisa verdadera con una conclusión
falsa como en (9) encontramos por fin que en este caso no puede haber
una inferencia válida.
(9) Premisa: Toda ballena es mamífero
Conclusión: Las ballenas son peces
Así pues, la inferencia lógica transmite la verdad; nos dice que algo
es un hecho si las premisas son verdaderas. De otro modo: si las premi-
sas de un razonamiento son verdaderas, la conclusión ha de serlo tam-
bién. Puesto que se puede decir que la validez lógica y la verdad lógica
son independientes de la verdad de hecho, se dice a menudo que de-
penden de la forma (estructura) y del significado de aquellos enunciados
que aparecen en los razonamientos estudiados. La lógica deja de lado
el problema de si lo que se dice es realmente verdadero, para concen-
trarse en el estudio de qué tendría que ser verdadero si las premisas fue-
ran verdaderas. La verdad de hecho de las premisas y la conclusión no
es cuestión lógica. Desde luego si las premisas son verdaderas de hecho,
la conclusión de una inferencia válida ha de ser verdadera también.
La validez lógica y la verdad lógica son formales, algo que a menudo
se interpreta como significado que la validez y verdad lógicas dependen
de la forma (estructura) del enunciado o razonamiento, más que de
aquello acerca de lo que el enunciado trata. Por todo esto se puede decir
que las inferencias lógicas (las verdades lógicas) son válidas (verdaderas)
independientemente de la configuración del mundo, de cómo sea el mun-
do de hecho.
29
INFERENCIA Y ANALISIS LOGICO DE LOS ENUNCIADOS
31
INFERENCIA Y ANALISIS LOGICO DE LOS ENUNCIADOS
32
MUNDOS POSIBLES Y CONJUNTO-VERDAD DE UNA PROPOSICION
33
2
INFERENCIA Y ANALISIS LOGlCO DE LOS ENUNCIADOS
son verdaderas por su forma lógica, mientras que las otras verdades ana-
líticas dependen de ciertas relaciones semánticas entre palabras que no
pertenecen al vocabulario 'lógico' del enunciado o razonamiento. La
sinonimia (igualdad o semejanza de significado) y la hiponimia (inclu-
sión de significado) son las más comunes entre tales relaciones semán-
ticas 4. El enunciado (2) es un ejemplo de enunciado que, debido a una
sinonimia parcial, es analíticamente verdadero pero no lógicamente ver-
dadero.
(2) Ningún soltero está casado
(3) es una inferencia analíticamente válida, por razón de una hiponimia,
pero no es lógicamente válida.
(3) Premisa: Esto es una rosa
Conclusión: Esto es una flor
U diferencia entre verdades analíticas que dependen de la forma ló-
gica y verdades que dependen de relaciones semánticas es una diferencia
de grado y no de categoría. La distinción entre 10 que uno quiera con-
siderar forma (o estructura) y 10 que se quiera considerar significado es,
al menos en parte, arbitraria. En última instancia, el que 'una palabra
pertenezca al vocabulario lógico o no es una cuestión de decisión.
Si se niega un enunciado analíticamente verdadero, el resultado es
un enunciado que ha de ser falso en virtud de su significado o de su
forma -un enunciado analiticamente falso o contradicción, por ejem-
plo (4).
(4) No es verdad que todo soltero no esté casado
Los enunciados analíticamente verdaderos o analíticamente falsos se
llaman enunciados analíticos 5. To~os ellos tienen en común que su valor
de verdad es independiente de cómo sea el mundo. Un enunciado ana-
líticamente verdadero es VERDADERO EN TODO MUNDO POSIBLE;
un enunciado analíticamente falso es FALSO EN TODO MUNDO PO-
SIBLE. Podemos decir que el conjunto-verdad de los enunciados analí-
ticamente verdaderos es 1 (el conjunto de todos los mundos posibles y
que el de los enunciados analíticamente falsos es 0.
Los enunciados que no son analíticos se llaman sintéticos. Son ver-
daderos o falsos en dependencia de la configuración del mundo; en otras
4 Cfr. Lyons (1968) y Katz (1972) para una discusión sobre relaciones de
este tipo. ,
5 A veces el término 'enunciado analítico' se utiliza sólo para enunciados
que son analíticamente verdaderos.
35
INFERENCIA Y ANALISIS LOGlCO DE LOS ENUNCIADOS
Enunciado
compuesto
36
EL ALCANCE DEL ANALISIS LOGIeO
37