Seminario de Grado: Todo

Dr Eduardo Barrio I.- Presentacin general del tema: Hay al menos dos estrategias de resistencia contra el enfoque segn el cual es posible cuantificar acerca de todo. De acuerdo a la primera, no hay una cosa, un dominio, capaz de incluirlo todo. Aunque se podra dudar acerca de que este punto de vista pueda ser establecido coherentemente, ya que parece implicar que hay algunos objetos que no estn en ningn dominio corriente, la idea es que no hay absoluta generalidad. La segunda, concede que hay una cosa como un dominio capaz de incluir todo, pero insiste en que no es posible determinar que ningn dominio de cuantificacin especifico de una de nuestras teoras formales es esa cosa. Todo nunca significa todo. Quine (1968) y Putnam (1980) han defendido esta segunda lnea de ataque y en los ltimos aos McGee (2000) ha ofrecido una respuesta a esos ataques. Rayo (2003), continuando la direccin de este ltimo, ha sostenido tambin que es posible defender la posibilidad de cuantificar en forma irrestricta. Un modo de advertir la importancia de la presente discusin es vincularla con la conocida paradoja de Russell (Parsons (1974) argumenta, por ejemplo, que la paradoja deja como enseanza que la cuantificacin aparentemente irrestricta deber ser vista como restricta), con los resultados que Orayen (2003) y Williamson (2004) han sealado, cada uno por separado, respecto de la teora de modelos y las interpretaciones conjuntistas y finalmente con los desarrollos de Boolos (1984) que aparentemente permiten hablar de colecciones que no son, ni pueden ser, conjuntos. El seminario intentar presentar, de manera clara y precisa, algunas dificultades que surgen al intentar interpretar, dentro del marco de la teora de modelos, al cuantificador universal como absolutamente general. Especficamente, se estudiarn los lmites expresivos de los lenguajes conjuntistas, y la posibilidad de hablar en el marco de la cuantificacin plural de totalidades que no formen un objeto. II.- Objetivos (i) Estudiar los lmites de las construcciones conjuntistas usadas por la teora de modelos para expresar su propia semntica. (ii) estudiar la relacin entre interpretaciones y estructuras conjuntistas

(iii) advertir algunas de las dificultades expresivas de los lenguajes formales para habar acerca de todo. III.- Plan temtico 1. Modelos, cuantificacin e interpretaciones conjuntistas a. Modos de interpretar lenguajes formales b. La teora de modelos: modos de interpretar vistos como entidades conjuntistas. c. Cuantificacin de Primer Orden: estructuras y dominios de interpretacin. d. Dominio de cuantificacin: conjuntos, clases, propiedades y contextos. e. La Paradoja de Russell y la cuantificacin irrestricta f. Absoluta generalidad vs generalidad relativista contexto h. Cuantificacin Plural y cuantificacin de segundo orden: Podemos hablar de todo? Totalidades que no pueden ser conjuntos. 2. Pluraridades y objetos a. La paradoja de Orayen y la posibilidad de hablar acerca de todo: Hay algn supuesto conjuntista necesario en la teora de modelos? b. Distintos proyectos semnticos: hablar acerca de todo vs dar una definicin de consecuencia. c. Modos de interpretar conjuntistas vs modos de interpretacin no conjuntistas d. El argumento de Rayo-Williamson e. A toda asignacin le puede corresponder un objeto? f. La teora de modelos como aproximacin a la semntica g. Jerarquas conjuntistas: ascenso ontolgico e ideolgico h. Hay razones para ser pesimistas? IV. Actividades planificadas: El profesor a cargo del seminario expondr los temas y problemas fundamentales del presente curso. Se asignarn exposiciones especiales a los participantes. g. La semntica y la pragmtica de los cuantificadores restrictos: dependencia del

V. Evaluacin: Cada alumno deber escribir un trabajo final (de no ms de 15 carillas) donde desarrolle uno de los temas del seminario. La nota se elaborar a partir de dicho trabajo. La asistencia a las clases tendr que ser de al menos el % 80.

VI. Requisitos Los alumnos deben ser capaces de leer en ingls. VII. Horario Viernes de 15 a 19hs.

VIII. Bibliografa

Parte 1: Modelos, cuantificacin e interpretaciones conjuntistas Boolos, G., 1984. To be is to be the value of a variable (or to be some values of some variables). Journal of Philosophy 81:430449. Boolos, G 1985. Nominalist Platonism, Philosophical Review 94: 327-344. Boolos, G. 1998a. Logic, Logic and Logic. Cambridge, MA: Harvard. Boolos, G. 1998b. A reply to Parsons Sets and classes. In Boolos 1998a. Chang C. and Keisler, J. Model Theory (North Holland, 1990) Cartwright, R. 1994. Speaking of everything, Nos 28: 120. Doest, K. Basic Model Theory (CSLI PU., 1996). Dummett, M. 1981. Frege: Philosophy of Language. Cambridge, MA: Harvard. Second edition. Hodges W. Model Theory (Cambridge, Cambridge U.P. 1993) Mendelson, E. Introduction to Mathematical Logic (Londres, Chapman and Hall, 1997). Putnam, Hilary. 1980. Models and Reality. Journal of Symbolic Logic 45: 464-482 Quine, W. V. 1968. Ontological relativity. Journal of Philosophy 65: 185212. Stanley, J. and Z. G. Szab. 2000. On quantifier domain restriction. Mind and Language 15: 21961.

Stanley, J. and Z. G. Szab (manuscrito) Domain od Quantification International Encyclopedia of Linguistics. Stanley, J. and T. Williamson, 1995. Quantifiers and context-dependence. Analysis 55:291295. 106. Parte 2: Pluraridades y objetos Glanzberg, M. Quantification and realism: everything gets bigger and better. Indito Linnebo, O., 2003 Plural Quantification Exposed Nos 37. 71-92. McGee, V Two Problems with Tarski.s Theory of Consequence Proc.of the Arist. Society 92 (1992). McGee, V. 2000. Everything. In Sher, G and Tieszen R. Between Logic and Intuition (Cambridge, Cambridge U.P. 2000). McGee, V. Universal universal Quantification: comments on Rayo and Williamson en Beall, J. Liars and Heaps (Oxford, Oxford U.P., 2003) Moretti, A y Hurtado G. La paradoja de Orayen (Buenos Aires, EUDEBA, 2003) Parsons, C. 1974. Sets and classes. Nos 8: 112. Rayo, A. 2002. Word and objects Nos 36: 43664. Rayo, A., 2003. When does everything mean everything? Analysis 63: 100 Rayo, A. 2005 Nota crtica sobre la paradoja de Orayen Crtica 37: 109 Rayo, A. and Williamson. T. A completeness theorem for unrestricted first-order languages en Beall, J. Liars and Heaps (Oxford, Oxford U.P., 2003) Williamson, T. 1999. Existence and contingency. Proceedings of the Aristotelian Society Suppl. Vol. 73: 181203. Repr. with printers errors corrected in Proceedings of the Aristotelian Society 2000, 100: 32143 (11739 in unbound edition). Williamson, T., 2004. Everything. Philosophical Perspectives 17:415465. Williamson, T. Unrestricted quantification Indito

Dr Eduardo Barrio Profesor Regular Adjunto Lgica