Aquest treball es centra en la factorització de matrius per obtenir l'Estructura a partir del Moviment (SFM). La idea és descomposar la matriu de trajectòries en la matriu de moviment, que conté la posició relativa càmera-objecte a cada frame, i la matriu de forma, que conté les coordenades 3D dels punts característics. Aquesta factorització es pot obtenir utilitzant que la matriu de trajectòries té un rang reduït. En particular, si les trajectòries pertanyen a un únic objecte rígid, la matriu té com a molt rang 4. Tot i que s'han proposat diverses tècniques per tractar el problema de les matrius amb forats, aquestes poden no donar resultats correctes quan el percentatge de forats a la matriu és molt gran. Proposem un esquema multiresolució iteratiu per poder tractar aquests casos amb molts elements buits a la matriu de trajectòries. L'esquema proposat consisteix en considerar submatrius amb un percentatge de forats reduït. Seguidament, els forats d'aquestes matrius són emplenats aplicant un mètode de factorització. L'objectiu final és obtenir millors resultats aplicant un mètode de factorització a la matriu emplenada amb l'esquema proposat, enlloc d'aplicar-lo a la matriu inicial, que presenta un elevat percentatge de forats. En el cas de matrius de trajectòries corresponents a punts característics que pertanyen a diversos objectes, les tècniques de factorització no es poden aplicar directament perobtenir el moviment i la forma de cada objecte, ja que les trajectòries no estan ordenades per objectes. A més a més, s'ha de tenir en compte un altre problema: l'estimació del rang de la matriu de trajectòries. El problema és que amb forats, el rang de la matriu no pot ser calculat directament. Per altra banda, com que hi ha múltiples objectes, és difícil d'estimar-lo, sense utilitzar informació com ara nombre d'objectes o tipus de moviment d'aquests. Presentem una tècnica per estimar el rang d'una matriu de trajectòries amb forats. La idea és que, si les trajectòries pertanyen a objectes rígids, la freqüència espectral de la matriu de trajectòries inicial no hauria de variar un cop la matriu ha estat emplenada. Els forats de la matriu són emplenats amb un mètode de factorització, considerant diferents valors per al rang de la matriu. Al mateix temps, el rang de la matriu de trajectòries és estimat fent servir una mesura que compara la freqüència espectral de cada matriu emplenada amb la de la matriu inicial. El proper pas consisteix en segmentar les trajectòries segons el seu moviment. Finalment, qualsevol tècnica d'Estructura a partir de Moviment per a un únic objecte pot ser aplicada per trobar el moviment i la forma de cada objecte.Intentem aplicar la metodologia proposada per al problema de l'Estructura a partir de Moviment a d'altres aplicacions, no només dins el camp de la visió per computador. En particular, l'objectiu és adaptar els mètodes Alternats per poder aplicar-los a diferents problemes de dimensionalitat reduïda. Una de les possibles aplicacions és la fotometria: la idea és recuperar la reflectància i les normals a la superfície i la direcció de la llum en cada imatge, a partir d'imatges obtingudes sota diferents condicions de llum. En una segona aplicació, l'objectiu és adaptar els mètodes Alternats per poder omplir els forats en una matriu de dades provinents d'expressions de gens. Aquestes matrius són generades amb la informació que proporcionen els DNA microarrays. Finalment, els mètodes Alternats són aplicats a matrius de dades de sistemes de recomanació, molt usats en E-commerce. Aquestes matrius contenen puntuacions que els usuaris han donat a certs productes. La idea és predir les puntuacions que un usuari concret donaria a altres productes, utilitzant la informació emmagatzemada en el sistema. / This work is focused on the missing data matrix factorization addressing the Structure from Motion (SFM) problem. The aim is to decompose a matrix of feature point trajectories into the motion and shape matrices, which contain the relative camera-object motion and the 3D positions of tracked feature points, respectively. This decomposition can be found by using the fact that the matrix of trajectories has a reduced rank. Although several techniques have been proposed to tackle this problem, they may give undesirable results when the percentage of missing data is high. An iterative multiresolution scheme is presented to deal with matrices with high percentages of missing data. Experimental results show the viability of the proposed approach.In the multiple objects case, factorization techniques can not be directly applied to obtain the SFM of every object, since trajectories are not sorted into different objects. Furthermore, another problem should be faced out: the estimation of the rank of the matrix of trajectories. The problem is that, in this case, the rank of the matrix of trajectories is not bounded, since any prior knowledge about the number of objects nor about their motion is used. This problem becomes more difficult with missing data, since singular values can not be computed to estimate the rank. A technique to estimate the rank of a missing data matrix of trajectories is presented. The good performance of the proposed technique is empirically shown considering sequences with both, synthetic and real data. Once the rank is estimated and the matrix of trajectories is full, the motion segmentation of trajectories is computed. Finally, any factorization technique for the single object case gives the shape and motion of every object.In addition to the SFM problem, this thesis also shows other applications that can be addressed by means of factorization techniques. Concretely, the Alternation technique, which is used through the thesis, is adapted to address each particular problem. The first proposed application is the photometric stereo: the goal is to recover the reflectance and surface normals and the light source direction at each frame, from a set of images taken under different lighting conditions. In a second application, the aim is to fill in missing data in gene expression matrices by using the Alternation technique. Finally, the Alternation technique is adapted to be applied in recommender systems, widely considered in E-commerce. For each application, experimental results are given in order to show the good performance of the proposed Alternation-based strategy.

La ecología es una ciencia importante, tanto desde el punto de vista práctico como desde el teórico, que recientemente a comenzado a atraer la atención de los filósofos profesionales. Con todo, la investigación sobre los fundamentos filosóficos de la ecología, en particular sobre sus prácticas explicativas, está aún poco desarrollada; y ello pese a que los propios ecólogos perciben que el debate sobre la explicación ecológica es importante. En esta tesis doctoral comparo las principales tesis ontológicas y epistemológicas de tres proyectos filosóficos que ofrecen un análisis de la explicación científica en términos de mecanismos, con la descripción de dos casos de explicación en ecología basados en mecanismos, tal como los entienden los ecólogos, los mecanismos de facilitación y la competencia ecológicas. Los ejemplos que analizo aquí provienen del campo de la sucesión ecológica, aunque tanto la facilitación como la competencia son interacciones muy extendidas en todo el ámbito de la ecología. Sobre la base de mi análisis, sostengo que si bien las contribuciones epistemológicas que los proyectos filosóficos estudiados han realizado al debate de la explicación científica son importantes, pero que aún hay mucho espacio para mejorar la caracterización de la naturaleza de los mecanismos ecológicos y de la explicación mecanísmica en ecología. Basado en el trabajo previo del filósofo sistemista Mario Bunge, propongo que los mecanismos ecológicos son procesos específicos que ocurren en sistemas y que las explicaciones mecanísmicas en ecología pueden asumir diversas formas, pero que consisten en descripciones de esos procesos en el marco de la descripción más general del sistema de interés. / Ecology is a science of practical and theoretical importance that has recently begun to appeal to professional philosophers. Yet, work on the philosophical foundations of ecology, particularly on its explanatory practices, is still scarce, even though ecologists perceive the debate on ecological explanation as an important one. In this dissertation, I contrast the main theses of three different philosophical projects that attempt to account for scientific explanation in terms of mechanisms descriptions with two cases of ecological explanation based on mechanisms, as ecologists understand the term: the mechanisms of ecological facilitation and competition. The examples I study come from the subfield of ecological succession, though both facilitation and competition are widespread along the whole of ecology. Based on my analysis of those cases I argue that those projects have contributed important elements to the ontology and epistemology of scientific explanation, but that there is still room for improvement towards an adequate characterization of the precise nature of ecological mechanisms and mechanismic explanation in ecology. Following the lead of previous work by systemist philosopher Mario Bunge, I suggest that ecological mechanisms are specific processes in systems, and that, even though they may take different forms, mechanismic explanations consist in descriptions of those processes in the context of a description of the system of interest.

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. / This doctoral dissertation focuses on a case study in comparative thermodynamics. The main objective is described below. Because fundamental thermodynamics plays a fundamental role in the historical development of the thermodynamic concepts known as the 2nd stage of the Clausius, Gibbs and Carathéodory cycles, the main objective of this work is to establish a complete set of comparative conclusions regarding the physical content of these thermodynamic concepts using a classical macroscopic approach. This thesis is divided into 4 sections: the 1st section is a review of the literature in the scientific context related to the topic; the 2nd section includes a series of epistemological clarifications and the methodology used in this work; the 3rd section comprises a comparative analysis of the aforementioned thermodynamics (Clausius, Gibbs and Carathéodory); and the 4th section covers the conclusions derived in this study. The 5th section contains the appendices (a total of 3). The main final conclusion of this thesis is the following: The thermodynamic concepts and postulates developed by Clausius would include those of Gibbs and Carathéodory if Clausius had included the idea of thermodynamic equilibrium (an idea that Gibbs did indeed include and, in a certain form, Carathéodory did as well) and the idea of ‘chemical action’ (which was implicitly included by Gibbs and Carathéodory), except with regard to a relatively specific topic related to the thermodynamics developed by Carathéodory. Therefore, it is concluded on the basis of pairwise comparisons both that the physical contents of the three types of thermodynamics are different despite the physical content common to all three of them and that each pair has some shared content. Now, if we additionally consider that to derive Carathéodory’s first axiom from the theory of Clausius, the empirical temperature, ti, is assumed to be a parameter that is always a function of pi, Vi and mi. This is because, in the context of Carathéodory’s theory, once the chemical composition of phase i (or homogeneous subsystem i under consideration) is known, it is then always possible to find a function, hi, such that ti = hi(pi, Vi, mi). This feature leads to the conclusion that part of Carathéodory thermodynamics is not present in the other two.

