» Investigación » SISIUS - Investigación en la USE

Ángel Nepomuceno Fernández
Telefono: 95.455.78.09
Email: Solicitar correo

Grupo de Investigación: Grupo de Logica, Lenguaje e Informacion
Departamento/Unidad: Filosofía y Lógica y Filosofía de la Ciencia
Situación profesional: Catedrático de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

• Proyectos:
  • Conciencia, Lógica y Computación (FFI2011-29609-C02-01)
  • Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844)
  • Lógica y lenguaje: ambigüedad en el discurso y elaboración del contexto (HUM2007-65053)
  • Herramientas computacionales en la implementación de estrategias lógico-lingüísticas para el tratamiento de la ambigüedad en el discurso. Ap (P06-HUM-01538)
  • Lógica y lenguaje: información y representación (HUM2004-01255)
  • Summa logicae en el siglo XXI (BFF2000-1273-C04-03)
  
  
• Ayudas Complementarias:
  • Incentivo al Grupo de Investigación HUM-609 (2010/HUM-609)
  • Conferencia de lógica y fundamentos de teoría de juegos y de la decisión (FFI2011-15523-E)
  • Red de Investigación, Formación y Aplicaciones de Lógica, Lenguaje y Computación (RIFALLCo) (FFI2010-10968-E)
  • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2009/HUM-609)
  • Lógica, lenguaje y la unidad de la ciencia (HP2007-0018)
  • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2006/HUM-609)
  • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2004/HUM-609)
  • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2005/HUM-609)
  • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2003/HUM-609)
  • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2002/HUM-609)
  • Seminario de Lógica, Lenguaje e Información (BFF2002-10497-E)
  • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2000/HUM-609)
  • Jornadas de Lógica y Lenguaje (JOLL2000) (PGC2000-2260-E)
  • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (1997/HUM-609)
  
  

Participa en los siguientes proyectos/ayudas en la US:

• Proyectos:
  • La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106 - Investigador)
  • Lógica de Protocolos Incondicionalmente Seguros (P08-HUM-04159 - Investigador)
  
  

Cobertura de la base de datos de proyectos, véase aqui

Publicaciones:

Nota: Por problemas técnicos del sistema SICA2 la producción científica está actualizada hasta septiembre 2011.

Libros

Angel Nepomuceno Fernandez, Olga Pombo:
Lógica e Filosofia da Ciência. Lisboa. Centro de Filosofia das Ciências Universidade de Lisboa. 2009. 283

Francisco Jose Salguero Lamillar, Angel Nepomuceno Fernandez, Fernando Soler Toscano:
Lógica, Filosofía del Lenguaje y de la Lógica. Mairena del Aljarafe, Sevilla. Mergablum. 2007. 260

Angel Nepomuceno Fernandez, Fernando Soler Toscano, Francisco Jose Salguero Lamillar:
Estudios de Lógica y Lenguaje (I): Llic-S-2005-1. Sevilla, España. Mergablum. 2005. 246

Axel Arturo Barceló Aspeitia, Fernando Soler Toscano, Atocha Aliseda Llera, Raymundo Morado Estrada, Angel Nepomuceno Fernandez:
Representación y Logicidad. Sevilla, España. Fenix Editorial. 2005. 112

Angel Nepomuceno Fernandez, Francisco Jose Salguero Lamillar, Fernando Soler Toscano:
Bases Biológicas, Lingüísticas, Lógicas y Computacionales para la Concepción de la Mente : Llic-S-2004-01. Sevilla. Mergablum Edición y Comunicación. 2004. 245

Angel Nepomuceno Fernandez:
El Método de las Tablas Semánticas. Sevilla. Kronos S.A. 2004. 162

Angel Nepomuceno Fernandez:
Curso Práctico de Lógica. Sevilla, España. Kronos S.A. 2002. 135

