A Possible and Necessary Consistency Proof

After Gödel's incompleteness theorems and the collapse of Hilbert's programme Gerhard Gentzen continued the quest for consistency proofs of Peano arithmetic. He considered a finitistic or constructive proof still possible and necessary for the foundations of mathematics. For a proof to be meaningful, the principles relied on should be considered more reliable than the doubtful elements of the theory concerned. He worked out a total of four proofs between 1934 and 1939. This thesis examines the consistency proofs for arithmetic by Gentzen from different angles. The consistency of Heyting arithmetic is shown both in a sequent calculus notation and in natural deduction. The former proof includes a cut elimination theorem for the calculus and a syntactical study of the purely arithmetical part of the system. The latter consistency proof in standard natural deduction has been an open problem since the publication of Gentzen's proofs. The solution to this problem for an intuitionistic calculus is based on a normalization proof by Howard. The proof is performed in the manner of Gentzen, by giving a reduction procedure for derivations of falsity. In contrast to Gentzen's proof, the procedure contains a vector assignment. The reduction reduces the first component of the vector and this component can be interpreted as an ordinal less than epsilon_0, thus ordering the derivations by complexity and proving termination of the process.

Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Proofs, Paradoxes, and Probabilities : The Logical Turn of Philosophy in Finland

This monograph describes the emergence of independent research on logic in Finland. The emphasis is placed on three well-known students of Eino Kaila: Georg Henrik von Wright (1916-2003), Erik Stenius (1911-1990), and Oiva Ketonen (1913-2000), and their research between the early 1930s and the early 1950s. The early academic work of these scholars laid the foundations for today's strong tradition in logic in Finland and also became internationally recognized. However, due attention has not been given to these works later, nor have they been comprehensively presented together. Each chapter of the book focuses on the life and work of one of Kaila's aforementioned students, with a fourth chapter discussing works on logic by authors who would later become known within other disciplines. Through an extensive use of correspondence and other archived material, some insight has been gained into the persons behind the academic personae. Unique and unpublished biographical material has been available for this task. The chapter on Oiva Ketonen focuses primarily on his work on what is today known as proof theory, especially on his proof theoretical system with invertible rules that permits a terminating root-first proof search. The independency of the parallel postulate is proved as an example of the strength of root-first proof search. Ketonen was to our knowledge Gerhard Gentzen's (the 'father' of proof theory) only student. Correspondence and a hitherto unavailable autobiographic manuscript, in addition to an unpublished article on the relationship between logic and epistemology, is presented. The chapter on Erik Stenius discusses his work on paradoxes and set theory, more specifically on how a rigid theory of definitions is employed to avoid these paradoxes. A presentation by Paul Bernays on Stenius' attempt at a proof of the consistency of arithmetic is reconstructed based on Bernays' lecture notes. Stenius correspondence with Paul Bernays, Evert Beth, and Georg Kreisel is discussed. The chapter on Georg Henrik von Wright presents his early work on probability and epistemology, along with his later work on modal logic that made him internationally famous. Correspondence from various archives (especially with Kaila and Charlie Dunbar Broad) further discusses his academic achievements and his experiences during the challenging circumstances of the 1940s.

The Spin-Statistics Relation and Noncommutative Quantum Field Theory

The efforts of combining quantum theory with general relativity have been great and marked by several successes. One field where progress has lately been made is the study of noncommutative quantum field theories that arise as a low energy limit in certain string theories. The idea of noncommutativity comes naturally when combining these two extremes and has profound implications on results widely accepted in traditional, commutative, theories. In this work I review the status of one of the most important connections in physics, the spin-statistics relation. The relation is deeply ingrained in our reality in that it gives us the structure for the periodic table and is of crucial importance for the stability of all matter. The dramatic effects of noncommutativity of space-time coordinates, mainly the loss of Lorentz invariance, call the spin-statistics relation into question. The spin-statistics theorem is first presented in its traditional setting, giving a clarifying proof starting from minimal requirements. Next the notion of noncommutativity is introduced and its implications studied. The discussion is essentially based on twisted Poincaré symmetry, the space-time symmetry of noncommutative quantum field theory. The controversial issue of microcausality in noncommutative quantum field theory is settled by showing for the first time that the light wedge microcausality condition is compatible with the twisted Poincaré symmetry. The spin-statistics relation is considered both from the point of view of braided statistics, and in the traditional Lagrangian formulation of Pauli, with the conclusion that Pauli's age-old theorem stands even this test so dramatic for the whole structure of space-time.

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.

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.

