In this thesis, we study the least fixed point principle in a constructive setting. A constructive theory of functions and sets has been developed by Feferman. This theory deals both with sets and with functions over sets as independent notions. In the language of Feferman's theory, we are able to formulate the least fixed point principle for monotone inductive definitions as: every operation on classes to classes which satisfies the monotonicity condition has a least fixed point. This is called the (...) principle of monotone inductive definition. Furthermore, we may formulate this principle in a uniform way as: there is an operation which maps a monotone operation to its least fixed point. This is called the principle of uniform monotone inductive definition. Feferman raised the question of the strength of the principle of monotone inductive definition when adjoined to his theory . This question is our primary concern in this thesis. ;Our main results are the consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition adjoined to his theory, and the proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom. Determination of the proof-theoretical strength of the principle of monotone inductive definition adjoined to Feferman's theory still remains open. ;The consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition with Feferman's theory will be achieved by constructing their models in set theoretical sense. The proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom can be obtained by a careful examination of the model construction for the principle of monotone inductive definition with Feferman's system without the inductive generation axiom, which is parallel to the model construction for the principle of monotone inductive definition with his theory. (shrink)

Job-shop Scheduling Problem (JSP) is one of the most difficult benchmark problems. GA approaches often fail searching the global optimum because of the deception UV-structure of JSPs. In this paper, we introduce a novel framework model of GA, Innately Split Model (ISM) which prevents UV-phenomenon, and discuss on its power particularly. Next we analyze the structure of JSPs with the help of the UV-structure hypothesys, and finally we show ISM's excellent performance on JSP.

Genetic Algorithms(GAs) are effective approximation algorithms which focus on “hopeful area” in the searching process. However, in harder problems, it is often very difficult to maintain a favorable trade-off between exploitation and exploration. All individuals leave the big-valley including the global optimum, and concentrate on another big-valley including a local optimum often. In this paper, we define such a situation on conventional GAs as the “UV-phenomenon”, and suggest UV-structures as hard landscape structures that will cause the UV-phenomenon. We introduce a (...) test function which has explicit UV-structures, and show UV-phenomenon caused by them. Next we analyze Fletcher and Powell function to confirm our hypothesis. Finally we propose a novel framework of GAs which can cope with UV-structures. (shrink)

This paper elucidates Fink’s phenomenology of the world in its basic conception by illustrating his Kant-interpretation. However, some scholars support that his conceptions are not related to Kant’s transcendental dialectic but rather generated from Hegelian speculative one. In contrast to those views in secondary literature, this study demonstrates, on the one hand, the decisive meaning of Kant’s transcendental dialectic, especially the “cosmological antinomy”, for the formation of Fink’s philosophy as a whole and, on the other hand, how Fink elucidates phenomenologically (...) the problem of the pre-givenness of the world by criticizing Kantian so called Copernican turn and transforming his architectonic of the transcendental philosophy. (shrink)

Arnold J Toynbee was a historian whose 12-volume A Study of History had a huge impact on the thinking of his day. This epic, multi-volume work offered a grand synthesis of world history from the global perspective of the rise and fall of civilizations, rather than concentrating on the history of nation-states or of ethnic groups. For Time magazine Toynbee was 'an international sage' and certainly in the same bracket as 'Einstein, Schweitzer or Bertrand Russell'. Daisaku Ikeda is a (...) figure of global stature, the spiritual leader of a worldwide lay Buddhist organisation devoted to the promotion of education, culture and peace. Between 1971 and 1974 Toynbee and Ikeda discussed many of the vital issues which confronted their societies in the early 1970s, all of which remain current and significant. Indeed, topics such as the problems of pollution, dwindling natural resources, conflict and war, the role of religion, and population growth, are even more pressing than they were thirty years ago. In this volume - which still reads as freshly as it did when it was first published, and which is now reissued for a new generation of readers - the inspiring challenge issued by both men is framed as follows: will humankind choose to salvage its destiny by a revolution in thinking and morals? Or will disaster ensue if it pursues its present course towards self-destruction and the despoliation of the environment? While recognising that our survival is threatened by the imbalance between human immaturity and technological achievement, the optimistic message of this classic Dialogue is that man-made evils have a man-made cure. (shrink)

