An algebraic theory of functional and multivalued dependencies in relational databases

Computation of the dependency basis is the fundamental step in solving the membership problem for functional dependencies (FDs) and multivalued dependencies (MVDs) in relational database theory. We examine this problem from an algebraic perspective. We introduce the notion of the inference basis of a set M of MVDs and show that it contains the maximum information about the logical consequences of M. We propose the notion of a dependency-lattice and develop an algebraic characterization of inference basis using simple notions from lattice theory. We also establish several interesting properties of dependency-lattices related to the implication problem. Founded on our characterization, we synthesize efficient algorithms for (a): computing the inference basis of a given set M of MVDs; (b): computing the dependency basis of a given attribute set w.r.t. M; and (c): solving the membership problem for MVDs. We also show that our results naturally extend to incorporate FDs also in a way that enables the solution of the membership problem for both FDs and MVDs put together. We finally show that our algorithms are more efficient than existing ones, when used to solve what we term the ‘generalized membership problem’.

Experimental measurement of the mechanical properties of carotid atherothrombotic plaque fibrous cap

Eleven carotid atherothrombotic plaque samples were harvested from patients. Three samples that were highly calcified were discarded, while eight yielded results. The elastic properties of the material were estimated by fitting the measured indentation response to finite element simulations. The methodology was refined and its accuracy quantified using a synthetic rubber. The neo-Hookean form of the material model gave a good fit to the measured response of the tissue. The inferred shear modulus μ was found to be in the range 7-100 kPa, with a median value of 11 kPa. A review of published materials data showed a wide range of material properties for human atherothrombotic tissue. The effects of anisotropy and time dependency in these published results were highlighted. The present measurements were comparable to the static radial compression tests of Lee et al, 1991 [Structure-dependent dynamic behaviour of fibrous caps from human atherosclerotic plaques. Circulation 83, 1764-1770].

The Implication Problem for Functional and Multivalued Dependencies

Computation of the dependency basis is the fundamental step in solving the implication problem for MVDs in relational database theory. We examine this problem from an algebraic perspective. We introduce the notion of the inference basis of a set M of MVDs and show that it contains the maximum information about the logical consequences of M. We propose the notion of an MVD-lattice and develop an algebraic characterization of the inference basis using simple notions from lattice theory. We also establish several properties of MVD-lattices related to the implication problem. Founded on our characterization, we synthesize efficient algorithms for (a) computing the inference basis of a given set M of MVDs; (b) computing the dependency basis of a given attribute set w.r.t. M; and (c) solving the implication problem for MVDs. Finally, we show that our results naturally extend to incorporate FDs also in a way that enables the solution of the implication problem for both FDs and MVDs put together.

Stochastic growth models for analyzing crustacean data

The contemporary methodology for growth models of organisms is based on continuous trajectories and thus it hinders us from modelling stepwise growth in crustacean populations. Growth models for fish are normally assumed to follow a continuous function, but a different type of model is needed for crustacean growth. Crustaceans must moult in order for them to grow. The growth of crustaceans is a discontinuous process due to the periodical shedding of the exoskeleton in moulting. The stepwise growth of crustaceans through the moulting process makes the growth estimation more complex. Stochastic approaches can be used to model discontinuous growth or what are commonly known as "jumps" (Figure 1). However, in stochastic growth model we need to ensure that the stochastic growth model results in only positive jumps. In view of this, we will introduce a subordinator that is a special case of a Levy process. A subordinator is a non-decreasing Levy process, that will assist in modelling crustacean growth for better understanding of the individual variability and stochasticity in moulting periods and increments. We develop the estimation methods for parameter estimation and illustrate them with the help of a dataset from laboratory experiments. The motivational dataset is from the ornate rock lobster, Panulirus ornatus, which can be found between Australia and Papua New Guinea. Due to the presence of sex effects on the growth (Munday et al., 2004), we estimate the growth parameters separately for each sex. Since all hard parts are shed too often, the exact age determination of a lobster can be challenging. However, the growth parameters for the aforementioned moult processes from tank data being able to estimate through: (i) inter-moult periods, and (ii) moult increment. We will attempt to derive a joint density, which is made up of two functions: one for moult increments and the other for time intervals between moults. We claim these functions are conditionally independent given pre-moult length and the inter-moult periods. The variables moult increments and inter-moult periods are said to be independent because of the Markov property or conditional probability. Hence, the parameters in each function can be estimated separately. Subsequently, we integrate both of the functions through a Monte Carlo method. We can therefore obtain a population mean for crustacean growth (e. g. red curve in Figure 1). [GRAPHICS]

