María Manzano Arjona

María Manzano Arjona, (enero, 1950) es catedrática de Lógica y Filosofía de la ciencia en la Universidad de Salamanca. Becaria Fullbright senior el curso 1977-1978, en Berkeley, y profesor visitante en la Universidad de Stanford.

Además, es la coordinadora del Máster en Lógica y Filosofía de la ciencia^[1] en la Universidad de Salamanca.^[2]

Obras

Autora de múltiples publicaciones, tanto de libros, como capítulos de libro o artículos, todos vinculados con el área de Lógica. Algunas de sus publicaciones son:

Libros

• Lógica, Lógicas y Logicidad. College Publications. London [en preparación].
• Extensions of First-Order Logic. Cambridge University Press. Cambridge: U.K., 2005 (paperback).
• Lógica para principiantes, con Antonia Huertas. Alianza Editorial, S.A. Madrid, España, 2004, 2005 y 2006.
• Model Theory. Oxford University Press. Oxford: U.K., 1999.
• Teoría de Modelos. Alianza Editorial, S.A. Madrid, España, 1989 (agotado).
• Teoría de Tipos. Ediciones Universidad de Barcelona Barcelona, España, 1980.
• Sistemas Intermedios. Fundación Juan March: Serie Universitaria. Madrid, España, 1978.

Artículos y capítulos de libros

• "Lógica de orden superior" [2008], en Filosofía de la Lógica. María José Frápolli, editora. Tecnos. Madrid. España.
• "Teoría de Modelos" [2010] en Diccionario de Lógica, Argumentación y Retórica. Luis Vega Reñón, editor. Autora: María Manzano. Editorial Trotta.
• "Magical Diagonalisation" , con Enrique Alonso [2009]. En Dimensions of Logical Concepts. J.-Y. Béziau and A. Costa-Leite, eds. Coleção CLE, v.54, UNICAMP.
• "León Henkin", con Enrique Alonso [2007], en Lógica, Filosofía del Lenguaje y de la Lógica. A. Nepomuceno, F. J. Salguero, F. Soler editores. Mergablum. Sevilla.
• "Razonamiento formal" [2006], en 50 años de la Inteligencia Artificial. Antonio Fernández Caballero y Sergio Miguel Tomé eds. Albacete: España.
• "Diagonalization and Church's Thesis: Kleene's Homework", con Enrique Alonso. [2005] HPL (History and Philosophy of Logic) Taylor & Francis. U.K.
• "Introduction to Many-sorted logic" en Many Sorted Logic and its Applications, Tucker and Meinke eds. John Wiley and Sons. Chichester: U.K.
• "Divergencia y rivalidad entre lógicas". En Enciclopedia Iberoamericana de Filosofía. Volumen 27 de Filosofía de la Lógica. Raúl Orayen y Alberto Moretti eds. Trotta. España.

Editorial "Tools for Teaching Logic" con Hans van Ditmarsch, en Special issue Logic Journal of the IGPL. Oxford University Press

• "¿Qué es esa cosa llamada lógica? En Representación y logicidad. A. Nepomuceno ed. Fénix Editora. Sevilla.
• "A fashionable Partial and Heterogeneous mirror for Modality", con Antonia Huertas en JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthay. Jelle Gerbrandy et alts eds. Amsterdam University Press. Amsterdam
• "The Little Mermaid" [1998], en Truth in Perspective, Concepción Martinez et alt eds Ashgate. Aldershot (U.K).
• "Descriptive Dynamic Logic and and its Applications to Reflective Architectures” [1998], con Sierra, L. Godo, R. Lopez de Mantaras. In: Handbook of Fuzzy Computation Oxford University Press,
• "Life, Work and some Miracles of Alonzo Church" [1997] En The Journal of History and Philosophy of Logic. Taylor and Francis.London. U.K.

Referencias

Enlaces externos

• Página web personal.
• Ficha personal en Epiménides, web oficial del Máster en Lógica y Filosofía de la ciencia.