Now showing items 21-35 of 35

    La determinación de la referencia de los términos para artefactos 

    Ortega Cano, Laura (Date of defense: 2013-05-13)

    La tesis trata de un aspecto semántico de los términos para artefactos: la determinación de su referencia. Para abordar esta cuestión, exploro la sugerencia putnamiana según la cual la referencia de los términos de clase ...

    Duality Theory and Abstract Algebraic Logic 

    Esteban, María (Date of defense: 2013-11-04)

    In this thesis we present the results of our research on duality theory for non-classical logics under the point of view of Abstract Algebraic Logic (AAL). Firstly, we propose an abstract Spectral-like duality and an ...

    Logical planning in Temporal Defeasible and Dynamic Epistemic Logics: the case of t-DeLP and LCC 

    Pardo Ventura, Pere (Date of defense: 2013-11-19)

    In this thesis, we study planning systems based on logics, for two particular cases: Temporal Defeasible Logic Programming t-DeLP and the Logics of Communication and Change LCC. A planning problem consists in building a ...

    Apriority and Colour Inclusion 

    Reining, Stefan (Date of defense: 2014-06-20)

    My central aim in this dissertation is to propose a new version of local scepticism regarding the a priori, namely, a version of scepticism regarding the apriority of (knowledge of) truths about certain relations between ...

    The Literal Meaning of Definite Descriptions 

    Moldovan, Andrei (Date of defense: 2015-04-24)

    This thesis focuses on the semantics of definite descriptions (DDs). In chapter 1 I introduce a framework for doing compositional semantics for natural language that follows Heim and Kratzer (1998) and Fintel and Heim ...

    The World As I Found It. A Subjectivist Metaphysics of the Mental 

    Merlo, Giovanni (Date of defense: 2015-06-01)

    The first part of this thesis articulates and defends the Subjectivist View of the Mental. According to this view, my mental states are essentially different from the mental states of everyone else, but the fact that they ...

    A few things about hyperimaginaries and stable forking 

    Potier, Joris (Date of defense: 2015-06-8)

    The core of this PhD dissertation is basically twofold : On one hand, I get some new results on the relationship between compact groups and bounded hyperimaginaries, extending a little bit the classical results of Lascar ...

    Context and compositionality: an essay in metasemantics 

    Briciu, Adrian (Date of defense: 2015-07-17)

    The general aim of this dissertation is to analyze two intersecting topics. One is what constraints the principle(s) of compositionality place on semantic theories, and the second is whether context-sensitivity endangers ...

    Topological dualities and completions for (distributive) partially ordered sets 

    González, Luciano J. (Date of defense: 2015-09-17)

    This PhD thesis is the result of our research on duality theory and completions for partially ordered sets. A first main aim of this dissertation is to propose different kind of topological dualities for some classes of ...

    Composites 

    Horden, John (Date of defense: 2015-12-11)

    The four main chapters in this dissertation, while each largely self-standing, can be seen as together providing an extended defence of the view that classical mereology is analytically true. In chapter 1, I criticise Eli ...

    Análisis lógico-comparativo de las formulaciones de la termodinámica 

    Sánchez Ferrer, Juan Manuel (Date of defense: 2016-02-08)

    1. OBJETIVO PRINCIPAL Sean las termodinámicas fundamentales de la vertebración histórica de los conceptos específicamente termodinámicos, es decir, la termodinámica de lo que aquí se denomina 2ª etapa de Clausius, la ...

    La Lógica de Gottlob Frege: 1879 – 1903 

    Bertran San Millán, Joan (Date of defense: 2016-02-10)

    Ofrecemos en esta tesis doctoral una reconstrucción global y detallada de la lógica desarrollada por Gottlob Frege a lo largo de su carrera. A pesar de que esta lógica fue objeto de profundas modificaciones desde su ...

    Operators and strong versions of sentential logics in Abstract Algebraic Logic 

    Albuquerque, Hugo Cardoso (Date of defense: 2016-03-16)

    This dissertation presents the results of our research on some recent devel-opments in Abstract Algebraic Logic (AAL), namely on the Suszko operator, the Leibniz filters, and truth-equational logics. Part I builts and ...

    Investigations into the role of translations in abstract algebraic logic 

    Moraschini, Tommaso (Date of defense: 2016-06-08)

    This memoir is divided into two parts, devoted to two topics in (ab-stract) algebraic logic. In the first part we develop a hierarchy in which propositional logics “L” are classified according to the definability conditions ...

    In Defense of Implicit Times 

    Rey Sampedro, David Alejandro (Date of defense: 2016-12-20)

    The present dissertation explores the hypothesis that English is a language with time-shifting grammatical devices. According to this hypothesis, the linguistic objects of English grammar which serve as the inputs to ...