But if you desire God and His Messenger : The concept of choice in Sahih al-Bukhari

The aim of this dissertation is to discuss the concept of choice in the most important collection of Islamic traditions, Sahih al-Bukhari. The author of the collection, Muhammad ibn Isma'il al-Bukhari, lived between 810-870. My starting point is the collection of texts as it is now in its normative, established form. I read the hadiths as pieces of reality, not as statements about reality. The historicity of the texts has no role at all in my analysis. Part I sketches out the hagiography of the life and work of the author and provides a short history of the development of hadith literature and the processes of collecting and classifying the texts are discussed briefly. Part one ends with the presentation of my way of using rhetorical analysis as a methodological tool. Part II introduces my analysis of the concept of choice. It is divided into ten chapters, each concentrating on one hadith cluster. Part II ends with a discussion of the philosophy of free will and predestination in early Islam. Hadith literature is often considered as a representative of predestinarian theology compared to the Qur'an which emphasises the reponsibility of people of their own acts. In my conclusions I suggest that accoding to the texts in Sahih al-Bukhari, people do deal with real choices in their lives. The collection includes both strictly predestinarian texts but it also compises texts which claim that people are demanded to make real choices, even choices concerning life and death.

Mapinduzi Daima – Revolution Forever : Using the 1964 Revolution in Nationalistic Political Discourses in Zanzibar

This Master's thesis examines two opposite nationalistic discourses on the revolution of Zanzibar. Chama cha Mapinduzi (CCM), the party in power since the 1964 revolution defends its revolutionary and "African" heritage in the current multi-party system. New nationalists, including among others the main opposition party Civic United Front (CUF), question both the 1964 revolution and the post-revolution period and blame CCM for empty promises, corruption and ethnic discrimination. This study analyzes the role of a significant historical event in the creation of nationalistic ideology and national identity. The 1964 revolution forms the nucleus of various debates related to the history of Zanzibar: slavery, colonialism, racial discrimination and political violence. Representations of these Social constructivist principles form the basis of this study, and central concepts in the theoretical framework are nationalism, national identity, ethnicity and race. I use critical discourse analysis as my research method, lean on the work by Teun A. van Dijk and Norman Fairclough as the most significant researchers in this field. I examine particularly the ways in which linguistic methods, such as stereotypes and metaphors are used to form in- and out-groups ("us" vs. "others"). My material, both in Swahili and English, was collected mainly in Tanzania in the fall of 2007 and from online sources in the spring of 2009. It includes publications by the Zanzibari government between the years of 1964-2000 (12), official speeches for the Revolution Day or the Union Day (12), articles from Tanzanian newspapers from the 1990s until the year of 2009 (15), memoirs and political pamphlets (10), blog posts and opinion pieces from four different websites (8), and interviews or personal communication in Zanzibar, Dar es Salaam and Uppsala (8). Nationalistic rhetoric often creates enemy images by using binary good-bad oppositions. Both discourses in this study build identities on the basis of "otherness" and exclusion, with the intent of emphasizing the particularity of the own group and excluding "evilness" outside the own reference group. These opposite views on the 1964 revolution as the main axis of the history of Zanzibar build different portraits of the nation and Zanzibari-ness (Uzanzibari). CCM still relies on the pre-revolutionary enemy images of Arabs as selfish rulers and cruel slave traders. For CCM, Zanzibar is primarily an "African" nation and a part of Tanzania which is threatened by "Arabs", the outsiders. In contrast, the new nationalists stress the long history of Zanzibar as multi-racial, cosmopolitan and formerly independent country which has its own, separate culture and identity from mainland Tanzanians. Heshima, honour/respect, one of the basic values of Swahili culture, occupies a central role in both discourses: the main party emphasizes that the revolution returned "heshima" to the Zanzibari Africans after centuries of humiliation, whereas the new nationalists claim that ever since the revolution all "non-Africans" have been humiliated and lost their "heshima". According to the new nationalists, true Zanzibari values which include tolerance and harmony between different "races" were lost when the "foreign" revolutionaries arrived from the mainland. Consequently, they see the 1964 revolution as Tanganyikan colonialism which began with the help of Western countries, and maintain that this "colonialism" still continues in the violent multi-party elections.

