Rhetoric and Representation : Exploring the Cultural Meaning of the Natural Sciences in Contemporary Popular Science Writing and Literature

Kirjallisuuden- ja kulttuurintutkimus on viimeisten kolmen vuosikymmenen aikana tullut yhä enenevässä määrin tietoiseksi tieteen ja taiteen suhteen monimutkaisesta luonteesta. Nykyään näiden kahden kulttuurin tutkimus muodostaa oman kenttänsä, jolla niiden suhdetta tarkastellaan ennen kaikkea dynaamisena vuorovaikutuksena, joka heijastaa kulttuurimme kieltä, arvoja ja ideologisia sisältöjä. Toisin kuin aiemmat näkemykset, jotka pitävät tiedettä ja taidetta toisilleen enemmän tai vähemmän vastakkaisina pyrkimyksinä, nykytutkimus lähtee oletuksesta, jonka mukaan ne ovat kulttuurillisesti rakentuneita diskursseja, jotka kohtaavat usein samankaltaisia todellisuuden mallintamiseen liittyviä ongelmia, vaikka niiden käyttämät metodit eroavatkin toisistaan. Väitöskirjani keskittyy yllä mainitun suhteen osa-alueista popularisoidun tietokirjallisuuden (muun muassa Paul Davies, James Gleick ja Richard Dawkins) käyttämän kielen ja luonnontieteistä ideoita ammentavan kaunokirjallisuuden (muun muassa Jeanette Winterson, Tom Stoppard ja Richard Powers) hyödyntämien keinojen tarkasteluun nojautuen yli 30 teoksen kattavaa aineistoa koskevaan tyylin ja teemojen tekstianalyysiin. Populaarin tietokirjallisuuden osalta tarkoituksenani on osoittaa, että sen käyttämä kieli rakentuu huomattavassa määrin sellaisille rakenteille, jotka tarjoavat mahdollisuuden esittää todellisuutta koskevia argumentteja mahdollisimman vakuuttavalla tavalla. Tässä tehtävässä monilla klassisen retoriikan määrittelemillä kuvioilla on tärkeä rooli, koska ne auttavat liittämään sanotun sisällön ja muodon tiukasti toisiinsa: retoristen kuvioiden käyttö ei näin ollen edusta pelkkää tyylikeinoa, vaan se myös usein kiteyttää argumenttien taustalla olevat tieteenfilosofiset olettamukset ja auttaa vakiinnuttamaan argumentoinnin logiikan. Koska monet aikaisemmin ilmestyneistä tutkimuksista ovat keskittyneet pelkästään metaforan rooliin tieteellisissä argumenteissa, tämä väitöskirja pyrkii laajentamaan tutkimuskenttää analysoimalla myös toisenlaisten kuvioiden käyttöä. Osoitan myös, että retoristen kuvioiden käyttö muodostaa yhtymäkohdan tieteellisiä ideoita hyödyntävään kaunokirjallisuuteen. Siinä missä popularisoitu tiede käyttää retoriikkaa vahvistaakseen sekä argumentatiivisia että kaunokirjallisia ominaisuuksiaan, kuvaa tällainen sanataide tiedettä tavoilla, jotka usein heijastelevat tietokirjallisuuden kielellisiä rakenteita. Toisaalta on myös mahdollista nähdä, miten kaunokirjallisuuden keinot heijastuvat popularisoidun tieteen kerrontatapoihin ja kieleen todistaen kahden kulttuurin dynaamisesta vuorovaikutuksesta. Nykyaikaisen populaaritieteen retoristen elementtien ja kaunokirjallisuuden keinojen vertailu näyttää lisäksi, kuinka tiede ja taide osallistuvat keskusteluun kulttuurimme tiettyjen peruskäsitteiden kuten identiteetin, tiedon ja ajan merkityksestä. Tällä tavoin on mahdollista nähdä, että molemmat ovat perustavanlaatuisia osia merkityksenantoprosessissa, jonka kautta niin tieteelliset ideat kuin ihmiselämän suuret kysymyksetkin saavat kulttuurillisesti rakentuneen merkityksensä.