Angel Nepomuceno Fernandez, José Francisco Quesada Moreno, Francisco Jose Salguero Lamillar:
Información: Tratamiento y Representación. Sevilla. Secretariado de Publicaciones. 2001. 311

Capítulos en Libros

Angel Nepomuceno Fernandez, Fernando Soler Toscano, Atocha Aliseda Llera:
From Classical Logic to Abductive Logical Systems. Otto Neurath and the Unity of Science. Heidelberg, Alemania. Springer. 2011. Pag. 201-212

Angel Nepomuceno Fernandez:
Concept Script and Diagrams: Two Ways of Using Images in Scientific Reasoning. Studies in Diagrammatology and Diagram Praxis. Londres. College Publications. 2010. Pag. 95-114

Angel Nepomuceno Fernandez, David Fernandez Duque:
Razonamiento Explicativo en Contextos Inferenciales. Estudios de Lógica, Lenguaje e Información. Sevilla. Fenix Editorial. Vol. 1. 2010. Pag. 119-129

Angel Nepomuceno Fernandez, Fernando Soler Toscano:
Defining Inferential Contexts: Deduction and Abduction. The Many Sides of Logic. London. College Publications. 2009. Pag. 511-529

Angel Nepomuceno Fernandez:
Relaciones de Inferencia y el Modelo Lógico de Explicación Científica. Lógica e Filosofia da Ciência. Lisboa. Centro de Filosofia das Ciências Universidade de Lisboa. 2009. Pag. 1-19

Angel Nepomuceno Fernandez:
Tableaux for N-Logical Consequence. Dimensions of Logical Concepts. Campinas. Centro de Lógica, Epistemologia e História da Ciência. Universidade de Campinas. Vol. 54. 2009. Pag. 299-313

Angel Nepomuceno Fernandez:
Semánticas de Lógica de Segundo Orden. Reflexiones Sobre la Paradoja de Orayen. México. Unam. 2008. Pag. 153-174

Angel Nepomuceno Fernandez:
Information and Logic. Current Topics in Logic and Analytic Philosophy. Santiago de Compostela, España. Universidad de Santiago de Compostela. 2007. Pag. 221-232

Angel Nepomuceno Fernandez:
Tablas Semánticas para Lógica de Segundo Orden. Lógica, Filosofía del Lenguaje y de la Lógica. Mairena del Aljarafe, Sevilla. Mergablum. Vol. 1. 2007. Pag. 159-175

Angel Nepomuceno Fernandez, Francisco Jose Salguero Lamillar, Fernando Soler Toscano:
Deducción y Generación de Modelos de Cardinalidad Finita. Una Perspectiva de la Ia en su 50 Aniversario. Albacete. Ediciones de la Universidad de Castilla la Mancha. Vol. 2. 2006. Pag. 588-599

Fernando Soler Toscano, Angel Nepomuceno Fernandez, Atocha Aliseda Llera, Araceli Liliana Reyes Cabello:
Razonamiento Abductivo en Modelos Finitos Mediante C-Tablas y Delta-Resolución. Una Perspectiva de la Ia en su 50 Aniversario. Albacete. Ediciones de la Universidad de Castilla la Mancha. Vol. 2. 2006. Pag. 699-711

Angel Nepomuceno Fernandez:
Razonamiento Explicativo. Estudios de Lógica y Lenguaje (I): Llic-S-2005-1. Sevilla, España. Mergablum. Vol. 1. 2005. Pag. 149-168

Angel Nepomuceno Fernandez:
Sistemas Lógicos. Representación y Logicidad. Sevilla, España. Fenix Editorial. Vol. 1. 2005. Pag. 51-84

Angel Nepomuceno Fernandez:
La Lógica y las Ciencias de la Mente. Bases Biológicas, Lingüísticas, Lógicas y Computacionales para la Concepción de la Mente : Llic-S-2004-01. Sevilla. Mergablum Edición y Comunicación. 2004. Pag. 133-161

