Robert Audi (editor) DICCIONARIO AKAL DE FILOSOFÍA Traducción de Huberto Marraud y Enrique Alonso Profesores titulares de Lógica y Filosofía de la ciencia Universidad Autónoma de Madrid .

AKAL / DICCIONARIOS 35 .

270 del Código Penal. en todo o en parte. A. © Cambridge University Press.España Tel. ártistica o científica.: 918 061 996 Fax: 918 044 028 www. Maqueta: RAG Diseño de cubierta: Sergio Ramírez Título original: The Cambridge Dictionary of Philosophy Reservados todos los derechos. fijada en cualquier tipo de soporte sin la preceptiva autorización. 1999 © Ediciones Akal. una obra literaria. podrán ser castigados con penas de multa y privación de libertad quienes reproduzcan o plagien.com ISBN: 84-460-0956-0 . 1 28760 Tres Cantos Madrid . 1995.akal. 2004 para lengua española Sector Foresta. S. De acuerdo a lo dispuesto en el art..

sí hay un cierto consenso en torno a la te. metamatemática / 671 discutida por los filósofos que todos los restantes asignar valores de verdad. males» a «“Veterinario” significa “médico de anima- cuando «río» se emplea en sentido metafórico. filósofos pueden tener en ocasiones buenas razones Aunque la distinción entre lenguaje objeto y para comunicar su pensamiento mediante el uso de metalenguaje se debe matener con fines teóricos. de la se emplea para la descripción de otro lenguaje (el consistencia o fiabilidad de los diversos sistemas de lenguaje objeto). lenguaje. TROPO. modo formal si decimos «“Reims” es difícil de senso acerca del modo en que las metáforas contri. el metalenguaje se emplea para asignar pecíficamente. METALÓGICA. es característico de los filósofos mofónico (Davidson) «“La nieve es blanca” es ver- ilustrados y protoilustrados –Hobbes y Locke son dadero si y sólo si la nieve es blanca» en el que el buenos ejemplos de ello– insistir en que aunque los lenguaje objeto es ahora también el castellano. son «“La neige est cado cognitivo del discurso. Contribuyen al signi. Este cambio es importante en discusiones sobre la misma que la de «El tiempo es como un río». estudio y demostración. El objetivo te introducido en la década de 1870 con un tono pe- de una semántica formal es suministrar una teoría yorativo que lo relaciona con «metafísica» y en co- sistemática. en semántica formal. pronunciada o científico. Ejemplos de enunciados-V. ca». donde el lenguaje objeto es el francés y el ho- De este modo. por no mencionar el político. ciación. como su deletreo. e incluso en el ha sido incorrectamente deletreada. por Hilbert (véase su «Neubegründung der gramaticales o fórmulas bien formadas. Nietzsche. Hay dos asuntos que destacan en las hace Tarski de su «concepción semántica de la ver- discusiones que tienen lugar sobre la metáfora has. en los artículos de 1930 «Über eini- denotaciones a los términos singulares. símiles elípti. Fue introducido en el sentido que aquí se para especificar los símbolos y reglas de formación ha presentado. verdadero si y sólo si p». en lo cambiar del modo material al modo formal. o cuan- pensables no sólo en el discurso religioso. desprovisto ya de connotaciones ne- del lenguaje objeto. dad» es un enunciado-V que toma la forma «S es ta el siglo XIX. otro tipo de expresión. del significado. TINCIÓN USO-MENCIÓN. son adornos del este formato a los objetivos de su teoría veritativa discurso. por ejemplo. Tarski le atribuye un . buyen al significado. sino do decimos que una realización de una expresión también en el discurso ordinario. I»). La fuerza cognitiva de «El tiempo es un río». junto con los demás tropos. Lo que caracteriza a casi todas las teorías de la La distinción que hace Carnap corresponde a la metáfora desde el romanticismo hasta nuestros días distinción uso-mención. de «Todo veterinario es un médico de ani- cos. es les”». Se puede. de ahí el término «figuras del discurso». sinonimia y sobre la distinción analítico-sintético. Hablamos en el modo for- es el rechazo de estos dos enfoques tradicionales. extensiones ge fundamentale Begriffe der Metamathematik» y a las letras de propiedad y relación. ni de cómo reconocer cuándo Véase también DISTINCIÓN TIPO-INSTANCIA. Así. sis de que no operan como símiles elípticos. donde Las metáforas no contribuirían entonces al signifi. DIS- lo hacen. Y aunque aún no se ha alcanzado un con. lenguaje que medios limitados (y. viveza. y son indis. ya sea axiomática o no. y asignar Mathematik. véase TEORÍA DE LA DEMOSTRACIÓN. el castellano es el metalenguaje. NPW METAMATEMÁTICA . etc. impacto emocional. sino que en su lugar le blanche” es verdadero si y sólo si la nieve es blan- prestarían color. bién se refiere a ella como Beweistheorie o teoría dos o fórmulas. ejemplo. metáforas. FILOSOFÍA DEL LENGUAJE. del significado nexión con el problema de las geometrías no de un lenguaje objeto. Unos pocos años más tarde (es- extensional. pronunciar». en una semántica de la demostración. El lenguaje objeto puede ser el la matemática clásica. Erste Mitteilung». 1922). Hablamos en el modo material cuando de hecho. KB Véase también FILOSOFÍA DEL LENGUAJE. gar hasta el siglo XIX es si las metáforas son. Davidson ha adaptado foras. El metalenguaje se emplea euclídeas. finitarios). quien tam- significados o interpretaciones a aquellos enuncia. empleada. no deberían emplearlas en absoluto en en la práctica es posible usar un único lenguaje la elaboración del mismo. pronun- ficado cognitivo de nuestro discurso. El otro asunto destacado para hablar acerca de expresiones de ese mismo en las discusiones sobre la metáfora que tienen lu. significado o categoría gramatical. por METALENGUAJE. y valores de «Fundamentale Begriffe der Methodologie der de- verdad a los enunciados. SIG- NIFICADO. llegó a afirmar que todo discurso es me. decimos «Reims es difícil de encontrar» y en el tafórico. tal y como afirma Carnap. Uno es el que se plantea si las metá. mal –mencionamos una expresión lingüística– Las metáforas –se sostiene ahora– no son adornos cuando atribuimos una propiedad a una palabra u cognitivamente dispensables. como en la formulación que tropos juntos. que determinan sus enunciados gativas. El formato estándar para duktiven Wissenschaften. en particular. El término fue aparentemen- lenguaje natural o un lenguaje formal. por que se refiere a su fuerza cognitiva.

