Homogeneous model theory of metric structures

This thesis studies homogeneous classes of complete metric spaces. Over the past few decades model theory has been extended to cover a variety of nonelementary frameworks. Shelah introduced the abstact elementary classes (AEC) in the 1980s as a common framework for the study of nonelementary classes. Another direction of extension has been the development of model theory for metric structures. This thesis takes a step in the direction of combining these two by introducing an AEC-like setting for studying metric structures. To find balance between generality and the possibility to develop stability theoretic tools, we work in a homogeneous context, thus extending the usual compact approach. The homogeneous context enables the application of stability theoretic tools developed in discrete homogeneous model theory. Using these we prove categoricity transfer theorems for homogeneous metric structures with respect to isometric isomorphisms. We also show how generalized isomorphisms can be added to the class, giving a model theoretic approach to, e.g., Banach space isomorphisms or operator approximations. The novelty is the built-in treatment of these generalized isomorphisms making, e.g., stability up to perturbation the natural stability notion. With respect to these generalized isomorphisms we develop a notion of independence. It behaves well already for structures which are omega-stable up to perturbation and coincides with the one from classical homogeneous model theory over saturated enough models. We also introduce a notion of isolation and prove dominance for it.

On the Geometry of Infinite-Dimensional Grassmannian Manifolds and Gauge Theory

This PhD Thesis is about certain infinite-dimensional Grassmannian manifolds that arise naturally in geometry, representation theory and mathematical physics. From the physics point of view one encounters these infinite-dimensional manifolds when trying to understand the second quantization of fermions. The many particle Hilbert space of the second quantized fermions is called the fermionic Fock space. A typical element of the fermionic Fock space can be thought to be a linear combination of the configurations m particles and n anti-particles . Geometrically the fermionic Fock space can be constructed as holomorphic sections of a certain (dual)determinant line bundle lying over the so called restricted Grassmannian manifold, which is a typical example of an infinite-dimensional Grassmannian manifold one encounters in QFT. The construction should be compared with its well-known finite-dimensional analogue, where one realizes an exterior power of a finite-dimensional vector space as the space of holomorphic sections of a determinant line bundle lying over a finite-dimensional Grassmannian manifold. The connection with infinite-dimensional representation theory stems from the fact that the restricted Grassmannian manifold is an infinite-dimensional homogeneous (Kähler) manifold, i.e. it is of the form G/H where G is a certain infinite-dimensional Lie group and H its subgroup. A central extension of G acts on the total space of the dual determinant line bundle and also on the space its holomorphic sections; thus G admits a (projective) representation on the fermionic Fock space. This construction also induces the so called basic representation for loop groups (of compact groups), which in turn are vitally important in string theory / conformal field theory. The Thesis consists of three chapters: the first chapter is an introduction to the backround material and the other two chapters are individually written research articles. The first article deals in a new way with the well-known question in Yang-Mills theory, when can one lift the action of the gauge transformation group on the space of connection one forms to the total space of the Fock bundle in a compatible way with the second quantized Dirac operator. In general there is an obstruction to this (called the Mickelsson-Faddeev anomaly) and various geometric interpretations for this anomaly, using such things as group extensions and bundle gerbes, have been given earlier. In this work we give a new geometric interpretation for the Faddeev-Mickelsson anomaly in terms of differentiable gerbes (certain sheaves of categories) and central extensions of Lie groupoids. The second research article deals with the question how to define a Dirac-like operator on the restricted Grassmannian manifold, which is an infinite-dimensional space and hence not in the landscape of standard Dirac operator theory. The construction relies heavily on infinite-dimensional representation theory and one of the most technically demanding challenges is to be able to introduce proper normal orderings for certain infinite sums of operators in such a way that all divergences will disappear and the infinite sum will make sense as a well-defined operator acting on a suitable Hilbert space of spinors. This research article was motivated by a more extensive ongoing project to construct twisted K-theory classes in Yang-Mills theory via a Dirac-like operator on the restricted Grassmannian manifold.

The Catholic Internet discussion on cloning : A study in cognitive rhetoric