Contributions to the Theory of Finite-State Based Grammars

This dissertation is a theoretical study of finite-state based grammars used in natural language processing. The study is concerned with certain varieties of finite-state intersection grammars (FSIG) whose parsers define regular relations between surface strings and annotated surface strings. The study focuses on the following three aspects of FSIGs: (i) Computational complexity of grammars under limiting parameters In the study, the computational complexity in practical natural language processing is approached through performance-motivated parameters on structural complexity. Each parameter splits some grammars in the Chomsky hierarchy into an infinite set of subset approximations. When the approximations are regular, they seem to fall into the logarithmic-time hierarchyand the dot-depth hierarchy of star-free regular languages. This theoretical result is important and possibly relevant to grammar induction. (ii) Linguistically applicable structural representations Related to the linguistically applicable representations of syntactic entities, the study contains new bracketing schemes that cope with dependency links, left- and right branching, crossing dependencies and spurious ambiguity. New grammar representations that resemble the Chomsky-Schützenberger representation of context-free languages are presented in the study, and they include, in particular, representations for mildly context-sensitive non-projective dependency grammars whose performance-motivated approximations are linear time parseable. (iii) Compilation and simplification of linguistic constraints Efficient compilation methods for certain regular operations such as generalized restriction are presented. These include an elegant algorithm that has already been adopted as the approach in a proprietary finite-state tool. In addition to the compilation methods, an approach to on-the-fly simplifications of finite-state representations for parse forests is sketched. These findings are tightly coupled with each other under the theme of locality. I argue that the findings help us to develop better, linguistically oriented formalisms for finite-state parsing and to develop more efficient parsers for natural language processing. Avainsanat: syntactic parsing, finite-state automata, dependency grammar, first-order logic, linguistic performance, star-free regular approximations, mildly context-sensitive grammars

Abductive translation studies : The art of marshalling signs

This dissertation contributes to the fields of theoretical translation studies, semiotic translation theory, and the semiotics of translation. The aim of this work is to explore the alternative and potential which the semiotic approaches to translation entail from the viewpoint of contemporary translation studies. The overall objective is thus to show that a general semiotic translation theory, and in particular, a Peircean translation theory, are possible and indispensable. Furthermore, this study contributes to the semiotranslational approach and to its theory-building by developing the concept of abductive translation (studies). The specific theoretical frame of reference adopted in this study is provided by the semiotranslation introduced by Dinda L. Gorlée. This approach is primarily based on the semeiotic of Charles Sanders Peirce (1839 1914), and aims at a fusion of semiotics and translation studies. A more general framework is provided by the threefold background and material: the published and unpublished writings of Peirce, Peirce scholarship and Peircean-semiotic publications, as well as the translation-theoretical literature. Part One of this study concentrates on the justification, existence, and nature of the semiotic approaches to translation. This part provides a historical survey, a status report, and a discussion of this area of research, by employing the findings in a boundary-clearing that is multilayered both conceptually and terminologically. Part Two deals with Peircean semiotranslation. Here Gorlée s semiotranslational research is examined by focusing on the starting points, features, and development of semiotranslation. Attention is also paid to the state-of-the-art of semiotranslation theory and to the possibilities for future elaborations. Part Three focuses on the semiotranslational claim that translation is an abductive activity. The concept of abductive translation is based on abduction, one of Peirce s three modes of reasoning; at the same time Firstness, the category of abduction, becomes foregrounded. So abductive translation as a form of possibilistic translation receives here an extensive theoretical discussion by citing examples in which abduction manifests itself as (scientific) reasoning and as everyday contemplation. During this treatise, translation is first equated with sign action, then with interpretation and finally with reasoning. All these approaches appear to embody different facets of the same phenomenon Peirce s ubiquitous semiosis, and they all suggest that translation is inherently an intersemiotic activity in which a sign is inferred from another sign. Translation is therefore semiosis, semiosis is translation and interpretation, interpretation is reasoning, and so on ad infinitum all being manifestations of the art of marshalling signs. The three parts of this study are linked by the overall goal of abductive translation studies: investigation into abductive translation develops the theory of semiotranslation, and this enrichment of semiotranslation in turn constructs a semiotic paradigm within translation studies.