De forma muy general se puede decir que este trabajo consiste en un estudio sobre la teoría de la ciencia expuesta en los Analíticos Segundos (Analytica Posteriora, An. Post.) de Aristóteles. La investigación está centrada en la teoría de la demostración y en el asunto del uso del silogismo en la ciencia. Retomando la tesis de Kapp (1975) proponemos que la fluctuación del silogismo científico o demostración no va de las premisas a la conclusión sino de la conclusión y la primera premisa a la segunda premisa. En esta premisa se expone la explicación o la causa del hecho descrito en la conclusión. Hemos ilustrado tal modo de operación del silogismo a través del esquema de Carnap (1966/1996) para la relación causal. En la parte final intentamos salvar el problema de la inconsistencia entre la teoría de An. Post. y los tratados científicos de Aristóteles extrayendo de aquel una estructura de la ciencia que se ajuste a la de los tratados y mostrando algunos ejemplos extraídos de los mismos en los que encontramos la estructura lógica que hemos propuesto para el silogismo científico o demostración.

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 representación. Así, la distinción modal tradicional, de carácter ontológico o metafísico, entre propiedades esenciales y propiedades accidentales sólo sería admisible en la medida en que pueda verse como un antecedente, más o menos afortunado, de distinciones lingüísticas basadas en el concepto de analiticidad o de verdad en virtud del significado. Bajo esa doctrina se produce, por lo tanto, una suerte de asimilación entre la dicotomía metafísica necesario/contingente y la dicotomía semántica analítico/sintético; o debería decirse quizá, una reducción de la primera a la segunda.La diferencia entre ambas dicotomías modales se corresponde aproximadamente con la diferente fuerza modal que detectara Kripke entre verdades necesarias y verdades a priori, tal y como las clasificó en "Naming and Necessary". El aspecto más relevante de dicha obra es su critica a la confusión de ambas nociones modales, es decir, su distinción entre lo necesario y lo a priori. La distinción kripkeana entre las dos modalidades es justamente el objeto principal de esta investigación. Dicha distinción contribuye en buena medida a clarificar uno de los problemas más debatidos en la literatura filosófica sobre lo modal, y del cual me ocupo con detenimiento: el de las condiciones de identidad de objetos correspondientes a distintas circunstancias posibles, es decir, el problema de la identidad transmundana, como se le conoce cuando se habla en términos de mundos posibles: ¿qué determina que el objeto "x" y el objeto "y", pertenecientes a mundos posibles distintos, sean o no el mismo objeto? La noción de mundo posible apta para dar cuenta de la necesidad y la noción de mundo posible apta para dar cuenta de la analiticidad o de la aprioridad difieren en aspectos muy sustanciales. El propósito primordial de este trabajo es describir algunos de esos aspectos.Los objetivos y resultados de la tesis se distribuyen a lo largo de sus capítulos del siguiente modo. El origen histórico de las discusiones más relevantes sobre los fundamentos de la modalidad ha tenido lugar en estrecha conexión con el desarrollo de sistemas de lógica modal cuantificada. He juzgado apropiado comenzar la investigación analizando, en el capítulo 1, las críticas que durante los años 40 y 50 dirigió Quine a la lógica modal cuantificada. Según Quine la violación del principio de sustituibilidad en contextos modales hace ilegítima la cuantificación desde fuera del operador modal de variables que aparezcan bajo el alcance de dicho operador. Examino con detalle diferentes versiones de esa objeción.La única forma de dar sentido a ese tipo de cuantificación sería, afirma Quine, comprometerse con una doctrina insostenible: el esencialismo aristotélico. Una vía de reivindicación de la lógica modal seguida por algunos lógicos y filósofos como Marcus o T. Parsons ha consistido en rechazar esa afirmación alegando que un sistema de lógica modal no tiene por qué contar entre sus teoremas con sentencias esencialistas. Quine ha clarificado que el compromiso con el esencialismo denunciado por él no procede de los teoremas de la lógica modal cuantificada pero sí de las verdades presupuestas de algún modo al usar el lenguaje de dicha lógica. Recurriendo a una analogía entre la lógica modal cuantificada y la lógica clásica de primer orden, ofrezco una interpretación y defensa de la postura que se deja entrever en esa clarificación de Quine.Paralelamente a esas controversias, Kripke, tras haber sido uno de los primeros en proporcionar una semántica de mundos posibles para la lógica modal, propugnaba en "Naming and Necessary" una concepción de la necesidad que no rehusaba el esencialismo ya que éste parecía derivarse de sus análisis sobre la referencia de los nombres propios y de los términos de género natural. Tales análisis dependían de una diferenciación crucial entre lo necesario y lo a priori. En el capítulo 2 expongo y asumo lo esencial de esas ideas, enfatizando cómo la confusión entre verdades necesarias y verdades a priori ha fomentado el antiesencialismo. Además, presento como correlativas de la distinción necesidad/aprioritud las distinciones entre condiciones de verdad y significado, y entre propiedad y concepto. Por lo que respecta a esta última distinción. postulada también en diversos escritos de Putnam, Dretske o Kim, sugiero ver a las propiedades como funciones que asignan a mundos posibles subconjuntos de sus dominios, y a los conceptos (predicativos) como capacidades cognoscitivas para detectar propiedades mediante vías o modos de presentación específicos. Entre los resultados propios que aparecen en este capítulo se encuentra una propuesta sobre la relación entre las propiedades naturales o causalmente eficaces (que denomino universales) y el resto de propiedades: estas últimas supervienen fuertemente sobre propiedades y relaciones naturales, de acuerdo con una definición específica de superveniencia fuerte en la que apelo a la noción de mundo (metafísicamente) posible.En el capítulo 3 menciono una concepción sobre la identidad de los objetos materiales, compartida por Quine y D. Lewis, contrastándola con la teoría substancíalista defendida por Wiggins en "Sameness and Substance" que, a mi parecer, es preferible. La concepción Quine-Lewis conlleva, por ejemplo, un criterio de individuación de objetos: la región espaciotemporal ocupada por un objeto determina la identidad del mismo. Y conlleva también la identificación de los objetos con fusiones mereológicas de cualesquiera partes suyas.Muestro la afinidad de tales tesis con el rechazo del esencialismo. Contra la segunda de ellas presento un argumento propio en el que pongo de manifiesto diferencias intuitivamente reconocibles entre objetos macroscópicos típicos y fusiones mereológicas, y que conciernen a la vaguedad y a la modalidad.El resto de ese capítulo trata de la identidad transmundana. Suscribo un principio defendido por Forbes en "The Metaphysics of Modality" (que denomino principio de fundamentación de la identidad transmundana) de acuerdo con el cual las relaciones de. identidad y diversidad a través de mundos posibles han de basarse en algo; y explico por qué dicho principio, que puede entenderse como la negación del haecceitismo, no contradice ciertas consideraciones de Kripke en favor de la estipulación del contenido de los mundos posibles. Discuto además un problemático argumento de Kripke en favor de la necesidad del origen material de las mesas (cuyas dificultades han sido señaladas por N. Salmón), del que proporciono una reconstrucción inspirada por Forbes usando como premisa implícita el principio de fundamentación de la identidad transmundana.El capitulo 4 contiene las ideas principales sobre fundamentos de la modalidadmetafísica. Tal y como se sugiere en algún pasaje de "Naming and Necessary", las intuiciones paradigmáticas de lo que es una posibilidad metafísica alternativa para un objeto del mundo real conciernen a posibilidades que se ramifican del mundo real (es decir, que comparten con el mundo real un pasado temporal común). Ese punto de vista queda recogido y concretado por Forbes al proponer la que denomino Tesís Ramifícacionista: cualesquiera mundos posibles con objetos en común son mundos que se ramifican entre sí. (Una versión más fuerte de esa tesis establecería que cualesquiera mundos posibles se ramifican entre sí).A la noción de ramificación subyace la de proceso causal, modelado o encauzado de acuerdo con leyes causales: de tal manera que las posibilidades abiertas al futuro desarrollo de un proceso causal de un mundo posible "w" (las ramificaciones) corresponden exactamente a las posibilidades permitidas por las leyes que rigen en "w". Por consiguiente, mundos posibles que comparten objetos, dado que se ramificarán entre sí, compartirán también las leyes. Y si todos los mundos se ramifican entre sí entonces las leyes son necesarias.La necesidad de las leyes es también consecuencia de la teoría de Shoemaker y de Swoyer según la cual los universales se individualizan por los poderes causales que confieren a sus ejemplificaciones o, visto de otro modo, por el lugar que ocupan en la red de interconexiones nómicas integrada por todos los universales (nómicamente relacionados por las leyes causales). En defensa de dicha teoría y de dicha consecuencia presento una serie de réplicas a diversas objeciones al respecto que ha formulado Armstrong.En el capítulo 5 me ocupo de la analiticidad, desde la perspectiva que guía este trabajo: el contraste entre las dos distinciones modales: necesario/contingente y analítico/sintético (o a priori / a posteriori). Asumo la noción tradicional de verdad analítica, que propongo caracterizar vagamente como verdad cognoscible meramente a partir del conocimiento de su significado (la formulación más habitual, verdad en virtud del significado, presenta ciertas dificultades). Otra caracterización, que conlleva elucidar la modalidad analítica usando la modalidad metafísica. Es ésta: es analíticamente posible que "p" si y sólo si hay un mundo (metafísicamente) posible en que un individuo cree racionalmente que "p".Ambas formulaciones ponen de manifiesto que el concepto de analiticidad está esencialmente vinculado con conceptos epistemológicos como los de conocimiento o creencia. Supuestos esos vínculos entre semántica y filosofía de la psicología, un modo de abordar la analiticidad es abordar los constituyentes de los contenidos de las actitudes proposicionales, es decir, los conceptos. Presento la teoría sobre conceptos de Peacocke, cuya tesis central es que los conceptos se individualizan por las condiciones requeridas para poseerlos. Si ignoramos una matización que sería necesario introducir en dicha tesis (exigida por el holismo en las relaciones entre algunos conceptos), podemos ilustrar así 1a necesidad kripkeana a posteriori: la meramente aparente contingencia de enunciados como "agua=H2O" (es decir, su carácter a posteriori) consistiría en la genuina posibilidad de que alguien poseyera el concepto agua pero no poseyera el concepto H2O o viceversa. / In this Doctoral Dissertation the Kripkean distinction between two modal dichotomies (the metaphysical necessary/contingent dichotomy and the epistemological "a priori/a posteriori" dichotomy) is used to clarify a number of topics related with essentialism, possible worlds and transworld identity. These are some of the main thesis sustained:(1) Quine's claim that quantified modal logic is committed to essentialism is made plausible by stressing the difference between necessary truths and theorems of modal logic.(2) Quine and D. Lewis share a view on identity conditions for material objects according to which (i) if "a" and "b" occupy the same spatio-temporal area then "a" ="b", and (ii) macroscopic objects are identical to mereological sums of their parts. An alternative theory defended by Wiggins lacks some important difficulties (involving vagueness and modality) that the Quine-Lewis view has.(3) The branching conception of modality (suggested by Kripke and explicitely slated by Forbes) provides grounds for transworld identity: if "u" and "v" are possible worlds with objects in common, then "u" and "v" have some initial segment of their courses of history in common; so transworld identity is partly grounded in transtemporal identity.(4) The branching view is close to the claim that laws are necessary, which is also a consequence of Shoemaker's theory of properties: these are individuated by the causal powers they bestow on their instances.(5) Every genuine properly strongly supervenes on natural properties and relations (according to a technical definition of that notion of supervenience).(6) I suggest this elucidation of the relation between (metaphysical) necessity and analyicity: it is analytically possible that "p" if and only if it is metaphysically possible for someone rationally to believe that "p".

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 are is a subjective fact, rather than an objective one. Chapter 1 explains what it takes for a fact to be subjective, what kind of difference holds between my mental states and everyone else's mental states and what kind of intuitions lead me to believe that there is such a difference. Chapter 2 defends the Subjectivist View of the Mental from objections and discusses some of its most significant implications. In the second part of the thesis, I explore the advantages that the Subjectivist View of the Mental offers when it comes to accounting for three basic features of our knowledge of the mental. Chapter 3 deals with the asymmetry between self-knowledge and knowledge of other minds. It is argued that, if the Subjectivist View of the Mental is true, we can explain why this asymmetry holds without assuming that self-knowledge and knowledge of other minds are involved with substantially different ways of knowing. Chapter 4 focuses on the immunity to error through misidentification of mental self-ascriptions. I show that, while there has been a temptation to explain this phenomenon by following Lichtenberg and Wittgenstein in taking the content of mental self-ascriptions to be general rather than particular, this proposal cannot be made to work unless something like the Subjectivist View of the Mental is true. Chapter 5 is concerned with experiential knowledge. I argue that, if experiential truths are taken to be objective truths, it is not easy to see why experiential knowledge should have the peculiar 'first-hand' character it has. The problem disappears if experiential truths are regarded as subjective rather than objective. / 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.

