Karelsk folklore : kurs och exkursion Folklorister från Åbo besöker Joensuu

Aktuellt

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Det osynligas arkitektur : om rumsligheten i Bo Carpelans författarskap

Bo Carpelan (f. 1926) har kallats ”rummets diktare” och ”drömarkitekt”. I Carpelans författarskap hittar man formuleringar som ”Det är inte tiden som förändrar oss, det är rummet”, ”Rum bygger upp en startpunkt i hjärtat och tanken, samtidigt.” och ”Rum är levande när människor finns där, men när de dör, upphör rummen.” Avhandlingen är en studie i den rumsliga betoningen i Carpelans författarskap. I en kontext av centrala litteratur- och idéhistoriska strömningar och influenser från bl.a. flamländskt interiörmåleri, uppstår hos Carpelan med tiden en utpräglat rumslig diktkonst och livsåskådning. I ljuset av rumsligheten i Carpelans författarskap framstår verkligheten som ett slags hemlighetsfull skrift som människan kan lära sig läsa men som aldrig helt låter sig tydas.

Repression och legitimering - rysk maktutövning i Åbo generalguvernement 1717-1721 : civilförvaltningen under en ockupation med jämförande utblickar

I avhandlingen undersöks den ryska maktutövningen under stora ofredens civilförvaltningsskede (1717-1721). Var ockupanterna villiga att axla rollen som "god överhet" eller pågick förtrycket oförminskat som under den föregående militära styrelseperioden? Hierarkins och förvaltningens uppbyggnad liksom interaktionen inom den politiska kulturen undersöks. Tjänstemännens förutsättningar att sköta sina uppdrag och deras uppträdande granskas. Slutligen görs en jämförelse med andra ockupationer för att fastställa hur allmängiltiga förhållandena var i Finland under den ryska civilförvaltningsperioden 1717-1721.

Rummet i vårdandets värld

This study is made in the context of basic research within the field ofcaring science. The aim is to make a theoretical and ontological investigation of what the space is in the world of caring. The basic proposition is that the space, as a fundamental dimension, has an impact on how the appreciation of one's mental health and suffering is shaped, and vice versa. The overall purpose is to develop a theoretical model of space from the caring science point of view andalso to offer an ideal concept of space to caring science. Guided by a theoretical horizon (Eriksson 1993, Eriksson 1995, Eriksson 2001) and methodological approach grounded in Gadamer's philosophic and existential hermeneutics a three-stage analysis and interpretation is conducted. The hermeneutic spiral of this investigation starts through a procedure in accordance with Eriksson's model (1997) of concept definition. The goal is to clarify the etymology of the concept as well as semantic differences between synonymous concepts, i.e. to identify the different extents of the concept of `space` (`rum`) in order to bring these closer for an exploration. The second phase is to analyse and interpret a sample of narratives in order to explicate the ontological nature and meaning of the space. The material used here is literary texts. The goal is to clarify the characteristics of the very inside of the space when it is shaped in relation to the human being in encountering suffering. In the third phase an interview study is taken place. The focus of the study is directed towards the phenomenon of space as it is known by a patient in a landscape of psychiatric care, i.e. what the space is in a contextual meaning. Then, a gradual hermeneutic understanding of the space is attempted by using theories from the field of caring science as well as additional theories from other disciplines. Metaphors are used as they are vivid and expressive tools for generating meaning. Different metaphoric space formations depict here a variety of purports that, although not quite the same, share extensive elements. Six metaphorically summarized entities of meaning emerged. The comprehensive form of space is pointed out as the Mobile-Immobile Room. Furthermore, the Standby, the Asylum, the Wall and the Place. In the further dialogue with the texts the understanding has deepened ontologically. The theoretical model ofthe space sums up the vertical, horizontal and the inward extent of deepness inthe movement of mental health. Three entities of ontological meaning have emerged as three significant rooms: the Common Land emerges as the ideal concept of mutual creation in the freedom of doing, being and becoming health. On the interpersonal level it means freedom, which includes sovereignty, choice and dignity of the human being. The Ice World signifies, ultimately, the space as a kind of frozenness of despair which "wallpapers" the person's entire being in the world in the drama of suffering. The Spiritual Home is shaped when the human being has acquired the very core of his/her inner and outer placeness as a kind of "at-homeness" and rootedness. Time is a central element and the inward extent of deepness of this trialectic space. Each of the metaphors is then the human being's unique, although even paradoxical, way of conceiving reality, and mastering spiritual suffering. They condense characteristic structures and patterns of dynamic scenery, which take place within the movement of health. The space encloses a contradictory spatiality constituted through the dynamic field of meaningfulness and meaninglessness. Anyway, it is not through a purging of these contradictions but through bringing them together in a drama of suffering that the space is shaped as ontologically good and meaningful in the world of caring.