This investigation examines ‘teasing’ of non-combatant children by US military service personnel in occupied Iraq and Afghanistan. The majority of existent investigations of teasing and related practices place significant conceptual importance on the intentions of the teaser – such that a target can understand that the tease is not true. However, in data examined here it appears that targets do not understand the language in which the teasing is undertaken. Drawing from publicly available video footage posted on the video sharing (...) website Liveleak, we provide an ethnomethodological and conversation analytic informed examination of how persons initiating teasing strategically exploit asymmetries in the sequential and preferential organization of interactions when tease recipients do not have sufficient English skills to redress the negative assessments being made of them. Three types of candidate teasing practices are identified: soldier initiated negative other-assessments; target parroting negative other-assessments; and offer-withdrawal games. Analysis examines how such interactions effectively fail as teases and explores how children can resist soldiers’ pursuit of degrading responses. (shrink)

In response to a sharp rise in opioid-involved overdose deaths in the USA, states have deployed increasingly aggressive strategies to limit the loss of life, including civil commitment—the forcible detention of individuals whose opioid use presents a clear and convincing danger to themselves or others. While civil commitment often succeeds in providing short-term protection from overdose, emerging evidence suggests that it may be associated with long-term harms, including heightened risk of severe withdrawal, relapse and opioid-involved mortality. To better assess and (...) mitigate these harms, states should collect more robust data on long-term health outcomes, decriminalise proceedings and stays, provide access to medications for opioid use disorder and strengthen post-release coordination of community-based treatment. (shrink)

A new selection of writings on education by Buddhist philosopher and founder of Soka University, Daisaku Ikeda. Culled from some five decades of the author's works, this collection presents educational proposals, lectures to university students, and personal essays. The author delves not only into the meaning of Soka (value-creating) education but offers a hopeful vision of the power of education to bring happiness to the individual and peace to the world.

Let L be a finite relational language and α=(αR:R ∈ L) a tuple with 0 < αR ≤1 for each R ∈ L. Consider a dimension function $ \delta _\alpha (A) = \left| A \right| - \sum\limits_{R \in L} {\alpha {\mathop{\rm Re}\nolimits} R(A)} $ where each eR(A) is the number of realizations of R in A. Let $K_\alpha $ be the class of finite structures A such that $\delta _\alpha (X) \ge 0$ 0 for any substructure X of A. We (...) show that the theory of the generic model of $K_\alpha $ is AE-axiomatizable for any α. (shrink)

A theory T is called almost [MATHEMATICAL SCRIPT CAPITAL N]0-categorical if for any pure types p1,…,pn there are only finitely many pure types which extend p1 ∪…∪pn. It is shown that if T is an almost [MATHEMATICAL SCRIPT CAPITAL N]0-categorical theory with I = 3, then a dense linear ordering is interpretable in T.

We show that if a class K of finite relational structures is closed under quasi-substructures, then there is no saturated K-generic structure that is superstable but not ω -stable.

Mindfulness and compassion meditation are thought to cultivate prosocial behavior. However, the lack of diverse representation within both scientific and participant populations in contemplative neuroscience may limit generalizability and translation of prior findings. To address these issues, we propose a research framework calledIntersectional Neurosciencewhich adapts research procedures to be more inclusive of under-represented groups. Intersectional Neuroscience builds inclusive processes into research design using two main approaches: 1) community engagement with diverse participants, and 2) individualized multivariate neuroscience methods to accommodate neural (...) diversity. We tested the feasibility of this framework in partnership with a diverse U.S. meditation center (East Bay Meditation Center, Oakland, CA). Using focus group and community feedback, we adapted functional magnetic resonance imaging (fMRI) screening and recruitment procedures to be inclusive of participants from various under-represented groups, including racial and ethnic minorities, gender and sexual minorities, people with disabilities, neuropsychiatric disorders, and/or lower income. Using person-centered screening and study materials, we recruited and scanned 15 diverse meditators (80% racial/ethnic minorities, 53% gender and sexual minorities). The participants completed the EMBODY task – which applies individualized machine learning algorithms to fMRI data – to identify mental states during breath-focused meditation, a basic skill that stabilizes attention to support interoception and compassion. All 15 meditators’ unique brain patterns were recognized by machine learning algorithms significantly above chance levels. These individualized brain patterns were used to decode the internal focus of attention throughout a 10-min breath-focused meditation period, specific to each meditator. These data were used to compile individual-level attention profiles during meditation, such as the percentage time attending to the breath, mind wandering, or engaging in self-referential processing. This study provides feasibility of employing an intersectional neuroscience approach to include diverse participants and develop individualized neural metrics of meditation practice. Through inclusion of more under-represented groups while developing reciprocal partnerships, intersectional neuroscience turns the research process into an embodied form of social action. (shrink)