This work combines the cognitive theory of folk-theoretical thought with the classical Aristotelian theory of artistic proof in rhetoric. The first half of the work discusses the common ground shared by the elements of artistic proof (logos, pathos, ethos) and the elements of folk-theoretical thought (naïve physics, folk biology, folk psychology, naïve sociology). Combining rhetoric with the cognitive theory of folk-theoretical thought creates a new point of view for argumentation analysis. The logos of an argument can be understood as the inferential relations established between the different parts of an argument. Consequently, within this study the analysis of logos is to be viewed as the analysis of the inferential folk-theoretical elements that make the suggested factual states-of-things appear plausible within given argumentative structures. The pathos of an argumentative structure can be understood as determining the quality of the argumentation in question in the sense that emotive elements play a great part in what can be called a distinction between good and deceptive rhetoric. In the context of this study the analysis of pathos is to be viewed as the analysis of the emotive content of argumentative structures and of whether they aim at facilitating surface- or deep cognitive elaboration of the suggested matters. The ethos of an argumentative structure means both the speaker-presentation and audience-construct that can be discerned within a body of argumentation. In the context of this study, the analysis of ethos is to be understood as the analysis of mutually manifest cognitive environments in the context of argumentation. The theory is used to analyse Catholic Internet discussion concerning cloning. The discussion is divided into six themes: Human Dignity, Sacred Family, Exploitation / Dehumanisation, Playing God, Monsters and Horror Scenarios and Ensoulment. Each theme is analysed for both the rhetorical and the cognitive elements that can be seen creating persuasive force within the argumentative structures presented. It is apparent that the Catholic voices on the Internet extensively oppose cloning. The voices utilise rhetoric that is aggressive and pejorative more often than not. Furthermore, deceptive rhetoric (in the sense presented above) plays a great part in argumentative structures of the Catholic voices. The theory of folk-theoretical thought can be seen as a useful tool for analysing the possible reasons why the Catholic speakers think about cloning and choose to present cloning in their argumentation as they do. The logos utilized in the argumentative structures presented can usually be viewed as based on folk-theoretical inference concerning biology and psychology. The structures of pathos utilized generally appear to aim at generating fear appeal in the assumed audiences, often incorporating counter-intuitive elements. The ethos utilised in the arguments generally revolves around Christian mythology and issues of social responsibility. These structures can also be viewed from the point of view of folk psychology and naïve sociological assumptions.

Conrad Summenhart's theory of individual rights and its medieval background

