Nepomuceno Fernández, Ángel
Institución: Departamento de Filosofía y Lógica y Filosofía de la Ciencia Universidad de Sevilla
Dirección: c/ Camilo José Cela s/n, 41018. Sevilla
Teléfonos: 954557809
Email: nepomuce@us.es
Publicaciones:
2009
- Fernando Soler Toscano, Ángel Nepomuceno Fernández, Atocha Aliseda Llera, "Abduction via C-tableaux and d-resolution". Journal of Applied Non-Classical Logics. 2009. Vol. 19(2). Pag. 211-225
- Ángel Nepomuceno Fernández, Fernando Soler Toscano, "Constructing inferential contexts (abstract)". The Bulletin of Symbolic Logic, vol 15(3), 2009
- Ángel Nepomuceno Fernández, Fernando Soler Toscano, "Defining inferential contexts: deduction and abduction". En W. A. Carnielli et al. (editores), The Many Sides of Logic. Series "Studies in Logic", College Publications, London, 2009. ISBN: 978-1-904987-78-9
- Olga Pombo, Ángel Nepomuceno (eds.), Lógica e Filosofia da Ciência. Centro de Filosofia das Ciências Universidade de Lisboa, 2009. ISBN, 978-989-8247-00-1
- “Sistematización del descubrimiento y la explicación: la elaboración de una lógica abductiva”. Crítica. Revista Hispanoamericana de Filosofía, ISSN-0011-1503 (previsto Diciembre de 2009)
- “Tableaux for n-logical consequence” en R. Coniglio e I. Bezieau (eds.) Dimensions on Logical Concepts (previsto Noviembre de 2009)
2008
- Fernando Soler Toscano, Ángel Nepomuceno Fernández, "Abducción en modelos finitos". Crítica, Revista Hispanoamericana de Filosofía. 2008. Pag. 57-78
- Fernando Soler Toscano, Ángel Nepomuceno Fernández, "Deducción y abducción". Teorema. Vol. XXVII. Núm. 1. 2008. Pag. 5-16
- Ángel Nepomuceno Fernández, Fernando Soler Toscano, "Constructing Inferential Contexts (extended abstract)". CLE e-Prints. Vol. 8. Núm. 6. 2008
- “Semánticas de Lógica de Segundo Orden”, en A. García de la Sienra (ed.) Reflexiones sobre la paradoja de Orayen. Instituto de Investigaciones Filosóficas de la UNAM, México, 2008. ISBN 978-970-32-4700-4, pp. 153-174
2007
- Ángel Nepomuceno Fernández, Fernando Soler Toscano, "Metamodelling abduction". Theoria. Vol. 22. Núm. 60. 2007. Pag. 285-293
- Francisco Jose Salguero Lamillar, Angel Nepomuceno Fernandez, Fernando Soler Toscano (editores), Lógica, Filosofía del Lenguaje y de la Lógica. Mergablum, Sevilla, 2007. ISBN: 9788496378353
- “Information and Logic”, en C. Martínez et al. (eds.) Current Topics in Logic and Analytic Philosophy. Universidad de Santiago de Compostela, ISBN 978-84-9750-811-7, pp. 221-232
- “Tablas semánticas para lógica de segundo orden”, en F. Salguero, A. Nepomuceno, F. Soler (eds), Lógica, Filosofía del Lenguaje y de la Lógica. Mergablum, Sevilla, 2007. ISBN: 9788496378353, pp. 159-175
- “Tablas semánticas satisfactibles en modelos finitos”, Teorema, vol- XXVI/1, ISSN 0210-1602, pp. 5-19
2006
- Fernando Soler Toscano, Ángel Nepomuceno Fernández, Atocha Aliseda Llera, "Model-based abduction via dual resolution". Logic Journal of the IGPL. Vol. 14. Núm. 2. 2006. Pag. 305-319.
- Fernando Soler Toscano, Ángel Nepomuceno Fernández, "Tarfa: Tableaux and resolution for finite abduction". Lecture Notes in Computer Science. Vol. 4160. 2006. Pag. 511-514.
- Ángel Nepomuceno Fernández, Francisco José Salguero Lamillar, Fernando Soler Toscano, "Deducción y generación de modelos de cardinalidad finita". En Una perspectiva de la IA en su 50 aniversario. Vol. 2. 2006. Pag. 588-599. ISBN: 84-689-9560-6
- Fernando Soler Toscano, Angel Nepomuceno Fernandez, Atocha Aliseda Llera, Araceli Liliana Reyes Cabello, "Razonamiento abductivo en modelos finitos mediante C-tablas y d-resolución." En Una perspectiva de la IA en su 50 aniversario. Vol. 2. 2006. Pag. 699-711. ISBN: 84-689-9560-6
2005
- Ángel Nepomuceno Fernández, Fernando Soler Toscano, Francisco José Salguero Lamillar (editores), Estudios de lógica y lenguaje. Sevilla, Mergablum. 2005. ISBN: 8496378268
- Ángel Nepomuceno Fernández et al., Representación y logicidad, Kronos, Sevilla, 2005, ISBN 84-688-8448-0
- “Modelos de razonamiento abductivo”, Contrastes, ISSN 1136-9922, pp. 155-180
- “Razonamiento explicativo”, en A. Nepomuceno, F. J. Salguero, F. Soler (eds.) Estudios de Lógica y Lenguaje (I), ISBN 84-96378-26-8, pp. 149-168
2004
- Fernando Soler Toscano, Ángel Nepomuceno Fernández, "Abducción y Tablas Semánticas: Algunas Extensiones". En Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Valladolid. 2004. Pag. 396-399. ISBN: 84-688-8448-0
- Ángel Nepomuceno Fernández, Francisco José Salguero Lamillar, Fernando Soler Toscano (editores), Bases biológicas, lingüísticas, lógicas y computacionales para la conceptualización de la mente. Sevilla. Mergablum. 2004. ISBN: 84-96378-04-7
- “La lógica y las ciencias de la mente”, en A. Nepomuceno, F. J. Salguero, F. Soler (eds.), Bases biológicas, lingüísticas, lógicas y computacionales para la conceptualización de la mente. Sevilla. Mergablum. 2004. ISBN: 84-96378-04-7, pp. 133-159
- “Logika”, en X. Garagorri (dir.), Euskal Curriculuma. Kultur Ibilbidea, Ikastolen Konfederazioa, ISBN 84-933872-0-7, pp. 97-105
2003
- El método de las tablas semánticas. Sevilla, Kronos, 2003-ISBN 84-86273-75-7
- Atocha Aliseda Llera, Ángel Nepomuceno Fernández, “Tableaux to Solve Abductive Problems”, Volume of Abstracts 12th International Congress of Logic, Methodology and Philosophy of Science. Editorial: Departamento de Filosofía, Universidad de Oviedo, 2003. ISBN 600-9913-X
- "Logica, Language and Information" (Presentatio and guest editor), Theoria, 2003, ISSN 0495-4548, pp. 9-15
Docencia:
Licenciatura en Filosofía (Universidad de Sevilla)
- Lógica (troncal)
- Métodos Formales (optativa)
Postgrado
- Máster en Lógica y Filosofía de la Ciencia (Universidad de Santiago)
- Máster en Evolución (Universidad de Sevilla)
- Máster en Ciencia Cognitiva (Universidad Nacional de San José de Costa Rica)
Investigación:
Proyectos en vigor
Lógica de Protocolos Incondicionalmente Seguros (Proyecto de Excelencia, Junta de Andalucía)
Lógica y Lenguaje: Ambigüedad en el Discurso y Elaboración del Contexto (MInisterio de Educación y Ciencia)
Lógica y Unidad de la Ciencia (Accion Integrada con Centro de Filosofia das Ciëncias, Universidade de Lisboa)