199

REVISTA DE LIBROS
Filosofa de la lgica, de MARA JOS FRPOLLI SANZ (COORD.), MADRID,
TECNOS, 2008, 288 pp.
Filosofa de la lgica, coordinado por Mara Jos Frpolli, es un manual que
viene a llenar un vaco que las publicaciones sistemticas en la materia han dejado en
las ltimas dcadas, exceptuando quiz los importantes volmenes 7 (1995) y 27
(2004) de la Enciclopedia Iberoamericana de Filosofa que, si bien estn dedicados al
mismo tema, estn construidos de cara a fines distintos y tienen caractersticas dife-
rentes a las de un manual. Encargado por la Sociedad Espaola de Filosofa Analtica,
el libro de Frpolli es una respuesta a los lectores de la lengua castellana que extra-
bamos una publicacin que nos permitiera introducirnos en la filosofa de la lgica, en
especial a los desarrollos sucedidos despus de la traduccin en 1982 de Philosophy of
Logics (1978) de Susan Haack. Esta circunstancia dota al texto de cuatro caractersti-
cas bsicas abiertamente reconocidas [pp. 11ss.]: (1) El manual aborda explcitamente
los problemas clsicos de la materia, exceptuando la teora de la verdad, pero tambin
(2) incluye temas de inters reciente y poco frecuentados en los manuales tradiciona-
les, como la formalizacin de los contextos del habla ordinaria en inteligencia artifi-
cial o la lgica amigable a la independencia. Por otra parte, (3) los trabajos
recopilados incluyen una cuidadosa puesta al da del estado del arte en sus respectivos
temas y, por lo tanto, permiten que el lector se instruya en las discusiones clsicas de
los mismos. A su vez, (4) todos los textos involucran una contribucin sustantiva al
debate actual en cada una de dichas discusiones. Sin embargo, hay ms mritos que
estos en el libro de Frpolli.
El signo distintivo de la lgica es su referencia a las propiedades inferenciales
del lenguaje o de las prcticas argumentativas humanas. Lo definitorio del quehacer
argumentativo es el carcter normativo por el que algunos argumentos son evaluados
como vlidos y otros como invlidos. Pero si bien este rasgo orienta la investigacin
lgica, no permite darle unidad a la materia, como ponen de manifiesto la prolifera-
cin de sistemas formales que tratan de captar nuestras intuiciones lgicas de sentido
comn y los debates internos entre modelos alternativos para cada uno de esos siste-
mas. La falta de unidad y de acuerdo en la materia de la lgica y en los desarrollos
que le sean adecuados se convierte en una dificultad para la misma filosofa de la l-
gica, que termina englobando diversas concepciones de este tipo de estudios entre los
que destaca como la ms usual hoy el ser una reflexin sobre los diversos sistemas
formales de lgica, interesada principalmente en sus propiedades sintcticas y semn-
ticas, un trabajo quiz ms propio de la metalgica. La principal dificultad que conlle-
va esta exacerbacin formalista y cientificista de la lgica es que se aleja cada vez
ms de la prctica argumentativa cotidiana. Muchas veces los sistemas formales no
ayudan a comprender el quehacer discursivo basado en razones ni aportan criterios
200 Revista de libros
adecuados para orientar la argumentacin recta o al menos para estimular la sana cr-
tica razonada de posiciones. Por fortuna, en los ltimos aos hemos asistido a una
creciente preocupacin entre los propios lgicos formales por las relaciones entre los
formalismos y el habla efectiva, que ha puesto en el primer plano la importancia del
estudio y la implementacin de perspectivas pragmticas en la concepcin y desarro-
llo de la lgica. Aunque esta denominacin es vaga y polmica, por perspectiva
pragmtica entendemos aquella que se orienta al estudio del uso que los hablantes
hacen del vocabulario lgico en su lenguaje de todos los das, entendiendo que en l se
hacen explcitas las prcticas inferenciales contextualizadas de los seres con lenguaje.
En el libro de Frpolli se encuentran claras muestras de estas diversas actitudes
que caen bajo la denominacin filosofa de la lgica: los clsicos intereses sintcti-
cos y semnticos, las preocupaciones recientes por las prcticas inferenciales y la in-
vestigacin del uso de los conceptos lgicos en el habla efectiva. As, el libro mismo
en su conjunto es una fiel muestra de la riqueza y diversidad temtica y metodolgica
de la filosofa de la lgica, y de la pluralidad de enfoques que cobija, fuente de pol-
micas y discusiones que evidencian el estado de una disciplina viva y en pleno desa-
rrollo. A nuestro juicio, en esto reposa el mayor valor de Filosofa de la lgica como
manual. De este mrito se desprenden dos caractersticas adicionales de los materiales
compilados: (5) son trabajos desiguales respecto a su orientacin, pero (6) todos ter-
minan enunciando lneas de desarrollo, programas de investigacin y genuinas inquie-
tudes filosficas que resultan estimulantes para el lector. Los artculos pueden
estudiarse independientemente y son los siguientes: I. Qu es la lgica?, por Jaakko
Hintikka y Gabriel Sandu; II. Validez y consecuencia lgica. La concepcin clsica,
por Jos Miguel Sagillo; III. El estatus epistemolgico de la lgica: verdad y necesi-
dad, por Concepcin Martnez Vidal; IV. Lgica de orden superior, por Mara Manza-
no; V. Cuantificadores, por Mara Jos Frpolli; VI. Constantes lgicas, por Mario
Gmez Torrente; VII. Lgica dentica, por Carlos Alarcn Cabrera; VIII. La formali-
zacin del sentido comn, por Raymundo Morado y IX. Lgica de la relevancia, por
Jos Manuel Mndez y Gemma Robles.
Los trabajos de corte ms clsico son los artculos IV y IX que representan la
actitud filosfica ante la lgica de ser un anlisis de las propiedades sintcticas y se-
mnticas de los sistemas formales. As, por ejemplo, Lgica de orden superior ex-
plora dnde se sita la lnea divisoria entre la lgica y la teora de conjuntos y si debe
haberla. Enfrentando el problema clsico de las paradojas semnticas, se sostiene que
su solucin en la teora de los tipos exige establecer jerarquas entre universos del dis-
curso, y esta estratificacin encuentra su fundamento en la teora de conjuntos. El tex-
to contina con una exposicin de la semntica para la lgica de segundo orden en la
que destaca como conclusin que no pueden tenerse al tiempo poder expresivo y bue-
nas propiedades lgicas o que hay que admitir que hemos cometido diversos errores al
definir la semntica estndar [p. 141]. Acogindose a la segunda opcin, el texto pro-
pone cmo hacer completa la lgica de segundo orden modificando su semntica con
ayuda de la semntica de marcos de Henkin, en una estrategia que es exportable y que
marca entonces un nuevo programa de investigacin.
Los artculos I, II, III, V, VI forman el ncleo clsico de los problemas de la fi-
losofa de la lgica: la determinacin de la validez formal de los argumentos, o del es-
tablecimiento de la relacin de consecuencia, basada en la idea de forma lgica
definida a su vez por las constantes y los cuantificadores. Sin embargo, dichos traba-
Revista de libros 201
jos son a su vez una muestra representativa de la actitud pragmtica que hemos rese-
ado y nos colocan en un terreno llamativo y poco explorado dndole frescura y reno-
vado inters a estas discusiones. Veamos dos ejemplos. En Cuantificadores se
exponen los debates sobre las relaciones entre las propiedades inferenciales de los
cuantificadores con las de las expresiones de generalidad del lenguaje ordinario, y so-
bre las implicaciones ontolgicas de la cuantificacin. En el primero se discute si los
cuantificadores hacen parte de los sujetos gramaticales, como crea Aristteles y como
parcialmente recoge hoy la teora de la cuantificacin generalizada de Mostowski, o si
son expresiones enteramente diferentes a ellos, como crea Frege. El segundo parece
llevarnos a cierta dejadez filosfica, pues cul interpretacin ontolgica elegir, la ob-
jetual o la sustitucional, es algo que en el fondo depende del propsito de la interpre-
tacin del clculo que tengamos delante. Lo que resulta curioso es que la carga
ontolgica de las lenguas naturales est en las expresiones referenciales y no en los
cuantificadores! Esta constatacin pone en evidencia que un acento excesivo en los
aspectos formales de la cuantificacin puede desorientar su investigacin filosfica;
as, si lo que nos interesa es el significado de las expresiones de cuantificacin en los
lenguajes naturales, entonces la semntica formal no es la ltima palabra. El aspecto
pragmtico tiene que ser tambin tenido en cuenta puesto que el objetivo no es la
comprensin de una estructura matemtica ms o menos desarrollada sino la conducta
racional de los seres humanos, una conducta cuya base consiste en los hbitos de pro-
poner e identificar inferencias de todo tipo. Para expresar inferencias generales utili-
zamos las expresiones de cuantificacin y es por esta razn por lo que constituyen un
asunto central de la filosofa de la lgica y del lenguaje [p. 176].
Constantes lgicas (Ensayo VI) enfrenta el debate de cmo darle rigor a esa
intuicin de que lo caracterstico de las constantes es que son expresiones insustanti-
vas. Hay quienes tratan de sistematizar la insustantividad mediante la idea de inva-
riancia y quienes tratan de hacerlo definiendo las constantes por reglas de inferencia.
Sin embargo, unos y otros sufren del mismo mal: ninguna de las definiciones que
ofrecen excluye los trminos que no son constantes y conserva como constantes las
que s lo son. Esto, sin embargo, contrasta con la forma en que intuitivamente em-
pleamos las constantes en el habla de todos los das, donde en efecto podemos reco-
nocer cules son las constantes lgicas y cules no. Una mirada al uso de las
expresiones corrientes que funcionan como constantes lgicas podr entonces decir-
nos algo al respecto. Qu intuiciones sobre estas expresiones orientan nuestra prcti-
ca argumentativa efectiva? A lo mejor sern criterios vagos como su aplicabilidad
general, su relevancia, su utilidad y su significatividad [p. 200], vaguedad que, en to-
do caso, s permite seleccionar un conjunto satisfactorio de constantes lgicas.
Tras el repaso con actitud pragmtica por los problemas clsicos de la filosofa
de la lgica, cobran protagonismo temas novedosos como La formalizacin del sen-
tido comn (Ensayo VIII), por ejemplo. Dicho trabajo se ocupa de la revisabilidad de
los argumentos ordinarios cuando cambia el contexto. Cmo involucrar el contexto
en el estudio formal de los argumentos? Desgraciadamente, no tenemos todava un
tratamiento formal satisfactorio de la estructura lgica de los contextos y su efecto en
la argumentacin [p. 235]. En todo caso ha habido tentativas de hacerlo que los tra-
tan o bien como objetos o bien como situaciones. El baremo para confrontar las posi-
ciones es que permitan comprender la no-monotonicidad o revisabilidad de la
inferencia y, en general, el diagnstico es unnime: el mayor problema de las dos po-
202 Revista de libros
siciones es tratar la argumentacin cotidiana contextualizada como un entimema cl-
sico. Como alternativa se propone no comprender la inferencia ordinaria no-
monotnica como la parte audible de un discurso que se sirve de partes calladas, pero
en el que todos los principios de inferencia funcionan como nos dice la lgica clsica,
algo que descubriramos una vez diramos voz a las premisas ocultas, al contexto si-
lente. En una inferencia no-monotnica nuestras premisas pueden ser insuficientes
para la conclusin incluso despus de haber tomado en cuenta los supuestos implci-
tos No se trata de que el trasfondo sea verdadero y callado, sino de que sea acepta-
do y dependa del contexto [p. 251].
As pues, el libro de Frpolli resulta siendo un aporte decisivo temtica, meto-
dolgica y filosficamente tanto porque incluye un panorama muy completo del esta-
do de las investigaciones actuales en filosofa de la lgica, como porque muestra la
diversidad de formas de pensamiento que esta disciplina cobija y que siguen motivan-
do desarrollos y apasionantes cuestiones filosficas.
Miguel ngel Prez Jimnez
Departamento de Filosofa I
Universidad de Granada, Granada, Espaa
Pontificia Universidad Javeriana, Bogot, Colombia
E-mail: miguel.perez@javeriana.edu.co
How New Languages Emerge, de DAVID LIGHTFOOT. CAMBRIDGE, CAMBRIDGE
UNIVERSITY PRESS, 2006, 208 pp.
David Lightfoot, uno de los primeros autores en aplicar el modelo generativista
a la sintaxis diacrnica, presenta en su libro How New Languages Emerge una visin
general y sinttica de la cuestin del cambio lingstico y ofrece una explicacin de
cmo se originan nuevas lenguas. Siguiendo la lnea de sus trabajos anteriores, en-
marcados en el generativismo, establece una estrecha relacin entre el cambio lings-
tico y la adquisicin de las lenguas por parte de los nios, ya que es precisamente en
esta fase en la que los individuos abducen la gramtica de la lengua cuyas manifesta-
ciones reciben constantemente.
A diferencia de otros trabajos ms centrados en el aspecto interno del cambio,
este libro pone especial nfasis en la interaccin entre la lengua-I(nterna) y la lengua-
E(xterna), entre los cambios internos y los cambios externos, lo cual exige abordar el
fenmeno del cambio lingstico desde una perspectiva multidisciplinar para obtener
una explicacin satisfactoria. Al respecto, el captulo dos es un breve repaso al enfo-
que tradicional del cambio lingstico que consideraba como objeto de estudio slo la
lengua-E y en l se muestran los problemas que plantea abordar la cuestin desde una
perspectiva nica y externista, as como la necesidad de complementar las investiga-
ciones con un enfoque internista.
Lightfoot concibe el lenguaje como una capacidad innata, un sistema biolgico
que sirve de base a la multitud de lenguas que existen y gracias al cual los nios trans-
forman en lenguas lo que oyen a su alrededor. Pero, qu es una lengua? Lightfoot
hace una distincin. Por una parte, la lengua-I es a mental system that characterizes a