This study focuses on the theory of individual rights that the German theologian Conrad Summenhart (1455-1502) explicated in his massive work Opus septipartitum de contractibus pro foro conscientiae et theologico. The central question to be studied is: How does Summenhart understand the concept of an individual right and its immediate implications? The basic premiss of this study is that in Opus septipartitum Summenhart composed a comprehensive theory of individual rights as a contribution to the on-going medieval discourse on rights. With this rationale, the first part of the study concentrates on earlier discussions on rights as the background for Summenhart s theory. Special attention is paid to language in which right was defined in terms of power . In the fourteenth century writers like Hervaeus Natalis and William Ockham maintained that right signifies power by which the right-holder can to use material things licitly. It will also be shown how the attempts to describe what is meant by the term right became more specified and cultivated. Gerson followed the implications that the term power had in natural philosophy and attributed rights to animals and other creatures. To secure right as a normative concept, Gerson utilized the ancient ius suum cuique-principle of justice and introduced a definition in which right was seen as derived from justice. The latter part of this study makes effort to reconstructing Summenhart s theory of individual rights in three sections. The first section clarifies Summenhart s discussion of the right of the individual or the concept of an individual right. Summenhart specified Gerson s description of right as power, taking further use of the language of natural philosophy. In this respect, Summenhart s theory managed to bring an end to a particular continuity of thought that was centered upon a view in which right was understood to signify power to licit action. Perhaps the most significant feature of Summenhart s discussion was the way he explicated the implication of liberty that was present in Gerson s language of rights. Summenhart assimilated libertas with the self-mastery or dominion that in the economic context of discussion took the form of (a moderate) self-ownership. Summenhart discussion also introduced two apparent extensions to Gerson s terminology. First, Summenhart classified right as relation, and second, he equated right with dominion. It is distinctive of Summenhart s view that he took action as the primary determinant of right: Everyone has as much rights or dominion in regard to a thing, as much actions it is licit for him to exercise in regard to the thing. The second section elaborates Summenhart s discussion of the species dominion, which delivered an answer to the question of what kind of rights exist, and clarified thereby the implications of the concept of an individual right. The central feature in Summenhart s discussion was his conscious effort to systematize Gerson s language by combining classifications of dominion into a coherent whole. In this respect, his treatement of the natural dominion is emblematic. Summenhart constructed the concept of natural dominion by making use of the concepts of foundation (founded on a natural gift) and law (according to the natural law). In defining natural dominion as dominion founded on a natural gift, Summenhart attributed natural dominion to animals and even to heavenly bodies. In discussing man s natural dominion, Summenhart pointed out that the natural dominion is not sufficiently identified by its foundation, but requires further specification, which Summenhart finds in the idea that natural dominion is appropriate to the subject according to the natural law. This characterization lead him to treat God s dominion as natural dominion. Partly, this was due to Summenhart s specific understanding of the natural law, which made reasonableness as the primary criterion for the natural dominion at the expense of any metaphysical considerations. The third section clarifies Summenhart s discussion of the property rights defined by the positive human law. By delivering an account on juridical property rights Summenhart connected his philosophical and theological theory on rights to the juridical language of his times, and demonstrated that his own language of rights was compatible with current juridical terminology. Summenhart prepared his discussion of property rights with an account of the justification for private property, which gave private property a direct and strong natural law-based justification. Summenhart s discussion of the four property rights usus, usufructus, proprietas, and possession aimed at delivering a detailed report of the usage of these concepts in juridical discourse. His discussion was characterized by extensive use of the juridical source texts, which was more direct and verbal the more his discussion became entangled with the details of juridical doctrine. At the same time he promoted his own language on rights, especially by applying the idea of right as relation. He also showed recognizable effort towards systematizing juridical language related to property rights.

The Nature, Origins, and Consequences of Finnish Shame-Proneness: A Grounded Theory Study

Although shame is a universal human emotion and is one of the most difficult emotions to overcome, its origins and nature as well as its effects on psychosocial functioning are not well understood or defined. While psychological and spiritual counselors are aware of the effects and consequences of shame for an individual s internal well-being and social life, shame is often still considered a taboo topic and is not given adequate attention. This study aims to explain the developmental process and effects of shame and shame-proneness for individuals and provide tools for practitioners to work more effectively with their clients who struggle with shame. This study presents the empirical foundation for a grounded theory that describes and explains the nature, origins, and consequences of shame-proneness. The study focused on Finnish participants childhood, adolescence and adulthood experiences and why they developed shame-proneness, what it meant for them as children and adolescents and what it meant for them as adults. The data collection phase of this study began in 2000. The participants were recruited through advertisements in local and country-wide newspapers and magazines. Altogether 325 people responded to the advertisements by sending an essay concerning their shame and guilt experiences. For the present study, 135 essays were selected and from those who sent an essay 19 were selected for in-depth interviews. In addition to essays and interviews, participants personal notebooks and childhood hospital and medical reports as well as their scores on the Internalized Shame Scale were analyzed. The development of shame-proneness and significant experiences and events during childhood and adolescence (e.g., health, parenting and parents behavior, humiliation, bullying, neglect, maltreatment and abuse) are discussed and the connections of shame-proneness to psychological concepts such as self-esteem, attachment, perfectionism, narcissism, submissiveness, pleasing others, heightened interpersonal subjectivity, and codependence are explained. Relationships and effects of shame-proneness on guilt, spirituality, temperament, coping strategies, defenses, personality formation and psychological health are also explicated. In addition, shame expressions and the development of shame triggers as well as internalized and externalized shame are clarified. These connections and developments are represented by the core category lack of gaining love, validation and protection as the authentic self. The conclusions drawn from the study include a categorization of shame-prone Finnish people according to their childhood and adolescent experiences and the characteristics of their shame-proneness and personality. Implications for psychological and spiritual counseling are also discussed. Key words: shame, internalized shame, external shame, shame development, shame triggers, guilt, self-esteem, attachment, narcissism, perfectionism, submissiveness, codependence, childhood neglect, childhood abuse, childhood maltreatment, emotional abuse, sexual abuse, spiritual abuse, psychological well-being