Hjärtats vanor, tankens välvilja och handens gärning : dygd som vårdetiskt grundbegrepp

The main aim of the study is to elucidate the meaning and dimensions of the concept of „virtue‟, and to find the place of virtue in a caritative caring ethics, i.e. a caring ethics based on human love and mercy. The intention is to create a theory model which utilizes the possibilities of virtue in developing the caritative caring ethics as a whole. The caritative caring ethics has a universal potential – it is primarily not a professional ethics, but it may form a frame of reference and basis for formulating ethical codes, and for ethical discussions within different caring contexts. The hermeneutic approach of the study is inspired by Gadamer‟s philosophical hermeneutics combined with the view of hermeneutics as a hypothetical-deductive process. The study is guided by Eriksson‟s model of definition of concepts. The concept of „virtue‟ is studied focusing on its ethical dimensions. These ethical dimensions of virtue are seen as anchored to an inner ethos, whereas ethos stands for the ontological goodness, a basic notion of the Good that permeates the entity of the human being, and forms the base of the culture where he lives and acts. The overarching research questions are: 1. What is virtue? 2. What is „virtue‟ as a basic concept in caring science? 3. What place does virtue have in caritative caring ethics? The answer of the first question is mainly searched for by an ontological determination comprising partly an etymologic and semantic analysis of „virtue‟, and partly a determination of the essence of virtue. The answer to the second and third questions are mainly searched for using a contextual determination, where the purposive context and pragmatic features of virtue are studied in relation to caring ethics. The ontological and contextual determinations are brought together through hermeneutical interpretation, forming a new whole, which constitutes the results of the study. The results of the study are depicted in a theory model, in which the movement of virtue from ethos to deed is moulded as caritative caring ethics. The material of the study consists of dictionaries, texts written by Aristotle and St. Thomas Aquinas, articles, dissertations, and books, as well as parts of a pilot survey answered by 33 nurses. The results of the study show that the essence of virtue is primarily functional, not ethical. The ethical emerges when virtue is contextualized in a human communion. Virtue makes something fulfil its function well; makes the human being good, and gives him morals and morality. The human being needs prudence, love, and humility to acquire and develop the moral virtues. Virtue is a power, related to a value, which considering a caritative caring ethics consists of the caritas motif. Human love is shown through deeds, making the human being do what he is expected to do. Virtue, as an active power of becoming, affirms and clarifies the human being‟s ability to develop in the direction of the Good. Virtue becomes essential and unifying when morality appears in the human mind as auctoritas, an inner, prompting power based on divinity or a transcendental ethos. Together ethos and virtue create opportunities for an inner ethics based on voluntariness and joy in being and doing the true, the good, and the beautiful.

Vårdande och icke-vårdande tröst

The aim of the thesis is, from a caring science perspective including a caring theology perspective, to illustrate the meaning of the phenomenon consolation and howconsolation relates to suffering and care. Two studies were completed where staff and elderly care receivers were interviewed and a third study focused on an analysis of consolation as it is presented in the Book of Job in the Old Testament. These studies deal with carers' experiences of consolation and consoling, elderly care receivers' experiences of consolation, and Job's experience of consolation. Phenomenology and hermeneutics form the basis for the methodological approach. A phenomenological- hermeneutic method, inspired by Paul Ricoeur, has been used for the text analyses. The thesis also covers significant aspects of poetical and religious texts. The metaphors that occur in the interview studies with the carers and the elderly are analysed in order to take care of the excess of meaning that, according to Ricoeur, can be expressed in metaphors. The result showfive overall meanings: The contradictory consolation, The bonding consolation, The mute and rigid consolation, The uncontrolled consolation and The restful consolation. A caring consolation is contradictory in the sense that it entails that the sufferer on the one hand passes on his or her suffering to someone else and on the other hand that the suffering can be returned to be suffered. Consolation can thus entail suffering. The bonding consolation is present, i.e. is with the sufferer and is based on that person's suffering. This consolation is characterised by a close fellowship, a feeling of being understood at a deeper level. The results also reveal a consolation that is mute and rigid. This consolation does not respond to the sufferer's experience of his or her suffering, is shapeless and therefore unable to follow the suffering. An example of a mute, rigid and non-caring consolation is the consolation of the friends in the Book of Job. This consolation is not capable of consoling because it does not correspond to where Job is, i.e. in his experience of his suffering. A caring consolation is also uncontrolled because it is on the one hand spontaneous and on the other hand helps the sufferer to lose control over the suffering. To lose control entails, amongst other things, the sufferer giving up trying to understand suffering and instead lets that which is incomprehensible be incomprehensible. A consoling and health-bringing rest in or from the struggle with suffering presents itself by giving up what in various ways is tied to the suffering. The result as a whole is interpreted from a caring science perspective with the following important concepts: caring relationship, faith, health and sacrifice. Consolation as health is considered on the basis of a theoretical model inspired by Katie Eriksson's ontological health model. The research is also illustrated from a philosophical-ethical perspective, mainly based on the work of Emmanuel Levinas. The findings are discussed in relation to previous research and also to caring science, society and care.

