Estudios de Lógica y Lenguaje (I)

Transcripción

1 Estudios de Lógica y Lenguaje (I) LLIC-S Ángel Nepomuceno Fernández, Francisco José Salguero Lamillar y Fernando Soler Toscano (editores)

2 Reservados todos los derechos. El contenido de esta publicación no puede ser reproducido, ni en todo ni en parte, ni transmitido, ni registrado por ningún sistema de recuperación de información, en ninguna forma ni por ningún medio, sin el permiso previo, por escrito, de MERGABLUM. Edición y Comunicación, S.L. c Los autores, 2005 c MERGABLUM. Edición y Comunicación, S.L., 2005 Parque Industrial PISA, c/ Brújula, 10 Telf Mairena del Aljarafe Imprime: MINERVA. Artes Gráficas Enramadilla, SEVILLA Depósito Legal: SE I.S.B.N.:

3 Índice general Prólogo Lista de autores xiii xvii 1. El lenguaje y la representación del conocimiento en el marco de la ciencia cognitiva 1 Francisco José Salguero Lamillar 1.1. Delimitación del campo de la ciencia cognitiva Modelos del conocimiento humano El papel del lenguaje en la cognición humana y en su representación Cuestiones sobre el programa de la lingüística antropológica 13 Miguel Peyró García 3. Predicación prelingüística? Comentarios en torno a una propuesta de Hurford 23 Teresa Bejarano Fernández 3.1. Propuesta de Hurford Examen de los argumentos de Hurford Argumentos contra Hurford de los comentaristas Reformulando el núcleo común de los anteriores argumentos contra Hurford La sombra de un argumento contra la composicionalidad sintáctica de la percepción Acerca de la conexión entre el lenguaje y los dos sistemas visuales: Otra posibilidad?

4 X Índice general 4. De tocar el cielo a morder el polvo: modismos y metáforas zombis 49 Marian Pérez Bernal 4.1. Fraseología y metáfora Metáforas vivas o metáforas muertas? Una interesante propuesta: los modelos icónicos y las archimetáforas La metáfora en la fraseología: ventana o espejo? Y sin embargo estos zombis pueden ser muy útiles En torno a la arquitectura de la gramática en el modelo generativista: revisión y nuevas perspectivas 67 M a. Victoria Camacho Taboada 5.1. La arquitectura de la gramática jerárquica clásica La arquitectura de la gramática en el modelo de Principios y Parámetros Desajustes entre componentes Conclusión: la arquitectura de la gramática paralela Programación de gramáticas clausales en Prolog 91 Fernando Soler Toscano 6.1. Introducción Nuestra primera gramática en Prolog Concordancia de género y número Construcción de árboles sintácticos Pequeño sistema de traducción Una gramática más compleja Comparación con las gramáticas independientes del contexto Música y astronomía. El modelo pitagórico del Timeo 113 M a. Carmen Hernández Martín 8. Son tan altos los escalones que separan la lógica proposicional de la de primer y segundo orden? 125 Emilio Díaz Estévez 8.1. La indecidibilidad de R La aritmética proposicional Una nueva paradoja y su explicación

5 Índice general XI 9. Razonamiento explicativo 149 Ángel Nepomuceno Fernández 9.1. Introducción Clases de inferencia Explicación e inferencia Abducción y lógica clásica Un cálculo explicativo Consideraciones finales Perspectivas en lógica epistémica 169 Emilio F. Gómez-Caminero Parejo Introducción La lógica del conocimiento El concepto de creencia Saber y creer combinados Conocimiento de grupos Conocimiento y tiempo Acciones epistémicas Conclusiones Una visión computacional de la célula 197 Mario J. Pérez-Jiménez Introducción Las membranas biológicas Componentes básicas de una célula Sistemas celulares con membranas: una descripción informal Variantes de sistemas celulares Resolución de problemas mediante sistemas celulares Computación Cuántica: un nuevo paradigma 229 Juan Antonio Nepomuceno Chamorro Introducción Algunas ideas Cómo es un algoritmo cuántico Procesamiento del Lenguaje Natural Conclusiones

6 Prólogo El día treinta y uno de marzo de dos mil cuatro un grupo de investigadores de las dos universidades sevillanas celebró en Carmona un encuentro multidisciplinar al que se denominó Jornada de Lógica y Lenguaje: Información y Representación. Varias eran las razones para llevar a buen término esta iniciativa. De un lado, la mayoría había planteado un proyecto de investigación al Ministerio de Educación y Ciencia, posteriormente autorizado con la referencia HUM , y este evento se presentaba como el pistoletazo de salida para el comienzo de la actividad. De otro, todos ellos comparten el convencimiento de que la integración de conocimientos, tanto humanísticos como científico-técnicos, es necesaria para hacer frente a los retos que plantea la sociedad de la información; su concreción es difícil en la actual estructuración de nuestros centros y planes de estudio, proclives a la compartimentación, tal vez útil para una formación especializada, no menos necesaria, pero claramente insuficiente para aquel propósito y una mayor repercusión en el progreso social. En cualquier caso, el grupo cuenta con probada experiencia en actividades interdisciplinares y el encuentro viene a ser un paso más en esta dirección. Son varias las disciplinas que definen los contenidos del emergente campo denominado de Lógica, Lenguaje e Información (LLI), que se caracteriza por el uso de los métodos lógicos y computacionales en el estudio de los lenguajes naturales y en la investigación científica en general. La filosofía del lenguaje, la lingüística general, la lógica, la epistemología y las ciencias de la computación, entre otras disciplinas, aportan por ello los elementos necesarios para perfilar el adecuado bagaje conceptual y metodológico de este campo. En la sede de la Universidad Pablo de Olavide de Carmona, la Casa Puerta de Córdoba, hallamos un marco exquisito para celebrar unas intensas sesiones de trabajo: la presentación de un resumen por parte de cada autor seguida de un coloquio con los participantes. Para culminar la tarea

