Designing an ontology that meets the needs of end-users, e.g., a medical team, is critical to support the reasoning with data. Therefore, an ontology design should be driven by the constant and efficient validation of end-users needs. However, there is not an existing standard process in knowledge engineering that guides the ontology design with the required quality. There are several ontology design processes, which range from iterative to sequential, but they fail to ensure the practical application of an ontology and (...) to quantitatively validate end-user requirements through the evolution of an ontology. In this paper, an ontology design process is proposed, which is driven by end-user requirements, defined as Competency Questions. The process is called CQ-Driven Ontology DEsign Process and it includes activities that validate and verify the incremental design of an ontology through metrics based on defined CQs. CODEP has also been applied in the design and development of an ontology in the context of a Mexican Hospital for supporting Neurologist specialists. The specialists were involved, during the application of CODEP, in collecting quality measurements and validating the ontology increments. This application can demonstrate the feasibility of CODEP to deliver ontologies with similar requirements in other contexts. (shrink)

Publication date: 21 March 2019 Source: Author: Ali Jamshidi The present research was done to analyze the relationship between organizational trust and organizational innovation at Payam Nour University in Tehran Province. To collect data related to organizational trust, Payne questionnaire was used. Organizational innovation data were collected by a researcher-developed questionnaire. The reliability of both of which based on Alfa Cronbach coefficient was 91% and 86% respectively. To analyze data, Pearson correlation test and step-by step regression were applied. The (...) result of correlation test showed that there is positive and significant relationship between organizational trust and all its dimensions with organizational innovation. The results of structural equation modeling were collected by 231 questionnaires and suggest that innovative leadership and organizational trust have relation with organizational innovation. In conclusion, the result is analyzed and some suggestions are made to improve innovation capability in the organization of the target population. (shrink)

In these days, there is an increasing technological development in intelligent tutoring systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching mathematics that help students understand the basics of math and that helps a lot of students of all ages to understand the topic because it's important for students of adding and subtracting. Through which the student will be able to study the course and solve related problems. An evaluation (...) of the intelligent tutoring systems was carried out and the results were encouraging. (shrink)

Violence -- Poliltical philosophy -- Critical theory -- Science and arts in international relations -- Psyche -- Aesthetics -- Tolstoi's War and peace.

A numeral system is an infinite sequence of different closed normal -terms intended to code the integers in -calculus. Barendregt has shown that if we can represent, for a numeral system, the functions Successor, Predecessor, and Zero Test, then all total recursive functions can be represented. In this paper we prove the independancy of these three particular functions. We give at the end a conjecture on the number of unary functions necessary to represent all total recursive functions.

This article offers an account of the responsibility that individuals bear by virtue of their national belonging alone. Via their national pride, the living connect themselves actively with select actions performed by others who might long be dead. They imagine themselves as having won past wars, built ancient empires and the like. This same feat of their imagination imposes on them a responsibility for the bad outcomes that were brought about through their imagined exploits. Their national responsibility for the "sins (...) of the fathers" however lends itself only to the kinds of responses that these living agents can demand of themselves. While their national responsibility can be captured by either the vocabulary of guilt or that of shame, the latter turns out to be more promising as it better accounts for the strong hold that the national idea has on contemporary political thinking. (shrink)

This article critically studies coronavirus pandemic news in the press. The article attempts to study the way the news of COVID-19 is used for political and ideological purposes. In order to achieve the aim, two newspapers namely, The New York Times from the United States of America and Global Times from China are selected. Van Dijk’s news schemata framework is used for the analysis of the reports selected from the two newspapers. Van Dijk’s news schemata is crucial for the analysis (...) of any news story whether such a news story is taken from a news channel or a newspaper and whether broadcasted or printed. Based on data analysis, the article found out that the news of COVID-19 has been politicized and used for ideological interests. The article recommends that pandemics should not be politicized, instead we should work together to save our lives and live peacefully. (shrink)