Generic and professional caring in a Chinese setting: an ethnopraphic study

The objective of the present study is to describe the cultural care practices, meanings, values and beliefs which form the basis of caring in a Chinese context. The research has its starting point in a caring science perspective and a qualitative research approach with interpretative ethnography as methodological guideline. The theoretical perspective is formed by elements of the theory of caritative caring, developed by Eriksson, and the theory of Culture Care Diversity and Universality, developed by Leininger. Previous research of suffering, culture and caring is described and also a presentation of actual transcultural nursing research as well as a presentation of the social structure dimensions of Chinese culture is included in the theoretical background. The empirical part includes patients and relatives, nurses and Hu Gongs as informants. The data collected are analysed based on Geertz’s idea of forming “thick descriptions” through examining the “what, how and why” of people’s actions. The findings show that the family has a prominent position in Chinese caring practices. The patient plays an unobtrusive role and a mutual dependence between the patient and the family members is evident. The professional nursing care is an extended act which includes the family in the caring relationship. The care practices of the Chinese nurse are characterized by great professional nursing skills. Suffering is described by the informants as being caused by disease, pain and social circumstances. “Social suffering” is described as worse than physical or mental suffering. Culturally competent and congruent care is a prerequisite for avoiding cultural pain, imposition and blindness when caring for the suffering human being. The findings of the present study necessitate a broadening in caring theory to include the family in the caring relationship. A further conclusion is that a broadening in our perception and understanding of culture would promote the delivery of culturally competent and congruent care. Suffering need to be seen as enclosed in cultural patterns of how it is expressed, interpreted, understood and relieved. Care and caring need to be seen as embedded in culture and the care practices values and beliefs have to be congruent with the cultural patterns where the care is provided.

Den etiske akten : den caritative etikken når pasientens fordringer er av eksistensiell art

The purpose of this thesis is to develop a theory model about some core concepts and phenomena within caritative ethics when patients' demands are existential. There are two research questions, (A) Which realities represent concepts such courage, responsibility, and sacrifice within the caritative ethics. (B) Which phenomena of ethical significance are made current and applicable when patients¿ demands are existential. This study takes as its point of departurecertain chosen theoretical perspectives that discuss some perspectives of the concepts of courage, responsibility, and sacrifice in terms of their significanceto the research questions A. This represents the study¿s theoretical data. The empirical data provide answers to the research question B. In the end, the thesis discusses synthesis of these two accesses of knowledge in order to formulate theses and create a theory model. Løgstrup's contribution and description of the ethical claim helps in understanding and interpreting the links between the substance of the caritative ethic and the concrete reality in the encounter with existential issues. This thesis is a study within the field of Caring Science. The nursing profession provides empirical data and reflects the study topic, by addressing issues of relevance to the application of the knowledge of Caring Sciencein light of the nursing profession's various daily challenges. This study proceeds from the basic assumption: "Caring relationships form the meaningful contextfor caring and derive from the ethos of love, responsibility, and sacrifice, i.e. a caritative ethics" (Eriksson 2001). This study attempts to explore and prove this statement in the light of theoretical and empirical data, in the light ofthe caring scientific perspective which is here linked particularly to the viewof man as a unity of body, mind, and soul, and to the ontological health model. Hermeneutics is the overall perspective for the interpretations proposed in this thesis. Through conversation and hermeneutic observations, I try to understandthe challenges of nursing performance in the encounter with existential issues. This constitutes the empirical data that was gathered on a ward treating cancerpatients. The discussion proceeds sequence by sequence, first by discussing theconditions of the caritative ethics when meeting the existential claims in the light of the concepts of courage, sacrifice, and responsibility. Then a thesis is formulated concerning the caritative ethics in the light of Caring Science. This is the foundation of the creation of the theory model. The resulting theses concern the chosen concepts and phenomena which promote caritative ethics when patients' claims are existential: Freedom is the hallmark of caritative ethics. Freedom is the basic category of caring. When attending to the patient's existential claims, it is of vital importance to secure human relationships as caring interpersonal communions, created by responsible persons who have shown courage and sacrifice. Courage and sacrifice constitute the ethos of caring communities (communions). Courage and sacrifice are then a part of the collective ethos of caring communities, because the patient is confirmed as the unity of body, mind, and soul.