7 XIV Prólogo así comenzada, se acordó la revisión de los materiales para su publicación, recogiéndose, finalmente, doce aportaciones. En este volumen se reúnen, pues, varios de los trabajos elaborados a partir de aquellas primeras comunicaciones presentadas en la Jornada de Lógica y Lenguaje: Información y Representación, como continuación de otras actividades anteriores, cuya finalidad ha sido la de favorecer el diálogo interdisciplinar y la integración de saberes que demanda la globalización y la sociedad del conocimiento. La organización de los capítulos se ha hecho conjugando una cierta unidad de objeto con la pluralidad de perspectivas. El primer capítulo es una presentación del campo de la ciencia cognitiva en relación con la representación del conocimiento, en el que el lenguaje aparece como uno de los elementos que aglutinan el campo, en la misma medida que el interés por los modelos computacionales de la cognición humana. En el segundo capítulo se realiza una revisión crítica del origen y los fundamentos de la lingüística antropológica y de algunos de los prejuicios que la lastran, como el eurocentrismo o el relativismo cultural. En el capítulo tercero, la autora intenta conciliar las teorías del lingüista James Hurford acerca de los protolenguajes y el surgimiento de la predicación con la percepción humana y el desarrollo cognitivo de la visión. El capítulo cuarto trata sobre las metáforas y su productividad lingüística en el terreno de la fraseología, en relación con ciertos esquemas cognitivos básicos que las animan. El quinto capítulo presenta la arquitectura gramatical que subyace a diferentes modelos de gramática generativa, defendiendo la generatividad de los componentes fonológico y semántico de la gramática, frente a la propuesta sintáctico-céntrica original. El capítulo sexto presenta algunas técnicas elementales en la programación de gramáticas, haciendo una introducción a la escritura en Prolog de Gramáticas de Cláusulas Definidas. En el capítulo séptimo, la autora estudia las relaciones entre música y astronomía, como primera aproximación de una investigación sobre el constructivismo y su papel en la historia de la ciencia. En concreto, fija su atención en el Timeo de Platón, donde el modelo pitagórico de la música primer modelo matemático de un fenómeno físico, el sonido es la metáfora ideal para tratar de entender el universo. En el capítulo octavo se estudian las diferencias entre lógica proposicional, de predicados de primer orden y de segundo orden y las aritméticas correspondientes, alcanzando alguna formulación paradójica para la que se ofrece una explicación. El capítulo noveno propone la inferencia abductiva y su estudio lógico-formal como lógica de la explicación científica. En el capítulo décimo se presentan diversas perspectivas en el ámbito de la lógica epistémica, no sólo de lógica epistémica y doxástica, con o sin operadores

8 Prólogo XV de conocimiento o creencia, sino también lógica epistémica temporal y lógica de acciones epistémicas. En el capítulo undécimo, el autor se ocupa de un análisis, desde un punto de vista computacional, de algunos aspectos de la célula, la cual inspira nuevos dispositivos de computación; asimismo estudia la potencia y eficiencia de tales mecanismos. Por último, en el duodécimo capítulo, se hace una introducción a otro modelo de computación no convencional, la computación cuántica, a su significado de cambio paradigmático y se realizan algunas sugerencias de nuevos enfoques para problemas convencionales, en particular en lingüística computacional. Para la publicación se solicitó una ayuda a la investigación a la Consejería de Innovación, Ciencia y Empresa de la Junta de Andalucía. Esta ayuda, imprescindible para la edición, fue concedida en resolución de 15 de diciembre de 2004 (Referencia Resolución 4/2004 ). Resta mencionar una última motivación, de carácter más humano, para la celebración de aquella Jornada y la edición del presente volumen: la jubilación del Profesor Emilio Díaz Estévez, tras veinticinco años de docencia en la. Felizmente, el Dr. Díaz Estévez continúa su labor como Profesor Emérito, aportando a nuestro grupo sus conocimientos y su magisterio. Es por eso que a él está dedicado este libro. Sevilla, noviembre de 2005 Los editores

9 Lista de autores Teresa Bejarano Fernández M a Victoria Camacho Taboada Dpto. de Lengua Española, Lingüística y Teoría de la Literatura tutatis@us.es Emilio Díaz Estévez eestevez@us.es Emilio F. Gómez-Caminero Parejo egcaminero@yahoo.es María del Carmen Hernández Martín mchm@us.es

10 XVIII Lista de autores Juan Antonio Nepomuceno Chamorro Dpto. de Lenguajes y Sistemas Informáticos janepo@lsi.us.es Ángel Nepomuceno Fernández nepomuce@us.es Marian Pérez Bernal Dpto. de Geografía, Historia y Filosofía Universidad Pablo de Olavide mdperber@dhuma.upo.es Mario J. Pérez Jiménez Dpto. de Ciencias de la Computación e Inteligencia Artificial marper@us.es Miguel Peyró García Dpto. de Lengua Española, Lingüística y Teoría de la Literatura mpeyro@us.es Francisco José Salguero Lamillar Dpto. de Lengua Española, Lingüística y Teoría de la Literatura salguero@us.es Fernando Soler Toscano fsoler@us.es