Elementos de la lgica simblica: por Hans Reichenbach

46 NOMBRES PROPIOS Una clasificacin lgica de las partes del discurso del lenguaje-objeto comienza con una divisin de palabras en tres categoras principales. En la primera tenemos trminos usados como argumentos; en la segunda, trminos que utilizamos como funciones; en la tercera, trminos lgicos, por ejemplo. Trminos como es y o, que indican la estructura lgica de la estructura de la oracin. En 46-51 nos ocuparemos de la primera categora; en 52-54 con la segunda y en 55-57 con la tercera. La clase ms simple de argumentos es un nombre propio. Un nombre propio es un smbolo coordinado por definicin a una cosa individual. Usamos nombres propios para personas, empresas comerciales, algunos animales, ciudades, pases, barcos, estrellas. Si un trmino es denominado nombre propio es necesario que exista una cosa que le corresponda. Nombres mticos, como Zeus no son por tanto nombres propios, sino slo nombres, v.gr. palabras que son utilizadas como nombres propios, a saber, como argumentos de funciones. Las sentencias que afirman acerca de las propiedades de tales individuos mticos no son por tanto, objetivamente verdaderas pero expresan una forma de existencia ficticia de la que nos ocuparemos ms adelante. Que las declaraciones verdaderas contengan nombres propios, afirma la existencia de individuos respectivos los cuales son expresados en relacin (5, 18). Por otra parte, la declaracin (aseveracin?) de existencia es derivable incluso si la oracin que contiene el nombre propio no es verdadera. Este hecho se muestra a continuacin: si Concebir la funcin escribir la oracin es falso, la oracin ser verdadera.

como la representacin de una funcin determinada g entonces podemos verdadera ; y con el uso de (5, 18) derivaremos:

Reemplazando g por

llegamos a la oracin:

Vemos que la sintaxis de los nombres propios est construida de tal manera que una declaracin que contenga un nombre propio implica la existencia de un individuo si la afirmacin es cierta. Este hecho es tambin expresado en relacin (19, 43), cosa que afirma la existencia independiente de cualquier declaracin verdadera o . El conocimiento as transmitido por la ocurrencia? De un nombre propio, empero, no es conocimiento sobre el mundo fsico, refiere slo al lenguaje que usamos. Todo lo que un nombre propio nos dice es que hay algo a lo que le corresponde; pero tal conocimiento suministra una informacin nica del lenguaje ya que slo clasifica el nombre propio como un trmino que denota algo. Este es la misma clase de conocimiento que adquirimos a partir de la ocurrencia de otros smbolos; de hecho, una clasificacin de smbolos que denotan cosas, smbolos que denotan funciones, smbolos para las operaciones proposicionales, etc,. Hay que saber si queremos emplear exitosamente smbolos.