Finitary Abstract Elementary Classes

The research in model theory has extended from the study of elementary classes to non-elementary classes, i.e. to classes which are not completely axiomatizable in elementary logic. The main theme has been the attempt to generalize tools from elementary stability theory to cover more applications arising in other branches of mathematics. In this doctoral thesis we introduce finitary abstract elementary classes, a non-elementary framework of model theory. These classes are a special case of abstract elementary classes (AEC), introduced by Saharon Shelah in the 1980's. We have collected a set of properties for classes of structures, which enable us to develop a 'geometric' approach to stability theory, including an independence calculus, in a very general framework. The thesis studies AEC's with amalgamation, joint embedding, arbitrarily large models, countable Löwenheim-Skolem number and finite character. The novel idea is the property of finite character, which enables the use of a notion of a weak type instead of the usual Galois type. Notions of simplicity, superstability, Lascar strong type, primary model and U-rank are inroduced for finitary classes. A categoricity transfer result is proved for simple, tame finitary classes: categoricity in any uncountable cardinal transfers upwards and to all cardinals above the Hanf number. Unlike the previous categoricity transfer results of equal generality the theorem does not assume the categoricity cardinal being a successor. The thesis consists of three independent papers. All three papers are joint work with Tapani Hyttinen.

Religion and Science in Abraham Ibn Ezra's Sefer ha-Olam

The thesis examines rabbi Abraham Ibn Ezra's (11096-1064) conceptions of the relationship between religion and science with special focus on his seventh astrological treatise Sefer ha-Olam (The Book of the World). The thesis includes an analysis of medieval arabic astrology and the concepts science and religion in the relevant period. The appendix holds a tentative english translation of the hebrew text.

Karl Popper's Philosophy of Science - And the Evolution of the Popperian Worlds

This doctoral thesis in theoretical philosophy is a systematic analysis of Karl Popper's philosophy of science and its relation to his theory of three worlds. The general aim is to study Popper's philosophy of science and to show that Popper's theory of three worlds was a restatement of his earlier positions. As a result, a new reading of Popper's philosophy and development is offered and the theory of three worlds is analysed in a new manner. It is suggested that the theory of three worlds is not purely an ontological theory, but has a profound epistemological motivation. In Part One, Popper's epistemology and philosophy of science is analysed. It is claimed that Popper's thinking was bifurcated: he held two profound positions without noticing the tension between them. Popper adopted the position called the theorist around 1930 and focused on the logical structure of scientific theories. In Logik der Forschung (1935), he attempted to build a logic of science on the grounds that scientific theories may be regarded as universal statements which are not verifiable but can be falsified. Later, Popper emphasized another position, called here the processionalist. Popper focused on the study of science as a process and held that a) philosophy of science should study the growth of knowledge and that b) all cognitive processes are constitutive. Moreover, the constitutive idea that we see the world in the searchlight of our theories was combined with the biological insight that knowledge grows by trial and error. In Part Two, the theory of three worlds is analysed systematically. The theory is discussed as a cluster of theories which originate from Popper's attempt to solve some internal problems in his thinking. Popper adhered to realism and wished to reconcile the theorist and the processionalist. He also stressed the real and active nature of the human mind, and the possibility of objective knowledge. Finally, he wished to create a scientific world view.

Logic as the Universal Science : Bertrand Russell's Early Conception of Logic and Its Philosophical Context

