Alberto Moretti - En sayos analíticos

Referencias bibliográficas

Klimovsky, G. (1982), “Metalenguaje, jerarquía de lenguajes”, en: Klimovsky, G. (1984), Epistemología y psicoanálisis , Vol. I, Buenos Aires: Biebel, pp. 71-90.

—. (1984), “Significación, lenguaje y metalenguaje”, en Klimovsky, G. (1984), Epistemología y psicoanálisis , Vol. I, Buenos Aires: Biebel, pp. 91-99.

Moretti, A. (2013), “La lógica y la trama de las cosas”, aparecerá en Ideas y valores .

Orayen, R. (1986-1992), “Una paradoja en la semántica de la teoría de conjuntos”, en: Moretti, A. y G. Hurtado (comps.) (2003), La paradoja de Orayen , Buenos Aires: Eudeba, pp. 35-59.

—. (1989), Lógica, significado y ontología , Méxido D. F.: UNAM.

Quine, W. (1982), “Respuesta a Orayen”, Análisis filosófico II (1-2), pp. 72-76.

Simpson, T. M. (1964 1, 1975 2), Formas lógicas, realidad y significado , Buenos Aires: Eudeba.

—. (2017), La mano necesaria. Poemas y cavilaciones , Buenos Aires: Editorial Antigua.

*Ponencia en el 16 Latin American Symposium on Mathematical Logic – Satellite Colloquium of Philosophy of Logic. A Tribute for the 50th Anniversary of T M Simpson’s Formas lógicas, realidad y significado. Organizado por la Facultad de Ciencias Económicas (UBA), Buenos Aires, julio 2014. Apareció luego en Moretti, A., Orlando, E. y N. Stigol (comps.), A medio siglo de Formas lógicas, realidad y significado de T.M. Simpson , Buenos Aires: Eudeba-Sadaf, 2016.

1Los sistemas pretendidamente lógicos de Frege o de Russell eran, al menos, de segundo orden. Pero esto, puede alegarse, fue consecuencia de su afán por demostrar que la matemática es lógica y ese afán, por razones atendibles, ya no se tiene. Es interesante observar que para la lógica de predicados monádicos (fragmento de la preferida por Quine) no solo tenemos sistemas de prueba correctos y completos sino también decidibles. Y esta última propiedad, puede decirse, está tan ligada como las otras dos al sentido común de lo que llamamos lógica. El fragmento monádico se expandió siguiendo el deseo de validar como lógicos todos los razonamientos matemáticos. Quitado ese objetivo ¿por qué no frenar la expansión y detener allí el alcance de la lógica? Con el interesante resultado de que, entonces, la relación lógica de predicación vuelve a ser la puramente atributiva de cierta tradición ( FLRS, §§2, 3), la lógica no supera el alcance de una silogística ampliada y las relaciones se tratan como casos especiales de atributos que requieren postulados materiales.

2Aunque, veremos, así se plantea otro interrogante difícil acerca del alcance de este modo conjuntístico de determinar significados.

3Pero ¿cómo se identifican y evalúan esos frutos? Tal cosa ha de involucrar consideraciones externas a T y esto, probablemente, incluya la afirmación teórica de que la verdad o la utilidad de T requiere que existan ciertas entidades (las que integran el domino de sus variables).

4Pero ¿no intervendrá esta visión externa en el momento de justificar la elección del lenguaje-objeto?

5Aunque Quine no lo haya señalado, podría fortalecerse su posición apelando a un camino davidsoniano que emplee una estrategia tarskiana cuasiextensional (extensional excepto por el concepto de sostener como verdadero que, sin embargo, no discrimina significados oracionales) para atribuir condiciones veritativas a las oraciones comunes de modo que quedan establecidas las verdades lógicas.

6Moretti (2013) incluye un intento por agregar alguna claridad, que probablemente se agote en agregado de palabras. No evito la pertinente tentación de recordar aquí unos versos de Almafuerte, que tiempo atrás me señaló Simpson: “La azucena, la nieve y el armiño/ pierden su nitidez al microscopio/ el afán del análisis es propio/ del imbécil, del pérfido y del niño” (en ese caso espero que, con ayuda de los años, solo ocupemos la última categoría).

7Cfr. Simpson (2017). [Esta nota no pudo aparecer en la edición original].

Текст предоставлен ООО «ЛитРес».

Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.

Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.