The Art of Sympathy : Forms of Moral and Emotional Persuasion in Fiction

"The Art of Sympathy: Forms of Moral and Emotional Persuasion" in Fiction is an interdisciplinary study that looks closely at the ways that stories evoke sympathy, and the significance of this emotion for the development of moral attitudes and awareness. By linking readers' emotional responses to fiction with the potential impact of such responses on "the moral imagination," the study builds on empirical research conducted by literary scholars and psychologists into the emotional effects of reading fiction, as well as social psychological research into the connections between empathy/sympathy and moral development. I first investigate the dynamics of readers beliefs regarding characters in fictional narratives, and the nature of the emotions that they may experience as a result of those beliefs. The analysis demonstrates that there are important similarities between real emotions and emotions generated by fiction. Recognizing these similarities, I claim, can help us to conceptualize the nature of sympathetic responses to fictional characters. Building on these assertions, I then draw on research from social psychology and philosophy to develop a comprehensive definition of sympathy and to clarify the ways in which sympathy operates, both in people s daily lives and in readers sympathetic responses to fictional characters. Having established this definition and delineated its practical implications, I then examine how particular stories, through a variety of narrative techniques, persuade readers to feel sympathy for characters who are unsympathetic in certain ways. In order to verify my claims about the impact of these stories on readers emotions, I also review the results of tests that I conducted with nearly 200 adolescent readers. Through these tests, which were constructed and scored according to methods prevalent in social psychological research, it was determined that a majority of readers felt sympathy for the protagonists in two of the stories included in the study. These results were combined with data from an additional test, a standard measure of empathy and sympathy in the field of social psychology. The cross-tabulation of these results suggests that there was not a strong connection between readers responses and their general tendencies to feel sympathy for others. This finding would appear to support my hypotheses regarding the sympathetic persuasiveness of the stories in question. In light of these results, finally, I consider the potential contribution that fiction can make to adolescent emotional and moral development and the implications of that potential for future language arts curricula in the schools. In particular, I suggest the pedagogical importance of providing adolescents with opportunities to engage with the lives of fictional characters, and especially to experience feelings of sympathy for individuals towards whom they ordinarily might feel aversion.

Intermediate Past BE : A Paradigm Reshaped With Data Drawn From HARES