véase FILOSOFÍA DE LA LÓGICA. a que ser consideradas como conjuntos de enuncia. menos estricto debido a que los estándares so del discurso» (dominio. Zweiter Teil») llegó a incluir tico. actualidad. método sino también una colección de otras cuestiones (por para reorganizar las proposiciones y conceptos ejemplo. véase PITÁGORAS. El advenimiento de la geometría no euclídea fue especialmente importante a este res- METATEOREMA. Las disciplinas. Esrte Teil» y «Grundzüge la función crítica y reguladora del método axiomá- des Systemenkalkül. Aquellos que tienen que ver son mucho más ricas en detalles que las producidas más específicamente con la semántica pertenecen en la Grecia antigua. no ciencia b) los «conceptos primitivos» que pueden constructivos.C. Los proponentes destacados de ver- rios tipos). Más adelante Tarski (véanse los axiomático. Se pensaba que las aplicaciones de ese (que era su expresión sinónima para «metamatemá. 300 que aquellos que trabajan con recursos puramente a. Arquímedes (287-212 a. conceptos y argumentaciones previamente ción de tipo sintáctico original de Hilbert. a menudo llamado «método geométrico». o grado de siones más o menos modernizadas del método categoricidad. METODISMO. etc. lógicamente cogentes. partir en última instancia de proposiciones y defini- dos que han de ser estudiados desde el punto de ciones primitivas) para cada proposición aceptada vista de su consistencia. completitud y categoricidad. no primitiva. y Tarski (1901-1983). el objetivo de reor- METATEORÍA. El primer texto axiomático a la rama más especializada de la lógica moderna que se ha conservado está basado en una axiomati- que se conoce como teoría de modelos. Las axiomatizaciones modernas de la geometría de metamatemática. subrayan des Systemenkalkül. nal. que abre explícitamente la posibilidad de que entre los objetivos de la metamatemática cualquier la axiomatización de una ciencia existente. los intentos de realizar el ideal gica» son empleados para referirse a un amplio de una ciencia axiomática han llevado al descubri- conjunto de intereses que abarca tanto los estu. tienen inferencias inmediatas. véase SEMÁNTICA FORMAL. rea- TEORÍA DE MODELOS. conceptos primitivos para cada concepto no primi- tigación de la geometría o los animales el de la tivo. Pascal (1623-1662). (1880-1960). completitud y aceptados de una ciencia existente para incremen- axiomatizabilidad) que pertenecen a lo que Tarski tar la certeza de esas proposiciones y la claridad de denomina «metodología de las ciencias deductivas» esos conceptos. los términos «metateoría» y «metaló. Ni- artículos de 1935 y 1936 titulados «Grundzüge cod (1893-1924) y Tarski (1901-1983).) es el conocido como teoría de la demostración (en la primero de una serie de geómetras posteuclídeos. método requerían la identificación de a) el «univer- ticas»). por ejemplo. liza varias presuposiciones que ya no se aceptan MD comúnmente. dando lugar a su vez mas y lenguajes formales. y e) una deducción (construida encadenando zoología.C. axiomatizabilidad (de va. El método axiomático tradicio- TUD. véase PROBLEMA DEL CRITERIO. TEORÍA DE LA DEMOSTRACIÓN. miento de «premisas ocultas» y de otros presupues- dios sintácticos como los semánticos de los siste. xiomática. ciones. basada a su vez en textos anteriores que no se sintácticos pertenecen a lo que ha llegado a ser han conservado. COMPLETI . mientras zación de la geometría debida a Euclides (fl. Oswald Veblen de demostración distintos de los estrictamente fi. MÉTODO AXIOMÁTICO . las disciplinas deductivas formalizadas mas») cuya verdad es inmediatamente cognoscible. sostiene Tarski. ganizar una ciencia preexistente se complementó o fue reemplazado por un nuevo objetivo: caracteri- METEMPSICOSIS. En la aceptados. lleve a rechazar o modificar proposi- apartándose así considerablemente de la motiva. zar o dar una definición implícita de la estructura . que propusie- nitarios). resultados de independencia. en el sentido de que su alcance se ve incrementa- do hasta incluir no sólo cuestiones de consistencia. y los cuales habían al reconocimiento de la necesidad de nuevos axio- sido incluidos por Tarski bajo el rótulo general mas. constituyen el campo de investigación de la meta. En varios casos. geometría clásica. pecto. sin el uso de deducciones d) una «definición primi- matemática prácticamente del mismo modo que tiva» inmediatamente aceptable en términos de las entidades extensas forman el campo de inves. Para algunos investigadores. cual se permiten en la actualidad procedimientos que incluye a Hilbert (1862-1943). originariamente. ral.). ron modificaciones de las axiomatizaciones de la Véase también CATEGORICIDAD . género) de entidades de demostración se relajan al punto de permitir constitutivas del objeto de estudio principal de esa otros medios que no son finitarios –de hecho. prea- tipo de problema relacionado con la semántica.672 / metateorema sentido algo más general y menos estricto: más gene. tos previamente inadvertidos. CONSISTENCIA. aprehenderse inmediatamente sin el uso de defini- En esta concepción más amplia concebida por ciones c) las «proposiciones primitivas» (o «axio- Tarski.

falsaciones de hipótesis teóricas. (H  A) ⊃ O riores innovaciones en lógica y fundamentos de la O matemática. véase ESCOLÁSTICA. y las afirmaciones que las METODOLÓGICO. En es formalmente inválido ya que incurre en la falacia concreto. sobre todo el desarrollo de lenguajes —————— formalizados sintácticamente precisos y de siste. véase FILO- acto de la imaginación creativa. véase MÉTODOS DE MILL. DEDUCCIÓN. véase MÉTODOS DE MILL. el método hipotético-deductivo (H-D) MÉTODO SUPERVALUACIONAL. En lógica deductiva el esquema términos se usan como sigue: si siempre que A en- . Las consecuencias METODOLÓGICO. véase VAGUEDAD. Si METODOLÓGICO. en donde esos de forma». métodos de Mill / 673 del objeto de estudio de esa ciencia. INDIVIDUALISMO. incrementaron substancialmente el grado de rigor alcanzable. véase TABLA DE tisfactorias no son confirmatorias en un sentido ab- VERDAD. el esquema cente (incluyendo el lenguaje. ha sido visto por muchos como el método científi- co por excelencia. METODOLOGÍA. Conside- rado como preferible al método de inducción enu. capaces de explicar al estilo de H-D un cierto cuer- po de datos. véase SOLIPSISMO. nada ante la presencia de evidencia en contra. Sin embargo. (H  A) ⊃ O sión «método axiomático» ha experimentado varias no-O «redefiniciones». dado (H ⋅ A) → O. merativa. La hipótesis se SOFÍA DE LA CIENCIA. Además. si no presenta la lógica subya. véase HOLISMO sostienen se ven sujetas a test de tipo observacional METODOLÓGICO. condiciones suficientes y deductivamente que «esta pieza de metal cambiará condiciones necesarias y suficientes. y que (siguiendo a Duhem) es imposible analizar aisladamente hipótesis singulares debido a MÉTODO DEL ACUERDO. MÉTODOS DE MILL. véase ESCEPTICISMO. SOLIPSISMO. soluto. troducción de una hipótesis que puede resultar de anteriores inducciones. ESCEPTICISMO. DUHEM.(H  A) Véase también CATEGORICIDAD. Ésta es la razón por la que Karl Popper y sus seguidores consideran que el MÉTODO DE LA DIFERENCIA . mación relativa a las condiciones iniciales. una cuerpo de conocimiento científico no se considera serie de ocurrencias reiteradas de O pueden ser vistas ahora totalmente adecuada. NATURALISMO. la expre. puramente deductivas de esta conjunción se deri- van como predicciones. la hipótesis es «todo metal es maleable» y «esta pieza de metal está siendo golpeada en este mo. no. se sigue condiciones necesarias. véase NATURALISMO. A. sí es válido deductivamente (el argumento tiene la JCOR forma de un modus tollens). Véase también CONTRASTABILIDAD. y O una de las consecuencias contrastables de (H ⋅ A). por grande que sea su como una confirmación de la conjunción (H  A) o éxito en la consecución de los objetivos del método puede hacerla simplemente más probable. Las críticas a este método suelen indicar que hay infinitas hipótesis MÉTODO DE RESIDUOS. METODOLÓGICO. cuyas limitaciones han sido demostradas por Hume. alguna de cuyas partes puede ser elimi- MÉTODO ESCOLÁSTICO. y experimental. Por ésta y otras razones. véase FILOSOFÍA DE LA CIENCIA. FORMALIZACIÓN. la semántica y el sis- tema deductivo). Por otra axiomático original. la exposición axiomática crítica de un de la afirmación del consecuente. H es la hipótesis. ulte. CONSERVADURISMO. algunas de ellas muy débilmente —————— conectadas con el significado original. MÉTODO SOCRÁTICO. parte. para evaluar las consecuencias lógicas de ciertos REB estados de cosas tomados como hipótesis. MÉTODO HIPOTÉTICO-DEDUCTIVO. de una conjetura o de un METODOLÓGICO. (H  A) mas efectivos de deducción formal. de tal manera que las predicciones sa- MÉTODO DE TABLAS DE VERDAD. Se aplica empezando por la in. que éstas se encuentran siempre dentro de teorías complejas. combina lógicamente con una afirmación relativa a ciertas condiciones iniciales. véase SÓCRATES. De una manera algo más formal. procedimiento PROBLEMA DE LA CURVA DE APROXIMACIÓN. una afir. procedimientos para descubrir mento» establece las condiciones iniciales. véase MÉTODOS DE método H-D tiene un mejor uso en la búsqueda de MILL.