Hybrid type theory: a quartet in four movements

This paper sings a song -a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin. Although the work of the first three of these authors have previously been combined, adding the ideas of Leon Henkin is the addition required to make the combination work at the logical level. But the present paper does not focus on the underlying technicalities (these can be found in Areces, Blackburn, Huertas, and Manzano [to appear]) rather it focusses on the underlying instruments, and the way they work together. We hope the reader will be tempted to sing along

Programa de captación de estudiantes de Bachillerato del distrito universitario de Salamanca (3ª Edición). Facultad de Filosofía – Universidad de Salamanca

Memoria ID-0267. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2014-2015

Avances en Informática y Automática. Octavo Workshop

[ES]El Máster Oficial en Sistemas Inteligentes de la Universidad de Salamanca tiene como principal objetivo promover la iniciación de los estudiantes en el ámbito de la investigación. El congreso organizado por el Departamento de Informática y Automática que se celebra dentro del Máster en Sistemas Inteligentes de la Universidad de Salamanca proporciona la oportunidad ideal para que sus estudiantes presenten los principales resultados de sus Trabajos de Fin de Máster y obtengan una realimentación del interés de los mismos. La octava edición del workshop “Avances en Informática y Automática”, correspondiente al curso 2013 - 2014, ha sido un encuentro interdisciplinar donde se han presentado trabajos pertenecientes a un amplio abanico de líneas de investigación, desde los sistemas multiagente, la visualización de la información o la minería de datos hasta la lógica, el reconocimiento de patrones o las redes neuronales. Todos los trabajos han sido supervisados por investigadores de reconocido prestigio pertenecientes a la Universidad de Salamanca, proporcionando el marco idóneo para sentar las bases de una futura tesis doctoral. Entre los principales objetivos del congreso se encuentran: ofrecer a los estudiantes un marco donde exponer sus primeros trabajos de investigación. Proporcionar a los participantes un foro donde discutir ideas y encontrar nuevas sugerencias de compañeros, investigadores y otros asistentes a la reunión. Permitir a cada estudiante una realimentación de los participantes sobre su trabajo y una orientación sobre las futuras direcciones de investigación. Contribuir al desarrollo del espíritu de colaboración en la investigación

Lógica variada

Depto. de Lógica y Filosofía TeóricaFac. de FilosofíaTRUEpu

A semantics for equational hybrid propositional type theory

The definition of identity in terms of other logical symbols is a recurrent issue in logic. In particular, in First-Order Logic (FOL) there is no way of defining the global relation of identity, while in standard Second-Order Logic (SOL) this definition is not only possible, but widely used. In this paper, the reverse question is posed and affirmatively answered: Can we define with only equality and abstraction the remaining logical symbols? Our present work is developed in the context of an equational hybrid logic (i.e. a modal logic with equations as propositional atoms enlarged with the hybrid expressions: nominals and the @ operator). Our logical base is propositional type theory. We take the propositional equality, abstraction, nominals, and @ operators as primitive symbols and we demonstrate that all of the remaining logical symbols can be defined, including propositional quantifiers and equational equality

Propositional Type Theory of Indeterminacy

Special Issue: Strong and weak Kleene logics. Edited by Gavin St. John and Francesco PaoliThe aim of this paper is to define a partial Propositional Type Theory. Our system is partial in a double sense: the hierarchy of (propositional) types contains partial functions and some expressions of the language, including formulas, may be undefined. The specific interpretation we give to the undefined value is that of Kleene’s strong logic of indeterminacy. We present a semantics for the new system and prove that every element of any domain of the hierarchy has a name in the object language. Finally, we provide a proof system and a (constructive) proof of completeness.Ministerio de Ciencia, Innovación y Universidades (España)European Regional Development FundDepto. de Lógica y Filosofía TeóricaFac. de FilosofíaTRUEpu

Hybrid Partial Type Theory

In this article we define a logical system called Hybrid Partial Type Theory (HPTT ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for HPTT .Ministerio de Economía y Competitividad (España)Portuguese funding agencyDepto. de Lógica y Filosofía TeóricaFac. de FilosofíaTRUEpu

Desarrollo de la página web del máster en Lógica y Filosofía del Ciencia de cara a su difusión en el ámbito internacional

Memoria ID11-112. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2011-2012.La realización de este proyecto ha conseguido, como era su objetivo, una notable mejora de la página ya existente del máster y doctorado de Lógica y Filosofía de la Ciencia, concretamente en el espacio dedicado a los alumnos. La mejora ha consistido básicamente en una apertura de la página hacia el exterior y hacia sus mismos integrantes, estudiantes y profesores. La incorporación de avisos y comentarios acerca de actividades relevantes en las materias del posgrado, como congresos y reuniones científicas, publicaciones, o noticias de prensa han supuesto una oportuna apertura de la página hacia su entorno más cercano, mientras que, por otra parte, la entrada en ella de las opiniones de los alumnos sobre el posgrado, las conexiones a sus blogs o las entrevistas con profesores permiten un mejor conocimiento de los miembros del máster y el doctorado y de los aciertos y deficiencias en el desarrollo de éste

Diseño y elaboración de un portal virtual interactivo para alumnos del máster interuniversitario en Lógica y Filosofía de la ciencia

Memoria ID11-113. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2011-2012