47 DESCRIPCIONES El nmero de nombres propios es pequeo en comparacin con el nmero de cosas individuales en los cuales estamos interesados. Por lo tanto el lenguaje ha desarrollado otro mtodo de particularizar un objeto individual, el mtodo de la descripcin. Un tipo de descripcin es dada a travs del predicado, o a una combinacin de predicados, elegido de tal manera que slo hay una cosa que le satisfaga. De esa manera, podemos describir a un hombre como el primer hombre que vio una retina humana viva. Sucede que en este caso la descripcin determina a un hombre que tiene un nombre conocido, 'Hermann von Helmholtz es decir, el fsico que lleva este nombre que por medio del oftalmoscopio inventado por l, fue el primero en tener la experiencia ya mencionada. La descripcin el primer hombre que hizo fuego tambin determina a una persona definida, pero no sabemos su nombre y probablemente no tena ninguno. Considerando una combinacin de predicados como un predicado, debemos decir que esta clase de descripcin es dada por un predicado cuya extensin es un particular. Una descripcin de una segunda clase difiere de la primera que contiene, adems de un predicado, un nombre propio de un individuo por referencia a otro individuo el cual est determinado. La descripcin la mam de Napoleon contiene el predicado en dos plazas Madre y el nombre propio Napolen; la persona en cuestin est determinado como el individuo que tiene la relacin de ser madre de Napoleon. De la misma clase estn las descripciones del tipo La casa de John o El Barco en el cual Coln descubri Amrica. Esta es la especie de descripcin mayormente usada. Si tenemos en cuenta estas expresiones para las descripciones dadas por los predicados complejos, los dos tipos de descripciones asumen la misma forma, y por lo tanto podemos subsumir todas las descripciones en la definicin: una descripcin es dada por un predicado cuya extensin es un particular. Cuando usamos una descripcin debemos asegurarnos si hay un individuo satisfaciendo esa descripcin. As, la descripcin de "El rey de Francia" pretende hacer referencia a la actualidad, no determina un individuo, porque no hay en la actualidad ningn rey de Francia, mientras que la descripcin de "rey de Inglaterra" es determinante a cierta persona. Se indica la existencia de una, y slo una cosa, correspondiente al poner el artculo definido antes de la descripcin. As, decimos "el rey de Inglaterra", y emplean esta expresin como un nombre propio como un argumento en oraciones, por ejemplo, en la frase "el rey de Inglaterra fue coronado en la Abada de Westminster". No hay que combinar el artculo definido con la frase "rey de Francia"; frases as construidas, como "el rey de Francia es un francs" son falsas, ya que incluyen la afirmacin de que existe una tal persona. El uso de la palabra el" distingue a la oracin de la mera implicacin "si hubiera un rey de Francia sera francs", una frase probablemente cierta. Por otra parte, el artculo "el" interpretado con un nombre singular excluye tambin el caso de que haya ms de individuo que satisface la descripcin. Por lo tanto es falso decir "el ministro de Inglaterra hizo un discurso"; la forma correcta sera "un ministro de Inglaterra hizo un discurso". El artculo indefinido indica que hay ms de un individuo que satisfaga la descripcin.
Las lenguas que no tienen artculo definido, como el latn o el turco, usan como descripcin el sujeto en forma singular, como en "Rex Francorum", que significa "el rey de los franceses". Dado que el Latn no tiene tampoco un artculo indefinido, la distincin entre el uso descriptivo del sujeto y el uso que expresa pertenencia a una clase no se indica aqu, sino que debe ser conocida por el contexto. El idioma turco tiene un artculo indefinido, por lo que la forma descriptiva construido sin un artculo es inequvoca. En casos excepcionales, un uso similar es reconocido en Ingls: el artculo definido a veces puede ser omitido, como en "George VI es el rey de Inglaterra", o frases en aposicin. Por otra parte, el artculo definido se utiliza a veces incluso cuando la descripcin es ambigua, como en oraciones del tipo "el tren llegar a las 7 pm". La adicin necesaria a continuacin, se entiende. Por lo general, consiste en una referencia a una declaracin anterior, por ejemplo, se puede asumir en forma "el tren del que hablamos". En estos casos el artculo definido asume la funcin de lo que se llama en la gramtica "un adjetivo demostrativo", con cuyo significado es histricamente conectados. De hecho, la palabra "el" es un demostrativo de edad, en relacin con "que". Del mismo modo, los artculos franceses "le" y "la" se derivan de los adjetivos demostrativos latinos "ille" y "illa", que significa "eso".