This article offers an account of the responsibility that individuals bear by virtue of their national belonging alone. Via their national pride, the living connect themselves actively with select actions performed by others who might long be dead. They imagine themselves as having won past wars, built ancient empires and the like. This same feat of their imagination imposes on them a responsibility for the bad outcomes that were brought about through their imagined exploits. Their national responsibility for the “sins (...) of the fathers” however lends itself only to the kinds of responses that these living agents can demand of themselves. While their national responsibility can be captured by either the vocabulary of guilt or that of shame, the latter turns out to be more promising as it better accounts for the strong hold that the national idea has on contemporary political thinking. (shrink)

This dissertation engages the following question: how, in the absence of an uncontroversial source of moral guidance, can liberals make political and moral claims across cultural divides? While committed to toleration, liberals cannot escape the compulsion to apply basic standards of equal individual human rights and liberties universally. Under postmetaphysical conditions, however, they no longer find credible arguments that assure them of the sources of these standards in "natural law," "human nature," or "practical reason." Aware that individual rights have their (...) provenance in modern "Western" history, liberals fear being intolerant when they apply these standards universally, and experience as a result a problem of cross-cultural judgement. ;In this project I engage in a sympathetic critique of Richard Rorty's, Jurgen Habermas's and John Rawls's attempts at addressing this problem and provide a fourth alternative that cannot be absorbed by any of their frameworks. Rorty offers liberals the comforts of ethnocentrism. He assures them that political and moral judgements are always made by someone from somewhere. For this comfort, however, he extracts the exorbitant ethical price of other-disregard. Habermas derives individual rights from the universal practice of argumentation. By relying on the overly exacting standard of "rational consensus," however, he limits the applicability of his answer to liberal secular contexts. In his free-standing answer, Rawls offers the promising standard of an "overlapping consensus." His overly static use of this concept, however, drains it of its promise. ;Drawing on each of these attempts as well as on Aristotle's Rhetoric, I offer the alternative of a political project of moral persuasion. Instead of seeking to address the problem of cross-cultural judgement by coup de plume, liberals' best hope is to obviate it in practice, by forging a global, minimally liberal, overlapping consensus. As moral persuaders liberals would intrude actively in nonliberal debates and would seek to convince nonliberals from within their various lights, of the worthiness of the commitment to the freedom and equality of persons. (shrink)

There are growing bodies of evidence demonstrating the benefits of equity, diversity, and inclusion on academic and organizational excellence. In turn, some editors have stated their desire to improve the EDI of their journals and of the wider scientific community. The Royal Society of Chemistry established a minimum set of requirements aimed at improving EDI in scholarly publishing. Additionally, several resources were reported to have the potential to improve EDI, but their effectiveness and feasibility are yet to be determined. In (...) this commentary we suggest six approaches, based on the Royal Society of Chemistry set of requirements, that journals could implement to improve EDI. They are: adopt a journal EDI statement with clear, actionable steps to achieve it; promote the use of inclusive and bias-free language; appoint a journal’s EDI director or lead; establish a EDI mentoring approach; monitor adherence to EDI principles; and publish reports on EDI actions and achievements. We also provide examples of journals that have implemented some of these strategies, and discuss the roles of peer reviewers, authors, researchers, academic institutes, and funders in improving EDI. (shrink)

This article explains how we ordinary subjects of a state who are neither political leaders nor functionaries are responsible for outcomes that are properly attributed to that state and that took place during our adult lifetime. Its focus is on the connection we forge to those outcomes via our obedience alone. If our responsibility as subjects is justified, it would apply under all regime types including oppressive and authoritarian ones. The argument is that this responsibility can only be justified within (...) a minimal account of agency and a bare-bones account of responsibility. Thus, while we incur a burden of responsibility for the state via our obedience alone, that burden does not suffice to either blame us or extract remedies from us for state injustices. For us obedient subjects, however, it is important that we be cognizant of this burden as it marks the most minimal agency we exercise in the state. (shrink)

