Search results for "Meaning"
showing 10 items of 756 documents
Inductive types in homotopy type theory
2012
Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determined. Proofs of all results have been formally verified by the Coq proof assistant, and the proof s…
A Study of a Network Meeting: Exploring the Interplay between Inner and Outer Dialogues in Significant and Meaningful Moments
2014
The present study is part of a series of qualitative studies focusing on dialogic practice in southern Norway. In this article, we present a qualitative study of a network meeting focusing on the interplay between the participants' inner and outer dialogues. The network meeting is between an adolescent boy, his mother and two network therapists, the same adolescent case discussed previously in this journal by Boe et al. (2013). The aim of this study is to explore how the interplay between inner and outer dialogues contributes to significant and meaningful moments for the interlocutors. A multiperspective methodology is used that combines video recordings of a network meeting and participant…
Misconceptions and Ambiguities in VET: Do We Speak the Same Language?
2021
This chapter reviews some of the most extended notions used in the field of VET. Historical and comparative analysis of education run the risk to use commonplaces without proper understanding of the nuances, difficult to translate but which give different meaning to the same words. In particular, I explain these notions and their meaning and context to show the contrast among countries with different VET traditions. The main challenge is probably to consider current and historical differences between a school-based vocational education system and those where apprenticeships have been the mainstream. Academic work needs to be accurate and avoid quick and careless translation, and even manipu…
Does Christian Spirituality Enhance Psychological Interventions on Forgiveness, Gratitude, and the Meaning of Life? A Quasi-Experimental Intervention…
2020
Scientific research has provided theoretical evidence on the implementation of religious/spiritual interventions (RSI) as a complementary health therapy, where spiritual improvements are also a factor to consider. Despite the above, there are few studies that have evaluated the clinical applicability of these findings. This study was an intervention with older and younger adults divided into two treatment groups and one control group. What is expected is that the two treatment groups will score better than the control group
Varieties of Vagueness, Fuzziness and a few foundational (and ontological) questions
2011
In this paper we discuss the multifaceted nature of vagueness, the limits of (standard) set theory in dealing with the foundational aspects that a really innovating theory of vagueness should manifest, and the difficul- ties in outlining the possible features that such a type of new formalism should exhibit in order to be able to deal with such innovative aspects. We shall highlight some aspects of the role that Fuzzy Set Theory (FST) can play in this process.
De Finnis cornutis
2014
<p><em>Horned Finns</em>. The ‘cornuti Finni’ mentioned in the <em>Historia Norwegiae</em> have not found their explanation, because the Latin word <em>cornu</em>, from which the adjective is derived, has been understood in the strict sense of ‘horn on the head’. The Latin word, however, also means ‘hoof’ of horses or ‘cloven hoof’ of cows and goats, even of the mythologic Faunus and Pan. In December 1913 Kai Donner saw in Dudinka Avam-Samojeds, who because of their cylindrically shaped reindeer winter boots, the front of which was hoof-shaped, were called ‘hoofed men’ (in Finnish ‘kaviolliset miehet’). In the extracts of Aristeas of Proconnesus, wh…
Making teaching of programming learning-oriented and learner-directed
2011
Programming education has been traditionally realized in the form of lecturing, but other approaches are under discussion. These emphasize active participation on the part of students, and, as a research activity, consider pedagogic questions holistically. We join this discussion by stating a course design in which we promote a learning-oriented study culture where learning should not be characterized principally as the task of meeting some predefined completion requirements. Moreover, we want our course to be learner-directed meaning that students should take control over their own learning process. Grounded on these goals, this discussion paper gives us a starting point for a subsequent a…
Career counselling for women managers at mid‐career
2008
PurposeThis paper aims to provide a framework for career counselling designed particularly to support the career development of mid‐career women managers. This approach is referred to as an autobiographical approach to career counselling. The practical application of the approach is described.Design/methodology/approachThe autobiographical approach draws upon social constructionism and narrativity. It was developed and applied together with 22 women managers. Various methods were used as narration tools.FindingsAt mid‐career, women managers are often in a transition process in their career. They can be expected to benefit from counselling that focuses on their long work experience and from …
To work or to care? Working women's decision-making
2015
Recent changes in older people's public care services in Nordic countries in particular in Finland and Sweden are based on implicit expectations that family members will increase their involvement in care. In Nordic countries, the care of small children has been acknowledged to be a social matter that concerns gender equality and the work life participation of both men and women, while the situation of working carers of older people is much less acknowledged. This study addressed the question of how Finnish working women who give care to their older parents argue for and against their decisions of working and caring and the meaning of work and care in these decisions. Majority of the interv…
Rapid construction of algebraic axioms from samples
1991
Abstract An axiom is called reliable if it is confirmed in several places in a given sample of algebra. A very effective algorithm for enumerating such axioms is described.