Manzano Arjona, María Gracia
-
Cat. Profesional
-
Correo electrónicomara@usal.es
-
Teléfono923 294500 Ext. 3233
-
DirecciónEdificio FES Desp. 516. Universidad de Salamanca. Avda. Francisco Tomás y Valiente S/N. 37007 Salamanca
-
Área ConocimientoLógica y Filosofía de la Ciencia
-
EspecializaciónLó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:
Grupos de Investigación:
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