Robert Audi (editor)

DICCIONARIO AKAL DE
FILOSOFA
Traduccin de
Huberto Marraud y Enrique Alonso
Profesores titulares de Lgica
y Filosofa de la ciencia
Universidad Autnoma de Madrid
AKAL / DICCIONARIOS
35
 Maqueta: RAG
Diseo de cubierta: Sergio Ramrez
Ttulo original: The Cambridge Dictionary of Philosophy

Reservados todos los derechos. De acuerdo a lo dispuesto en

el art. 270 del Cdigo Penal, podrn ser castigados con
penas de multa y privacin de libertad quienes reproduzcan
o plagien, en todo o en parte, una obra literaria,
rtistica o cientfica, fijada en cualquier tipo de soporte
sin la preceptiva autorizacin.

Cambridge University Press, 1995, 1999

Ediciones Akal, S. A., 2004
para lengua espaola
Sector Foresta, 1
28760 Tres Cantos
Madrid - Espaa
Tel.: 918 061 996
Fax: 918 044 028
www.akal.com
ISBN: 84-460-0956-0

discutida por los filsofos que todos los restantes
tropos juntos. Hay dos asuntos que destacan en las
discusiones que tienen lugar sobre la metfora has-
ta el siglo XIX. Uno es el que se plantea si las met-
foras, junto con los dems tropos, son adornos del
discurso; de ah el trmino figuras del discurso.
Las metforas no contribuiran entonces al signifi-
cado cognitivo del discurso, sino que en su lugar le
prestaran color, viveza, impacto emocional, etc.
De este modo, es caracterstico de los filsofos
ilustrados y protoilustrados Hobbes y Locke son
buenos ejemplos de ello insistir en que aunque los
filsofos pueden tener en ocasiones buenas razones
para comunicar su pensamiento mediante el uso de
metforas, no deberan emplearlas en absoluto en
la elaboracin del mismo. El otro asunto destacado
en las discusiones sobre la metfora que tienen lu-
gar hasta el siglo XIX es si las metforas son, en lo
que se refiere a su fuerza cognitiva, smiles elpti-
cos. La fuerza cognitiva de El tiempo es un ro,
cuando ro se emplea en sentido metafrico, es
la misma que la de El tiempo es como un ro.
Lo que caracteriza a casi todas las teoras de la
metfora desde el romanticismo hasta nuestros das
es el rechazo de estos dos enfoques tradicionales.
Las metforas se sostiene ahora no son adornos
cognitivamente dispensables. Contribuyen al signi-
ficado cognitivo de nuestro discurso; y son indis-
pensables no slo en el discurso religioso, sino
tambin en el discurso ordinario, e incluso en el
cientfico, por no mencionar el poltico. Nietzsche,
de hecho, lleg a afirmar que todo discurso es me-
tafrico. Y aunque an no se ha alcanzado un con-
senso acerca del modo en que las metforas contri-
buyen al significado, ni de cmo reconocer cundo
lo hacen, s hay un cierto consenso en torno a la te-
sis de que no operan como smiles elpticos.
Vase tambin FILOSOFA DEL LENGUAJE, SIG-
NIFICADO, TROPO.
NPW
METALENGUAJE, en semntica formal, lenguaje que
se emplea para la descripcin de otro lenguaje (el
lenguaje objeto). El lenguaje objeto puede ser el
lenguaje natural o un lenguaje formal. El objetivo
de una semntica formal es suministrar una teora
sistemtica, ya sea axiomtica o no, del significado
de un lenguaje objeto. El metalenguaje se emplea
para especificar los smbolos y reglas de formacin
del lenguaje objeto, que determinan sus enunciados
gramaticales o frmulas bien formadas, y asignar
significados o interpretaciones a aquellos enuncia-
dos o frmulas. As, por ejemplo, en una semntica
extensional, el metalenguaje se emplea para asignar
denotaciones a los trminos singulares, extensiones
a las letras de propiedad y relacin, y valores de
verdad a los enunciados. El formato estndar para
metamatemtica / 671
asignar valores de verdad, como en la formulacin que
hace Tarski de su concepcin semntica de la ver-
dad es un enunciado-V que toma la forma S es
verdadero si y slo si p. Davidson ha adaptado
este formato a los objetivos de su teora veritativa
del significado. Ejemplos de enunciados-V, donde
el castellano es el metalenguaje, son La neige est
blanche es verdadero si y slo si la nieve es blan-
ca, donde el lenguaje objeto es el francs y el ho-
mofnico (Davidson) La nieve es blanca es ver-
dadero si y slo si la nieve es blanca en el que el
lenguaje objeto es ahora tambin el castellano.
Aunque la distincin entre lenguaje objeto y
metalenguaje se debe matener con fines tericos,
en la prctica es posible usar un nico lenguaje
para hablar acerca de expresiones de ese mismo
lenguaje. Se puede, tal y como afirma Carnap,
cambiar del modo material al modo formal; por
ejemplo, de Todo veterinario es un mdico de ani-
males a Veterinario significa mdico de anima-
les. Este cambio es importante en discusiones sobre
sinonimia y sobre la distincin analtico-sinttico.
La distincin que hace Carnap corresponde a la
distincin uso-mencin. Hablamos en el modo for-
mal mencionamos una expresin lingstica
cuando atribuimos una propiedad a una palabra u
otro tipo de expresin, como su deletreo, pronun-
ciacin, significado o categora gramatical, o cuan-
do decimos que una realizacin de una expresin
ha sido incorrectamente deletreada, pronunciada o
empleada. Hablamos en el modo material cuando
decimos Reims es difcil de encontrar y en el
modo formal si decimos Reims es difcil de
pronunciar.
Vase tambin DISTINCIN TIPO-INSTANCIA, DIS-
TINCIN USO-MENCIN, FILOSOFA DEL LENGUAJE.
KB
METALGICA, vase TEORA DE LA DEMOSTRACIN.
METAMATEMTICA , estudio y demostracin, por
medios limitados (y, en particular, finitarios), de la
consistencia o fiabilidad de los diversos sistemas de
la matemtica clsica. El trmino fue aparentemen-
te introducido en la dcada de 1870 con un tono pe-
yorativo que lo relaciona con metafsica y en co-
nexin con el problema de las geometras no
eucldeas. Fue introducido en el sentido que aqu se
ha presentado, desprovisto ya de connotaciones ne-
gativas, por Hilbert (vase su Neubegrndung der
Mathematik. Erste Mitteilung, 1922), quien tam-
bin se refiere a ella como Beweistheorie o teora
de la demostracin. Unos pocos aos ms tarde (es-
pecficamente, en los artculos de 1930 ber eini-
ge fundamentale Begriffe der Metamathematik y
Fundamentale Begriffe der Methodologie der de-
duktiven Wissenschaften. I), Tarski le atribuye un
672 / metateorema
sentido algo ms general y menos estricto: ms gene-
ral, en el sentido de que su alcance se ve incrementa-
do hasta incluir no slo cuestiones de consistencia,
sino tambin una coleccin de otras cuestiones (por
ejemplo, resultados de independencia, completitud y
axiomatizabilidad) que pertenecen a lo que Tarski
denomina metodologa de las ciencias deductivas
(que era su expresin sinnima para metamatem-
ticas); menos estricto debido a que los estndares
de demostracin se relajan al punto de permitir
otros medios que no son finitarios de hecho, no
constructivos.
En esta concepcin ms amplia concebida por
Tarski, las disciplinas deductivas formalizadas
constituyen el campo de investigacin de la meta-
matemtica prcticamente del mismo modo que
las entidades extensas forman el campo de inves-
tigacin de la geometra o los animales el de la
zoologa. Las disciplinas, sostiene Tarski, tienen
que ser consideradas como conjuntos de enuncia-
dos que han de ser estudiados desde el punto de
vista de su consistencia, axiomatizabilidad (de va-
rios tipos), completitud y categoricidad, o grado de
categoricidad, etc. Ms adelante Tarski (vanse los
artculos de 1935 y 1936 titulados Grundzge
des Systemenkalkl, Esrte Teil y Grundzge
des Systemenkalkl, Zweiter Teil) lleg a incluir
entre los objetivos de la metamatemtica cualquier
tipo de problema relacionado con la semntica,
apartndose as considerablemente de la motiva-
cin de tipo sintctico original de Hilbert. En la
actualidad, los trminos metateora y metal-
gica son empleados para referirse a un amplio
conjunto de intereses que abarca tanto los estu-
dios sintcticos como los semnticos de los siste-
mas y lenguajes formales, y los cuales haban
sido incluidos por Tarski bajo el rtulo general
de metamatemtica. Aquellos que tienen que ver
ms especficamente con la semntica pertenecen
a la rama ms especializada de la lgica moderna
que se conoce como teora de modelos, mientras
que aquellos que trabajan con recursos puramente
sintcticos pertenecen a lo que ha llegado a ser
conocido como teora de la demostracin (en la
cual se permiten en la actualidad procedimientos
de demostracin distintos de los estrictamente fi-
nitarios).
Vase tambin CATEGORICIDAD , COMPLETI -
TUD, CONSISTENCIA, TEORA DE LA DEMOSTRACIN,
TEORA DE MODELOS.
MD
METATEOREMA, vase SEMNTICA FORMAL.
METATEORA, vase FILOSOFA DE LA LGICA.
METEMPSICOSIS, vase PITGORAS.
METODISMO, vase PROBLEMA DEL CRITERIO.
MTODO AXIOMTICO , originariamente, mtodo
para reorganizar las proposiciones y conceptos
aceptados de una ciencia existente para incremen-
tar la certeza de esas proposiciones y la claridad de
esos conceptos. Se pensaba que las aplicaciones de ese
mtodo requeran la identificacin de a) el univer-
so del discurso (dominio, gnero) de entidades
constitutivas del objeto de estudio principal de esa
ciencia b) los conceptos primitivos que pueden
aprehenderse inmediatamente sin el uso de defini-
ciones c) las proposiciones primitivas (o axio-
mas) cuya verdad es inmediatamente cognoscible,
sin el uso de deducciones d) una definicin primi-
tiva inmediatamente aceptable en trminos de
conceptos primitivos para cada concepto no primi-
tivo, y e) una deduccin (construida encadenando
inferencias inmediatas, lgicamente cogentes, a
partir en ltima instancia de proposiciones y defini-
ciones primitivas) para cada proposicin aceptada
no primitiva. Los proponentes destacados de ver-
siones ms o menos modernizadas del mtodo
axiomtico, por ejemplo, Pascal (1623-1662), Ni-
cod (1893-1924) y Tarski (1901-1983), subrayan
la funcin crtica y reguladora del mtodo axiom-
tico, que abre explcitamente la posibilidad de que
la axiomatizacin de una ciencia existente, prea-
xiomtica, lleve a rechazar o modificar proposi-
ciones, conceptos y argumentaciones previamente
aceptados.
En varios casos, los intentos de realizar el ideal
de una ciencia axiomtica han llevado al descubri-
miento de premisas ocultas y de otros presupues-
tos previamente inadvertidos, dando lugar a su vez
al reconocimiento de la necesidad de nuevos axio-
mas. Las axiomatizaciones modernas de la geometra
son mucho ms ricas en detalles que las producidas
en la Grecia antigua. El primer texto axiomtico
que se ha conservado est basado en una axiomati-
zacin de la geometra debida a Euclides (fl. 300
a.C.), basada a su vez en textos anteriores que no se
han conservado. Arqumedes (287-212 a.C.) es el
primero de una serie de gemetras posteucldeos,
que incluye a Hilbert (1862-1943), Oswald Veblen
(1880-1960), y Tarski (1901-1983), que propusie-
ron modificaciones de las axiomatizaciones de la
geometra clsica. El mtodo axiomtico tradicio-
nal, a menudo llamado mtodo geomtrico, rea-
liza varias presuposiciones que ya no se aceptan
comnmente. El advenimiento de la geometra no
eucldea fue especialmente importante a este res-
pecto.
Para algunos investigadores, el objetivo de reor-
ganizar una ciencia preexistente se complement o
fue reemplazado por un nuevo objetivo: caracteri-
zar o dar una definicin implcita de la estructura

