Úbeda, José Pedro

Institución: Universitat de València (Estudi Generali)
Dirección: Departamento de Lógica y Filosofía de la Ciencia. Avda. Blasco Ibañez, 30
Teléfonos: 963864433
Publicaciones 1
Docencia 2
Investigación 3
Conferencias 4
Alumnos 5
  • (junto con C. Martínez Vidal) Leon Henkin the reviewer, en M. Manzano, I. Sasin y E. Alonso (Eds): The life and work of Leon Henkin, essays on his contributions, Birkhäuser, Springer, 2014, pp. 93-133.
  • (junto con J. Díaz Boils) A Kripke model for subrecursion, Computability in Europe 2013 CiE2013 The nature of computation Logic, Algorithms, Applications, Milan, 2013 (on line:cie2013.disco.unimibit/2013/06/29/downloable-material/).
  • Algoritmo, en L. Vega y P. Olmos (Eds): Compendio de Lógica, Argumentación y Retórica, Trotta, 2012, pp. 38 - 45.
  • Diagonal, argumento/ Diagonalización / Método diagonal, en L. Vega y P. Olmos (Eds): Compendio de Lógica, Argumentación y Retórica, Trotta, 2012, pp. 192 - 194.
  • Numeración de Gödel, en L. Vega y P. Olmos (Eds): Compendio de Lógica, Argumentación y Retórica, Trotta, 2012, pp. 429 - 429.
  • Recursión, en L. Vega y P. Olmos (Eds): Compendio de Lógica, Argumentación y Retórica, Trotta, 2012, pp. 514- 517.
  • Una Lógica epistémica bidimensional. VII Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. pp. 88 - 94. (España): Servizo de Publicacións da Universidade de Santiago de Compostela (USC), 2012. Disponible en Internet en: <http://hdl.handle.net/10347/5853>.
  • Funciones parciales μ-recursivas y programas. XIX CONGRÉS VALENCIÀ DE FILOSOFIA, Societat de Filosofia del País Valencià, 2012, pp. 7-19.
  • Lógica epistémica con grupos variantes de agentes. II Congrés català de filosofia. Joan Fuster, in memoriam. Afers, 2012, pp. 247 - 263.
  • Las reglas de inferencia en la Conceptografía, Quaderns de filosofia i ciència, 40, pp. 7 - 20, 2010.
  • (junto con Juan Manuel Lorente Tallada): ¿Son los algoritmos objetos matemáticos?. Jornadas de Lógica, Lenguaje y Epistemología, Universidad de Sevilla, 2010, pp. 177 - 189.
  • Relaciones de equivalencia: de máquinas de Turing a funciones parciales computables, Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (SLMFCE), Servei de Publicacions de la Universitat de València, 2009 pp. 129 - 136.
  • Lógicas Epistémicas y Sistemas Multiagentes, Quaderns de filosofia i ciència, 38, pp. 7 - 21, 2008.
  • Problemas que el derecho plantea a la lógica, ARSP. Archiv für Rechts- und Sozialphilosophie. Beiheft. 110, pp. 199 - 206, 2007.
  • (junto con Juan Manuel Lorente Tallada): PROLOG puro y una simulación de la negación como fallo. Lógica, Filosofía del Lenguaje y de la Lógica, Mergablum Edición y Comunicación, 2007, pp. 135 - 158.
  • Notas sobre computabilidad y computabilidad relativa, Lógica, Filosofía del Lenguaje y de la Lógica, Mergablum Edición y Comunicación, pp. 219 - 239, 2007.
  • (junto con José Ignacio Úbeda Garcia): Spectral Relation, International Congress of Mathematicians, Madrid 2006, Abstracts, European Mathematical Society, pp. 198 - 198, 2006.
  • (junto con José Ignacio Úbeda Garcia): Must a mathematician learn Logic?. Second International Congress on Tools for Teaching Logic, Proceedings, Universidad de Salamanca, pp. 205 - 208, 2006.
  • (junto con Juan Manuel Lorente Tallada): ¿La negación como fallo genera una lógica no monótona?. Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. V Congreso de l Sociedad de Lógica, Metodología y Filosofía, 2006, pp. 543 - 546.
  • Marcos de Kripke y sistemas multiagentes, Actas del I Simposio de Sistemas Complejos, International Thomson Editores Spain Paraninfo, S.A., 2005, pp. 39 - 43.
  • Modelos finitos y recursividad. XV Congres Valencia de Filosofia 'Josep L. Blasco', Societat de Filosofia del País Valencià, 2004. pp. 233 - 254.

En el curso 2017-2018 la sede del máster es la Universidad de Valladolid

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad