Manzano Arjona, María
Institución: Departamento de Filosofía y Lógica y Filosofía de la Ciencia de la Universidad de Salamanca
Dirección: Campus Unamuno. Edificio FES. 37007 Salamanca. Spain.
Teléfonos: 923294500 ext 3416
Email: mara@usal.es
Publicaciones:
Algunos libros
- The Life and Work of Leon Henkin: Essays on His Contributions. Manzano, M., Sain, I, y Alonso, E. (eds) Springer. 2014
- 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, 2006 y 2011.
- 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.
Algunos capítulos de libros y artículos
- Manzano, M. Alonso, E. Visions of Henkin. [2014]. Revista: Synthese. Editorial: Springer. (DOI) 10.1007/s11229-013-0389-7
- Manzano, M. Martins, M. A. y Huertas, A. A Semantics for Equational Hybrid Propositional Type Theory. [2014]. Revista: Bulletin of the Section of Logic. Editorial: Łódź University Press. 43:3/4 Páginas 121-138
- Areces, C., Blackburn, P. Huertas, A., y Manzano, M. [2011]. “Hybrid Type Theory, A Quarted in Four Movements”. Revista: Principia: an international journal of epistemology, ISSN 1808-1711, Vol. 15, Nº. 2, 2011 , págs. 225-247
- Manzano, M. Huertas, A., Areces, C. y Blackburn, P. [2014] “Completeness of Hybrid Type Theory”. doi.org/10.1007/s10992-012-9260-4. Revista: Journal of Philosophical Logic. Editorial: Springer.
- Manzano, M. Alonso, E. [2014]. "Leon Henkin" in: The Life and Work of Leon Henkin: Essays on His Contributions. Manzano, M., Sain, I, y Alonso, E. (eds) Editorial: Springer.
- Manzano, M. [2014]. "April the 19th" in: The Life and Work of Leon Henkin: Essays on His Contributions. Manzano, M., Sain, I, y Alonso, E. (eds) Editorial: Springer.
- Manzano, M. [2014]. "Henkin on Completeness" in: The Life and Work of Leon Henkin: Essays on His Contributions. Manzano, M., Sain, I, y Alonso, E. (eds) Editorial: Springer.
- Blackburn, P., Huertas, A., Manzano, M. Jørgensen, K. [2014]. "Henkin and Hybrid Logic" in: The Life and Work of Leon Henkin: Essays on His Contributions. Manzano, M., Sain, I, y Alonso, E. (eds) Editorial: Springer.
- Manzano, M. Alonso, E. “Completeness: from Gödel to Henkin”. [2013]. DOI: 10.1080/01445340.2013.816555. Revista: History and Philosophy of Logic. Editorial: Taylor and Francis.London. U.K.
- “Logic and Fiction”. Henrique Jales Ribeiro (Ed.) (2012). Inside Arguments: Logic and the Study of Argumentation. Newcastle upon Tyne (UK). Editorial: Cambridge Scholars Publishing.
- "Teoría de Modelos" [2011] en Compedio de Lógica, Argumentación y Retórica. L. Vega ed. Editorial: Trotta.
- "Antecedentes de la teoría de tipos híbrida" [2011]. En H. van Ditmarsch, F. Salguero y F. Soler (eds): Liber Amicorum Angel Nepomuceno: Homenaje en su sexuagésimo cumpleaños. Fenix Editora. Sevilla
- Manzano, M y Moreno, M. C. [2010] “Argumentos ontológicos”, BAJO PALABRA. Rvista de Filosofía. II Época, nº 5 ISSN: 1576-3935 (2010: 433-448)
- Manzano, M. y Alonso, E. [2009]. “Nociones de completud”. ISSN 07984324, EPISTEME NS, Vol. 29, No. 1, pp. 51-84.
- "Lógica de orden superior" [2008], en Filosofía de la Lógica. María José Frápolli, editora. Tecnos. Madrid. España (ver borrador)
- "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)C.
- "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 History and Philosophy of Logic. Taylor and Francis.London. U.K.
Investigación:
Últimos proyectos financiados
Hybrid Intensional Logic (FFI2013-47126-P)
MICINN. Investigador responsable. Duración prevista: hasta: 2016.
SUMMARY: Intensional Logic as understood here is a research program based upon the broad presupposition that so-called “intensional contexts” in natural language can be explained semantically by the idea of multiple reference. The inspiration for the semantic theories to be developed in this project is diverse, coming from linguistics, traditional philosophy, philosophical logic, philosophy of science, but also from computer science and mathematical logic.
The general goal of this project is to investigate how far the combination of type theoretic machinery with hybrid logic can solve historical and contemporary problems (both philosophical and technical) in intensional logic, and to try and solve them in a simple, general, easy-to-use, framework. This main goal has the following subgoals:
- To systematically study and classify existing intensional logic systems and their problems. Both philosophical and technical issues will need to be considered.
- To explore historical aspects of intensional logic.
- To construct and explore various hybrid (typed) intensional logics that address expressivity and completeness gaps in current intensional logic. To explore, when appropriate, computational aspects of the new systems.
- To emphasize the educational aspect of this work, particularly e-learning educational aspects. We intend to introduce “pedagogical” versions of intensional logics, maintain and improve branches of the summa logica portal (http://logicae.usal.es ) and to develope specific material for e-learning that meet current standards of interactivity.
Nociones de Completud (FFI2009-09345)
MICINN. Investigador responsable. Duración prevista: hasta: 2012.
SUMMARY: To reconcile the syntactic and semantic presentations of consequence is at the core of any logic. This same idea can also be understood as a balancing act, between the expressive capacity of a formal language and the computational power of a particular presentation.
The goal of this project is to investigate these fundamental issues. In particular, we have organized the work in the following three main lines:
- To investigate pure and applied logics, classic and non classic, focusing on algebraic, description and hybrid logics; aiming at, whenever possible, studying both first order and higher order versions. The common thread to investigate these formal languages is the completeness proof; starting with the pre-existing proofs for each system, and relating them to the expressive power of the logic. The study will also include incompleteness proofs. The first step is to obtain a “catalogue” of different completeness / incompleteness proofs, to study their similarities and differences. We will then analyse each proof aiming to understand when each different proof can be applied, and which are the exact information that each proof gives us about the logic.
- To investigate historical aspects of completeness. We will take as central referent point Henkin's completeness proof, his doctoral thesis and his articles from 1949 and 1950. Then investigate previous proofs, and the evolution of completeness theory since then.
- To include also pedagogical aspects, in particular concerning e-learning. We want to use the notion of completeness to explain central ideas of logic in class. We plan to extend the already existing digital library (Summa Logicae, http://logicae.usal.es) with texts and exercises concerning completeness; and we will develop new educational software.
Alumnos:
Alumnos que realizan actualmente la tesis de doctorado en este programa bajo mi dirección:
- Luis Urtubey
- Manuel Crescencio Moreno
- Gabriela Hernández Deciderio
Alumnos que realizaron el trabajo fin de máster en este programa bajo mi dirección:
- Luis Urtubey. Completud e Interpolación: un Enfoque a partir de la Generalización del Método de Constantes de Henkin
- Claudio Fuentes. Espacios de Filosofía en la Representación de Sistemas de Información: del Conocimiento Pragmático a la Construcción de Ontologías Formales
- Thomaida Andoni. Hybrid and Description Logics
- Manuel Crescencio Moreno. Los argumentos ontológicos clásicos
- Joan Casas Roma. Lógica Temporal: perspectiva histórica y relación con los flujos del tiempo.