Complex hardware systems become more and more ubiquitous in mission critical applications such as military, satellite, and medical to name but a few. In such applications, reliability remains a primary concern because a failure that occurs during their normal operations might produce important catastrophes like loss of life or loss of money. All these failures are often caused by minuscule bug that exists inside the software which controls the systems, or within the hardware itself. In addition, most of these systems cannot be interrupted while working, even for a few seconds a year, making it difficult to repair bugs found during their normal operations. The main purpose of this work is to build efficient verification techniques for asynchronous concurrent systems. Because of the pivotal roles these systems assume in a given application, designers of such systems must keep development and maintenance costs under control and meet nonfunctional constraints on the design of the system, such as cost, power, weight, or the system architecture by itself. But most importantly, they must assure their customer as well as the certification authorities that both the design and its implementation are correct. Otherwise, they may end up shipping unsafe systems to the market, and the consequences of this action would be catastrophic. To achieve this goal, designers need efficient methods and tools to assist them in verifying the correctness of the design. In this thesis we focus on a symbolic model checking technique called bounded model checking (BMC). BMC is a method targeted mainly at finding bugs in a system. It answers the questions whether there exists a counterexample, shorter than a given length, that violates a given property. During a BMC operation each execution path is encoded into Boolean formula, and the problem is reduced to satisfiability checking of the formula. Therefore, the operation consists mainly in constructing a Boolean formula that is satisfiable if and only if such a counterexample exists. We model our systems with transition systems (TSs). In particular, we are mainly interested in synchronized product of TSs. Since concurrent systems are formed by a combination of several components communicating between each other, synchronized product of TSs is well-suited to capture the behavior of such systems. The executions of concurrent systems are commonly modeled using the so-called interleaving execution, which allows only one single event to fire at each step. However, due to the complexity of such systems inteleaving method will not only require many steps but also generate long formulas. In this work, we adopt another approach based on breadth-first search (BFS). In a BMC operation, the translation of the model into a Boolean formula is polynomial in the size of the model, but the solving time of the Boolean formula can be exponential in the size of the formula. Therefore, our research hypothesis is that we can improve the efficiency of BMC by generating succinct formula, and by minimizing the number of necessary steps during an execution. We introduce several BMC techniques aimed at improving the efficiency of BMC for asynchronous concurrent systems. The techniques are grouped in two main parts (i) techniques for checking reachability properties and (ii) techniques for checking properties written in linear temporal logic (LTL). In addition, we also propose some methods for minimizing the number of execution steps or bound. We implemented all these methods in a BMC toolset. At the end of the dissertation, we will discuss the experimental results we obtained.

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. / Aquesta tesi és una contribució a la teoria combinatria de conjunts, específcament a la teoria de Ramsey, que estudia les particions de conjunts infinits. El principi combinatori bàsic diu que per a tota partició del conjunt dels nombres naturals en un nombre finit de classes hi ha un conjunt infinit de nombres naturals que està inclòs en una de les classes. El teorema de Ramsey [6], que hom pot veure com una generalització d'aquest principi bàsic, tracta de les particions del conjunt [N]k de tots els subconjunts de k elements de nombres naturals. Afirma que, per a cada k >/=1 i cada partició de [N]k en un nombre finit de classes, existeix un subconjunt infinit de nombres naturals, M, tal que tots els subconjunts de k elements de M pertanyen a una mateixa classe. Els conjunts amb aquesta propietat són homogenis per a la partició. En [3], Neil Hindman va demostrar un resultat de tipus Ramsey que Graham i Rotschild havien conjecturat en [2]. El teorema de Hindman afirma que si el conjunt de nombres naturals es divideix en dues classes, almenys una d'aquestes classes conté un conjunt infinit tal que totes les sumes finites d'elements distints del conjunt pertanyen a la mateixa classe. La demostració original del Teorema de Hindman va ser simplificada per James Baumgartner en [1]. En aquesta tesi donem noves demostracions d'aquests dos teoremes, basades en la tècnica del forcing. Després, analitzem els ordres parcials corresponents i n'estudiem les propietats i la relació amb altres ordres coneguts semblants. L'ordre parcial emprat en la demostració del teorema de Ramsey és equivalent al forcing de Mathias, definit en [5]. L'ordre parcial que apareix en la prova del teorema de Hindman, que anomenem PFIN, serà l'objecte d'estudi principal de la tesi. En el primer capítol donem algunes definicions bàsiques i enunciem alguns teoremes coneguts que necessitarem més endavant. El segon capítol conté la demostració del teorema de Ramsey. Usant la tècnica del forcing, produïm un conjunt homogeni per a una partició donada. L'ordre parcial que utilitzem és equivalent al de Mathias. En el tercer capítol, modifiquem la demostració de Baumgartner del teorema de Hindman per definir un ordre parcial, que anomenem PC , a partir del qual, mitjançant arguments de forcing, obtenim el conjunt homogeni buscat. Aquí, C es un conjunt infinit de conjunts finits disjunts de nombres naturals, i PC afegeix una successió de conjunts finits de nombres naturals amb la propietat de que totes les unions finites de elements d'aquesta successió pertanyen al conjunt C . A partir d'aquesta successió és fàcil obtenir un conjunt homogeni per a la partició del teorema original de Hindman. L'ordre parcial PC és similar a l'ordre definit per Pierre Matet en [4] i també al forcing de Mathias. Per això, és natural preguntar-nos si aquests ordres són equivalents o no. En el quart capítol treballem amb un ordre parcial que és equivalent a PC i que anomenem PFIN. Mostrem que PFIN té les propietats següents: (1) A partir d'un filtre genèric per a PFIN obtenim una successió infinita de conjunts finits de nombres naturals. Com en el cas del real de Mathias, aquesta successi_o ens permet reconstruir tot el filtre genèric. (2) PFIN afegeix un real de Mathias, que és un "dominating real". Ara bé, si afegim un "dominating real" afegim també un "splitting real". Aquest fet ens permet concloure que PFIN no és equivalent al forcing de Matet, ja que el forcing de Matet no afegeix "splitting reals" (3) PFIN es pot veure com una iteració de dos ordres parcials, el primer dels quals és "sigma-closed" i el segon és "sigma-centered". (4) PFIN té la "pure decision property". (5) PFIN no afegeix reals de Cohen. En el cinquè capítol demostrem que PFIN afegeix un real de Matet i, finalment, que el forcing de Mathias no afegeix reals de Matet. Això és com demostrem que el forcing de Mathias i PFIN no són ordres equivalents. Al final del capítol donem una aplicació de PFIN. Demostrem que un cert ordre definit per Saharon Shelah en [7], que anomenem M2, és una projecció de PFIN. Això implica que si G és un filtre PFIN-genèric sobre V, l'extensió V [G] conté també un filtre genèric per a M2. L'ordre M2 és una mena de producte de dues cópies del forcing de Mathias. REFERÈNCIES [1] J.E. Baumgartner. A short proof of Hindman's theorem, Journal of Combinatorial Theory, 17: 384-386, (1974). [2] R.L. Graham and B.L. Rothschild. Ramsey's theorem for m-parameter sets, Transaction American Mathematical Society, 159: 257-292, (1971). [3] N. Hindman. Finite sums from sequences within cells of partitions of N, Journal of Combinatorial Theory (A), 17: 1-11, (1974). [4] P. Matet. Some _lters of partitions, The Journal of Symbolic Logic, 53: 540-553, (1988). [5] A.R.D. Mathias. Happy families, Annals of Mathematical Logic, 12: 59-111, (1977). [6] F.P. Ramsey. On a problem of formal logic, London Mathematical Society, 30:264_D286, 1930. [7] S. Shelah and O. Spinas. The distributivity numbers of finite products of P(!)=fin, Fundamenta Mathematicae, 158:81_D93, 1998.

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 (2011). I also address a number of issues concerning the methodology of natural language semantics, as well as the theoretical desiderata that we aim to achieve. In chapter 2 I offer a reconstruction within this theoretical framework of three classical theories of DDs: the Russellian theory, the Fregean theory, and the Barwise and Cooper (1981) theory. Chapter 3 focuses on incomplete DDs. The incompleteness problem affects not only the Russellian theory, but also the Fregean and B&C theories. I argue that the syntactic variable approach to QDR proposed by Stanley and Szabó (2000a) offers a solution to the incompleteness problem that is equally applicable to the three theories of DDs introduced. Chapter 4 focuses on the referential/attributive distinction. Although intuitions of singularity are not part of our methodology, I point out (following Neale (2004)) that there are independent reasons why the Russellian theory predicts that a DD is semantically a rigid designator when it is used referentially. I argue that this proposal is applicable not only to the Russellian theory, as Neale does, but also to the Fregean and the B&C theories. In Chapter 5 and 6 I look at non-denoting DDs (i.e. DDs for which either uniqueness or existence fails to be satisfied). In chapter 5 I address the phenomenon called ‘presupposition’ in the literature, distinguishing between various kinds of data that are usually treated under this heading. I argue that with respect to a certain characterization of presuppositions, the Fregean theory and the B&C theory have more explanatory power than the Russellian theory. Chapter 6 deals with the truth-value intuitions triggered by utterances of sentences containing improper DDs. With respect to failures of uniqueness, I discuss Ramachandran’s (1993) argument and offer an improved version of it, which provides a compelling objection against the Russellian theory. With respect to failures of existence, I argue that the Fregean and the B&C theorist are in a better position to account for the patter of data than the Russellian. In chapter 7 I address data concerning the embedding of DDs in propositional attitude verbs. I discuss in detail the objection proposed by Heim (1991) against the Russellian theory. Again, this poses an important problem to the Russellian theory, while the Fregean and the B&C theories are not affected by the objection. The overall conclusion that this discussion leads to is that the Russellian theory is in general less prepared to account for the kinds of truth-conditional data we have considered than the alternative proposals discussed. The conclusions of chapters 6 and 7, and partially those of chapter 5, all indicate that the Russellian theory is the worst of the three options considered. The main positive contribution of this thesis is to point out that the B&C theory, although generally ignored in the literature, has the same theoretical virtues as the Fregean theory with respect to accounting for the range of data considered. / 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í.