Las declaraciones que contengan un nombre propio, y las declaraciones que contengan la descripcin, son similares en la medida en que nos dicen que hay una cosa correspondiente. Sin embargo, se diferencian en que el nombre correcto es introducido, por definicin, como un signo de la cosa, mientras que si se aplica una descripcin de una cosa debemos preguntarnos si la solicitud es correcta. As, el enunciado "Londres se llama 'London'" nos dice que slo hay una cosa que tiene ese nombre, el resto es tautolgico, por definicin. Por el contrario, la afirmacin "Londres es la capital de Inglaterra" no slo nos dice que hay una cosa llamada "Londres", pero tambin aade informacin sinttica sobre la cosa. La palabra "es" en este ejemplo expresa la relacin de identidad. Hasta ahora hemos mencionado slo cosas fsicas y las personas como objetos de argumento de funciones. Una segunda clase de argumento es dado en las determinaciones espacio-temporales. La frase "John conoci a Jeanne en Hollywood el martes a las 8 pm" tiene como argumentos los dos nombres propios "John" y "Jeanne", el espacio indicacin "Hollywood", y la indicacin de tiempo "Martes 8 pm", por lo tanto, representa un cuatro plazas funcin "f (x, y, s, t). como tenemos slo unos pocos nombres para indicciones espacio-temporales (por ejemplo," Trafalgar Square ", Diluvium", etc), el lenguaje ha desarrollado para este propsito un sistema de descripciones que corresponden a las coordenadas matemticas. Para el tiempo de un punto cero se define como el punto en el tiempo simultneo con un evento determinado, por ejemplo, el nacimiento de Jesucristo, tenemos as una descripcin por medio de una funcin compleja. La indicacin de tiempo "5 de diciembre de 1940" significa "el da que es 1.940 aos, 11 meses y 5 das despus del punto cero". Del mismo modo, las indicaciones espaciales se dan por medio de las distancias desde el punto cero. los nmeros introducidos por estas descripciones tomar el lugar de los nombres utilizados en la caracterizacin ms primitivo de los argumentos. La superioridad de este mtodo consiste en la presentacin de los argumentos de los objetos en una forma ordenada, lo que no slo simplifica el hallazgo de un objeto as descrito, pero tambin hace posible la introduccin de mtodos matemticos. El uso de las indicaciones del espacio-tiempo es un medio importante de hacer descripciones de cosas sin ambigedades. As documentos de identificacin como pasaportes, muestran el lugar y la hora de nacimiento de las personas, en adicin al nombre. Este tipo de descripcin se utiliza incluso para las presentaciones de los nombres propios de personas. En el registro de nacimientos encontramos afirmaciones del tipo "el nio nacido de la seora N el 17 de junio de 1917, recibe el nombre de Isabelle". Por supuesto, no siempre es necesario el uso de los indicadores espacio-temporales de los nacimientos en descripciones utilizadas para la introduccin de los nombres propios. Muchos nombres propios son originalmente descripciones, el significado de que ms tarde ha cado en el olvido, como "Leonardo da Vinci", "Eduardo el Confesor", "Smith". La lnea de demarcacin entre los nombres propios y las descripciones de lo que no puede ser siempre clara. Las declaraciones que expresan la relacin de identidad, como (2), no son la nica clase de declaraciones que contienen descripciones. Podemos introducir descripciones como argumentos en cada funcin proposicional. Comencemos con el ejemplo "Jorge VI fue coronado en la Abada

de Westminster". Por "George VI" podemos poner "el rey de Inglaterra, es decir, tenemos la declaracin (imagen 5)

Vemos que una frase con una descripcin como argumento tiene una estructura similar a la de una oracin con un nombre propio como argumento, con la diferencia, que el argumento en s tiene una estructura interna, es un trmino compuesto que incluye una funcin proposicional, otros argumentos y una variable enlazada. cuando se nos pide dar una definicin de la iotaoperador hay que decir que no podemos definir un trmino como (1), pero que nos puede dar una definicin por cada frase en la que el operador iota se produce. Es decir, slo tenemos una definicin en uso para el iota-operador.
Vemos que una oracin que contenga una descripcin se puede sustituir por una sentencia existencial que incluye una calificacin que slo hay un argumento que satisface la funcin, esta calificacin se expresa en el ltimo trmino de (7) indica que todas las cosas satisfacer la funcin k son indetical con x. La notacin (6) corresponde exactamente a la forma de hablar utiliza en el lenguaje coloquial; (7) es una transcripcin en trminos de un operador existencial. Con el fin de simplificar nuestra notacin vamos a introducir una abreviatura para una condicin que indica que hay una y solo individuo que tiene una f cierta propiedad. Escribimos (imagen8) Entonces podemos escribir la definicin general de la iota-operador en la forma (imagen 9) La sintaxis de la iotaa-operador requiere algunas observaciones adicionales. Esta sintaxis es muy simple cuando el operador se utiliza adecuadamente, es decir, cuando hay uno y slo un objeto que tiene la propiedad f. En este caso definicin (9) se puede aplicar con respecto a cada expresin que tiene el iota-expresin como argumento. Esto puede demostrarse como sigue. Consideremos la expresin (imagen 10) Tenemos dos formas de eliminar la iota-operador. En primer lugar podemos aplicar definicin (9) a la funcin "g", y luego agregar la barra de negacin a travs de toda la expresin resultante. Tenemos entonces (imagen 11) La segunda manera es considerar la funcin ocurring en (10) como una funcin () de modo que tenemos que aplicar (9) con la sustitucin de () para "g", de este modo, llegar a (imagen 12) Con la condicin de que no es uno y nico objeto que tiene la propiedad F, estas dos expresiones son equivalentes, ya que tenemos la relacin tautolgica (imagen 13) En un uso adecuado de la iota-operador, es decir, cuando un descriptum existe, por lo tanto, no es necesario distinguir entre (11) y (12). Consideraciones similares se mantenga para todo tipo de expresiones compuestas que contienen la iota-argumento. Si el operador es utilizado correctamente por lo que es irrelevante en qu forma el operador est elminated, las expresiones resultantes sern siempre equivalentes. La iota-argumento tiene aqu las propiedades sintcticas de un nombre propio. Es diferente para un uso indebido de la iota-operador, es decir, cuando no hay ningn objeto, o ms de un objeto, satistying "f (x)". En los casos sucj la iota-notacin debe ser complementado con la utilizacin de un smbolo indicatin del alcance de la iota-operador, es decir, un smbolo que indica que parte de la frmula a cual definicin (9) est destinado a aplicar. Usaremos half.brackets para la indicacin de esta envergadura. La expresin (10) luego admite dos interpretaciones (imagen 14 y 15) En la iterpretation (14) la expresin conduce al sentido (11), mientras que en la interpretacion (15) se llega a el sentido (12). Los dos significados no son equivalentes cuando no descriptum existe. Un ejemplo de (14) es la siguiente afirmacin: es falso que el actual rey de Francia es de cuarenta aos de edad, es un ejemplo para la declaracin (%!): El actual rey de Francia no es de cuarenta aos de edad. La primera afirmacin es verdadera, la segunda es falsa. Otro ejemplo est dado por los dos estados (imagen 16 y 17) Ellos son traducibles, respectivamente, en las dos sentencias (imagen 18 y 19)

Con un uso indebido de iota-operador (18) es falsa, mientras que (19) es cierto incluso en este caso. Por lo tanto, es falso decir, utilizando (18): el actual rey de Francia es de cuarenta aos o cuarenta aos o no, pero es cierto: el actual rey de Francia es de cuarenta aos de edad o que es falso que l es cuarenta aos. (16) muestra a travs de su transcripcin en (18) que en un uso indebido de la iota argumento no se comporta como un nombre propio y por lo tanto no permite la afirmacin de la datur tertium non. Si la iota-operador se utiliza adecuadamente, la indicacin de alcance puede ser disminuido. A la inversa, se interpretan frmulas que contienen el iota-operador, es decir, como la afirmacin de la declaracin (imagen 19,1), adems de su significado directo. La introduccin del smbolo posibilidades de un uso incorrecto del operador tiene la ventaja de que dicha declaracin como "el actual rey de Francia es de cuarenta aos" no tiene por qu considerarse como carente de sentido, sino que son simplemente falsas, y que incluso se puede hacer por cierto adittion de una negacin fuera del mbito de aplicacin.

