Manzano Arjona, María Gracia

Manzano Arjona, María Gracia

  • Cat. Profesional 
    Catedrático de Universidad
  • Correo electrónico 
    mara@usal.es
  • Teléfono 
    923 294500 Ext. 3233
  • Dirección 
    Edificio FES Desp. 516. Universidad de Salamanca. Avda. Francisco Tomás y Valiente S/N. 37007 Salamanca
  • Área Conocimiento 
    Lógica y Filosofía de la Ciencia
  • Especialización 
    Lógica Clásica, Lógicas no Clásicas, Historia de la Lógica, Filosofía de la Lógica, Aplicaciones de la lógica, Herramientas para la Enseñanza de la Lógica
Experiencia Docente: 

Asignaturas impartidas:

  • Grado: Lógica I, Lógica II, Aplicaciones de la Lógica
  • Máster: Lógicas de Orden Superior. Lógicas para la web semántica

Área de especialización:

  • Lógica Clásica: Teoría de Modelos, Teoría de Tipos, Lógica de Segundo Orden, Lógica Heterogénea, Teoría de Tipos Proposicionales.
  • Lógicas no Clásicas: Lógica Híbrida, Lógica Intensional, Lógica Ecuacional, Lógicas Modales, Temporales y Dinámicas.
  • Historia de la Lógica: Leon Henkin, Alonzo Church, Lógica en Iberoamérica
  • Filosofía de la Lógica: Nociones de Completud, Intensionalidad, Nominalismo, Igualdad e Identidad.
  • Aplicaciones de la lógica: Lógicas para la Red Semántica, Lógicas Descriptivas, Lógica con diagramas.
  • Herramientas para la Enseñanza de la Lógica: Pedagogía de la Lógica, Implementación informática. 
Publicaciones e Investigación: 

Investigación:

  • Título del proyecto actual: LÓGICA INTENSIONAL UNIFICADORA: LÓGICA, LENGUAJE Y FILOSOFÍA Ref: FFI2017-82554-P
 Entidad financiadora: MICINN

Publicaciones últimos cinco años

Artículos:

  • María Manzano, Manuel Martins y Antonia Huertas. “Completeness in Equational Hybrid Propositional Type Theory”. (2018) Studia Logica. ISSN: 0039-3215 (Print) 1572-8730 (Online).
    https://doi.org/10.1007/s11225-018-9833-5. (First Online 20 de octubre 2018) Editorial: Springer
  •  
  • María Manzano, Nitsa Movshovitz-Hadar and Diane Resek. “Leon Henkin: A logician’s view on mathematics education” (2017). IFCoLog Journal of Logic and its Applications
    Special Issue: Tools for Teaching Logic. Volume 4, Number 1. Referencia revista / libro: ISBN 978-1-84890-237-4 ISSN PRINT 2055-3706. ISSN ONLINE 2055-3714. ISSN (P) 2055-3706 Editorial: College Publications
  •  
  • María Manzano, Manuel Crescencio Moreno. “Identity, Equality, Nameability and Completeness Part II”. (2018). Bulletin of the Section of Logic 47:3/4. ISSN 0138-0680/ e-ISSN 2449-836X. Editorial: Łódź University Press
  •  
  • María Manzano, Manuel Crescencio Moreno. “Identity, Equality, Nameability and Completeness”. (2017). Bulletin of the Section of Logic 46:3/4. ISSN 0138-0680/ e-ISSN 2449-836X. Editorial: Łódź University Press
  •  
  • María Manzano y Enrique Alonso. “Visions of Henkin”. (2015) Synthese. Volume 192. Issue 7, pp 2123-2138DOI 10.1007/s11229-013-0389-7. ISSN: 0039-7857 (Print) 1573-0964 (Online) (Fecha publicación on-line: 08/01/2014) Editorial: Springer
  •  
  • María Manzano, Manuel A. Martins y Antonia Huertas “A Semantics for Equational Hybrid Propositional Type Theory”. (2014). Bulletin of the Section of Logic. 43:3/4. Páginas 121-138 ISSN 0138-0680 Editorial: Łódź University Press
  •  
  • Areces, C. Blackburn, P. Huertas, A. Manzano, M. “Completeness in Hybrid Type Theory”, (2014). J Philos Logic (Journal of Philosophical Logic). Número 43 (2-3)  Páginas 209-238 DOI 10.1007/s10992-012-9260-4 (Fecha publicación on-line: 10/01/2013) Referencia revista / libro: ISSN: 0022-3611 (Print) 1573-0433 (Online) Editorial: Springer
  •  
  • Manzano, M., Alonso, E. “Completeness: from Gödel to Henkin”. (2014). HPL (History and Philosophy of Logic). Vol 35 (1). Páginas: 50-75. DOI: 10.1080/01445340.2013.816555 (Fecha publicación on-line: 05/07/2013) ISSN: 0144-5340 (Print), 1464-5149 (Online) Editorial: Taylor & Francis. U.K.