La tesi doctoral s'emmarca dins el marc teòric dels estudis de Ciència, Tecnologia i Societat, concretament en els Estudis de Controvèrsies Científiques. L'autor aporta un model d'anàlisi de les controvèrsies que abarca la identificació, la dinàmica i la clausura de les controvèrsies, tot contribuint a establir els paral·lelismes entre la dinàmica evolutiva de la macrociència i la microciència. El disseny d'un marc d'anàlisi holístic requereix per part de l'autor la inclusió en el model filosòfic de les àrees de la ciència industrial, els medis de comunicació i la societat civil. Els canvis estructurals esdevinguts en les principals nacions mundials durant finals del segle XIX i la totalitat del segle XX, han menat a la era de la informació i a una modificació radical en la dinàmica científica, que el present model recull. L'existència de diversos agents i tipus de controvèrsies, delimitables a partir del model proposat, justifica la idea de camps de controvèrsies, en el que trobaríem diversos tipus de controvèrsies situades en nivells socials, temporals i epistèmics diferents.L'autor il·lustra el model teòric a partir d'un estudi de cas històric, el de la sacarina, el primer edulcorant de síntesi no nutritiu que es trobà envoltat de la polèmica des del seu descubriment, l'any 1878, fins el desembre de 2000. El cas abarca un lapse temporal suficientment extens per tal que l'estudi permeti observar la necessitat de la inclusió d'aquests nous agents en el model d'anàlisi teòric. A més de realitzar un anàlisi epistemològic respecte la dinàmica de les controvèrsies científiques, l'autor dedica dos capítols a l'anàlisi intern de la metodologia científica emprada en l'intent de clausura de la controvèrsia sobre les suposades propietats tòxiques de la sacarina. La tesi doctoral inclou annexos que contemplen la percepció de la controvèrsia dins la premsa, la literatura, l'humor o Internet.L'autor manifesta la necessitat de comprendre la dinàmica científica a partir dels moments de crisi, les controvèrsies en el cas de la microdinàmica, i de la utilitat del concepte de camps de controvèrsies. Indica també la idea del caràcter obert i revisable dels models teòrics d'anàlisi de la ciència, i de la natura dinàmica dels processos científics. / The present Thesis belongs to the Science, Technology and Society Studies and, more to the point end of to the Scientific Controversies Studies. The author introduces a controversy analysis model that analizes the controversies identification, dynamics and closure, and contributes to show the parallelism between the dynamic evolution of macro- and microscience. The design of an holistic analysis frame involves the inclusion, inside the philosophical model, of industrial science, mass media and civil society. Structural changes appeared through the main developed countries from the XIXth Century and the full XXth Century have led to the Information Era and to a radical transformation of the scientific dynamic, both aspects analyzed by the present model. The existence of several kinds of controversies and agents involved, easily outlined by means of the proposed model, justifies the idea of controversy fields, in which we could find several kind of controversies with different social, temporal and epistemic levels.The author illustrates this theoretical model using the saccharin historic case study. Saccharin was the first synthetic non-nutritive sweetener, and founded itself involved from the years of its discovery, 1878, until the 2000's end. The case spans for an extremely large period, which allows the necessity to include new agents inside the theoric model. The author developes an epistemological study on scientific controversies dynamic as well as the true scientific techniques used by scientists through the saccharin toxicological controversies. Two whole chapters, one devoted to the historical case study, and several Annexes also included show the controversies perception about saccharin on journals, literature, cartoonists and the Internet.Finally, the author remarks the necessity to understand the scientific dynamics in the polemical periods, controversies at the microscience level, and insists on the utility of the 'controversies field' concept. He also remarks the necessity to undertand philosophical models of scientific dynamics as open and checkable processes, and to recognize the dynamical nature of scientific processes.