del objeto de estudio de esa ciencia. Adems, ulte-
riores innovaciones en lgica y fundamentos de la
matemtica, sobre todo el desarrollo de lenguajes
formalizados sintcticamente precisos y de siste-
mas efectivos de deduccin formal, incrementaron
substancialmente el grado de rigor alcanzable. En
concreto, la exposicin axiomtica crtica de un
cuerpo de conocimiento cientfico no se considera
ahora totalmente adecuada, por grande que sea su
xito en la consecucin de los objetivos del mtodo
axiomtico original, si no presenta la lgica subya-
cente (incluyendo el lenguaje, la semntica y el sis-
tema deductivo). Por sta y otras razones, la expre-
sin mtodo axiomtico ha experimentado varias
redefiniciones, algunas de ellas muy dbilmente
conectadas con el significado original.
Vase tambin CATEGORICIDAD, DEDUCCIN,
FORMALIZACIN.
JCOR
MTODO DE LA DIFERENCIA , vase MTODOS DE
MILL.
MTODO DE RESIDUOS, vase MTODOS DE MILL.
MTODO DE TABLAS DE VERDAD, vase TABLA DE
VERDAD.
MTODO DEL ACUERDO, vase MTODOS DE MILL.
MTODO ESCOLSTICO, vase ESCOLSTICA.
MTODO HIPOTTICO-DEDUCTIVO, procedimiento
para evaluar las consecuencias lgicas de ciertos
estados de cosas tomados como hiptesis. Conside-
rado como preferible al mtodo de induccin enu-
merativa, cuyas limitaciones han sido demostradas
por Hume, el mtodo hipottico-deductivo (H-D)
ha sido visto por muchos como el mtodo cientfi-
co por excelencia. Se aplica empezando por la in-
troduccin de una hiptesis que puede resultar de
anteriores inducciones, de una conjetura o de un
acto de la imaginacin creativa. La hiptesis se
combina lgicamente con una afirmacin relativa a
ciertas condiciones iniciales. Las consecuencias
puramente deductivas de esta conjuncin se deri-
van como predicciones, y las afirmaciones que las
sostienen se ven sujetas a test de tipo observacional
y experimental. De una manera algo ms formal,
dado (H A) O, H es la hiptesis; A, una afir-
macin relativa a las condiciones iniciales, y O una
de las consecuencias contrastables de (H A). Si
la hiptesis es todo metal es maleable y esta
pieza de metal est siendo golpeada en este mo-
mento establece las condiciones iniciales, se sigue
deductivamente que esta pieza de metal cambiar
de forma. En lgica deductiva el esquema
mtodos de Mill / 673
(H
A) O
O
(H
A)
es formalmente invlido ya que incurre en la falacia
de la afirmacin del consecuente. Sin embargo, una
serie de ocurrencias reiteradas de O pueden ser vistas
como una confirmacin de la conjuncin (H
A) o
puede hacerla simplemente ms probable. Por otra
parte, el esquema
(H
A) O
no-O
no- (H
A)
s es vlido deductivamente (el argumento tiene la
forma de un modus tollens). sta es la razn por la
que Karl Popper y sus seguidores consideran que el
mtodo H-D tiene un mejor uso en la bsqueda de
falsaciones de hiptesis tericas. Las crticas a este
mtodo suelen indicar que hay infinitas hiptesis
capaces de explicar al estilo de H-D un cierto cuer-
po de datos, de tal manera que las predicciones sa-
tisfactorias no son confirmatorias en un sentido ab-
soluto, y que (siguiendo a Duhem) es imposible
analizar aisladamente hiptesis singulares debido a
que stas se encuentran siempre dentro de teoras
complejas, alguna de cuyas partes puede ser elimi-
nada ante la presencia de evidencia en contra.
Vase tambin CONTRASTABILIDAD, DUHEM,
PROBLEMA DE LA CURVA DE APROXIMACIN.
REB
MTODO SOCRTICO, vase SCRATES.
MTODO SUPERVALUACIONAL, vase VAGUEDAD.
METODOLOGA, vase FILOSOFA DE LA CIENCIA.
METODOLGICO, CONSERVADURISMO, vase FILO-
SOFA DE LA CIENCIA.
METODOLGICO, ESCEPTICISMO, vase ESCEPTICISMO.
METODOLGICO, INDIVIDUALISMO, vase HOLISMO
METODOLGICO.
METODOLGICO, NATURALISMO, vase NATURALISMO.
METODOLGICO, SOLIPSISMO, vase SOLIPSISMO.
MTODOS DE MILL, procedimientos para descubrir
condiciones necesarias, condiciones suficientes y
condiciones necesarias y suficientes, en donde esos
trminos se usan como sigue: si siempre que A en-