Theory and Analysis of Classic Heavy Metal Harmony

This thesis explores melodic and harmonic features of heavy metal, and while doing so, explores various methods of music analysis; their applicability and limitations regarding the study of heavy metal music. The study is built on three general hypotheses according to which 1) acoustic characteristics play a significant role for chord constructing in heavy metal, 2) heavy metal has strong ties and similarities with other Western musical styles, and 3) theories and analytical methods of Western art music may be applied to heavy metal. It seems evident that in heavy metal some chord structures appear far more frequently than others. It is suggested here that the fundamental reason for this is the use of guitar distortion effect. Subsequently, theories as to how and under what principles heavy metal is constructed need to be put under discussion; analytical models regarding the classification of consonance and dissonance and chord categorization are here revised to meet the common practices of this music. It is evident that heavy metal is not an isolated style of music; it is seen here as a cultural fusion of various musical styles. Moreover, it is suggested that the theoretical background to the construction of Western music and its analysis can offer invaluable insights to heavy metal. However, the analytical methods need to be reformed to some extent to meet the characteristics of the music. This reformation includes an accommodation of linear and functional theories that has been found rather rarely in music theory and musicology.

Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

"Secoituxesta järjettömäin luondocappalden canssa" : Perversiot, oikeuselämä ja kansankulttuuri 1700-luvun Suomessa

Bestiality was in the 18th century a more difficult problem in terms of criminal policy in Sweden and Finland than in any other Christian country in any other period. In the legal history of deviant sexuality, the phenomenon was uniquely widespread by international comparison. The number of court cases per capita in Finland was even higher than in Sweden. The authorities classified bestiality among the most serious crimes and a deadly sin. The Court of Appeal in Turku opted for an independent line and was clearly more lenient than Swedish courts of justice. Death sentences on grounds of bestiality ended in the 1730s, decades earlier than in Sweden. The sources for the present dissertation include judgment books and Court of Appeal decisions in 253 cases, which show that the persecution of those engaging in bestial acts in 18th century Finland was not organised by the centralised power of Stockholm. There is little evidence of local campaigns that would have been led by authorities. The church in its orthodoxy was losing ground and the clergy governed their parishes with more pragmatism than the Old Testament sanctioned. When exposing bestiality, the legal system was compelled to rely on the initiative of the public. In cases of illicit intercourse or adultery the authorities were even more dependent on the activeness of the local community. Bestiality left no tangible evidence, illegitimate children, to betray the crime to the clergy or secular authorities. The moral views of the church and the local community were not on a collision course. It was a common view that bestiality was a heinous act. Yet nowhere near all crimes came to the authorities' knowledge. Because of the heavy burden of proof, the legal position of the informer was difficult. Passiveness in reporting the crime was partly because most Finns felt it was not their place to intervene in their neighbours' private lives, as long as that privacy posed no serious threat to the neighbourhood. Hidden crime was at least as common as crime more easily exposed and proven. A typical Finnish perpetrator of bestiality was a young unmarried man with no criminal background or mental illness. The suspects were not members of ethnic minorities or marginal social groups. In trials, farmhands were more likely to be sentenced than their masters, but a more salient common denominator than social and economical status was the suspects' young age. For most of the defendants bestiality was a deep-rooted habit, which had been adopted in early youth. This form of subculture spread among the youth, and the most susceptible to experiment with the act were shepherds. The difference between man and animal was not clear-cut or self-evident. The difficulty in drawing the line is evident both in legal sources and Finnish folklore. The law that required that the animal partners be slaughtered led to the killing of thousands of cows and mares, and thereby to substantial material losses to their owners. Regarding bestiality as a crime against property motivated people to report it. The belief that the act would produce human-animal mongrels or that it would poison the milk and the meat horrified the public more than the teachings of the church ever could. Among the most significant aspects in the problems regarding the animals is how profoundly different the worldview of 18th century people was from that of today.