Bertrand Russell (1872 1970) introduced the English-speaking philosophical world to modern, mathematical logic and foundational study of mathematics. The present study concerns the conception of logic that underlies his early logicist philosophy of mathematics, formulated in The Principles of Mathematics (1903). In 1967, Jean van Heijenoort published a paper, Logic as Language and Logic as Calculus, in which he argued that the early development of modern logic (roughly the period 1879 1930) can be understood, when considered in the light of a distinction between two essentially different perspectives on logic. According to the view of logic as language, logic constitutes the general framework for all rational discourse, or meaningful use of language, whereas the conception of logic as calculus regards logic more as a symbolism which is subject to reinterpretation. The calculus-view paves the way for systematic metatheory, where logic itself becomes a subject of mathematical study (model-theory). Several scholars have interpreted Russell s views on logic with the help of the interpretative tool introduced by van Heijenoort,. They have commonly argued that Russell s is a clear-cut case of the view of logic as language. In the present study a detailed reconstruction of the view and its implications is provided, and it is argued that the interpretation is seriously misleading as to what he really thought about logic. I argue that Russell s conception is best understood by setting it in its proper philosophical context. This is constituted by Immanuel Kant s theory of mathematics. Kant had argued that purely conceptual thought basically, the logical forms recognised in Aristotelian logic cannot capture the content of mathematical judgments and reasonings. Mathematical cognition is not grounded in logic but in space and time as the pure forms of intuition. As against this view, Russell argued that once logic is developed into a proper tool which can be applied to mathematical theories, Kant s views turn out to be completely wrong. In the present work the view is defended that Russell s logicist philosophy of mathematics, or the view that mathematics is really only logic, is based on what I term the Bolzanian account of logic . According to this conception, (i) the distinction between form and content is not explanatory in logic; (ii) the propositions of logic have genuine content; (iii) this content is conferred upon them by special entities, logical constants . The Bolzanian account, it is argued, is both historically important and throws genuine light on Russell s conception of logic.

Mediapolulla - Kasvatustieteellistä ja teknisen alan osaamista yhdistämässä : Opiskelijoiden yhteistyö ja oppiminen tieto- ja viestintätekniikkaprojektissa

The study concentrated on interdisciplinary teamwork of students in Helsinki University Department of Education and Helsinki University of Technology. Students worked in small interdisciplinary groups (n 12) to plan and teach in an information- and communication technology (ICT) club in elementary schools. The focus of the study was co-operation in the student groups and students learning experiences. Theoretical background of the study consists of theories of collaboration and socially shared cognition. Study was an qualitative case study and the data was collected with individual focus interviews and learning diaries. The data was categorised and the connections between categories were analysed with a table. Shared cognition appeared as a form of distribution of tasks and in the actual processes of shared expertise. The tasks were shared according to students expertise. Processes of shared expertise were joint knowledge building, integration of interests, awareness and exploitation of others expertise and allowing freedom for others to use their expertise. Additionally expression of ones own views and setting an example to others were one sided sharing of expertise. Students of technology were responsible of technical issues and the responsibility sphere of educational science students was more fragmented. For instance they concentrated in taking children s abilities into consideration. The sphere of shared cognition included also the need for tutoring and learning from others. Usually students did not directly learn from representative of other discipline, instead the learning for instance of social skills happened indirectly. Learning was fostered if learning was set as a goal and prevented if the differences in expertise were too minor. Sharing of cognition was prevented if co-operation was too problematic. Co-operation was usually successful. Good planning, good person chemistry and appreciation of expertise of others promoted success. Problems caused by different backgrounds were usually slight. Successful interaction was complementary and equal. Groups were usually able to circumvent problems in communication and use of justification in discussion promoted co-operation. When comparing the groups in the scope of the study, two were found to be notably opposed and the other groups located between these extreme cases, but the elements of success prevailed. Learning experiences concentrated on social skills, project management, school world and ICT. Essential was achieved field experience and observation of ones own capabilities. In organisation of student interdisciplinary co-operation is important to ensure sufficient differences in expertise and guide students to gain complementary interaction and appropriate setting of goals. Interdisciplinary field project prepared students to face the demands of

Oikein, nurin - miten Suomessa kudin : Tutkimus neulonnan työotteista.