In this paper, I look into a grammatical phenomenon found among speakers of the Cambridgeshire dialect of English. According to my hypothesis, the phenomenon is a new entry into the past BE verb paradigm in the English language. In my paper, I claim that the structure I have found complements the existing two verb forms, was and were, with a third verb form that I have labelled ‘intermediate past BE’. The paper is divided into two parts. In the first section, I introduce the theoretical ground for the study of variation, which is founded on empiricist principles. In variationist linguistics, the main claim is that heterogeneous language use is structured and ordered. In the last 50 years of history in modern linguistics, this claim is controversial. In the 1960s, the generativist movement spearheaded by Noam Chomsky diverted attention away from grammatical theories that are based on empirical observations. The generativists steered away from language diversity, variation and change in favour of generalisations, abstractions and universalist claims. The theoretical part of my paper goes through the main points of the variationist agenda and concludes that abandoning the concept of language variation in linguistics is harmful for both theory and methodology. In the method part of the paper, I present the Helsinki Archive of Regional English Speech (HARES) corpus. It is an audio archive that contains interviews conducted in England in the 1970s and 1980s. The interviews were done in accordance to methods used generally in traditional dialectology. The informants are mostly elderly male people who have lived in the same region throughout their lives and who have left school at an early age. The interviews are actually conversations: the interviewer allowed the informant to pick the topic of conversation to induce a maximally relaxed and comfortable atmosphere and thus allow the most natural dialect variant to emerge in the informant’s speech. In the paper, the corpus chapter introduces some of the transcription and annotation problems associated with spoken language corpora (especially those containing dialectal speech). Questions surrounding the concept of variation are present in this part of the paper too, as especially transcription work is troubled by the fundamental problem of having to describe the fluctuations of everyday speech in text. In the empirical section of the paper, I use HARES to analyse the speech of four informants, with special focus on the emergence of the intermediate past BE variant. My observations and the subsequent analysis permit me to claim that my hypothesis seems to hold. The intermediate variant occupies almost all contexts where one would expect was or were in the informants’ speech. This means that the new variant is integrated into the speakers’ grammars and exemplifies the kind of variation that is at the heart of this paper.

Sisustaminen on kuin käsialaa : Carin Bryggman ja Lasse Ollinkari sisustusarkkitehdin ammatissa 1940- ja 1950-luvulla

"Interior Design is Like Handwriting." Carin Bryggman and Lasse Ollinkari as Interior Designers in the 1940s and 1950s My dissertation deals with the emergence of the interior designer's profession in Finland with focus on the 1940s and 1950s, the postwar years of reconstruction and modernism, as the historical context. The topic is addressed at both the collective and individual levels. Specific subjects of study are the training of interior designers (also known as interior architects), the association of Finnish interior architects (Sisustusarkkitehdit SIO), the professional field and its public image and two leading designers, Carin Bryggman (1920 1993) and Lasse Ollinkari (1921 1993). Though respected figures within the field, Bryggman and Ollinkari have otherwise remained little known and studied. My study presents a great deal of new empiria. The main materials consist of the documents of related institutions and the archives of Bryggman and Ollinkari, in which drawings and photographs figure prominently. The drawings illustrate in a new way the variety of professional tasks in the field. My results are also based on a large body of interviewed material. The materials are approached from two theoretical perspectives, with gender and margins as core concepts from the perspective of women's studies. The even gender division of Finnish interior designers revealed a difference with regard to neighbouring occupations and other countries. I claim that the division of tasks was not defined by gender. The second theoretical basis is the sociological study of professions. The high professional status achieved by interior designers is shown by the fact that of the many related titles in Finnish and Swedish, such as "furniture draughtsman" or "interior artist", interior architect became the established one, despite opposition from architects. My hypothesis that the professionalization of interior designers took place during the two postwar decades proved to be correct. The profession emerged through specialized education and became established with the founding of its own professional organization. From the outset, the goal was to mark a distinction between professionals of interior and furniture design and other designers and architects. Interior designers became a strong and successful modern professional group, involved in a wide range of projects from objects to interiors. Keywords: interior designers, interior architects, interior art, occupations, gender, professions, interior design, furniture, home, public space, Carin Bryggman, Lasse Ollinkari, the Sisustusarkkitehdit SIO association, 1940s and 1950s, reconstruction, modernism.

On the Origin of Ideas : An Abductivist Approach to Discovery