Paulo Freire’s philosophy of education, popularized via his magnum opus, The Pedagogy of the oppressed (2000 [1970]) ‘shocked’ the world, sort of constructively, with its trenchant, au courant and futuristic meditations on the onto-epistemological lives of the marginalized in Latin America, and by elliptical extension, across the world. The central tenets of Freire’s thought as reflectively (and reflexively) acting upon the world to transform it, are as current today as these were in the late 1960s, majorly because of the subjectively (...) active ways it interacts with our onto-epistemological locations and intentions. It is in appreciating such durable temporality about his philosophy that one can sense, indeed, thickly discern it trans-spatial and transcultural connections with the humanist African philosophy of Ubuntu and it educational foundations. Ubuntu in its across-Africa readings, represents both a practical and aspirational humanization of all people (more popularly, perceiving and practicing our personhoods through the personhoods of others) with the potential outcome, in the words of Desmond Tutu (in Battle, 2009), of the cessation of inter-people conflict and oppression. With these perspectives and prospects from Freire and Ubuntu, the intersecting subsets of the two are, I argue, thickly important with analytically discernible onto-epistemological and pedagogical connections and operations. (shrink)

In his recent work, Jürgen Habermas signals the abandonment of his earlier claims to justify human rights and universalist morality. This paper explains the above shift, arguing that it is the inescapable result of his attempts in recent years to accommodate pluralism. The paper demonstrates how Habermas’s universal pragmatic justification of modern normative standards was inextricably tied to his consensus theory of validity. He was compelled by the structure of that argument to count on the current or future availability of (...) a unified framework within which all can potentially articulate their needs and interests. With his abandonment of the justification Habermas has rid discourse theory of this controversial assumption. In weakening its defense of human rights and universalist morality against the charge of ethnocentrism, he has strengthened his theory’s foothold in the lived pluralist world. Key Words: argumentation • ethnocentrism • Habermas • human rights • justification • legitimacy • pluralism • rational consensus • Rehg. (shrink)

Terrorist organisations have increased and widened in Iraq in particular and the world in general in recent years. People have suffered a lot from these terrorist organisations due to their thirst for killing innocent civilians. The study aims to convey the suffering of innocent Iraqis caused by terrorist acts to the world. In order to achieve the aim, the research adopted Barthes’s framework to analyse the selected photographs. The researchers have selected iconic photographs for the analysis. The photographs are taken (...) from the main websites of the local, Arabic, and foreign media. The study found out that terrorism is the brutal enemy of all Iraqi societies including Sunnis, Shia, Kurds, Christians, and Yazidis. This research is a clear example that shows the world the extent of the suffering, pain, and fear Iraqi people are facing because of terrorism. (shrink)

In this paper I propose a framework to understand the transition in Foucault’s work from the disciplinary model to the governmentality model. Foucault’s work on power emerges within the general context of an expression of capitalist rationality and the nature of freedom and power within it. I argue that, thus understood, Foucault’s transition to the governmentality model can be seen simultaneously as a deepening recognition of what capitalism is and how it works, but also as a recognition of the changing (...) historical nature of the actually existing capitalisms and their specifically situated historical needs. I then argue that the disciplinary model should be understood as a contingent response to the demands of early capitalism, and argue that with the maturation of the capitalist enterprise many of those responses are no longer necessary. New realities require new responses; although this does not necessarily result in the abandonment of the earlier disciplinary model, it does require their reconfiguration according to the changed situation and the new imperatives following from it. (shrink)

In this paper, I propose to look closely at certain crucial aspects of the logic of Rawls' argument in Political Liberalism and related subsequent writings. Rawls' argument builds on the notion of comprehensiveness, whereby a doctrine encompasses the full spectrum of the life of its adherents. In order to show the mutual conflict and irreconcilability of comprehensive doctrines, Rawls needs to emphasise the comprehensiveness of doctrines, as their irreconcilability to a large extent emanates from that comprehensiveness. On the other hand, (...) in order to show the possibility and plausibility of the political liberal solution he needs to emphasise that most of these doctrines are reasonable: i.e., they are willing to cede a portion of their authority to political liberalism for the right reasons. Yet, if they are willing to cede a portion of their authority to a political conception they cannot be as comprehensive as we initially thought they were. All these elements highlight the tension in the argument itself. I suggest that many of these tensions can be removed by making Rawls' account more flexible. In this context I propose certain amendments to Rawls' account, which may overcome some of the tensions mentioned above. (shrink)

