Uso y mencin

(Tomado de Goldfarb: Deductive Logic, Cambridge, Hacket Publishing Company, Inc. 2003, pp. 53-57. Trad. Numa Tortolero) Una proposicin condicional, es decir, una con la forma: Si p entonces q es una relacin entre proposiciones; en el ejemplo, entre p y q. Pero aseverar una proposicin condicional no establece nada acerca de las proposiciones que la constituyen. Si aseveramos: Si el senador tiene inmunidad,entonces testificar entonces no estoy hablando de los enunciados sino del senador. si-entonces no es una relacin entre enunciados, no ms que lo puede ser y. Para aclararlo, debemos pensar un poco en la distincin entre usi y mencin. Usamos palabras para hablar de cosas: En el enunciado: (1) Frege dise la lgica simblica

la primera palabra es usada para hacer referencia a un lgico alemn. El enunciado menciona a este lgico y usa un nombre para lograrlo. Similarmente, en el enunciado: (2) El autor de Los Fundamentos de la Aritmtica dise la lgica moderna

la oracin menciona al mismo lgico, y usa la expresin que consiste en las primeras ocho palabra para ello. Las primeras seis palabra de la oracin (2) constituyen un nombre complejo, un nombre de Gottlob Frege. En general, para hablar de un objeto usamos una expresin que es el nombre de ese objeto o, en otras palabras, una expresin que refiere a ese objeto. Evidentemente, el objeto mencionado no es parte del enunciado, sino su nombre. Puede surgir una co0nfusin cuando hablamos de entidades lingsticas. Si quiero mencionar hablar de o referirme a una expresin, no puedo usar esa expresin, pues si lo hiciera estara mencionando el objeto al cual se refiere la expresin. En vez de eso, debo usar un nombre de esa expresin. As que podra decir: (3) La primera palabra del enunciado (1) es un nombre de un lgico alemn

Las primeras seis palabras del enunciado (3) constituyen el nombre de una expresin. Si queremos obtener una verdad de ______ es el nombre de un lgico alemn debemos llenar el espacio en blanco no con el nombre de un lgico alemn sino con el nombre del nombre de un lgico alemn. Los lgicos adoptan una convencin sencilla para construir nombres de expresiones: un nombre para una expresin se forma colocando la expresin entre comillas. Por ejemplo:

'Frege' es el nombre de un lgico alemn 'Frege' hace referencia a Frege Es decir, en el enunciado (1) usamos la primera palabra para mencionar a Frege; la primera palabra es 'Frege'; en el enunciado (2) usamos las primeras ocho palabras para mencionar a Frege, estas palabras son: el autor de Los Fundamentos de la Aritmtica. De manera similar, cuando queremos mencionar (hablar de) un enunciado, usamos un nombre de un enunciado. Podramos decir El enunciado (1) es verdad o 'Frege dise la lgica simblica moderna' es verdad Un esquema es una expresin; as que para hablar acerca de (mencionar a) un esquema debemos usar un nombre del esquema: p q es un esquema p p es vlido 'p' implica 'p q' 'p' implica la disyuncin de 'p' y 'q' Ntese que las primeras seis palabras del ltimo ejemplo constituyen un nombre complejo del esquema 'p q'. En suma, para obtener una oracin que diga que un enunciado implica a otro, o que un esquema implica a otro, debemos usar la palabra implica en vez de nombres de los dos enunciados o esquemas. Por otra parte, cuando componemos un enunciado o esquema a partir de otros dos por medio de 'si-entonces' o el smbolo '' debemos usar los enunciados o esquemas mismos y no sus nombres. No mencionamos los enunciados o esquemas; no hay referencia a ellos, slo aparecen como parte de un enunciado o esquema mayor. As que para hablar de un esquema, usamos un nombre de ese esquema, con mucha frecuencia el nombre obtenido al encerrar al esquema entre comillas Qu hacemos entonces para hablar generalmente de esquemas? Naturalmente, expresiones como todo esquema y similares; pero para ciertos propsitos tambin debemos usar variables cuyo rango abarca esquemas y que llamamos variables sintcticas. As como podramos usar 'x' como una variable numrica y decir: (4) Un nmero x es impar s, y slo si, el cuadrado de x es impar

podemos usar X e Y como variables sintcticas y decir (5) Un esquema X implica un esquema Y si, y slo si el condicional con el antecedente X y el

consecuente Y es vlido. Las instancias particulares de (4) se obtienen reemplazando la variable 'x' con el nombre de un nmero, por ejemplo, '3 es impar si, y slo si, 3 al cuadrado es impar'. De la misma manera, las instancias particulares de (5) son obtenidas reemplazando las instancias particulares de X e Y con nombres de los esquemas, por ejemplo: (6) '-p' implica '(-p q)' si, y slo si el condicional con el antecedente '-p' y el consecuente '(p q)' es vlido. Observe que las ltimas trece palabras de (6) constituyen un nombre complejo del esquema '-p (p q)'.