The aim of this work was to study what kind of working grips people use to knit in Finland and decide if one grip is superior to others. I investigated how knitters have adopted their grips and how they experience their knitting. I also explored whether it is possible to change one's grip. To provide a theoretical basis for the research I observed knitting in terms of culture, skill and ergonomics. The first part of the study material comprised video recordings of the grips of 95 knitters together with background information collected via a questionnaire during the education of craft teachers at the University of Helsinki in spring 2004, 2005 and 2006. Using the data obtained I focused on three knitters, whose grip of the knitting needles clearly differed from the ergonomically good grip. In addition to them I interviewed one student, who had changed over to more ergonomic way of knitting after participating in the first part of this study. In this respect my study is a several events' case study. In order to analyse my data I used both qualitative and quantitative content analysis methods to complement each other. Most of my research participants had learned to knit in first years of elementary school or comprehensive school. Almost everyone had adopted the basics of knitting by imitating, and many of them had corrected "incorrect" positions from verbal instructions. Through practice the imitated position had gradually become the style unique to each knitter. The findings showed that students' background in knitting is quite varied due to the diverse level of craft teaching. This is reflected in their knitting grips and their interest in knitting. Students do not think that there is one right working grip. The most important thing is that working seems as fluent and relaxed as possible, at which point knitting is easy and flows freely. They often consider their own style so pleasing and well-functioning that they do not think there could be any room for improvement. This study pointed out that, while it is possible to change a knitter's working grip, there is a bigger challenge in acknowledging weaknesses in one's know how. According to the results of my research, the most common working grip among Finnish knitters' corresponds with the grip that has been described as ergonomically good. Over one third of all participants knitted this way. Hands keep the knitting firmly but without tension. The forefinger that guides the yarn from the ball rests gently against the knitting needle, and the yarn goes in front of the first joint of the forefinger. The position of the hands and loops is the same as in the ergonomically good grip, i.e. the fingertips of both hands and the loops are near the tips of the knitting needles, so that the fingers only have to move small distances. When knitters purl and plain, they commonly pick up the yarn from the back of the knitting needle in the same way as when knitting. While researching the common features of working grips I have learned what abnormal grips are like. Although I recognized many different ways to knit, all the peculiar grips were modifications of the continental way of knitting. The results of this study give a clear picture of those points knitters should focus their attention on in order to gain a good hold of the needles.

Noncommutative Gravitation as a Gauge Theory of Twisted Poincaré Symmetry

Gravitaation kvanttiteorian muotoilu on ollut teoreettisten fyysikkojen tavoitteena kvanttimekaniikan synnystä lähtien. Kvanttimekaniikan soveltaminen korkean energian ilmiöihin yleisen suhteellisuusteorian viitekehyksessä johtaa aika-avaruuden koordinaattien operatiiviseen ei-kommutoivuuteen. Ei-kommutoivia aika-avaruuden geometrioita tavataan myös avointen säikeiden säieteorioiden tietyillä matalan energian rajoilla. Ei-kommutoivan aika-avaruuden gravitaatioteoria voisi olla yhteensopiva kvanttimekaniikan kanssa ja se voisi mahdollistaa erittäin lyhyiden etäisyyksien ja korkeiden energioiden prosessien ei-lokaaliksi uskotun fysiikan kuvauksen, sekä tuottaa yleisen suhteellisuusteorian kanssa yhtenevän teorian pitkillä etäisyyksillä. Tässä työssä tarkastelen gravitaatiota Poincarén symmetrian mittakenttäteoriana ja pyrin yleistämään tämän näkemyksen ei-kommutoiviin aika-avaruuksiin. Ensin esittelen Poincarén symmetrian keskeisen roolin relativistisessa fysiikassa ja sen kuinka klassinen gravitaatioteoria johdetaan Poincarén symmetrian mittakenttäteoriana kommutoivassa aika-avaruudessa. Jatkan esittelemällä ei-kommutoivan aika-avaruuden ja kvanttikenttäteorian muotoilun ei-kommutoivassa aika-avaruudessa. Mittasymmetrioiden lokaalin luonteen vuoksi tarkastelen huolellisesti mittakenttäteorioiden muotoilua ei-kommutoivassa aika-avaruudessa. Erityistä huomiota kiinnitetään näiden teorioiden vääristyneeseen Poincarén symmetriaan, joka on ei-kommutoivan aika-avaruuden omaama uudentyyppinen kvanttisymmetria. Seuraavaksi tarkastelen ei-kommutoivan gravitaatioteorian muotoilun ongelmia ja niihin kirjallisuudessa esitettyjä ratkaisuehdotuksia. Selitän kuinka kaikissa tähänastisissa lähestymistavoissa epäonnistutaan muotoilla kovarianssi yleisten koordinaattimunnosten suhteen, joka on yleisen suhteellisuusteorian kulmakivi. Lopuksi tutkin mahdollisuutta yleistää vääristynyt Poincarén symmetria lokaaliksi mittasymmetriaksi --- gravitaation ei-kommutoivan mittakenttäteorian saavuttamisen toivossa. Osoitan, että tällaista yleistystä ei voida saavuttaa vääristämällä Poincarén symmetriaa kovariantilla twist-elementillä. Näin ollen ei-kommutoivan gravitaation ja vääristyneen Poincarén symmetrian tutkimuksessa tulee jatkossa keskittyä muihin lähestymistapoihin.

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.