Imagination and diversity in the philosophy of Hobbes

This dissertation is a study of some aspects of theoretical philosophy of the early modern thinker Thomas Hobbes (1588-1679). The focal point of the work is Hobbes s conception of imagination, which is discussed from both a systematic and a historical point of view, as well as in the light of contemporary scholarship. I argue that though there are significant similarities between the view of Hobbes and that of his predecessors, he gives a novel theory of imagination, which clarifies not only early modern discussions on human nature, knowledge, science, and literary criticism, but above all his own versatile philosophy. The prologue of the dissertation introduces methodological principles and gives critical remarks on the standard view of Hobbes. In Chapter II, I discuss the prominent theories of imagination before Hobbes and link them to his account. I argue that though Hobbes adopted the Aristotelian framework, his view is not reduced to it, as he borrows from various sources, for instance, from the Stoics and from Renaissance thought. Chapters III and IV form the psychological part of the work. In the Chapter III I argue that imagination, not sense, is central in the basic cognitive operations of the mind and that imagination has a decisive role in Hobbes s theory of motivation. The Chapter IV concentrates on various questions of Hobbes s philosophy of language. The chapter ends with a defence of a less naturalistic reading of Hobbes s theory of human nature. Chapters V and VI form the epistemological part of the work. I suggest, contrary to what has been recently claimed, that though Hobbes s ideas of good literary style do have a point of contact with his philosophy (e.g. the psychology of creative process), his ideas in the field are independent of his project of demonstrative political science. Instead I argue that the novelty of his major political work, Leviathan (1651), is based on a new theory of knowledge which he continued to develop in the post-Leviathan works. Chapter VII seeks to connect the more theoretical conclusions of Chapters V and VI to Hobbes's idea(l) of science as well as to his philosophical practice. On the basis of Hobbes s own writings as well as some historical examinations, I argue that method is not an apt way to conceptualise Hobbes s philosophical practice. Contemporary readings of Hobbes s theory of science are critically discussed and the chapter ends with an analysis of Hobbes s actual argumentation. In addition to the concluding remarks, the epilogue suggest three things: first, imagination is central when trying to understand Hobbes s versatile philosophy; second, that it is misleading to depict Hobbes as a simple materialist, mechanist, and empiricist; and, third, that in terms of imagination his influence on early modern thought has not been fully appreciated.

Joseph A. Schumpeter's Theory of Social and Economic Evolution : a Reconstruction and Critique

The book presents a reconstruction, interpretation and critical evaluation of the Schumpeterian theoretical approach to socio-economic change. The analysis focuses on the problem of social evolution, on the interpretation of the innovation process and business cycles and, finally, on Schumpeter s optimistic neglect of ecological-environmental conditions as possible factors influencing social-economic change. The author investigates how the Schumpeterian approach describes the process of social and economic evolution, and how the logic of transformations is described, explained and understood in the Schumpeterian theory. The material of the study includes Schumpeter s works written after 1925, a related part of the commentary literature on these works, and a selected part of the related literature on the innovation process, technological transformations and the problem of long waves. Concerning the period after 1925, the Schumpeterian oeuvre is conceived and analysed as a more or less homogenous corpus of texts. The book is divided into 9 chapters. Chapters 1-2 describe the research problems and methods. Chapter 3 is an effort to provide a systematic reconstruction of Schumpeter's ideas concerning social and economic evolution. Chapters 4 and 5 focus their analysis on the innovation process. In Chapters 6 and 7 Schumpeter's theory of business cycles is examined. Chapter 8 evaluates Schumpeter's views concerning his relative neglect of ecological-environmental conditions as possible factors influencing social-economic change. Finally, chapter 9 draws the main conclusions.