Angel Nepomuceno Fernandez:
Scientific Explanation and Modified Semantic Tableaux. Logical and Computational Aspects of Model-Bases Reasoning. Dordrecht. Kluwer Academic Press. 2002. Pag. 181-198

Angel Nepomuceno Fernandez:
Sistemas Formales. Información: Tratamiento y Representación. Sevilla. Secretariado de Publicaciones. 2001. Pag. 117-144

Angel Nepomuceno Fernandez:
Sistemas Logicistas e Información Modal. Formal Theories and Empirical Theories. Santiago de Compostela. Universidad de Santiago de Compostela. 2001. Pag. 477-490

Angel Nepomuceno Fernandez:
Teoría de la Argumentación: Información y Lógica. Información: Tratamiento y Representación. Sevilla. Secretariado de Publicaciones. 2001. Pag. 27-39

Angel Nepomuceno Fernandez:
Un Enfocque no Monotono en Explicacion Linguistica. Lógica, Lenguaje e Información / Logic, Language and Information. Sevilla,. Kronos Universidad. 2000. Pag. 217-224

Angel Nepomuceno Fernandez:
Logica y Filosofia del Lenguaje en la Siglo XX. Estudios de Lingüistica General. Cordoba. 1998. Pag. 73-79

Angel Nepomuceno Fernandez, Francisco Jose Salguero Lamillar:
Word Meaning,Logic and the Informative Entailment Relation. Mathematical and Computational Analysis of Natural Language. Amsterdam, Holanda. John Bemjamins Publisihing Company. 1998. Pag. 159-170

Publicaciones en Revistas

Fernando Soler Toscano, David Fernandez Duque, Angel Nepomuceno Fernandez:
A Modal Framework for Modeling Abductive Reasoning. Logic Journal of the Igpl. Vol. DOI:10.109. 2010. Pag. 1-7

Francisco Jose Salguero Lamillar, David Fernandez Duque, Angel Nepomuceno Fernandez:
Tableaux for Structural Abduction. Logic Journal of the Igpl. 2010. Pag. 1-12

Fernando Soler Toscano, Angel Nepomuceno Fernandez, Atocha Aliseda Llera:
Abduction Via C-Tableaux and D-Resolution. Journal of Applied Non-Classical Logics. Vol. 19. Núm. 2. 2009. Pag. 211-225

Angel Nepomuceno Fernandez, Fernando Soler Toscano:
Constructing Inferential Contexts. Bulletin of Symbolic Logic. 2009. Pag. 373-373

Angel Nepomuceno Fernandez:
Recensión de "Abductive Reasoning. Logical Investigations Into Discovery and Explanation. Boletín Slmfce (Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España). 2009. Pag. 22-26

Angel Nepomuceno Fernandez:
Recension de "Socrates en Viena. una Biografía Intelectual de Kurt Gödel". Boletín Slmfce (Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España). 2009. Pag. 26-29

Angel Nepomuceno Fernandez:
Sistematización del Descubrimiento y la Explicación: la Elaboración de una Lógica Abductiva. Crítica, Revista Hispanoamericana de Filosofía. 2009. Pag. 97-112

Fernando Soler Toscano, Angel Nepomuceno Fernandez:
Abducción en Modelos Finitos. Crítica, Revista Hispanoamericana de Filosofía. 2008. Pag. 57-78

Angel Nepomuceno Fernandez, Fernando Soler Toscano:
Constructing Inferential Contexts. CLE e-Prints. Vol. 8. Núm. 6. 2008

Fernando Soler Toscano, Angel Nepomuceno Fernandez:
Deducción y Abducción. Teorema. Vol. XXVII. Núm. 1. 2008. Pag. 5-16

Angel Nepomuceno Fernandez, Fernando Soler Toscano:
Metamodelling Abduction. Theoria. 2007. Pag. 285-293

Angel Nepomuceno Fernandez:
Tablas Semánticas para Fórmulas Satisfacibles en Dominios Finitos. Teorema. Vol. 26. Núm. 1. 2007. Pag. 5-19

