Angel Nepomuceno Fernández

Angel Nepomuceno Fernández é Catedrático de Lógica y Filosofía de la Ciencia da Universidade de Sevilla, Departamento de Filosofía, Lógica e Filosofía da Ciência. Adquiriu o grau de mestre com a tese El ideal algorítmico en Frege, em 1983 e o doutoramento com a tese Lógica de segundo orden. Problemas metateóricos, em 1990. É colaborador do CFCUL e director da parte espanhola do projecto integrado Lógica Universal e Unidade da Ciência (Univ. de Sevilha) - Acções integradas 2008-2010.

Áreas de interesse:

• Lógica e teoria da argumentação

• Fundamentos das ciências formais

• Semântica formal, abdução

• Temas de filosofia da ciência e do campo interdisciplinar denominado por lógica, linguagem  e informação

Principais Publicações:

• Word Meaning, Logic and the Informative Entailment Relation, co-autoria com Salguero Lamillar, Francisco José (1997), in Mathematical and Computational Analysis of Natural Language, Amsterdam: John Benjamins Publishing Company, pp. 159-169.

• Introduction to Second Order Models, (1997), in The Bulletin of the Workshop on Model Theory and Complexity, Sevilha:  Kronos, pp. 19-27. 

• Tablas semánticas y metalógica (El caso de la lógica de segundo orden) (2000), in Crítica, Volume: 31, no. 93, pp. 1-27 

• Un enfoque no monótono de explicación lingüística (2000), in Lógica, Lenguaje e Información, Sevilha:  Kronos, pp. 217-224.

• Sistemas logicistas e información modal (2001), in Teorías formales y teorías empíricas, Sevilha: Universidade de Santiago de Compostela, pp. 477-490.

• Lógica y fundamentos en filosofía de la matemática (2001), in Mathesis, Mexico, pp. 37-49.

• Información: Tratamiento y Representación (2001), co-autoria com Quesada Moreno, José F.; Salguero Lamillar, Francisco J, Sevilha: Secretariado de Publicaciones de la Universidad de Sevilla, 311 pp.

• Teoría de la argumentación: Información y lógica (2001), in Tratamiento y Representación, Sevilha: Secretariado de Publicaciones de la Universidad de Sevilla, pp. 27-39.

• Sistemas formales (2001), in Tratamiento y Representación, Sevilha: Secretariado de Publicaciones de la Universidad de Sevilla, pp. 117-144.

• Scientific explanation and modified semantic tableaux (2002), in Logical and computational aspects of model-based reasoning, Dordrecht  Kluwer Academic Press, pp. 181-198.

• Logic, Language and Information (Presentation and guest editor) (2002), Theoria, San Sebastian, pp. 9-84. 

• Tableaux to Solve Abductive Problems (2003), co-autoria com  Aliseda Llera, Atocha, in I. Congress of Logic, Methodology and Philosophy of Science, Oviedo: Departamento de Filosofía de la Universidad de Oviedo, 75 pp.

• El método de las tablas semánticas (2003), Sevilha: Kronos, 156 pp.

• Bases biológicas, lingüísticas, lógicas y computacionales para una conceptualización de la mente (2004), co-autoria com F. J. Salguero y F. Soler (edrs), Sevilha: Mergablum

• La lógica y las ciencias de la mente (2004), in Bases biológicas, lingüísticas, lógicas y computacionales para una conceptualización de la mente (2004), co-autoria com F. J. Salguero y F. Soler (edrs), Sevilha: Mergablum, pp. 133-159.

• Lógica, creación y justificación en matemáticas (2004), in CD: Summa Logica, Salamanca: Ediciones Universidad de Salamanca, Colección Unimedia

• interpretación estándar y no estándar de sistemas logicistas (2004), in CD: Summa Logica, Salamanca: Ediciones Universidad de Salamanca, Colección Unimedia

• Una reconstrucción formal del sistema de Begriffschrift(2004), in CD: Summa Logica, Salamanca: Ediciones Universidad de Salamanca, Colección Unimedia

• Sistemas lógicos (2005), in Representación y Logicidad, Sevilha: Fénix Editora, pp. 51-84.

• Estudios de Lógica y Lenguaje (I) (2005), co-autoria com Francisco J. Salguero y Fernando Soler, Sevilha: Mergablum, p. 246.

