Cognitive Phenomenology: A Non-Reductive Account 

    Jorba Grau, Marta (Fecha de defensa: 2013-04-11)

    The aim of this dissertation is to provide a non-reductive account of cognitive phenomenology and the experience of thinking. The nature of conscious thought is an issue that has occupied philosophers since ancient times, ...

    Composites 

    Horden, John (Fecha de defensa: 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 ...

    Conceptos modales e individuación 

    Pérez Otero, Manuel, 1964- (Fecha de defensa: 1996-10-09)

    Según el punto de vista predominante en la filosofía sobre la modalidad durante la mayor parte del siglo XX cualquier noción de necesidad que pueda tener sentido es dependiente de nuestros sistemas lingüísticos de ...

    Context and compositionality: an essay in metasemantics 

    Briciu, Adrian (Fecha de defensa: 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 ...

    Contribucions a la teoria de models de la lògica sense identitat 

    Dellunde i Clavé, Pilar (Fecha de defensa: 1996-01-01)

    La tesis doctoral es un estudio de la teoria de modelos de la lógica sin identidad. Se estudia el fragmento de la lógica de primer orden compuesto por las fórmulas que no tienen el símbolo de identidad. Los conceptos ...

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

    Ortega Cano, Laura (Fecha de defensa: 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 ...

    Dir i implicar no lògicament 

    Domingo Belando, Ambròs (Fecha de defensa: 2005-12-13)

    La tesi s'ocupa de qüestions centrals relacionades amb la distinció entre semàntica i pragmàtica. En primer lloc aborda la distinció entre allò que es diu i allò que s'implica no lògicament amb la proferència d'un enunciat, ...

    Duality Theory and Abstract Algebraic Logic 

    Esteban, María (Fecha de defensa: 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 ...

    El concepto de estado electro-tónico en Faraday 

    Romo Feito, José (Fecha de defensa: 1991-12-17)

    Sabemos la centralidad que la noción de estado electro-tónico tuvo en la primera formulación de las ecuaciones de Maxwell. El concepto, sin embargo, proviene de Faraday, que lo introdujo a raíz de su descubrimiento de la ...

    Empirisme i sintaxi lògica. (Carnap i el Cercle de Viena) 

    Cirera Duocastella, Ramon (Fecha de defensa: 1990-03-26)

    La tesi tracta del Cercle de Viena, i en concret de Carnap a l'etapa que en membre, o almenys treballava en la seva sintonia. En termes bibliogràfics, des de l'Aufbau fins a "Testability and Meaning", amb algunes incursions ...

    Estudi algebraic de les extensions dels càlculs multivalorats de Lukasiewicz 

    Gispert i Brasó, Joan (Fecha de defensa: 1998-06-01)

    L'objectiu d'aquesta memòria és estudiar, classificar i caracteritzar extensions unitàries del càlcul infinitvalorat de Lukasiewicz. Per mostrar les motivacions que ens han portat a fer aquest treball remarcarem alguns ...

    Forcing Arguments in Infinite RamseyTheory 

    García Ávila, Luz María (Fecha de defensa: 2012-07-12)

    This is a contribution to combinatorial set theory, specifically to infinite Ramsey Theory, which deals with partitions of infinite sets. The basic pigeon hole principle states that for every partition of the set of all ...

    Forking in simple theories and CM-triviality 

    Palacín Cruz, Daniel (Fecha de defensa: 2012-07-17)

    Aquesta tesi té tres objectius. En primer lloc, estudiem generalitzacions de la jerarquia no ample relatives a una família de tipus parcials. Aquestes jerarquies en permeten classificar la complexitat del “forking” respecte ...

    In Defense of Implicit Times 

    Rey Sampedro, David Alejandro (Fecha de defensa: 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 ...

    Investigations into the role of translations in abstract algebraic logic 

    Moraschini, Tommaso (Fecha de defensa: 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 ...

    Large cardinals and resurrection axioms 

    Tsaprounis, Konstantinos (Fecha de defensa: 2012-12-14)

    In the current dissertation we work in set theory and we study both various large cardinal hierarchies and issues related to forcing axioms and generic absoluteness. The necessary preliminaries may be found, as it should ...

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

    Pardo Ventura, Pere (Fecha de defensa: 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 ...

    Lògica i fonaments: 1850-1920. Un estudi comparatiu de les contribucions del corrent algèbric i logicista a la lògica contemporània 

    Roselló Moya, Joan (Fecha de defensa: 2003-03-06)

    L'objectiu principal del nostre estudi ha estat, en primer lloc, fer una "història de la lògica" que abastés el període que va aproximadament des de mitjans del segle XIX, època en què Boole i De Morgan renoven la lògica ...

    Lògiques modals tetravalents 

    Rius Font, Miquel (Fecha de defensa: 1992-03-26)

    El marc algebraic en què es situa aquesta memòria és l'introduït per Brown i Suzko a [BS], marc que gira entorn la definició de lògica abstracta; una lògica abstracta “L” és una parella (A,C) formada per una àlgebra abstracta ...

    La Lógica de Gottlob Frege: 1879 – 1903 

    Bertran San Millán, Joan (Fecha de defensa: 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 ...