On Toponymic Constructions as an Alternative to Naming Patterns in Describing Finnish Lake Names

This thesis combines a computational analysis of a comprehensive corpus of Finnish lake names with a theoretical background in cognitive linguistics. The combination results on the one hand in a description of the toponymic system and the processes involved in analogy-based naming and on the other hand some adjustments to Construction Grammar. Finnish lake names are suitable for this kind of study, as they are to a large extent semantically transparent even when relatively old. There is also a large number of them, and they are comprehensively collected in a computer database. The current work starts with an exploratory computational analysis of co-location patterns between different lake names. Such an analysis makes it possible to assess the importance of analogy and patterns in naming. Prior research has suggested that analogy plays an important role, often also in cases where there are other motivations for the name, and the current study confirms this. However, it also appears that naming patterns are very fuzzy and that their nature is somewhat hard to define in an essentially structuralist tradition. In describing toponymic structure and the processes involved in naming, cognitive linguistics presents itself as a promising theoretical basis. The descriptive formalism of Construction Grammar seems especially well suited for the task. However, now productivity becomes a problem: it is not nearly as clear-cut as the latter theory often assumes, and this is even more apparent in names than in more traditional linguistic material. The varying degree of productivity is most naturally described by a prototype-based theory. Such an approach, however, requires some adjustments to onstruction Grammar. Based on all this, the thesis proposes a descriptive model where a new name -- or more generally, a new linguistic expression -- can be formed by conceptual integration from either a single prior example or a construction generalised from a number of different prior ones. The new model accounts nicely for various aspects of naming that are problematic for the traditional description based on analogy and patterns.

Widening Perspectives of Teacher Education : Studies on theory-practice relationship, reflection, research and professional development

This dissertation examined the research-based teacher education at the University of Helsinki from different theoretical and practical perspectives. Five studies focused on these perspectives separately as well as overlappingly. Study I focused on the reflection process of graduating teacher students. The data consisted of essays the students wrote as their last assignment before graduating, where their assignment was to examine their development as researchers during their MA thesis research process. The results indicated that the teacher students had analysed their own development thoroughly during the process and that they had reflected on theoretical as well as practical educational matters. The results also pointed out that, in the students’ opinion, personally conducted research is a significant learning process. -- Study II investigated teacher students’ workplace learning and the integration of theory and practice in teacher education. The students’ interviews focused on their learning of teacher’s work prior to education. The interviewees’ responses concerning their ‘surviving’ in teaching prior to teacher education were categorized into three categories: learning through experiences, school as a teacher learning environment, and case-specific learning. The survey part of the study focused on integration of theory and practice within the education process. The results showed that the students who worked while they studied took advantage of the studies and applied them to work. They set more demanding teaching goals and reflected on their work more theoretically. -- Study III examined practical aspects of the teacher students’ MA thesis research as well as the integration of theory and practice in teacher education. The participants were surveyed using a web-based survey which dealt with the participants’ teacher education experiences. According to the results, most of the students had chosen a practical topic for their MA thesis, one arising from their work environment, and most had chosen a research topic that would develop their own teaching. The results showed that the integration of theory and practice had taken place in much of the course work, but most obviously in the practicum periods, and also in the courses concerning the school subjects. The majority felt that the education had in some way been successful with regards to integration. -- Study IV explored the idea of considering teacher students’ MA thesis research as professional development. Twenty-three teachers were interviewed on the subject of their experiences of conducting research about their own work as teachers. The results of the interviews showed that the reasons for choosing the MA thesis research topic were multiple: practical, theoretical, personal, professional reasons, as well as outside effect. The objectives of the MA thesis research, besides graduating, were actual projects, developing the ability to work as teachers, conducting significant research, and sharing knowledge of the topic. The results indicated that an MA thesis can function as a tool for professional development, for example in finding ways for adjusting teaching, increasing interaction skills, gaining knowledge or improving reflection on theory and/or practice, strengthening self-confidence as a teacher, increasing researching skills or academic writing skills, as well as becoming critical and being able to read scientific and academic literature. -- Study V analysed teachers’ views of the impact of practitioner research. According to the results, the interviewees considered the benefits of practitioner research to be many, affecting teachers, pupils, parents, the working community, and the wider society. Most of the teachers indicated that they intended to continue to conduct research in the future. The results also showed that teachers often reflected personally and collectively, and viewed this as important. -- These five studies point out that MA thesis research is and can be a useful tool for increasing reflection doing with personal and professional development, as well as integrating theory and practice. The studies suggest that more advantage could be taken of the MA thesis research project. More integration of working and studying could and should be made possible for teacher students. This could be done in various ways within teacher education, but the MA thesis should be seen as a pedagogical possibility.

