Tesis Doctorals - Departament - Lògica, Història i Filosofia de la Ciència

URI permanent per a aquesta col·leccióhttps://hdl.handle.net/2445/42066

Estadístiques

Examinar

Mostrant 1 - 20 de 35

Contribucions a la teoria de models de la lògica sense identitat
(Universitat de Barcelona, 1996) Dellunde i Clavé, Pilar; Jansana, Ramon; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[spa] 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 fundamentales estudiados son el de "Congruencia de Leibniz" y el de "Relación de parentesco (Relative Relation)". El interés actual de estas nociones procede de los trabajos de W. Blok y de D. Pigozzi. Hemos estudiado esta lógica desde el punto de vista de la teoria de modelos clásica, desarrollando técnicas usuales en teoria de modelos: Metodo de los diagramas, sistemas de Back-and-Forth, etc. con el fin de obtener caracterizaciones algebraicas de la equivalencia elemental en esta lógica y teoremas de preservación. Una de las contribuciones más importantes de este trabajo es la caracterización de los enunciados de primer orden que son lógicamente equivalentes a un enunciado sin identidad. Hemos introducido las nociones de modelo saturado, universal y homogéneo sin identidad. Hemos estudiado sus propiedades y las hemos comparado con las de las nociones análogas en lógica de primer orden con identidad. Finalmente hemos estudiado el fragmento universal de Horn sin identidad de los lenguajes infinitarios, con Y cardinales infinitos regulares. Hemos obtenido resultados de caracterización y de preservación. Usando estos resultados hemos demostrado teoremas de interpolación y definibilidad para este fragmento.
Auto-conocimiento, memoria y racionalidad (Estudio de tres argumentos anti-externistas)
(Universitat de Barcelona, 2010-03-15) Garmendia Mugica, Ekain; Pérez Otero, Manuel, 1964-; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[spa] En las últimas tres o cuatro décadas ha logrado gran aceptación cierta teoría sobre la naturaleza de nuestros conceptos y representaciones mentales, conocida como Externismo Semántico, la cual sostiene que qué conceptos tiene uno y qué pensamientos o creencias guarda en parte depende de factores que le son externos. Algunos autores han defendido que esta teoría resulta incompatible con varias tesis que no quisiéramos abandonar (especialmente, muchos han indicado que la teoría externista es incompatible con la idea de que tenemos acceso privilegiado a nuestros estados mentales). Este trabajo trata sobre tres de estos argumentos anti-externistas. Concluye que ninguno de los tres consigue sus objetivos, y se centra en algunas de las problemáticas relacionadas con los tres argumentos: cuestiones sobre discriminación y conocimiento, memoria o racionalidad. Una de las conclusiones más importantes a la que llega el trabajo es que el externista debería abandonar la idea de que el contenido mental es transparente, pero que esta tesis dista mucho de ser necesaria.
In Defense of Implicit Times
(Universitat de Barcelona, 2016-12-20) Rey Sampedro, David Alejandro; Kölbel, Max; Macià, Josep; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[eng] 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 semantic interpretation have time-sensitive extensions and some of these objects play their roles in the process of interpretation by shifting the times relative to which other objects are interpreted. In a nutshell, English has intensional devices that manipulate times. The view that English tenses and temporal adverbs like now and then have time-shifting meanings was endorsed by some of the founders of modern formal semantics during the seventies and early eighties. These theorists studied certain fragments of English and proposed formalizations for them using regimented languages equipped with temporal operators. Subsequent research shed doubt on the operator-based approach of the early formal semanticists. Their intensional accounts of English temporal discourse were abandoned in favor of referential, quantificational, and dynamic theories. As a result, the hypothesis that English is a time-shifting language (in the sense suggested above) is no longer viewed as a tenable option in mainstream formal semantics. This dissertation examines the main lines of argument that have motivated this theoretical move away from the project of intensional semantics. I argue that the prospects for developing a plausible intensional account of English temporal discourse are not as gloomy as it has been assumed in the literature. I examine four influential lines of argument for the view that English lacks temporal operators. The advocates of this view have argued that operator-based formalizations of English sentences are inadequate for the purposes of natural language semantics because they (i) have expressive limitations that can only be overcome by positing more and more temporal indices in the intensional system, (ii) are ad hoc and inelegant, (iii) fail to explain the pronominal uses of tenses, and (iv) fail to account for the behavior of embedded tenses. Although it is true that the lines of argument (i)-(iv) reveal the explanatory problems of traditional operator-based theories, I suggest that a sophisticated intensional account of English tenses can overcome those problems. If this suggestion is on the right track, the case against the hypothesis that English is a time-shifting language is far less compelling than it appears at first glance.
Investigations into the role of translations in abstract algebraic logic
(Universitat de Barcelona, 2016-06-08) Moraschini, Tommaso; Font Llovet, Josep Maria; Jansana, Ramon; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[eng] 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 enjoyed by the truth sets of the matrix semantics Mod* L. More precisely, we focus on conditions belonging to the conceptual framework of the Leibniz hierarchy, meaning that they can be characterized by means of the order-theoretic behaviour of the Leibniz operator. We study the class of logics such that truth is definable in Mod* L by means of universally quantified equations leaving one variable free. Then we study logics for which truth is implicitly definable in Mod* L and show that the injectivity of the Leibniz operator does not transfer in general from theories to filters over arbitrary algebras. Finally we consider an intermediate condition on the truth sets in Mod* L that corresponds to the order-reflection of the Leibniz operator. We conclude this part of the memoir by taking a computational glimpse to the Leibniz and Frege hierarchies. In the second part of this memoir we present an algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie. This result is achieved by developing a correspondence between the concept of adjunction and a new notion of translation between relative equational consequences. This correspondence provides a general explanation of the correspondence that appears in some well-known trans-lations between logics, e.g., Godel's translation of intuitionistic logic into the gobal modal logic 84 corresponds to the functor that takes an interior algebra to the Heyting algebra of its open elements and Kolmogorov's translation of classical logic into intuitionistic logic corresponds to the functor that takes a Heyting algebra to the Boolean algebra of its regular elements.
A few things about hyperimaginaries and stable forking
(Universitat de Barcelona, 2015-06-08) Potier, Joris; Casanovas Ruiz-Fornells, Enrique; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[eng] 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 and Pillay in Hyperimaginaries And Automorphism Groups. On the other hand, I prove some new results around the so called "stable forking" property, more specifically that a simple theory T has stable forking if Teq has. Quite surprisingly, the proof is not so straigtforward.
Context and compositionality: an essay in metasemantics
(Universitat de Barcelona, 2015-07-17) Briciu, Adrian; Kölbel, Max; Macià, Josep; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[eng] 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 the project of formal semantics. More precisely I will look on what constraints different principles of compositionality place on the treatment of context-sensitivity and I will focus primarily on whether the claim that natural language sentences exhibit pervasive and radical context sensitivity (that allegedly cannot be treated can be handled by fixing the values for a fixed set of contextual parameters) can be accommodated within a compositional semantics. I approach this debate from a slightly different angle than most authors. Most authors are concerned with whether the arguments that supposedly establish the existence of such context-sensitivity are correct or not. I, on the other hand, approach it from a different angle: assuming (or conceding) that there is pervasive radical context-sensitivity, is this incompatible with the claim that natural language semantics are compositional? The most common answer is that indeed there is incompatibility between this kind of context-sensitivity and some forms of compositionality. To give a precise answer to this question P11 distinguish three principles of compositionality, where each of them places different constraints on semantic theories. P11 show that radical context sensitivity this is incompatible with a strong version of compositionality but not with a weaker version of compositionality. The strong version claims that the semantic value of a complex expression relative to a context is a function of the semantic values of its constituents (at that context) and of its syntactic structure. The weaker version claims that the semantic value of a complex expression at a context is a function of the semantic values of its constituents (at that context) its syntactic structure and of the context itself. Ultimately, the question I address can be formulated in the following way: is the contribution of the context to the determination of truth-conditions of sentences at contexts restricted to that of fixing the values of context- sensitive expressions (or other syntactic material) present in the logical form? The stronger version of compositionality forces us to give a positive answer, while the weaker version of compositionality permits a negative answer. In the final chapters of the dissertation I offer several arguments against the weak version of compositionality. The main contention is that weak-compositionality fails to deliver the explanatory benefits that we expect compositionality to deliver. If the arguments are correct this limits the possible moves a theorist can take in handling context-sensitivity.
Operators and strong versions of sentential logics in Abstract Algebraic Logic
(Universitat de Barcelona, 2016-03-16) Albuquerque, Hugo Cardoso; Jansana, Ramon; Font Llovet, Josep Maria; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[eng] 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 develops an abstract framework which unifies under a common treatment the study of the Leibniz, Suszko, and Frege operators in AAL. Part II generalizes the theory of the strong version of protoalgebraic logics, started in, to arbitrary sentential logics. The interplay between several Leibniz- and Suszko-related notions led us to consider a general framework based upon the notion of S-operator (inspired by that of "mapping compatible with S-filters" of Czelakowski), which encompasses the Leibniz, Suszko, and Frege operators. In particular, when applied to the Leibniz and Suszko operators, new notions of Leibniz and Suszko S-filters arise as instances of more general concepts inside the abstract framework built. The former generalizes the existing notion of Leibniz filter for protoalgebraic logics to arbitrary logics, while the latter is introduced here for the first time. Sev-eral results, both known and new, follow quite naturally inside this framework, again by instantiating it with the Leibniz and Suszko operators. Among the main new results, we prove a General Correspondence Theorem (Theorem ??), which generalizes Blok and Pigozzi's well-known Correspondence Theorem for protoalgebraic logics, as well as Czelakowski's less known Correspondence The-orem for arbitrary logics. We characterize protoalgebraic logics in terms of the Suszko operator as those logics in which the Suszko operator commutes with inverse images by surjective homomorphisms (Theorem ??). We characterize truth-equational logics in terms of their (Suszko) S-filters (Theorem ??), in terms of their full g-models (Corollary ??), and in terms of the Suszko operator, a characterization which strengthens that of Raftery, as those logics in which the Suszko operator is a structural representation from the set of S-filters to the set of AIg(S)-relative congruences, on arbitrary algebras (Theorem ??). Finally, we prove a new Isomorphism Theorem for protoalgebraic logics (Theorem ??), in the same spirit of the famous one for algebraizable logics and for weakly algebraizable logics. Endowed with a notion of Leibniz filter applicable to any logic, we are able to generalize the theory of the strong version of a protoalgebraic logic developed by Font and Jansana to arbitrary sentential logics. Given a sentential logic 5, its strong version St is the logic induced by the class of matrices whose truth set is Leibniz filter. We study three definability criteria of Leibniz filters: equational, explicit and logical definability. Under (any of) these assumptions, we prove that the St-filters coincide with Leibniz S-filters on arbitrary algebras. Finally, we apply the general theory developed to a wealth of non-protoalgebraic log-ics covered in the literature. Namely, we consider Positive Modal Logic P,A4,C, Belnap's logic B, the subintuitionistic logics w1C, and Visser's logic VP,C, and Lukasiewicz's infinite-valued logic preserving degrees of truth. We also consider the generalization of the last example mentioned to logics preserving degrees of truth from varieties of integral commutative residuated lattices, and further generalizations to the non-integral case, as well as to the case without multi-plicative constant. We classify all the examples investigated inside the Leibniz and Frege hierarchies. While none of the logics studied is protoalgebraic, all the respective strong versions are truth-equational.
Composites
(Universitat de Barcelona, 2015-12-11) Horden, John; López de Sa Medina, Daniel; García-Carpintero, Manuel; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[eng] 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 Hirsch’s influential deflationary account of the ontological debate on composition, according to which universalists and nihilists talk past each other, and neither speak truly in ordinary language. In chapter 2, I respond to a recent argument from Louis deRosset against the standard assumption that analytic truths are somehow metaphysically insubstantial. In chapter 3, I criticise various attempts to reconcile mereological nihilism with the truth of everyday discourse. Finally, in chapter 4, I argue for the analyticity of classical mereology, and answer the main objections to this view of composition.
Análisis lógico-comparativo de las formulaciones de la termodinámica
(Universitat de Barcelona, 2016-02-08) Sánchez Ferrer, Juan Manuel; Mosterín, Jesús; Díez, José A. (José Antonio), 1961-; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[spa] 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 gibbsiana y la de Carathéodory. El objetivo principal es establecer un conjunto completo de conclusiones comparativas, en perspectiva macroscópica clásica, de dichas termodinámicas por su contenido físico. 2. EXTENSIONES DEL ENUNCIADO DEL OBJETIVO PRINCIPAL 2.1. Comparación de las extensiones de dichas termodinámicas, por el contenido físico, a dominios macroscópicos clásicos para las que no fueron formuladas originariamente. 2.2. Comparación de las extensiones de dichas termodinámicas, por el contenido físico, al dominio de la física relativista macroscópica. 2.3. Comparación microscópica de dichas termodinámicas por el contenido físico. 3.1 .Comparación con la física fundamental clásica como referencia comparativa 3.2. Comparación con la física fundamental cuántica como referencia comparativa 3.3. Comparación microscópica con la física fundamental relativista como referencia comparativa. La memoria de la tesis doctoral consta de 4 partes: la 1ª es una exposición del contexto científico a considerar, la 2ª incluye una serie de clarificaciones epistemológicas y la metodología aplicada, la 3ª es una serie de análisis comparativos relativos al conjunto de las tres termodinámicas mencionadas (Clausius, Gibbs y Carathéodory), la 4ª es la parte destinada a las conclusiones, y la 5ª es la parte de los apéndices (3 en total). La conclusión final principal de la tesis es la siguiente: Puesto que, salvo en un tema relativamente puntual que atañe a la termodinámica de Carathéodory, las concepciones y postulados propiamente termodinámicos de Clausius incluirían los propiamente termodinámicos de Gibbs y Carathéodory si no fuera porque Clausius ni incluyó la idea de equilibrio termodinámico (que sí incluyó Gibbs, y, en cierta variante, Carathéodory) ni la idea de ‘acción química’ (que si incluyeron implícitamente Gibbs y Carathéodory), se concluye que dos a dos son diferentes los contenidos físicos de las tres termodinámicas a pesar de que las tres tengan un contenido físico común, y de que dos a dos tengan contenidos comunes. Ahora bien, si además consideramos que para llegar al axioma 1 de Carathéodory, desde Clausius, se ha de suponer que la temperatura empírica ti es siempre un parámetro en función de pi, Vi y mi, ya que en el contexto de Carathéodory, reconocida la composición química de la fase i (o subsistema homogéneo i a considerar), siempre es posible determinar una función hi tal que ti = hi(pi,Vi,mi), entonces se ha de considerar que hay una parte de la termodinámica de Carathéodory que no está presente en las otras dos. En lo que respecta a las comparaciones de las posibles extensiones de las termodinámicas históricamente fundamentales, no hay variaciones en cuanto a la topología grosso modo de los diagramas de Venn correspondientes. Básicamente esto es así porque las variaciones que hay al pasar del contexto clásico al relativista no afectan substancialmente al motivo por el que en el contexto clásico originario las concepciones de Clausius abarcan a las de Gibbs y Carathéodory excepto en el tema del equilibrio termodinámico y en el tema de las acciones químicas. Dada la concepción aquí aplicada de contenido físico, el diagrama anterior permanece prácticamente invariable en perspectiva microscópica. No obstante, en perspectiva microscópica hay conexiones lógicas entre las tres termodinámicas dadas que no se pueden observar macroscópicamente.
La Lógica de Gottlob Frege: 1879 – 1903
(Universitat de Barcelona, 2016-02-10) Bertran San Millán, Joan; Badesa, Calixto; Martínez Fernández, José, 1969-; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[spa] 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 formulación inicial en Begriffsschrift hasta la versión revisada de Grundgesetze, muy raramente se han considerado las diferencias fundamentales que hay entre estas dos obras. No sólo defendemos que estas diferencias existen; además explicamos cómo deben entenderse atendiendo a la evolución del pensamiento de Frege. En primer lugar, plateamos una reconstrucción de la lógica de Begriffsschrift, de la que resulta una lectura completamente original de su sistema formal; una que contradice la base de los estudios históricos modernos. En particular, defendemos que esta lógica no es, como se ha mencionado en multitud de ocasiones, una lógica de segundo orden y proporcionamos las razones siguientes. (1) El suyo no es propiamente un lenguaje formal. Por ejemplo, no dispone de una definición de la noción de fórmula atómica. La concepción de Frege del uso del sistema formal de Begriffsschrift como una herramienta, y no como su propio objeto de estudio, puede explicar esta omisión. (2) Contra lo que puede parecer, únicamente hay un tipo de cuantificación: la cuantificación sobre argumentos. (3) La lógica de Begriffsschrift no posee una semántica en sentido moderno. Sus letras pueden leerse de tantos modos distintos que no es posible atribuir un significado concreto a las fórmulas en las que aparecen. Además, los cuantificadores no reciben una interpretación semántica: no hay ningún dominio de cuantificación. En segundo lugar, ofrecemos una explicación de las razones que determinan la evolución de la lógica de Frege. La transición de Begriffsschrift a Grundgesetze ha sido considerada muy raramente y nunca ha sido plenamente explicada. Según nuestro análisis histórico, el paso de la posición de Frege en Begriffsschrift relativa a la lógica a su concepción final, establecida en Grundgesetze, puede articularse mediante la adopción de la distinción entre concepto y objeto como el elemento esencial del sistema formal. Esto conlleva la formalización de la noción de concepto, que finalmente conduce a la noción de función de Grundgesetze. Finalmente, proporcionamos un análisis global de la lógica de Grundgesetze. En esta obra, Frege desarrolla un sistema formal que es similar a un sistema estándar para la lógica de segundo orden. Presentamos una reconstrucción de este sistema formal que permite compararlo con el de Begriffsschrift. En particular, formulamos con precisión cada regla de inferencia planteada por Frege y prestamos especial atención a las reglas de substitución. Además, a partir de esta reconstrucción obtenemos resultados meta-lógicos como, por ejemplo, la equivalencia entre el fragmento proposicional de Grundgesetze y un cálculo completo para la lógica proposicional, y entre el fragmento de primer orden de Grundgesetze y un cálculo completo para la lógica de primer orden.
Topological dualities and completions for (distributive) partially ordered sets
(Universitat de Barcelona, 2015-10-21) González, Luciano J.; Jansana, Ramon
[spa] Esta tesis doctoral es el resultado de nuestra investigación sobre la teoría de la dualidad y completaciones de conjuntos parcialmente ordenados. Un primer objetivo general de este trabajo es proponer diferentes tipos de dualidades topológicas para algunas clases de conjuntos parcialmente ordenados y un segundo objetivo es tratar de utilizar estas dualidades para obtener diferentes completaciones con buenas propiedades. Para este fin, nos proponemos seguir la línea de las dualidades clásicas para retículos distributivos acotados debidas a Stone y a Priestley. Por lo tanto, necesitaremos considerar una noción de distributividad sobre conjuntos parcialmente ordenados. También proponemos una dualidad topológica para la clase de todos los conjuntos parcialmente ordenados y usamos esta dualidad para estudiar algunas propiedades de los conjuntos parcialmente ordenados como su extensión canónica, funciones que preservan orden y las extensiones de funciones n-arias que preservan orden en cada coordenada. Por otra parte, para alcanzar estos objetivos vamos a estudiar los conjuntos parcialmente ordenados desde un punto de vista algebraico.
The World As I Found It. A Subjectivist Metaphysics of the Mental
(Universitat de Barcelona, 2015-06-01) Merlo, Giovanni; Rosenkranz, Sven; Hawthorne, John (John P.); Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[spa] La primera parte de esta tesis articula y defiende la Teoría Subjetivista de lo Mental. Según esta teoría, mis estados mentales son esencialmente diferentes de los estados mentales de los demás, pero el hecho de que lo son no es un hecho objetivo, sino que un hecho subjetivo. El Capítulo 1 explica qué significa que un hecho sea subjetivo, qué tipo de diferencia hay entre mis estados mentales y los estados mentales de los demás y qué tipo de intuiciones me llevan a creer que haya esta diferencia. El Capítulo 2 defiende la Teoría Subjetivista de lo Mental frente a objeciones y discute algunas de sus implicaciones más importantes. En la segunda parte de la tesis, voy a examinar las ventajas que la Teoría Subjetivista de lo Mental ofrece cuando se trata de dar cuenta de tres fenómenos característicos de nuestro conocimiento de los hechos mentales. El Capítulo 3 trata de la asimetría entre el conocimiento de nuestra propia mente y el conocimiento de otras mentes. Se argumenta que, si la Teoría Subjetivista de lo Mental es correcta, es posible explicar esta asimetría sin asumir que el conocimiento de nuestra propia mente y el conocimiento de otras mentes están basados en diferentes formas de conocimiento. El Capítulo 4 se centra en la “inmunidad al error mediante identificación equivocada” de las auto-atribuciones mentales. Lo que voy a mostrar es que, aunque haya habido una tendencia a explicar este fenómeno diciendo (como Lichtenberg y Wittgenstein) que el contenido de la auto-atribuciones mentales es general y no particular, esta estrategia no puede funcionar a menos que la Teoría Subjetivista de lo Mental sea correcta. El Capítulo 5 se ocupa del conocimiento experiencial. Se argumenta que, si las verdades experienciales son consideradas como verdades objetivas, es difícil explicar porqué el conocimiento experiencial tiene que ser conocimiento de 'primera mano'. El problema desaparece si las verdades experienciales son consideradas como verdades subjetivas.
The Literal Meaning of Definite Descriptions
(Universitat de Barcelona, 2015-04-24) Moldovan, Andrei; Kölbel, Max; García-Carpintero, Manuel; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[spa] Esta tesis se centra en la semántica de las descripciones definidas (DDs). En el capítulo 1 introduzco un marco teórico para la semántica composicional del lenguaje natural que sigue la propuesta de Heim y Kratzer (1998) y Fintel y Heim (2011). En el capítulo 2 ofrezco una reconstrucción dentro de este marco de tres teorías clásicas de las DDs: la teoría de Russell, la teoría de Frege, y la propuesta de Barwise y Cooper (1981). El capítulo 3 tiene como enfoque las DDs incompletas y el capítulo 4 se centra en la distinción entre los usos referenciales y los usos atributivos. Argumento que ninguno de estos fenómenos nos permite elegir entre las tres teorías de las DDs introducidas. En los capítulos 5 y 6 analizo las DDs que no denotan. En el capítulo 5 sostengo que, con respecto a una determinada caracterización de las presuposiciones, la teoría de Frege y la de B&C tienen más poder explicativo que la teoría russelliana. El capítulo 6 trata de las intuiciones acerca de los valores de verdad de las oraciones que contienen DDs que no denotan. Discuto la objeción de Ramachandran (1993) a la teoría russelliana y ofrezco una versión mejorada de esta objeción. En el capítulo 7 analizo los datos provenientes de la inserción de DDs en el complemento de los verbos de actitud proposicional. Discuto la objeción propuesta por Heim (1991) contra la teoría russelliana. Una vez más, se trata de un problema importante para esta teoría que no afecta a las teorías de Frege y de B&C. La conclusión general de esta discusión es que la teoría de Russell es la menos preparada de las tres propuestas consideradas para dar cuenta de los tipos de datos lingüísticos analizados. Esta conclusión se sostiene sobre los resultados de los capítulos 6 y 7, y parcialmente los del capítulo 5. La principal contribución positiva de este trabajo es la de señalar que la teoría de B&C, aunque generalmente ignorada en la literatura relevante, tiene las mismas virtudes teóricas que la teoría de Frege con respecto a los datos que se han considerado aquí.
Apriority and Colour Inclusion
(Universitat de Barcelona, 2014-06-20) Reining, Stefan; Martí, Genoveva; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[spa] Mi objetivo central en esta tesis es proponer una nueva versión de escepticismo local con respecto al a priori, es decir, una versión de escepticismo con respecto a la aprioridad (del conocimiento de) las verdades sobre ciertas relaciones entre colores. El tipo de relación en cuestión queda, por ejemplo, expresado en oraciones como 'Todas las cosas ultramarinas son azules' y 'Nada es verde y rojo en todas partes' – oraciones que, entre los defensores del a priori, han sido consideradas comúnmente como ejemplos paradigmáticos de verdades a priori. En el curso de mi argumentación, utilizo una noción relativamente permisiva de comprensión lingüística (inspirado en el trabajo reciente de Timothy Williamson sobre el a priori), según la cual es posible obtener comprensión lingüística de términos de color de una cierta manera no estándar. La noción de comprensión lingüística en juego está, a su vez, basada en consideraciones a favor de una concepción de grano relativamente grueso acerca de los objetos primarios de la verdad. Además, mi argumentación se basa en consideraciones a favor de una cierta concepción de evidencialidad, según la cual una experiencia puede jugar tanto un papel comprensión-produciendo como un papel probatorio en la misma instancia de conocimiento y según la cual algunas de las experiencias involucradas en presuntos casos de conocimiento a priori de las relaciones entre colores en juego tienen este tipo de doble función. Finalmente, examino ciertos fenómenos empíricos que al parecer amenazan la posibilidad de llegar a entender a los términos de color en el modo no estándar propuesto, y sostengo que la amenaza planteada por estos fenómenos está más extendida que lo que ha sido reconocido hasta ahora, y que todas las formas disponibles de acomodar estos fenómenos son compatibles con mi escepticismo local con respecto al a priori.
Logical planning in Temporal Defeasible and Dynamic Epistemic Logics: the case of t-DeLP and LCC
(Universitat de Barcelona, 2013-11-19) Pardo Ventura, Pere; Godo i Lacasa, Lluís; Sadrzadeh, Mehrnoosh; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[cat] En aquesta tesi, estudiem algorismes de planificació per a dues lògiques enfocades a sistemes multi-agent. Amb més detall, estudiem problemes de planificació (com arribar a estats objectiu a partir de l'estat inicial i un conjunt d'accions disponibles), els elements dels quals es poden expressar en alguna de les dues lògiques. En la primera part de la tesi, proposem en primer lloc una extensió temporal de la programació lògica rebatible (temporal defeasible logic programming) t-DeLP. Aquest és un sistema de programació lògica no-monotònica basat en tècniques d'argumentació i orientat al raonament sobre les accions, i especialment dels seus efectes indirectes. En el llenguatge d'aquesta lògica, hom pot descriure accions temporals de l'estil de sistemes de planificació, i definir al seu temps un sistema de transicions d'estats. Finalment, això permet definir un sistema de planificació basat en aquesta lògica que combina accions i derivacions lògiques. Les contribucions principals al respecte són: l'estudi de les propietats argumentatives del sistema lògic, i de la correcció i completesa d'algorismes basats en Breadth First Search de cerca en l'espai de plans. En la segona part de la tesi, estudiem sistemes de planificació definits sobre una família de lògiques dinàmiques epistèmiques, conegudes com a Logics of Communication and Change. Aquestes lògiques permeten l'estudi formal de les creences de diversos agents, així com dels efectes epistemics i físics de diferents tipus d'accions. Entre aquestes, podem incloure diferents accions comunicatives (públiques, privades), observacions i les accions físiques habituals en planning. L'estudi del sistema de planificació definit per aquestes lògiques és dut a terme mitjançant algorismes de cerca basats en breadth first search. Les contribucions principals són l'extensió d'aquestes lògiques amb accions no-deterministes i composició d'accions, i la demostració de la correcció
Duality theory and Abstract Algebraic Logic
(Universitat de Barcelona, 2013-11-04) Esteban, María; Jansana, Ramon; Celani, Sergio Arturo; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[spa] En esta tesis se presentan los resultados de nuestra investigación acerca de la teoría de la dualidad para lógicas no clásicas desde el punto de vista de la Lógica Algebráica Abstracta (LAA). Un estudio preliminar de las distintas nociones de filtros e ideales lógicos asociados a las álgebras de una lógica cualquiera, y los lemas de separación entre dichas nociones nos lleva a proponer una dualidad abstracta de tipo espectral, y otra de tipo Priestley, para cada lógica congruencial, filtro distributiva, finitaria y con teoremas. Esta propuesta pretende unificar las distintas dualidades de tipo espectral y de tipo Priestley para lógicas no clásicas que encontramos en la literatura, mostrando el esquema abstracto en el que todas ellas encajan e identificando. En segundo lugar es examinada la correspondencia dual de algunas propiedades lógicas, como la propiedad de la conjunción, la propiedad de la disyunción, el teorema de deducción, la propiedad del elemento inconsistente o la propiedad de introducción de la modalidad. Esto sirve, por una parte, para revelar la conexión que existe entre las dualidades abstractas propuestas y las dualidades concretas relacionadas con lógicas no clásicas que habían sido estudiadas previamente, y por otra parte, para obtener nuevas dualidades. Centrándonos en el fragmento implicativo de la lógica intuicionista y en sus expansiones que son filtro distributivas, congruenciales, finitarias y con teoremas, mostramos cómo las dualidades que habían sido estudiadas para algunas de esas lógicas se pueden obtener como casos particulares de la teoría general. Además obtenemos nuevas dualidades para varias de dichas expansiones, algunas de las cuales pueden ser simplificadas dado que las lógicas tienen buenas propiedades. Finalmente, desarrollamos una nueva estrategia que puede ser aplicada de forma modular para simplificar algunas de las dualidades obtenidas. En conclusión, en esta tesis se muestra que la Lógica Algebráica Abstracta provee un marco general teórico apropiado para desarrollar una teoría abstracta de la dualidad para lógicas no clásicas. Dicha teoría uniformiza los diferentes resultados de la literatura, y de ella se deducen nuevos resultados.
Forcing Arguments in Infinite RamseyTheory
(Universitat de Barcelona, 2012-07-12) García Ávila, Luz María; Bagaria, Joan; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[cat] 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 natural numbers in finitely many classes there is an infinite set of natural numbers that is included in some one class. Ramsey’s Theorem, which can be seen as a generalization of this simple result, is about partitions of the set [N]k of all k-element sets of natural numbers. It states that for every k ≥ 1 and every partition of [N]k into finitely many classes, there is an infinite subset M of N such that all k-element subsets of M belong to some same class. Such a set is said to be homogeneous for the partition. In Ramsey’s own formulation (Ramsey, [8], p.264), the theorem reads as follows. Theorem (Ramsey). Let Γ be an infinite class, and μ and r positive numbers; and let all those sub-classes of Γ which have exactly r numbers, or, as we may say, let all r−combinations of the members of Γ be divided in any manner into μ mutually exclusive classes Ci (i = 1, 2, . . . , μ), so that every r−combination is a member of one and only one Ci; then assuming the axiom of selections, Γ must contain an infinite sub-class △ such that all the r−combinations of the members of △ belong to the same Ci. In [5], Neil Hindman proved a Ramsey-like result that was conjectured by Graham and Rotschild in [3]. Hindman’s Theorem asserts that if the set of all natural numbers is divided into two classes, one of the classes contains an infinite set such that all finite sums of distinct members of the set remain in the same class. Hindman’s original proof was greatly simplified, though the same basic ideas were used, by James Baumgartner in [1]. We will give new proofs of these two theorems which rely on forcing arguments. After this, we will be concerned with the particular partial orders used in each case, with the aim of studying its basic properties and its relations to other similar forcing notions. The partial order used to get Ramsey’s Theorem will be seen to be equivalent to Mathias forcing. The analysis of the partial order arising in the proof of Hindmans Theorem, which we denote by PFIN, will be object of the last chapter of the thesis. A summary of our work follows. In the first chapter we give some basic definitions and state several known theorems that we will need. We explain the set theoretic notation used and we describe some forcing notions that will be useful in the sequel. Our notation is generally standard, and when it is not it will be sufficiently explained. This work is meant to be self-contained. Thus, although most of the theorems recorded in this first, preliminary chapter, will be stated without proof, it will be duly indicated where a proof can be found. Chapter 2 is devoted to a proof of Ramsey’s Theorem in which forcing is used to produce a homogeneous set for the relevant partition. The partial order involved is isomorphic to Mathias forcing. In Chapter 3 we modify Baumgartner’s proof of Hindman’s Theorem to define a partial order, denoted by PC , from which we get by a forcing argument a suitable homogeneous set. Here C is an infinite set of finite subsets of N, and PC adds an infinite block sequence of finite subsets of natural numbers with the property that all finite unions of its elements belong to C. Our proof follows closely Baumgartner’s. The partial order PC is similar both to the one due to Matet in [6] and to Mathias forcing. This prompts the question whether it is equivalent to one of them or to none, which can only be solved by studying PC , which we do in chapter 4. In chapter 4 we first show that the forcing notion PC is equivalent to a more manageable partial order, which we denote by PFIN. From a PFIN- generic filter an infinite block sequence can be defined, from which, in turn, the generic filter can be reconstructed, roughly as a Mathias generic filter can be reconstructed from a Mathias real. In section 4.1 we prove that PFIN is not equivalent to Matet forcing. This we do by showing that PFIN adds a dominating real, thus also a splitting real (see [4]). But Blass proved that Matet forcing preserves p-point ultrafilters in [2], from which follows that Matet forcing does not add splitting reals. Still in section 4.1 we prove that PFIN adds a Mathias real by using Mathias characterization of a Mathias real in [7] according to which x ⊆ ω is a Mathias real over V iff x diagonalizes every maximal almost disjoint family in V . In fact, we prove that if D = (Di)i∈ω is the generic block sequence of finite sets of natural numbers added by forcing with PFIN, then both {minDi : i ∈ ω} and {maxDi : i ∈ ω} are Mathias reals. In section 4.2 we prove that PFIN is equivalent to a two-step iteration of a σ-closed and a σ-centered forcing notions. In section 4.3 we prove that PFIN satisfies Axiom A and in section 4.4 that, as Mathias forcing, it has the pure decision property. In section 4.5 we prove that PFIN does not add Cohen reals. So far, all the properties we have found of PFIN are also shared by Mathias forcing. The question remains, then, whether PFIN is equivalent to Mathias forcing. This we solve by first showing in section 5.1 that PFIN adds a Matet real and then, in section 5.2, that Mathias forcing does not add a Matet real, thus concluding that PFIN and Mathias forcing are not equivalent forcing notions. In the last, 5.3, section we explore another forcing notion, denoted by M2, which was introduced by Shelah in [9]. It is a kind of “product” of two copies of Mathias forcing, which we relate to denoted by M2. Bibliography [1] J.E. Baumgartner. A short proof of Hindmanʼs theorem. Journal of Combinatorial Theory, 17:384–386, 1974. [2] A. Blass. Applications of superperfect forcing and its relatives. In Set theory and its applications. Lecture notes in Mathematics. Springer, Berlin., 1989. [3] R.L. Graham and B. L. Rothschild. Ramseyʼs theorem for n-parameter sets. Transaction American Mathematical Society, 159:257–292, 1971. [4] L. Halbeisen. A playful approach to Silver and Mathias forcing. Studies in Logic (London), 11:123142, 2007. [5] N. Hindman. Finite sums from sequences within cells of partition of N. Journal of Combinatorial Theory (A), 17:1–11, 1974. [6] P. Matet. Some filters of partitions. The Journal of Symbolic Logic, 53:540– 553, 1988. [7] A.R.D. Mathias. Happy families. Annals of Mathematical logic, 12:59– 111, 1977. [8] F.P. Ramsey. On a problem of formal logic. London Mathematical Society, 30:264–286, 1930. [9] S. Shelah and O. Spinas. The distributivity numbers of finite products of P(ω)/fin. Fundamenta Mathematicae, 158:81–93, 1998.
La determinación de la referencia de los términos para artefactos
(Universitat de Barcelona, 2013-05-13) Ortega Cano, Laura; Martí, Genoveva; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[spa] 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 artificial está determinada de manera externista. En el primer capítulo de la tesis, presento un estudio previo de la determinación de la referencia de los nombres propios y los términos de clase natural. Presento las principales propuestas internistas para estos términos y las críticas que se han hecho desde el externismo semántico. Mi conclusión tras esta presentación es que los argumentos decisivos a favor del externismo para la determinación de la referencia, tanto de los nombres propios como de los términos de clase natural, son los argumentos de ignorancia y error. Y estos mismos argumentos serán también, en la medida en que sean posibles, los argumentos decisivos a favor del externismo para la determinación de la referencia de los términos de clase artificial. En el segundo capítulo de la tesis, analizo la naturaleza de los artefactos: la propiedad importante de las clases artificiales parece ser su función, una característica impuesta por nosotros. Esto ha llevado a algunos autores a defender que las clases artificiales son clases nominales y que los términos para artefactos son términos de clase nominal. Pero, como defiendo en la tesis, los términos para artefactos no son términos como ‘soltero’ y, por otro lado, la metafísica de los artefactos condiciona la semántica de los correspondientes términos mucho menos de lo que habitualmente se asume. Lo decisivo para la semántica es la adopción de una postura ante la tesis epistemológica según la cual no es posible estar equivocados ni ser ignorantes sobre la naturaleza de un tipo de artefactos. Putnam piensa que sí es posible estar equivocado o ser ignorante sobre la naturaleza de una clase artificial y propone un argumento de error sobre los lápices. Sin embargo este argumento externista no se ha considerado concluyente porque no es un argumento de error sobre la naturaleza relevante de los artefactos en cuestión: su función. En el tercer capítulo, presento las alternativas internistas descriptivitas al modelo externista putnamiano para los términos para artefactos. Presento, por un lado, el descriptivismo de Schwartz y, por otro, la teoría híbrida de Thomasson. Ambas propuestas, sin embargo, están sujetas a diferentes críticas que les planteo. Pero la crítica definitiva contra el internismo descriptivista es plantear un argumento de ignorancia o error respecto a la propiedad relevante de un tipo de artefacto. En el cuarto y último capítulo de la tesis expongo los argumentos externistas de ignorancia y error que se han presentado después de Putnam, los argumentos de Kornblith y Nelson, respectivamente. Sin embargo, aunque son argumentos que versan sobre la función de algún tipo de artefacto, son argumentos con un alcance limitado en lo que pretenden mostrar. Pero creo que puede haber argumentos externistas como los requeridos que no tengan un mero alcance local. Presento un argumento de ignorancia y otro de error a favor del externismo para la determinación de la referencia de los términos para artefactos. Sin embargo, tras analizar estos argumentos y defenderlos de posibles objeciones, concluyo que, seguramente, no son extensibles a cualquier tipo de artefacto, sino sólo a artefactos que cumplen ciertas condiciones
Cognitive phenomenology: a non-reductive account
(Universitat de Barcelona, 2013-04-11) Jorba Grau, Marta; Pereña, Francesc; García-Carpintero, Manuel; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
[cat] L’objectiu d’aquesta tesi és presentar una teoria no reductivista de la fenomenologia cognitiva i de l’experiència del pensament. La naturalesa del pensament conscient és una qüestió que ha preocupat als filòsofs des de l’antiguitat i un àmbit on encara trobem moltes qüestions que no tenen resposta. Una d’elles és la relació entre el pensament i l’experiència o la consciencia fenomènica, en el sentit particular que exploro en aquesta tesi: quan tenim una experiència d’un cert episodi mental cognitiu, es tracta d’una experiència com les altres experiències sensorials, perceptives o emocionals, o bé es tracta d’un tipus molt diferent d’experiència? Les experiències normalment es caracteritzen per tenir un caràcter fenomènic o un “com a què és” (what it is like) pel subjecte tenir aquestes experiències, que es prèn com la marca de la consciència fenomènica i que, en filosofia contemporània de la ment, generalment es restringeix a les experiències sensorials, perceptives o, fins i tot, emocionals. La tesi general que defenso és que el pensament conscient ha de ser inclòs en l’extensió de la consciència fenomènica i que existeix una experiència de pensament conscient amb un caràcter fenomènic específic, és a dir, un caràcter fenomènic que no es pot reduir a altres tipus de fenomenologies. Aquesta conclusió general qüestiona alguns supòsits ben establerts en filosofia de la ment i estudis sobre consciència, i així obre la porta a noves investigacions en aquesta direcció. Per tal de defensar aquesta teoria no reductivista, primerament clarifico les qüestions rellevants en el debat i examino com hem d’aproximar-nos a l’experiència del pensament (Capítols 1 i 2). En segon lloc, presento una sèrie d’arguments a favor de la meva tesi (Capítols 3, 4 i 6) i argumento en contra d’estratègies restrictivistes (Capítols 5 i 7). Finalment, com a un pas més en la discussió, proposo una especificació de la fenomenologia cognitiva en relació a la intencionalitat i els seus dos components principals en el pensament conscient, el contingut cognitiu (Capítol 8) i l’actitud cognitiva (Capítol 9), oferint respostes a la qüestió de la relació de determinació entre ambdós components i el seu caràcter fenomènic
Self-Involving Representationalism (SIR): A naturalistic Theory of Phenomenal Consciousness
(Universitat de Barcelona, 2011-06-17) Sebastián González, Miguel Ángel; Pineda Oliva, David; Macià, Josep; Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
A naturalistic account of phenomenal consciousness is presented: Self-Involving Representationalism. The first step for the project of naturalizing phenomenal consciousness is to make the project itself feasible. The purpose of the fi rst part of this work is to provide a suitable answer to some arguments presented against this enterprise. I discuss the classical modal and knowledge argument and defend the phenomenal concept strategy against objection by Tye and Chalmers. I also consider some arguments from vagueness against the project. In the second part I will develop the pillars of the theory. In order to make compatible the intuition that phenomenal properties are intrinsic properties of the subject and explain cases of shifted spectrum I appeal following Shoemaker to appearance properties and I follow Egan in the characterization of this properties. According to Self-Involving Representationalism, phenomenally conscious mental states are states that represent a speci c kind of de se content. I argue that in having an experience I do not merely attribute certain properties to the object causing the experience, I attribute to myself being presented with an object with these properties. This content can be naturalized in rst-order terms by appealing to a certain sense of self: the sense of a bounded, living organism adapting to the environment to maintain life and the processes underlying the monitoring of the activity within these bounds.

Examinar

Enviaments recents