Capítulos de libros:

  • Manzano, M. Moreno, M. C.  “Quantifiers and Conceptual Existence”. (2019) Mario Bunge: A Centenary Festschrift. Boston Studies in the Philosophy and History of Science. ISBN 978-3-030-16672-4 Editorial: Springer
  •  
  • Blackburn, P., Martins, M., Manzano, M., y Huertas, A.  “Rigid First-Order Hybrid Logic”. (2019) Logic, Language, Information, and Computation. Rosalie Iemhoff, Michael Moortgat y Ruy de Queiroz (Eds.) ISSN 0302-9743 ISSN 1611-3349 (electronic). LNCS 11541 ISBN 978-3-662-59532-9 ISBN 978-3-662-59533-6 (eBook) https://doi.org/10.1007/978-3-662-59533-6 Editorial: Springer
  •  
  • Manzano, M.  “Henkin on Completeness” (2014). The Life and Work of Leon Henkin. Essays on His Contributions. Páginas 149-176. ISBN 978-3-319-09718-3. Studies in Universal Logic. Editorial: Springer DOI 10.1007/978-3-319-09719-0_12.
  •  
  • Manzano, M.  “April the 19th” (2014). The Life and Work of Leon Henkin. Essays on His Contributions. Páginas 265-278. ISBN 978-3-319-09718-3. Studies in Universal Logic.
    Editorial: Springer Basil.  DOI  10.1007/978-3-319-09719-0_18
  •  
  • Manzano, M. y Alonso, E.  “Leon Henkin” (2014) The Life and Work of Leon Henkin. Essays on His Contributions. Páginas 3-22. ISBN 978-3-319-09718-3. Studies in Universal Logic. Editorial: Springer Basil.  DOI 10.1007/978-3-319-09719-0_1
  •  
  • Blackburn, P., Jorgensen, F. K., Manzano, M. y Huertas, A.  “Henkin and Hybrid Logic” (2014) The Life and Work of Leon Henkin. Essays on His Contributions. Páginas 279-306. ISBN 978-3-319-09718-3. Studies in Universal Logic. Editorial: Springer Basil. DOI 10.1007/978-3-319-09719-0_19
  •  
  • Manzano, M. Aliseda, A. “Apuntes para una historia de la lógica en Iberoamérica en el siglo XX” (2015) EIAF (Enciclopedia IberoAmericana de Filosofía). Volumen 33/1. Filosofía Iberoamericana del siglo XX I Páginas: 101-170 ISBN: 978-84-9879-555-4

Libros completos:

  • María Manzano.  Extensions of First-Order Logic. (1996, 2005) Cambridge University Press. Cambridge: U.K. ISBN 10-0-521-01902-8. Volumen: 19. Páginas: 1-388
  •  
  • María Manzano y Antonia Huertas. Lógica para principiantes (2004, 2005, 2006, 2011 y 2016). Alianza Editorial, S.A. Madrid: España ISBN: 84-206-4570-2 Páginas, 1-422  Colección: El libro universitario   
  •  
  • María Manzano. Model Theory (1999) Oxford University Press. Oxford: U.K. ISBN 0-19-853851-0. Volumen: 37. Páginas: 1-192        
  •  
  • María Manzano Teoría de Modelos (1989) Alianza Editorial, S.A. Madrid: España ISBN: 84-206-8126-1. Páginas: 1- 289 
  •  
  • María Manzano. Teoría de Tipos (1980) Ediciones Universidad de Barcelona. Barcelona: España DL: 22-162-1980 Páginas: 1-95
  •  
  • María Manzano. Sistemas Intermedios (1978) Fundación Juan March: Serie Universitaria. Volumen 62. Madrid: España ISBN: 84-7075-092-5. Páginas: 1- 32
Proyectos de Investigación: 
Lógica Intensional Unificadora: Lógica, Lenguaje y Filosofía
Grupos de Investigación: 
Estudios sobre Ciencia y Tecnología (Instituto de Estudios de la Ciencia y la Tecnología) // USAL
Dirección Tesis: 
  • Manuel Crescencio Moreno Gómez Intensions, Types and Existence Doctorado Interuniversitario en Lógica y Filosofía de la Ciencia Universidad de Salamanca Facultad de Filosofía
    Fecha: Julio 2017
  • Elías Fuentes Guillén Codirector: José Manuel Ferreirós Domínguez The Germanic Development of the Pre-Modern Notion of Number. From c. 1750 to Bolzano’s Rein analytischer Beweis Doctorado Interuniversitario en Lógica y Filosofía de la Ciencia Universidad de Salamanca Facultad de Filosofía Fecha: Septiembre 2017
  • Gabriela Hernández Deciderio Codirectora: Atocha Aliseda LleraCapacidades de los sistemas lógicos formales: el caso de algunos sistemas lógicos clásicos y de lógica libre Doctorado Interuniversitario en Lógica y Filosofía de la Ciencia Universidad de Salamanca Facultad de Filosofía Fecha: Junio 2015
  • José Javier González López Becario USAL (fecha inicio beca: junio 2019) Lógica Intensional Doctorado Interuniversitario en Lógica y Filosofía de la Ciencia Universidad de Salamanca Facultad de Filosofía
  • Cuitláhuac Rodríguez Campos La utilidad de la lógica Doctorado Interuniversitario en Lógica y Filosofía de la Ciencia Universidad de Salamanca Facultad de Filosofía
  • Alfonso Cabanzo Vargas La lógica de la semejanza Doctorado Interuniversitario en Lógica y Filosofía de la Ciencia Universidad de Salamanca Facultad de Filosofía