BackgroundProfessional ethics refers to the use of logical and consistent communication, knowledge, clinical skills, emotions and values in nursing practice. This study aimed to explore and describe factors that affect professional ethics in nursing practice in Iran.MethodsThis qualitative study was conducted using conventional content analysis approach. Thirty nurses with at least 5 years of experience participated in the study; they were selected using purposive sampling. Data were collected through semi-structured interviews and analyzed using thematic analysis.ResultsAfter encoding and classifying the data, (...) five major categories were identified: individual character and responsibility, communication challenges, organizational preconditions, support systems, educational and cultural development.ConclusionsAwareness of professional ethics and its contributing factors could help nurses and healthcare professionals provide better services for patients. At the same time, such understanding would be valuable for educational administrators for effective planning and management. (shrink)

The present study investigates variability among raters from different linguistic backgrounds, who evaluated the pragmatic performance of English language learners with varying native languages (L1s) by using both self- and peer-assessments. To this end, written discourse completion task (WDCT) samples of requesting speech acts from 10 participants were collected. Thereafter, the participants were asked to assess their peers’ WDCTs before assessing their own samples using the same rating scale. The raters were further asked to provide an explanation for their rating (...) decisions. Findings indicate that there may indeed be a link between a rater’s language background and their scoring patterns, although the results regarding peer- and self-assessment are mixed. There are both similarities and differences in the participants’ use of pragmatic norms and social rules in evaluating appropriateness. (shrink)

We give a direct, purely arithmetical and elementary proof of the strong normalization of the cut-elimination procedure for full (i.e., in presence of all the usual connectives) classical natural deduction.

Most refugees residing in the European Union (EU) do not retain their voting rights in states of origin or lack the means to exercise them effectively. Most member states of the EU do not extend voting rights to refugees. This leaves a large population of refugees residing within the borders of the EU in a unique state of disenfranchisement. In this article, I consider this problem from a democratic perspective. Should refugees in the EU have voting rights? My answer turns (...) on three aspects characterizing the circumstances of refugees: First, refugees reside in member states for an indeterminate, and typically protracted, amount of time without any exit options. Second, the political governance of the EU and its member states significantly shapes the lives of refugees. And third, refugees lack effective voting rights, and consequently, a meaningful political membership, in any political community across the world. In turn, based on an all-subjected principle of democratic inclusion, I argue that refugees should be secured state-level voting rights in member states, albeit with a condition of the period of residency. Moreover, they should have immediate voting rights at the supranational institutions of the EU such as the European Parliament. (shrink)

In this paper, we extend the system AF2 in order to have the subject reduction for the $betaeta$-reduction. We prove that the types with positive quantifiers are complete for models that are stable by weak-head expansion.

ABSTRACTOn 4 September 2015 asylum seekers who got stranded in Budapest’s Keleti train station began a march to cross the Austrian border. Their aim was to reach Germany and Sweden where they believed their asylum claims would be better received. In this article, I argue that the march should be characterized as an act of civil disobedience. This claim may seem to contradict common convictions regarding acts of civil disobedience as well as asylum seekers. The most common justifications are given (...) with reference to moral rights of citizens and concerns for enhancing justice or democracy within states. Asylum seekers are not members of the European public. How can they be entitled to break the law? I first show that the march displays features of a paradigm case of civil disobedience. Then, I identify moral reasons for asylum seekers to carry out the march acceptable from both strong and weak cosmopolitan perspectives. After that, I point out its corrective, stabilizing and democracy-enhancing roles in the European political landscape. I conclude by emphasizing that conceptualizing the march as an act of civil disobedience is significant in recognizing asylum seekers as political agents making claims within an evolving framework of refugee protection. (shrink)

