Cognitive Phenomenology: A Non-Reductive Account 

    Jorba Grau, Marta (Date of defense: 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 (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 ...

    Conceptos modales e individuación 

    Pérez Otero, Manuel, 1964- (Date of defense: 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 (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 ...

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

    Dellunde i Clavé, Pilar (Date of defense: 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 (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 ...

    Dir i implicar no lògicament 

    Domingo Belando, Ambròs (Date of defense: 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 (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 ...

    El concepto de estado electro-tónico en Faraday 

    Romo Feito, José (Date of defense: 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 (Date of defense: 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 (Date of defense: 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 (Date of defense: 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 (Date of defense: 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 (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 ...

    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 ...

    Large cardinals and resurrection axioms 

    Tsaprounis, Konstantinos (Date of defense: 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 (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 ...

    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 (Date of defense: 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 (Date of defense: 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 (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 ...