Religion Explained? : A Philosophical Appraisal of the Cognitive Science of Religion

This study examines philosophically the main theories and methodological assumptions of the field known as the cognitive science of religion (CSR). The study makes a philosophically informed reconstruction of the methodological principles of the CSR, indicates problems with them, and examines possible solutions to these problems. The study focuses on several different CSR writers, namely, Scott Atran, Justin Barrett, Pascal Boyer and Dan Sperber. CSR theorising is done in the intersection between cognitive sciences, anthropology and evolutionary psychology. This multidisciplinary nature makes CSR a fertile ground for philosophical considerations coming from philosophy of psychology, philosophy of mind and philosophy of science. The study begins by spelling out the methodological assumptions and auxiliary theories of CSR writers by situating these theories and assumptions in the nexus of existing approaches to religion. The distinctive feature of CSR is its emphasis on information processing: CSR writers claim that contemporary cognitive sciences can inform anthropological theorising about the human mind and offer tools for producing causal explanations. Further, they claim to explain the prevalence and persistence of religion by cognitive systems that undergird religious thinking. I also examine the core theoretical contributions of the field focusing mainly on the (1) “minimally counter-intuitiveness hypothesis” and (2) the different ways in which supernatural agent representations activate our cognitive systems. Generally speaking, CSR writers argue for the naturalness of religion: religious ideas and practices are widespread and pervasive because human cognition operates in such a way that religious ideas are easy to acquire and transmit. The study raises two philosophical problems, namely, the “problem of scope” and the “problem of religious relevance”. The problem of scope is created by the insistence of several critics of the CSR that CSR explanations are mostly irrelevant for explaining religion. Most CSR writers themselves hold that cognitive explanations can answer most of our questions about religion. I argue that the problem of scope is created by differences in explanation-begging questions: the former group is interested in explaining different things than the latter group. I propose that we should not stick too rigidly to one set of methodological assumptions, but rather acknowledge that different assumptions might help us to answer different questions about religion. Instead of adhering to some robust metaphysics as some strongly naturalistic writers argue, we should adopt a pragmatic and explanatory pluralist approach which would allow different kinds of methodological presuppositions in the study of religion provided that they attempt to answer different kinds of why-questions, since religion appears to be a multi-faceted phenomenon that spans over a variety of fields of special sciences. The problem of religious relevance is created by the insistence of some writers that CSR theories show religious beliefs to be false or irrational, whereas others invoke CSR theories to defend certain religious ideas. The problem is interesting because it reveals the more general philosophical assumptions of those who make such interpretations. CSR theories can (and have been) interpreted in terms of three different philosophical frameworks: strict naturalism, broad naturalism and theism. I argue that CSR theories can be interpreted inside all three frameworks without doing violence to the theories and that these frameworks give different kinds of results regarding the religious relevance of CSR theories.