On probability-based inference under data missing by design

Whether a statistician wants to complement a probability model for observed data with a prior distribution and carry out fully probabilistic inference, or base the inference only on the likelihood function, may be a fundamental question in theory, but in practice it may well be of less importance if the likelihood contains much more information than the prior. Maximum likelihood inference can be justified as a Gaussian approximation at the posterior mode, using flat priors. However, in situations where parametric assumptions in standard statistical models would be too rigid, more flexible model formulation, combined with fully probabilistic inference, can be achieved using hierarchical Bayesian parametrization. This work includes five articles, all of which apply probability modeling under various problems involving incomplete observation. Three of the papers apply maximum likelihood estimation and two of them hierarchical Bayesian modeling. Because maximum likelihood may be presented as a special case of Bayesian inference, but not the other way round, in the introductory part of this work we present a framework for probability-based inference using only Bayesian concepts. We also re-derive some results presented in the original articles using the toolbox equipped herein, to show that they are also justifiable under this more general framework. Here the assumption of exchangeability and de Finetti's representation theorem are applied repeatedly for justifying the use of standard parametric probability models with conditionally independent likelihood contributions. It is argued that this same reasoning can be applied also under sampling from a finite population. The main emphasis here is in probability-based inference under incomplete observation due to study design. This is illustrated using a generic two-phase cohort sampling design as an example. The alternative approaches presented for analysis of such a design are full likelihood, which utilizes all observed information, and conditional likelihood, which is restricted to a completely observed set, conditioning on the rule that generated that set. Conditional likelihood inference is also applied for a joint analysis of prevalence and incidence data, a situation subject to both left censoring and left truncation. Other topics covered are model uncertainty and causal inference using posterior predictive distributions. We formulate a non-parametric monotonic regression model for one or more covariates and a Bayesian estimation procedure, and apply the model in the context of optimal sequential treatment regimes, demonstrating that inference based on posterior predictive distributions is feasible also in this case.

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.

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.

Interculturality in Theory and Practice in the Master's Programme of Intercultural Bilingual Education in Bolivia