An infinite structure is said to be minimal if each of its definable subset is finite or cofinite. Modifying Hrushovski's method we construct minimal, non strongly minimal structures with arbitrary finite dimensions. This answers negatively to a problem posed by B. I Zilber.

_Dynamics of the Mixed Economy_ applies the insights of modern Austrian political economy to examine economic policy in mixed economies. It compares and contrasts standard approaches to the growth of the state with that of modern Austrian political economy; examines in detail the nature and operation of the interventionist process in the context of nationalization, regulation and the welfare state; analyzes conditions that produce instability under laissez-faire capitalism; argues that the interventionist process is a 'spontaneous order'; and offers several 'pattern (...) predictions' regarding the character and behaviour of really existing economies. (shrink)

In this paper, we investigate definable models of Peano Arithmetic PA in a model of PA. For any definable model N without parameters in a model M, we show that N is isomorphic to M if M is elementary extension of the standard model and N is elementarily equivalent to M. On the other hand, we show that there is a model M and a definable model N with parameters in M such that N is elementarily equivalent to M but (...) N is not isomorphic to M. We also show that there is a model M and a definable model N with parameters in M such that N is elementarily equivalent to M, and N is isomorphic to M, but N is not definably isomorphic to M. And also, we give a generalization of Tennenbaum's theorem. At the end, we give a new method to construct a definable model by a refinement of Kotlarski's method. (shrink)

Uma característica distintiva das sociedades da modernidade tardia é a extensão significativa a qual estas são dependentes do conhecimento para seu funcionamento. Contrário a como o conhecimento era visto nas sociedades pré-modernas, o conhecimento agora tende a ser entendido como informação, isto é, consistindo em representações objetificadas, mercantilizadas, abstratas e descontextualizadas. A superabundância de informação na modernidade tardia torna a sociedade da informação cheia de tentações. Isso nos leva a pensar que o conhecimento como informação é objetivo e existe independentemente (...) dos seres humanos; que tudo pode ser reduzido à informação; e que a geração de quantidades cada vez maiores de informações aumentará a transparência da sociedade e, portanto, levará ao gerenciamento racional de problemas sociais. No entanto, como discutido neste artigo, a sociedade da informação está repleta de paradoxos que a impedem de satisfazer as tentações que cria. Mais informações podem levar a menos compreensão; mais informações podem enfraquecer a confiança; e mais informações podem tornar a sociedade menos racionalmente governável. Essas reivindicações são ilustradas com exemplos do Reino Unido e dos Estados Unidos. (shrink)

A partial map f of a structure M is called almost total if |M — dom| = |M — ran| < ω. We study a difference between an almost total elementary map and an automorphism.

This paper reports on a quiz robot experiment in which we explore similarities and differences in human participant speech, gaze, and bodily conduct in responding to a robot’s speech, gaze, and bodily conduct across two languages. Our experiment involved three-person groups of Japanese and English-speaking participants who stood facing the robot and a projection screen that displayed pictures related to the robot’s questions. The robot was programmed so that its speech was coordinated with its gaze, body position, and gestures in (...) relation to transition relevance places, key words, and deictic words and expressions in both languages. Contrary to findings on human interaction, we found that the frequency of English speakers’ head nodding was higher than that of Japanese speakers in human-robot interaction. Our findings suggest that the coordination of the robot’s verbal and non-verbal actions surrounding TRPs, key words, and deictic words and expressions is important for facilitating HRI irrespective of participants’ native language. Keywords: coordination of verbal and non-verbal actions; robot gaze comparison between English and Japanese; human-robot interaction ; transition relevance place ; conversation analysis. (shrink)

Let L be a countable relational language. Baldwin asked whether there is an ab initio generic L-structure which is superstable but not ω-stable. We give a positive answer to his question, and prove that there is no ab initio generic L-structure which is superstable but not ω-stable, if L is finite and the generic is saturated.

We construct an ab initio generic structure for a predimension function with a positive rational coefficient less than or equal to 1 which is unsaturated and has a superstable non-ω-stable theory.