Aunque las descripciones son ampliamente utilizadas como argumentos en lenguaje coloquial, el artculo definido no siempre indica una descripcin. El lenguaje tiene una tendencia a la igualacin, a expresar estructuras lgicamente complicadas por la forma lingstica de estructuras simples. As declaraciones generales son casi siempre expresadas en forma anloga a declaraciones especializadas. Decimos "el len es un animal feroz", y decir con esto "todos los leones son animales feroces". El artculo definido se utiliza aqu, no como una indicacin de una descripcin, pero con el fin de expresar la generalidad. En la interpretacin lgica de dicha declaracin por lo tanto, debe tener cuidado, la correcta formalizacin de la declaracin "el len es un animal feroz" sera (imagen 20) La mala interpretacin de tales declaraciones es la raz de la controversia medieval realista y nominalistas, el realismo medieval, El funcionamiento de especializacin se define entonces como la declaracin de una variable libre por un individuo plazo. Una declaracin especializado es una declaracin en la que se expresa por lo menos un argumento por un trminos individuales. A medida que estos trminos individuopuede consistir en descripciones, una declaracin especial puede incluir variables enlazadas. Las declaraciones en las que ningn argumento es un individuo plazo, y que no puede ser escrita de tal forma, se llaman enunciados universales. Esta titulacin es necesario porque individuodescripciones pueden ser eliminados dando la instruccin como una forma (7). Si la descripcin se da sin el uso de otros individuos-trminos, como en los ejemplos anteriores, la declaracin transform entonces no contienen trminos individuo. De acuerdo con nuestra definicin, sin embargo, tal declaracin no es una declaracin universal porque puede ser escrita en una forma tautolgicamente equivalente que contiene un trmino individual. Adems de las descripciones consideradas hasta ahora, thre existe un segundo tipo de descripcin. Si es necesario distinguisch los dos tipos, las descripciones de la primera clase se denominan descripciones definidas ya que determinan uno y slo un individuo. En el segundo tipo de descripcin de la condicin de unicidad se omite, sino que estn llamados descripciones indefinidas. Mientras que el segundo tipo de descripciones del lenguaje conversacional se construyen mediante el artculo definido "el", las descripciones indefinidas se construyen en trminos del artculo indefinido "un". considerer la frase "un hombre le respondi a Pedro". La

frase "un hombre" puede considerarse como una descripcin indefinida, es decir, una descripcin de una persona por tiempo indefinido; ut afirma existencia pero singularidad no estatales, por la descripcin del smbolo indefinido (imagen 20.1) se utiliza, la sentencia puede ser entonces escrito en la forma (imagen 21) donde "f" se refiere a un hombre, g para una respuesta, y y1 para Peter. La definicin de la nsmbolo est dada por la regla de que (1) tiene el significado (imagen 22) Esta definicin difiere de (7) por la omisin de una condicin tal como se indica en los parntesis de (7), es decir, una condicin que indica que slo hay un x de la propiedad f. Mientras que en la representacin simblica de la forma (22) aparece tan conveniente como (21), la forma (21) tiene la ventaja de que se ajusta ms a la utilizacin del lenguaje conversacional. Nos inclinamos a interpretar frase como indicando una relacin entre un hombre y Petter, por lo que estos dos trminos deben ocupar posiciones anlogas en la formulacin simblica. Desde un punto de vista tcnico, sin embargo, el uso de las descripciones indefinidas est conectado con ciertas desventajas. La relacin (13) no se mantiene cuando el superndice en f se omite, en consecuencia, las descripciones indefinidos debe estar equipado con las reglas de alcance especficos, incluso en el uso correcto, es decir, cuando hay un x de la propiedad f. Por lo tanto, establecer la regla de que el alcance de la n-operador es siempre el mbito ms restringido posible. As, la expresin (imagen 23) es decir (imagen 24) bu (23) no significa (imagen 25) Esta tule alcance corresponde al uso de la lengua, por lo que cuando se dice que "no es cierto que un hombre le respondi a Pedro" nos referimos (24) no, (25), ya que (25) se aplica incluso si un hombre le contest Pedro. La regla de mbito para las descripciones indefinidas en las definiciones. Podramos attempr para introducir una funcin h por la definicin (imagen 26). Cuando ahora aplicar la definicin de la n-operador al lado izquierdo de (26), se llega a el sentido (25). La razn es que la regla de "usar el ms estrecho posible alcance" conduzca a un resultado diferente cuando la funcin "h" se utiliza. Por lo tanto, establecer la regla de que las descripciones indefinidas no debe ser utilizado en las definiciones. Esta regla se sigue de la regla 4, p.123, ya que la descripcin indefinida representa un operador existencial en el definiendum. Debido a estas complicaciones descripciones indefinidas rara vez se emplea en una lgica simblica. Son necesarias, sin embargo, para una gramtica logstica debido a su aplicacin en un lenguaje convertational. Al igual que el artculo definido, el artculo indefinido a veces se aplica para la expresin, no de la existencia, sino de generalidad y en este sentido no representa una descripcin, pero tiene el significado de "todo". Nos referimos a los ejemplos en el extremo de Paragrafo 21.