Tämän tutkielman aiheena on kulttuurienvälisyys kulttuurienvälisessä kaksikielisessä opetuksessa (Educación Intercultural Bilingüe, EIB) Boliviassa ja erityisesti kulttuurienvälisen kaksikielisen koulutuksen maisteriohjelmassa (Maestría en Educación Intercultural Bilingüe), jota koordinoi PROEIB Andes -järjestö yhteistyössä Cochabamban Universidad Mayor de San Simónin kanssa. Tutkielman tarkoituksena on selvittää, miten kulttuurienvälisyys määritellään ja mitä se käytännössä merkitsee opetuksen eri osa-alueilla: sisällöissä, opetusmetodeissa ja -materiaaleissa sekä arvioinnissa. Koska kulttuurienvälisen kaksikielisen opetuksen toteutus ja tutkiminen eri Latinalaisen Amerikan maissa on tähän asti painottunut lähes yksinomaan perusopetukseen, pyrin työssäni keskittymään kulttuurienvälisyyden ilmentymiin nimenomaan bolivialaisessa korkeakoulukontekstissa. Tutkielman aineistona on käytetty kahdeksaa EIB -asiantuntijoiden teemahaastattelua, jotka FM Eila Isotalus on tehnyt Boliviassa vuonna 2004. Haastatteluaineisto analysoitiin teoriasidonnaista eli abduktiivista sisällönanalyysiä käyttäen. Tutkielman teoriatausta koostuu yhtäältä kulttuurienvälisyyteen ja monikulttuurisuuteen liittyvien käsitteiden määrittelystä, ja toisaalta kulttuurienväliseen opetukseen liittyvien mallien esittelystä. Aineiston analyysissä avuksi on ollut etenkin James A. Banksin teoria monikulttuurisen opetuksen viidestä ulottuvuudesta, joiden kautta on voitu pohtia kulttuurienvälisyyden toteutumista opetuksen eri osa-alueilla ja nostaa esille bolivialaisen kulttuurienvälisen opetuksen erityispiirteitä. Aineiston analyysissä ilmenee, että kulttuurienvälisyyden käsitteen määrittely on vahvasti kontekstisidonnainen ja jatkuva prosessi, johon vaikuttavat eri toimijoiden näkemykset ja vaatimukset. EIB -asiantuntijoiden esittämät määrittelyt voidaan jakaa makro- ja mikrososiaaliseen kategoriaan sen mukaan, nähdäänkö kulttuurienvälisyys ensisijaisesti yhteiskunnallisena vai yksilötason käsitteenä. Aineistossa korostuu ajatus latinalaisamerikkalaisesta kulttuurienvälisyydestä poliittisena käsitteenä, jonka keskiössä on vaatimus yhteiskunnallisten valtasuhteiden muutoksesta. Yksi suurimmista haasteista kulttuurienvälisyyden toteuttamisessa bolivialaisessa korkeakouluopetuksessa ovat akateemiseen kulttuuriin liittyvät perinteet, jotka vaikeuttavat uusien toimintatapojen omaksumista. Kulttuurienvälisyys opetuksessa on toistaiseksi tarkoittanut etupäässä sisältöjen monipuolistamista lisäämällä opetusohjelmiin elementtejä paikallisista kulttuureista. Tärkeänä askeleena EIB:n kehityksessä voidaan pitää painopisteen siirtymistä sisältökysymyksistä kulttuurienvälisten opetusmetodien luomiseen. Näiden opetusmenetelmien tulisi pohjautua ymmärrykseen oppimisesta kokonaisvaltaisena, yhteisöllisenä prosessina ja siten kuroa umpeen kuilua koulun ja yhteisöjen arkielämän välillä. Opetusmenetelmien ja -materiaalien suhteen keskeinen kulttuurienvälisyyteen liittyvä kysymys on intiaanikansojen suullisen kulttuurin ja tiedon jakamisen perinteiden hyödyntäminen opetuksessa. Maisteriohjelman opiskelijoiden arvioinnissa pyritään huomioimaan yksilön kokonaisvaltainen kehitys pelkkien opintosuoritusten sijasta, mutta arvosanoihin pohjautuvasta arvostelukäytännöstä ei ole toistaiseksi voitu luopua yliopiston vaatimusten vuoksi. Kaiken kaikkiaan kulttuurienvälisyyden toteuttaminen EIB:ssä ja maisteriohjelmassa on pitkän tähtäimen prosessi, joka vaatii perinteisten opetuskäytäntöjen kyseenalaistamista ja korkeakouluopetuksessa myös akateemisen kulttuurin haastamista. On oleellisen tärkeää, että prosessiin osallistuvat asiantuntijoiden ohella myös esimerkiksi opiskelijat, intiaaniyhteisöt ja -järjestöaktiivit.