• Razonamiento Explicativo (2005), in Estudios de Lógica y Lenguaje (I) (2005), co-autoria com Francisco J. Salguero y Fernando Soler, Sevilha: Mergablum, pp. 149-168.

• Deducción y generación de modelos de cardinalidad finita (2006), in Una perspectiva de la Inteligencia Artificial en su 50 Aniversario, Universidad de Castilla La Mancha, pp. 588-599. (Versión en inglés preseleccionada para número especial de Journal of Logic, Language and Information)

• Razonamiento abductivo en modelos finitos mediante C-tablas y d-resolución (2006), co-autoria com Fernando Soler Toscano, Atocha Aliseda, Liliana Reyes, Una perspectiva de la Inteligencia Artificial en su 50 Aniversario Volumen:  II , Universidad de Castilla La Mancha, pp. 699-711. (Versión en inglés preseleccionada para número especial de Journal of Logic, Language and Information]

• Logic: A bridge between sciences and humanities (2006), in Second International Congress on Tools for Teaching Logic, salamanca: Universidad de salamanca, pp. 133-136.

• Tableaux and Resolution for Finite Abduction (2006), co-autoria com Fernando Soler Toscano, 10th European Conference, JELIA,  2006, Liverpool: LNAI Logics in AI / Springer, pp. 511-514.

• Model-based abduction via dual resolution (2006), co-autoria com Fernando Soler Toscano, Atocha Aliseda Llera, in Logic Journal of IGPL , pp. 305-319.

• Towards Abductive reasoning in first order logic (2006), co-autoria com  Liliana Reyes, Atocha Aliseda Llera, in Logic Journal of IGPL, pp. 287-304.

• Tablas semánticas para fórmulas satisfacibles en dominios finitos (2007), in Teorema,  Volumen: XXVI/1, pp. 5-19. 

• Lógica, Filosofía del Lenguaje y de la Lógica (2007), co-autoria com  F. J. Salguero y F. Soler, 260 pp.

• Tablas semánticas para lógica de segundo orden (2007), in Lógica, Filosofía del Lenguaje y de la Lógica, pp. 159-175.

• Deducción y abducción (2008), co-autoria com Fernando Soler, Teorema, Vol. XXVII/1, pp. 5-16.

• Constructing Inferential Contexts (2008) co-autoria com Fernando Soler, CLE-prints, http://www.cle.unicamp.br/e-prints/vol_8,n_6,2008.html

• Semánticas de la lógica de segundo orden (2008), en R. García de la Sienra (ed.) Reflexiones sobre la paradoja de Orayen, Instituto de Investigaciones Filosóficas de la UNAM; pp. 153-174.

• Abducción en modelos finitos (2008), co-autoria com Fernando Soler, Crítica, Revista Hispanoamericana de Filosofía, Vol. 40, No. 118, pp. 57-78.

• Logica e Filosofia da Ciência (2008), co-autoria com Olga Pombo (Eds.), Centro de Filosofia das Ciências de Universidade de Lisboa, Colecção Documenta 2.

• Relaciones de inferencia y el modelo lógico de explicación científica (2008), en Logica e Filosofia da Ciência, pp. 1-19.

• Defining Inferential Contexts: Deduction and Abduction (2009), co-autoria com Fernando Soler, en M. E. Coniglio y S. Carnielli (Eds.) The Many Sodes of Logic; College Publications.

• Abduction via C-tableaux and delta-resolution (2009), co-autoria com Fernando Soler y Atocha Aliseda. Journal of Applied Non Classical Logic 19 (2), pp. 211-225.

• Sistematización del descubrimiento y la explicación: la elaboración de una lógica abductiva (2009), Crítica, Revista Hispanoamericana de Filosofía.

• Constructing Inferential Contexts (2009), co-autoria com Fernando Soler. The Bulletin of Symbolic Logic, vol. 15, N. 3. p. 373.

• Abducción y revisión de creencias (2009), co-autoria com Hans van Ditmarsch, Proceedings of VI Congreso de la Sociedad de Lógica Metodología y Filosofía de la Ciencia en España, Valencia, pp. 47-51.

Neste Site:

Ver link para: Jornada de Lógica y Filosofía de la Ciencia en homenaje a Ángel Nepomuceno

Início / Home