Makt som fullmakt : ett vårdvetenskapligt perspektiv

The aim of this study is to deepen understanding and knowledge of the concepts and phenomenaof power and authority from the standpoint of caring science. The overall questions of the research are: What is power? What is authority? How do power and authority manifest themselves in the context of caring? How are power and authorityto be understood as caring science concepts? The overall research inception is determination of the concepts in accordance with the hermeneutic approach based on Eriksson's model. The process of understanding follows Gadamer's (1999) hermeneutics. The thesis consists of three part studies. An ontological determinationof the character of the concepts is carried out where a hermeneutic interpretation is made of texts in the Old and the New Testaments in the Bible. The pragmatic features of the concepts are studied on the basis of nurses' written stories of authority and patients' written stories of power and authority. Beside the review of literature concerning power and authority a qualitative meta-analysis ofthe concept and the phenomenon of empowerment are made. The ontological determination shows how a human being's power is the authority to hold every living thing in trust, to tend and care life. To anyone using this authority, serving onesfellow-being is the purpose. Understanding the pragmatical features of authority in the stories of nurses reveals the life-giving nature of serving. By serving the nurse draws near her true mission as a human being, her authority to care for life with love. The service of the nurse and her ability to see and confirm the patient's otherness creates confidence and results in her authority. The nursedoes not abandon the responsibility associated with authority. When the patientdoes not entrust the nurse with authority the nurse employs her inherent authority to alleviate the suffering of the patient. The pragmatical features of the concepts of power and authority in the patients' stories indicate how the nurse puts her power to an improper use if she only makes use of the authority conferred by the hierarchy of power in the organisation, assumes all power and fails to use her faculty for loving care. Patients feel that their existence is threatened when the nurse tries to deprive them of their authority; they experience homelessness, despair and impotence. Patients' struggle for existence and absolute dignity deprives their health processes of strength, and their suffering becomes unbearable. Patients recognize their vitality when encountering a nurse who uses her authority to alleviate the patients' suffering. The power of compassion is strong, and the patients' dignity is recreated when they are able to serve fellowpatients or nurses. The purpose of human life can be understood as the use of one's own inner power and strength. Love.

Undersökning, om Nyland och Tavastehus län, i anseende til dess, läge, vidd, climat, våhr-floder, sjöar och vatuleder, naturs förmåner och brister, näringar, folkrikhet, politie och cameral författningar. Andra delen : ... under ... Pehr Adrian Gadds inseende, utgifven och försvarad för lagerkrantsen af Samuel Gabriel Mellenius norr finne. I Åbo Acad. öfre lärosal före m. den [ ] Junii 1789.

Dedicated to: Helena Marg. Lybecker, née Hising.

Undersökning, om Nyland och Tavastehus län, i anseende til dess, läge, vidd, climat, våhr-floder, sjöar och vatuleder, naturs förmåner och brister, näringar, folkrikhet, politie och cameral författningar. Tredje delen : ... under ... Adrian Gadds inseende, utgifven och försvarad för lagerkrantsen af Carl Bergman, nylenninge, kongl. stip. I Åbo Acad. öfre lärosal förr mid. den 22 Junii 1789.

Dedicated to: Carl Ulner, Adam Ulner, Carolus Bergman.

Historisk och oeconomisk beskrifning öfwer sjö-staden Ekenaes : ... under ... Pehr Kalms inseende, ... utgifwen och til allmän granskning öfverlämnad i Åbo Academiens öfra läro-sal för middagen den 4. Augusti 1760. Af Carl Bergman. Nylänninge.

Dedicated to: Anders Anton von Stiernman, Olof von Dalin, Borgmästare och Råd i sjö-staden Ekenaes.