Fernando Soler Toscano, Angel Nepomuceno Fernandez, 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, Angel Nepomuceno Fernandez:
Tarfa: Tableaux and Resolution for Finite Abduction. Lecture Notes in Computer Science. Vol. 4160. 2006. Pag. 511-514

Angel Nepomuceno Fernandez, Liliana Reyes, Atocha Aliseda Llera:
Towards Abductive Reasoning in First-Order Logic. Logic Journal of the Igpl. Vol. 14. Núm. 2. 2006. Pag. 287-304

Angel Nepomuceno Fernandez:
Modelos de Razonamiento Abductivo. Contrastes: Revista Interdisciplinar de Filosofía.suplemento. Núm. 10. 2005. Pag. 155-180

Angel Nepomuceno Fernandez:
Presentation: the Interdisciplinary Field Off Logic, Language and Information (Lli). Theoria. Vol. 18. Núm. 1. 2003. Pag. 9-15

Angel Nepomuceno Fernandez:
Lógica Modal y Argumentación Filosófica. Isidorianum: Revista Semestral de Estudios Eclesiasticos Superiores. 2002. Pag. 337-356

Angel Nepomuceno Fernandez:
Lógica y Fundamentos en Filosofía de la Matemática. Mathesis: Filosofia e Historia de las Ciencias Matematicas. 2001. Pag. 37-49

Angel Nepomuceno Fernandez:
Semantic Tableaux and Metalogic: the Case of Second-Order Logic. Crítica, Revista Hispanoamericana de Filosofía. Vol. 31. Núm. 93. 1999. Pag. 21-47

Libros de Actas

Angel Nepomuceno Fernandez, José Francisco Quesada Moreno, Francisco Jose Salguero Lamillar:
Lógica, Lenguaje e Información. Sevilla, España. Sevilla, España. Editorial Kronos. 2000

Aportaciones a Congresos

Hans Van Ditmarsch, Emilio Francisco Gomez-Caminero Parejo, David Fernandez Duque, Angel Nepomuceno Fernandez, Andres Cordon Franco:
Two Mischievous Dynamic Consequence Relations. Proceedings of the Second Ilcli International Workshop on Logic and Philosophy of Knowledge, Communication and Action. Ilcli International Workshop on Logic and Philosophy of Knowledge, Communication and Action (2). Num. 2. Zarautz, Spain. University of the Basque Country Press. 2010. Pag. 197-208

Hans Van Ditmarsch, Angel Nepomuceno Fernandez:
Abducción y Revisión de Creencias. Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (6). Num. 6. Valencia. Universidad de Valencia. 2009. Pag. 47-51

Fernando Soler Toscano, Angel Nepomuceno Fernandez, José Antonio Pérez Robleda:
Easy Logic: an Interactive Web Interface to Theorem Provers. Proceeding of Second International Congress on Tools for Teaching Logic. Second International Congress on Tools for Teaching Logic (). Salamanca. Universidad de Salamanca. 2006. Pag. 201-204

Angel Nepomuceno Fernandez, Fernando Soler Toscano:
Logic: a Bridge Between Sciences and Humanities. Proceeding of Second International Congress on Tools for Teaching Logic. Second International Congress on Tools for Teaching Logic (). Salamanca. Universidad de Salamanca. 2006. Pag. 133-136

Angel Nepomuceno Fernandez:
Razonar con Expresiones Ambiguas. Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (5). Num. 5. Granada, España. Departamento Filosofía Universidad de Granada. 2006. Pag. 603-606

Angel Nepomuceno Fernandez:
Tableaux for Minimal Entailment. 1st World Congress and School on Universal Logic. World Congress on Universal Logic (1). Num. 1. Montreux, Suiza. Université de Neuchàtel. 2005. Pag. 85-86