Conformal Field Theory Methods for Variants of Schramm-Loewner Evolutions

This thesis consists of an introduction, four research articles and an appendix. The thesis studies relations between two different approaches to continuum limit of models of two dimensional statistical mechanics at criticality. The approach of conformal field theory (CFT) could be thought of as the algebraic classification of some basic objects in these models. It has been succesfully used by physicists since 1980's. The other approach, Schramm-Loewner evolutions (SLEs), is a recently introduced set of mathematical methods to study random curves or interfaces occurring in the continuum limit of the models. The first and second included articles argue on basis of statistical mechanics what would be a plausible relation between SLEs and conformal field theory. The first article studies multiple SLEs, several random curves simultaneously in a domain. The proposed definition is compatible with a natural commutation requirement suggested by Dubédat. The curves of multiple SLE may form different topological configurations, ``pure geometries''. We conjecture a relation between the topological configurations and CFT concepts of conformal blocks and operator product expansions. Example applications of multiple SLEs include crossing probabilities for percolation and Ising model. The second article studies SLE variants that represent models with boundary conditions implemented by primary fields. The most well known of these, SLE(kappa, rho), is shown to be simple in terms of the Coulomb gas formalism of CFT. In the third article the space of local martingales for variants of SLE is shown to carry a representation of Virasoro algebra. Finding this structure is guided by the relation of SLEs and CFTs in general, but the result is established in a straightforward fashion. This article, too, emphasizes multiple SLEs and proposes a possible way of treating pure geometries in terms of Coulomb gas. The fourth article states results of applications of the Virasoro structure to the open questions of SLE reversibility and duality. Proofs of the stated results are provided in the appendix. The objective is an indirect computation of certain polynomial expected values. Provided that these expected values exist, in generic cases they are shown to possess the desired properties, thus giving support for both reversibility and duality.

Knowledge through Discussion : An Interpretation of Epistemology in Plato's Meno

According to Meno s paradox we cannot inquire into what we do not know because we do not know what we are inquiring into. There are many ways to interpret the paradox but the central issue about our ability to reach truth is a profound one. In the dialogue Meno, Plato presents the paradox and an outline of a solution which enables us to reach knowledge (epistēmē) through philosophical discussion. During the last century Meno has often been considered transitional between Socratic thinking and Plato s own philosophy, and thus the dialogue has not been adequately interpreted as an integrated whole. Therefore the distinctive epistemology of the dialogue has not gained due notice. In this thesis the dialogue is analysed as an integrated whole and the philosophical interpretation also takes into account its dramatic features. The thesis emphasises the role of language and definitions in acquiring knowledge. Among the results concerning these subjects is a new interpretation of Socrates s defintion of shape (schēma). The theory of anamnēsis all learning is recollection in the Meno is argued to answer the paradox philosophically although Plato s presentation also contains playful and ironic elements. The background of the way Plato presents his case is that he appreciated the fact that no argument can plausibly demonstrate that argumentation is able to reach truth. In the Meno, Plato makes the earliest explicit distinction between knowledge and true belief in the history of Western philosophy. He also gives a definition of knowledge which is the basis of the so called classical definition of knowledge as justified true belief. In the Meno, true beliefs become knowledge when someone ties them down by reasoning about the explanation. The analysis of the epistemology of the dialogue from this perspective gives an interpretation which integrates the central concepts of the epistemology in the dialogue elenchos, anamnēsis and hypothetical inquiry into a unified whole which contains a plausible argument according to which the ignorant can reach knowledge through discussion. The conception that emerges by such an analysis is interesting both from the point of view of current interests and that of the history of philosophy. The method of knowledge acquisition in the Meno can, for example, be seen as a predecessor of modern scientific methods. The Meno is the earliest Greek mathematical text that has survived in its original form. The analysis presented in the thesis of the geometric passages in the dialogue provides new results both concerning Socrates s geometry lesson with the slave and the example presenting the hypothetical method. Concerning the latter, a new interpretation is presented. Keywords: anamnēsis, epistēmē, knowledge, Meno s paradox, Plato