Now showing items 10-29 of 35

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

    Nombres, referencia y valor cognoscitivo 

    Vicario Arjona, Ignacio (Date of defense: 2001-09-14)

    El tema de la tesis doctoral concierne a la semántica de los nombres propios y, principalmente, se centra en el estudio de algunos problemas cognoscitivos derivados de su comprensión. El punto de vista defendido es que los ...

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

    Projective forcing / Forcing projectiu 

    Bosch i Bastardas, Roger (Date of defense: 2002-04-12)

    Atès que el resum conté caràcters matemàtics especials, s'ha optat per incloure'l com a document annex, amb el títol "Resum.pdf".