Angel Nepomuceno Fernandez, Fernando Soler Toscano:
Abducción y Razonamiento Por Defecto. Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Valladolid, 3-6 de Noviembre de 2004). Sociedad de Lógica, Metodología y Filosofia de la Ciencia. Num. 4. Valladolid, España. Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 2004. Pag. 385-387

Fernando Soler Toscano, Angel Nepomuceno Fernandez:
Abducción y Tablas Semánticas: Algunas Extensiones. Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Valladolid, 3-6 de Noviembre de 2004). Sociedad de Lógica, Metodología y Filosofia de la Ciencia. Num. 4. Valladolid, España. Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 2004. Pag. 396-399

Angel Nepomuceno Fernandez:
Caracterización Estructural de Lógicas Basicas, Lógica Clásica y Lógicas Abductivas. Jornada de Lógica y Lenguaje: Información y Representación. Jornada de Lógica y Lenguaje: Información y Representación (). Carmona. 2004. Pag. 16-17

Angel Nepomuceno Fernandez:
Un Cálculo Abductivo Natural. Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Valladolid, 3-6 de Noviembre de 2004). Sociedad de Lógica, Metodología y Filosofia de la Ciencia. Num. 4. Valladolid, España. Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 2004. Pag. 382-385

Angel Nepomuceno Fernandez, Fernando Soler Toscano:
Concept Script: From Logic of Language to Language of Logic. Fotfs IV: the History of the Concept of the Formal Sciences. Foundations of the Formal Sciences IV: the History of the Concept of the Formal Sciences (). Rheinische Friedrich-Wilhems.universität Bonn. Rheinische Friedrich-Wilhelms-Universität Bonn. 2003. Pag. 36-36

Angel Nepomuceno Fernandez:
Db-Tableaux and Abduction. Extended Abstracts of Technical Papers Presented At Applications on Logic and Mathematics to Programming. Applications of Logic and Mathematics to Programming (II Seminarios Internacionales de Altea, Universidad Rey Juan Carlos) (). Altea. 2003. Pag. 1-3

Angel Nepomuceno Fernandez:
Information and Logic. Symposium in Honour of John Corcoran. Symposium in Honour of John Corcoran (). Santiago de Compostela. Universidad de Santiago de Compostela. 2003. Pag. 1-14

Angel Nepomuceno Fernandez, Atocha Aliseda Llera:
Tableaux to Solve Abductive Problems. Volume of Abstracts. 12th International Congress of Logic, Methodology and Philosophy of Science. 12th International Congress of Logic, Methodology and Philosophy of Science (). Oviedo, España. Departamento de Filosofía. Universidad de Oviedo. 2003. Pag. 75-75

Angel Nepomuceno Fernandez, Atocha Aliseda Llera:
Abduction in First Order Semantic Tableaux. Proceedings of International Congress Causation and Explanations in Natural and Social Sciences. Causation and Explanation in Natural and Siocial Sciences (). Gante (Bélgica). 2002. Pag. 26-28

Angel Nepomuceno Fernandez:
Sistemas Logicistas e Información Modal. Congreso de Teorías Formales y Teorías Empíricas: Aspectos Fundacionales, Ontosemánticos y Pragmáticos. Congreso Teorías Formales y Teorías Empíricas. Santiago de Compostela, España. Universidad de Santiago de Compostela. 2001. Pag. 477-490

Angel Nepomuceno Fernandez, Angel Vahi Serrano:
Logica y Significado en Frege. Materiales del Seminario de Lógica y Lenguaje. Seminario de Lógica y Lenguaje (). Sevilla. 2000. Pag. 1-1

Angel Nepomuceno Fernandez:
Logica, Creacion y Justificacion de las Matematicas. Actas del Primer Congreso Iberoamericano de Filosofia de la Ciencia y de la Tecnologia. Congreso Iberoamericano de Filosofia de la Ciencia y de la Tecnologia. Num. 1. Morelia, Mexico. 2000. Pag. 230-230