There are two dominant approaches towards understanding medieval Muslim philosophy: Greek ancestry approach and religiopolitical context approach. In the Greek ancestry approach, medieval Muslim philosophy is interpreted in terms of its relation to classical Greek philosophy, particularly to the philosophy of Plato and Aristotle. The religiopolitical context approach, however, views a thorough understanding of the religious and political situation of that time as the key to the proper understanding of medieval Muslim philosophy. Notwithstanding the immense significance of the two approaches (...) for understanding medieval Muslim philosophy, the question on the reason behind medieval Muslim philosophers’ preference for Plato’s Republic over Aristotle’s Politics in political philosophy is not accurately answered. This preference is usually attributed either to the availability or unavailability of the text or to the suitability or unsuitability of the text for Islamic theological views. However, this article shows that neither the availability or unavailability of text nor its suitability or unsuitability for Islamic religious and theological views can appropriately explain medieval Muslim philosophers’ preference for Plato’s Republic over Aristotle’s Politics in their political thought. This article proposes that the key to understand this preference lies in understanding the transmission of Greek philosophy to medieval Muslim philosophers. Contribution: This study highlights the significance of the thorough understanding of the transmission of Greek philosophy to medieval Muslim world as one of the important approaches towards proper understanding of medieval Muslim philosophy, particularly medieval Muslim political philosophy. (shrink)

In a series of papers, Elizabeth Barnes and Robert Williams have developed a theory of metaphysical vagueness in which they argue for legitimacy of vague object and indeterminate identity. In his recent paper, Ken Akiba raises two objections against Barnes-Williams theory, concluding that it is ill-conceived and wrong-headed. In one objection, he argues that the theory implies indeterminate identity between referentially determinate objects to which λ-abstraction is applicable, and hence Evans’ argument ultimately goes through. In the other, he objects that (...) Barnes-Williams theory also fails to block Salmon’s argument. This paper discusses the two objections. It argues that there are legitimate reasons for rejecting both, and hence to revive Barnes-Williams theory. Furthermore, it is shown that the objections, while unsuccessful, are helpful in revealing the limitations of Barnes-Williams theory. (shrink)

This article attempts to study the way the Rohingya crisis in Myanmar (Burma) is represented or framed in the press. The researcher selects four newspapers for this study. They are namely, Myanmar Times, Arab News, The Guardian, and Global Times. The reason behind choosing these newspapers is that it is important to illustrate how the Rohingya Muslims are framed from a Burmese newspaper, foreign newspaper, Saudi newspaper, and Chinese newspaper. Some selected news stories are analyzed from the selected newspapers. The (...) stories concern the Rohingya Muslims in Myanmar. Pan and Kosicki (Political Communication:55?75, 1993 [ 1 ]) framework is chosen to illustrate the way the Rohingya are represented or framed in the selected newspapers. The framing analysis of the Rohingya news stories shows that each newspaper uses the discourse of the positive selves and negative others representation ideologically in the crisis. (shrink)

This article draws on the ecological model of teacher agency and elaborates on how teacher agency is achieved, its components and how it could be strengthened. This model highlights professional competence, structural and cultural context, and professional purpose as the main elements of achieving agency. In this paper, we specify some elements of the ecological model and elaborate on how three types of reflection could be used to strengthen conditions for achieving teacher agency. These include, first, procedures aimed at articulating (...) the theory of action, including effective strategies, rules and principles for practice; second, procedures of practical reflection, aimed at fostering the conceptualization of practice and the understanding of oneself as a teacher; and third, procedures of critical reflection, which help to address the inequalities and malpractices of education and society. The main importance of this paper is to extend the practical relevance of the ecological model for teacher learning settings. (shrink)