The purpose of this study is to analyze and develop various forms of abduction as a means of conceptualizing processes of discovery. Abduction was originally presented by Charles S. Peirce (1839-1914) as a "weak", third main mode of inference -- besides deduction and induction -- one which, he proposed, is closely related to many kinds of cognitive processes, such as instincts, perception, practices and mediated activity in general. Both abduction and discovery are controversial issues in philosophy of science. It is often claimed that discovery cannot be a proper subject area for conceptual analysis and, accordingly, abduction cannot serve as a "logic of discovery". I argue, however, that abduction gives essential means for understanding processes of discovery although it cannot give rise to a manual or algorithm for making discoveries. In the first part of the study, I briefly present how the main trend in philosophy of science has, for a long time, been critical towards a systematic account of discovery. Various models have, however, been suggested. I outline a short history of abduction; first Peirce's evolving forms of his theory, and then later developments. Although abduction has not been a major area of research until quite recently, I review some critiques of it and look at the ways it has been analyzed, developed and used in various fields of research. Peirce's own writings and later developments, I argue, leave room for various subsequent interpretations of abduction. The second part of the study consists of six research articles. First I treat "classical" arguments against abduction as a logic of discovery. I show that by developing strategic aspects of abductive inference these arguments can be countered. Nowadays the term 'abduction' is often used as a synonym for the Inference to the Best Explanation (IBE) model. I argue, however, that it is useful to distinguish between IBE ("Harmanian abduction") and "Hansonian abduction"; the latter concentrating on analyzing processes of discovery. The distinctions between loveliness and likeliness, and between potential and actual explanations are more fruitful within Hansonian abduction. I clarify the nature of abduction by using Peirce's distinction between three areas of "semeiotic": grammar, critic, and methodeutic. Grammar (emphasizing "Firstnesses" and iconicity) and methodeutic (i.e., a processual approach) especially, give new means for understanding abduction. Peirce himself held a controversial view that new abductive ideas are products of an instinct and an inference at the same time. I maintain that it is beneficial to make a clear distinction between abductive inference and abductive instinct, on the basis of which both can be developed further. Besides these, I analyze abduction as a part of distributed cognition which emphasizes a long-term interaction with the material, social and cultural environment as a source for abductive ideas. This approach suggests a "trialogical" model in which inquirers are fundamentally connected both to other inquirers and to the objects of inquiry. As for the classical Meno paradox about discovery, I show that abduction provides more than one answer. As my main example of abductive methodology, I analyze the process of Ignaz Semmelweis' research on childbed fever. A central basis for abduction is the claim that discovery is not a sequence of events governed only by processes of chance. Abduction treats those processes which both constrain and instigate the search for new ideas; starting from the use of clues as a starting point for discovery, but continuing in considerations like elegance and 'loveliness'. The study then continues a Peircean-Hansonian research programme by developing abduction as a way of analyzing processes of discovery.

Representation of functional dependencies in relational databases using linear graphs

Functional dependencies in relational databases are investigated. Eight binary relations, viz., (1) dependency relation, (2) equipotence relation, (3) dissidence relation, (4) completion relation, and dual relations of each of them are described. Any one of these eight relations can be used to represent the functional dependencies in a database. Results from linear graph theory are found helpful in obtaining these representations. The dependency relation directly gives the functional dependencies. The equipotence relation specifies the dependencies in terms of attribute sets which functionally determine each other. The dissidence relation specifies the dependencies in terms of saturated sets in a very indirect way. Completion relation represents the functional dependencies as a function, the range of which turns out to be a lattice. Depletion relation which is the dual of the completion relation can also represent functional dependencies and similarly can the duals of dependency, equipotence, and dissidence relations. The class of depleted sets, which is the dual of saturated sets, is defined and used in the study of depletion relations.

Principles of Pitch Organization in Béla Bartók's 'Duke Bluebeard's Castle'