Angel Nepomuceno Fernandez:
Teaching Logic in Philosophy. Proceedings of the First International Congress on Tools for Teaching Logic. International Congress on Tools for Teaching Logic. Num. 1. Salamanca, España. Universidad de Salamanca. 2000. Pag. 109-129

Angel Nepomuceno Fernandez:
Un Enfoque no Monotono de Explicacion Linguistica. Lógica, Lenguaje e Información. Primeras Jornadas de Lógica y Lenguaje (). Sevilla, España. Editorial Kronos. 2000. Pag. 217-224

Angel Nepomuceno Fernandez:
Second-Order Logic and Completeness Problem. Proceedings of the XI International Congress of Logic, Methodology and Philosophy of Science. International Congress of Logic, Methodology and Philosophy of Science. Num. 11. Cracovia, Polonia. 1999. Pag. 274-274

Angel Nepomuceno Fernandez, Francisco Jose Salguero Lamillar:
Word Meaning, Logic and the Informative Entailment Relation. Mathematical and Computational Analysis of Natural Language. International Conference on Mathematical Linguistics. Num. 2. Tarragona, España. John Bemjamins Publisihing Company. 1998. Pag. 159-170

Angel Nepomuceno Fernandez:
Interpretacion no Estandar de la Logica de Segundo Orden. Actas del II Congreso de la Sociedad de Logica, Metodologia y Filosofia de la Ciencia. Congreso de la Sociedad de Logica, Metodologia y Filosofia de la Ciencia. Num. 2. Bellaterra, España. Universidad Autónoma de Barcelona. 1997. Pag. 486-488

Angel Nepomuceno Fernandez, Jose Gabriel de Amores Carredano, José Francisco Quesada Moreno:
La Linguistica Como Teoria Formal:Lenguaje,Logica y Computacion. Historiografia Linguistica. Simposio de Historiografía Lingüística. Num. 2. Córdoba. Universidad de Cordoba. 1997. Pag. 73-89

Francisco Jose Salguero Lamillar, Jose Gabriel de Amores Carredano, Angel Nepomuceno Fernandez, Angel Yanguas Alvarez-Toledo, José Francisco Quesada Moreno:
La Lingüística Como Teoría Formal: Lenguaje, Lógica y Computación. Actas del I Simposio de Historiografía Lingüística. Simposio de Historiografía Lingüística. Num. 1. Granada. Método Ediciones. 1996. Pag. 73-89

Otras Publicaciones

Angel Nepomuceno Fernandez:
Curriculum Vasco. Aportación de los Expertos. Lógica. Informes, Estudios, Trabajos y Dictámenes. 2003

Angel Nepomuceno Fernandez:
Enseñar Lógica: Lenguaje Lógico y Árboles Semánticos. Informes, Estudios, Trabajos y Dictámenes. 2003

Angel Nepomuceno Fernandez:
Interpretación Estándar y no Estándar de Sistemas Logicistas. Informes, Estudios, Trabajos y Dictámenes. 2003

Angel Nepomuceno Fernandez:
Lógica, Creación y Justificación en Matemáticas. Informes, Estudios, Trabajos y Dictámenes. 2003

Angel Nepomuceno Fernandez:
Tablas Semánticas para Lógica de Predicados de Primer Orden. Informes, Estudios, Trabajos y Dictámenes. 2003

Angel Nepomuceno Fernandez:
Una Reconstrucción Formal del Sistema de Begriffschrift. Informes, Estudios, Trabajos y Dictámenes. 2003

Angel Nepomuceno Fernandez, José Francisco Quesada Moreno:
Logica, Lenguaje e Informacion. Actas de las Primeras Jornadas Sobre Logica y Lenguaje. Informes, Estudios, Trabajos y Dictámenes. 2000

Tesis dirigidas:

Director/a: Angel Nepomuceno Fernandez, Doctorando: Fernando Soler Toscano:
Modelos Formales de Explicación en Lógica e Inteligencia Artificial, 2005, Filosofía y Lógica y Filosofía de la Ciencia