Religion is a significant social force on organizational practice yet has been relatively underexamined in organization theory. In this article, I assert that the institutional logics perspective is especially conducive to examine the macrolevel role of religion for organizations. The notion of the religious logic offers conceptual means to explain the significance of religion, its interrelationship with other institutional orders, and embeddedness into and impact across interinstitutional systems. I argue for intrainstitutional logic plurality and show that specifically the intrareligious logic (...) plurality has been rather disregarded with a relative focus on Christianity and a geographical focus on “the West.” Next, I propose the concept of interinstitutional logic prevalence and show that the religious logic in particular may act as a metalogic due to its potential for uniqueness, ultimacy, and ubiquity. Through illustrations from Islamic Finance and Entrepreneurship, I exemplify implications of logic plurality and prevalence for organizations and societies. (shrink)

The standard Leibnizian view of identity allows for substitutivity of identicals and validates transitivity of identity within classical semantics. However, in a series of works, Graham Priest argues that Leibnizian identity invalidates both principles when formalized in paraconsistent semantics. This paper aims to show the Leibnizian view of identity validates substitutivity of identicals and transitivity of identity whether the logic is classical or paraconsistent. After presenting Priest's semantics of identity, I show what a semantic expression of Leibnizian identity does amount (...) to. Then, I argue that Priest's semantic definition of identity is not Leibnizian. Finally, I offer a semantics characterization of identity in paraconsistent logic that is truly Leibnizian. I demonstrate that the correct formalization of Leibnizian identity in paraconsistent logic also validates substitutivity of identicals and transitivity of identity. (shrink)

We present a method to characterize the preferences of a decision maker in decisions with multiple attributes. The approach modifies the outcomes of a multivariate lottery with a multivariate transformation and observes the change in the decision maker’s certain equivalent. If the certain equivalent follows this multivariate transformation, we refer to this situation as multiattribute transformation invariance, and we derive the functional form of the utility function. We then show that any additive or multiplicative utility function that is formed of (...) continuous and strictly monotonic utility functions of the individual attributes must satisfy transformation invariance with a multivariate transformation. This result provides a new interpretation for multiattribute utility functions with mutual utility independence as well as a necessary and sufficient condition that must be satisfied when assuming these widely used functional forms. We work through several examples to illustrate the approach. (shrink)

In the probability literature, a martingale is often referred to as a “fair game.” A martingale investment is a stochastic sequence of wealth levels, whose expected value at any future stage is equal to the investor’s current wealth. In decision theory, a risk neutral investor would therefore be indifferent between holding on to a martingale investment, and receiving its payoff at any future stage, or giving it up and maintaining his current wealth. But a risk-averse decision maker would not be (...) indifferent between a martingale investment and his current wealth level, since he values uncertain deals less than their mean. A risk seeking decision maker, on the other hand, would readily accept a martingale investment in exchange for his current wealth, and would repeat this investment any number of times. These ideas lead us to introduce the notion of a “risk-adjusted martingale”; a stochastic sequence of wealth levels that a rational decision maker with any attitude toward risk would value constantly with time, and would be indifferent between receiving its pay-off at any future stage, or giving it up and maintaining his current wealth level. We show how to construct such risk-adjusted investments for any decision maker with a continuous monotonic utility function. The fundamental result we derive is that a pay-off structure of an investment (i) is a risk-adjusted martingale and (ii) can be represented by a lattice if and only if the pay-off functions are invariant transformations of the given utility function. (shrink)

Research about the role of religion in entrepreneurship and more broadly management is sparse. In this conceptual article, we complement existing entrepreneurship theory by examining entrepreneurship from an Islamic perspective. EIP is based on three interconnected pillars: the entrepreneurial, socio-economic/ethical, and religio-spiritual. We outline how Islam shapes entrepreneurship at the micro-, meso-, and macro-level, indicate how Islam may be considered an entrepreneurial religion in the sense that it enables and encourages entrepreneurial activity, review research streams interlinking Islam with entrepreneurship and (...) management and outline promising research approaches. (shrink)