The topic of my doctoral thesis is to demonstrate the usefulness of incorporating tonal and modal elements into a pitch-web square analysis of Béla Bartók's (1881-1945) opera, 'A kékszakállú herceg vára' ('Duke Bluebeard's Castle'). My specific goal is to demonstrate that different musical materials, which exist as foreground melodies or long-term key progressions, are unified by the unordered pitch set {0,1,4}, which becomes prominent in different sections of Bartók's opera. In Bluebeard's Castle, the set {0,1,4} is also found as a subset of several tetrachords: {0,1,4,7}, {0,1,4,8}, and {0,3,4,7}. My claim is that {0,1,4} serves to link music materials between themes, between sections, and also between scenes. This study develops an analytical method, drawn from various theoretical perspectives, for conceiving superposed diatonic spaces within a hybrid pitch-space comprised of diatonic and chromatic features. The integrity of diatonic melodic lines is retained, which allows for a non-reductive understanding of diatonic superposition, without appealing to pitch centers or specifying complete diatonic collections. Through combining various theoretical insights of the Hungarian scholar Ernő Lendvai, and the American theorists Elliott Antokoletz, Paul Wilson and Allen Forte, as well as the composer himself, this study gives a detailed analysis of the opera's pitch material in a way that combines, complements, and expands upon the studies of those scholars. The analyzed pitch sets are represented on Aarre Joutsenvirta's note-web square, which adds a new aspect to the field of Bartók analysis. Keywords: Bartók, Duke Bluebeard's Castle (Op. 11), Ernő Lendvai, axis system, Elliott Antokoletz, intervallic cycles, intervallic cells, Allen Forte, set theory, interval classes, interval vectors, Aarre Joutsenvirta, pitch-web square, pitch-web analysis.

Non-reductive Physicalism, Irreducibility of the Mental and the Problem of Mental Causation : A study of Donald Davidson's and Georg Henrik von Wright's positions in the philosophy of mind

In this study I consider what kind of perspective on the mind body problem is taken and can be taken by a philosophical position called non-reductive physicalism. Many positions fall under this label. The form of non-reductive physicalism which I discuss is in essential respects the position taken by Donald Davidson (1917-2003) and Georg Henrik von Wright (1916-2003). I defend their positions and discuss the unrecognized similarities between their views. Non-reductive physicalism combines two theses: (a) Everything that exists is physical; (b) Mental phenomena cannot be reduced to the states of the brain. This means that according to non-reductive physicalism the mental aspect of humans (be it a soul, mind, or spirit) is an irreducible part of the human condition. Also Davidson and von Wright claim that, in some important sense, the mental aspect of a human being does not reduce to the physical aspect, that there is a gap between these aspects that cannot be closed. I claim that their arguments for this conclusion are convincing. I also argue that whereas von Wright and Davidson give interesting arguments for the irreducibility of the mental, their physicalism is unwarranted. These philosophers do not give good reasons for believing that reality is thoroughly physical. Notwithstanding the materialistic consensus in the contemporary philosophy of mind the ontology of mind is still an uncharted territory where real breakthroughs are not to be expected until a radically new ontological position is developed. The third main claim of this work is that the problem of mental causation cannot be solved from the Davidsonian - von Wrightian perspective. The problem of mental causation is the problem of how mental phenomena like beliefs can cause physical movements of the body. As I see it, the essential point of non-reductive physicalism - the irreducibility of the mental - and the problem of mental causation are closely related. If mental phenomena do not reduce to causally effective states of the brain, then what justifies the belief that mental phenomena have causal powers? If mental causes do not reduce to physical causes, then how to tell when - or whether - the mental causes in terms of which human actions are explained are actually effective? I argue that this - how to decide when mental causes really are effective - is the real problem of mental causation. The motivation to explore and defend a non-reductive position stems from the belief that reductive physicalism leads to serious ethical problems. My claim is that Davidson's and von Wright's ultimate reason to defend a non-reductive view comes back to their belief that a reductive understanding of human nature would be a narrow and possibly harmful perspective. The final conclusion of my thesis is that von Wright's and Davidson's positions provide a starting point from which the current scientistic philosophy of mind can be critically further explored in the future.