Most models of corporate social responsibility revolve around the controversy as to whether business is a single dimensional entity of profit maximization or a multi-dimensional entity serving greater societal interests. Furthermore, the models are mostly descriptive in nature and are based on the experiences of western countries. There has been little attempt to develop a model that accounts for corporate social responsibility in diverse environments with differing socio-cultural and market settings. In this paper an attempt has been made to fill (...) this gap by developing a two-dimensional model of corporate social responsibility and empirically testing its validity in the context of two dissimilar cultures – Australia and Bangladesh. The two dimensions are the span of corporate responsibility and the range of outcomes of social commitments of businesses. The test results confirm the validity of the two-dimensional model in the two environments. The Factor analysis revealed two leading dimensions. Cluster analysis pointed to two distinctive clusters of managers in both Australia and Bangladesh, one consisting of managers with a broad contemporary concept of social responsibility, and the other with a limited narrow view. The paper concludes that corporate social responsibility is two-dimensional and universal in nature and that differing cultural and market settings in which managers operate may have little impact on the ethical perceptions of corporate managers. (shrink)

In “Compassionate Phenomenal Conservatism” (2007), “Phenomenal Conservatism and the Internalist Intuition” (2006), and Skepticism and the Veil of Perception (2001), Michael Huemer endorses the principle of phenomenal conservatism, according to which appearances or seemings constitute a fundamental source of (defeasible) justification for belief. He claims that those who deny phenomenal conservatism, including classical foundationalists, are in a self-defeating position, for their views cannot be both true and justified; that classical foundationalists have difficulty accommodating false introspective beliefs; and that phenomenal conservatism (...) is most faithful to the central internalist intuition. I argue that Huemer’s self-defeat argument fails, that classical foundationalism is able to accommodate fallible introspective beliefs, and that classical foundationalism captures a relatively clear internalist intuition. I also show that the motivation for phenomenal conservatism is less than clear. (shrink)

The aim of this study is to develop a valid and reliable measurement tool for determining students' spiritual health and life orientation. For this purpose, the Spiritual Health and Life-Orientation Measure (SHALOM) inventory developed by Fisher (2010) is adapted to Turkish. The adaptation study was carried out on 1591 high school students in three study groups studying in Ankara and Muş. The original English measure consisting of four dimensions and twenty items was translated into Turkish, factor analysis, validity and reliability (...) tests were conducted on the sampling data. As a result of the study, the Turkish-adapted inventory consists of four dimensions (personal, social, environmental and transcendental) which resemble the original inventory. In addition, internal consistency coefficients of the inventory dimensions were in perfect harmony with the original inventory and served the purpose of the scale. In Conclusion The Turkish adaptation of the SHALOM Inventory can be used in different disciplines of psychology, educational sciences, and social sciences. Summary: The concept of religion, which is an important dynamic and carrier of the social field, has gone into a double distinction since the second half of the 18th century; the concept of spirituality has begun to be refined from the concept of religion. The concepts of religion and spirituality are very difficult to define; While the concept of religion focuses ideology and rules of belief, spirituality centers on individual experiences and interrelationships that extend religion. For this reason, different spirituality and religion definitions are made from different perspectives and different spirituality scales were developed within this framework. However, the results of these studies differ significantly from each other; this means that spirituality was defined and conceptualized based on the scale that was used. Early period studies on spirituality mostly focus on religion, health, psychology and work life. In these studies, after defining the concept of spirituality; the relationship between the concept and health, religion, psychology and business life or necessity for human life is discussed. In the West, until the 1950s, the concepts of religion and spirituality were used interrelated. However, today these two concepts are almost completely separated from each other.Literature consists of numerous inventory development studies to measure spirituality. The fact that the inventory works based on different conceptual foundations makes it difficult to draw a general, meaningful and consistent conclusion about spiritual health and life orientation. Furthermore, spirituality measurements reflecting the religion and values ​​of a particular culture cannot be comprehensive or universal. At this point, Fisher criticizes the measurement tools developed for the purpose of measuring spirituality: in terms of "mixing religion and spirituality", "relying on the world of values", "not taking into account cultural differences", "and questioning only the mystical/spiritual experience". As a result, it can be said that no measurement developed in the conceptual structure of the West does not take into account the cultural flexibility and accept its spiritual values as universal or prevalent.The SHALOM inventory developed by Fisher, which adapted to the Turkish culture in present study, is based on four basic (individual, social, environmental and transcendent) areas that constitute the world of interpersonal relationship. In this study, spirituality, as in Fisher's work, emphasizes the interaction with certain concepts of different intensities that are considered as independent from religion and above religions. In this context, the concept of spirituality communicates with one's personal space, social position, nature, and transcendental power. This adaptation study will provide useful information and comments on the students' spiritual health levels. This is the most important motive behind the idea of adapting the SHALOM inventory developed by Fisher to the Turkish culture. In addition, by adapting the SHALOM inventory, which is emphasized to have cultural flexibility and adapted to different languages, a new and different measurement tool will be available to understand the nature of the concept of spirituality.This research was carried out to adapt the inventory of Spiritual Health and Life Orientation scale developed for students to Turkish culture. This inventory adaptation study was performed with the data collected from three working groups in Ankara and Muş provinces and 1591 high school students. The first study group was carried out with 414, the second study group with 788, and the third group with 389 high school students. While the data collected from 414 students were used for Exploratory Factor Analysis (AFA) analysis, data collected from 788 students were used for Confirmatory Factor Analysis (CFA). In addition, 389 students were used to determine the criterion validity of the inventory. The original language of the SHALOM inventory, which is intended to be adapted into Turkish, is English, and translation studies are conducted separately by three linguistic experts who know the grammar and semantic characteristics of both languages. After the translation studies, the scale was applied to the sampling group and AFA was performed on the sample data. The AFA results showed that a factor roof resembling the original inventory was formed. Determining factors are given appropriate names (personal, enviromental, social and transcendental) by taking into consideration the theoretical names and the dimension names in the original form of the SHALOM. The structure was confirmed by DFA, and as a result of the DFA, X2/sd (1.72) ratio and IFI (0.96) fit indicator was found to be the appropiate fit for the model tested. As a result, it is understood that the Spiritual Health and Life Orientation Inventory consists of four dimensions as in the original inventory, the internal consistency coefficients of the inventory dimensions are in harmony with the original inventory and serve the purpose of the scale. In conclusion the Turkish adaptation of the SHALOM Inventory can be used in different disciplines of psychology, educational sciences, and social sciences. Spirituality should not only be defined within the framework of Western theories, but the nature and likelihood of the spirituality predicted by Islam should be discussed. Moreover, the types and dimensions of Islamic spirituality should be determined by taking into account the cultural subjectivity of an Islamic character. In the study of spirituality, the human model which modernity presents universally should not be accepted as the only truth. It should be tried to develop human models that come from Islamic culture and history and which are specific to us and define us. This should be taken into account not only in mental health / religious studies, but also in psychology of religion in general. In addition, culture-specificity should be given importance, and the experience gained from the cultural accumulation developed by the Turkish civilization with the Islamic doctrine should lead to the studies of spirituality. In this respect, this study aims to adapt the value and spiritual orientation of a different culture to Turkish culture, but it is problematic to construct the concept with Western values. Although Western values are similar to Islamic values and principles, it is envisaged that it may be difficult to measure the concept of spirituality in practice. (shrink)

We give in this paper a short semantical proof of the strong normalization for full propositional classical natural deduction. This proof is an adaptation of reducibility candidates introduced by J.-Y. Girard and simplified to the classical case by M. Parigot.

Recently there is an increasing technological development in intelligent tutoring systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching information security. This intelligent tutoring systems target the students enrolled in Advanced Topics in Information Security in the faculty of Engineering and Information Technology at Al-Azhar University in Gaza. Through which the student will be able to study the course and solve related problems. An evaluation of the intelligent tutoring systems (...) was carried out and the results were promising. (shrink)