The modal logician's notion of possible world and the computer scientist's notion of state of a machine provide a point of commonality which can form the foundation of a logic of action. Extending ordinary modal logic with the calculus of binary relations leads to a very natural logic for describing the behavior of computer programs.

Dynamic algebras combine the classes of Boolean (B 0) and regular (R ; *) algebras into a single finitely axiomatized variety (B R ) resembling an R-module with scalar multiplication . The basic result is that * is reflexive transitive closure, contrary to the intuition that this concept should require quantifiers for its definition. Using this result we give several examples of dynamic algebras arising naturally in connection with additive functions, binary relations, state trajectories, languages, and flowcharts. The main result (...) is that free dynamic algebras are residually finite (i.e. factor as a subdirect product of finite dynamic algebras), important because finite separable dynamic algebras are isomorphic to Kripke structures. Applications include a new completeness proof for the Segerberg axiomatization of prepositional dynamic logic, and yet another notion of regular algebra. (shrink)

We give an example of a polynomial time algorithm for a particular algorithmic problem involving vagueness and visual indiscriminability, namely sock sorting.

Book reviewed in this article: Ethical Issues in Social Research. Edited by Tom L. Beauchamp, Ruth R. Faden, R. Jay Wallace, Jr., and LeRoy Walters. Baltimore: The Johns Hopkins University Press, 1982. xii + 436 pp. $25.00 (hardcover); $8.95 (paper). Ethics of Human Subject Research. Edited by Allan J. Kimmel, Jr. San Francisco: Jossey‐Bass, 1981. 106 pp. $6.95 (paper). Social Research Ethics. Edited by Martin Bulmer. New York: Holmes & Meier, 1982. xiv + 284 pp. $39.50 (hardcover); $14.50 (paper). The (...) Ethics of Social Research: Field‐work, Regulation and Publication. Edited by Joan E. Sieber. New York: Springer‐Verlag, 1982. x + 187 pp. $23.50 (hardcover). The Ethics of Social Research: Surveys and Experiments. Edited by Joan E. Sieber. New York: Springer‐Verlag, 1982. xii + 249 pp. $23.50 (hardcover). (shrink)

Book reviewed in this article: Ethical Issues in Social Research. Edited by Tom L. Beauchamp, Ruth R. Faden, R. Jay Wallace, Jr., and LeRoy Walters. Baltimore: The Johns Hopkins University Press, 1982. xii + 436 pp. $25.00 (hardcover); $8.95 (paper). Ethics of Human Subject Research. Edited by Allan J. Kimmel, Jr. San Francisco: Jossey‐Bass, 1981. 106 pp. $6.95 (paper). Social Research Ethics. Edited by Martin Bulmer. New York: Holmes & Meier, 1982. xiv + 284 pp. $39.50 (hardcover); $14.50 (paper). The (...) Ethics of Social Research: Field‐work, Regulation and Publication. Edited by Joan E. Sieber. New York: Springer‐Verlag, 1982. x + 187 pp. $23.50 (hardcover). The Ethics of Social Research: Surveys and Experiments. Edited by Joan E. Sieber. New York: Springer‐Verlag, 1982. xii + 249 pp. $23.50 (hardcover). (shrink)

This paper argues that professionals who make boundary-related decisions should be guided by relationship-based practice. In our roles as service users and professionals, drawing from our lived experiences of professional relationships, we argue we need to move away from distance-based practice. This includes understanding the boundary stories and narratives that exist for all of us – including the people we support, other professionals, as well as the organisations and systems within which we work. When we are dealing with professional boundary (...) issues, we should centre relationship-building skills that are central to many other aspects of our work. Skills that foster relationships at all levels – between professionals, service users, and services – need to be revalued. Our final recommendation is to create, develop, and foster safer spaces within and outside of organisations, as well as inter-professionally, for the discussion and exploration of boundary-related issues and practice. We are interested in hearing from those with experiences of being marginalised by boundaries so that they can inform a reshaping of our collective ideas around boundary related practices. To foster relationship-based practices in organisations, we have outlined several recommendations here; however, we recognize that these do not go far enough, and that collective action is needed to inform systemic change. (shrink)

IntroductionTranscranial magnetic stimulation is a consolidated procedure for the treatment of depression, with several meta-analyses demonstrating its efficacy. Theta-burst stimulation is a modification of TMS with similar efficacy and shorter session duration. The geriatric population has many comorbidities and a high prevalence of depression, but few clinical trials are conducted specifically for this age group. TBS could be an option in this population, offering the advantages of few side effects and no pharmacological interactions. Therefore, our aim is to investigate the (...) efficacy of TBS in geriatric depression.Clinical trial registration[https://clinicaltrials.gov/ct2/], identifier [NCT04842929]. (shrink)

Pratt et al. (2020) tackle a seeming lack of consensus about the ethical goals of community engagement (CE) in global health research. Their paper “identifies an additional or complementary role fo...

En este ensayo pongo en contraposición dos doctrinas conspicuamente leibnicianas: la doctrina del tiempo relacional e ideal, y la doctrina de la armonía preestablecida. Argumentaré que si todas las substancias están necesariamente coordinadas, entonces no tiene sentido negar el carácter absoluto y r..

in her address, R. Aída Hernández Castillo considers "two experiences of intercultural dialogue" as a means of decolonizing her own feminist views and methodological commitments. These cases and others led her to "confront both the idealizing discourses on Indigenous culture of an important sector of Mexican anthropology and the ethnocentrism of liberal feminism". The first case is a dialogue with the Continental Network of Indigenous Women of the Americas, whose participants seek to recover Indigenous spirituality as an act of resistance (...) and as a resource for social change. The second is her experience with the women's Center... (shrink)

The relational syllogistic extends the classical syllogistic by allowing predicate phrases of the forms “rs every q”, “rs some q” and their negations, where q is a common noun and r a transitive verb. It is known that both the classical and relational syllogistic admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete. In this article, we extend the classical and relational syllogistic by allowing ‘guarded’ predicate phrases of the form “rs onlyqs”, and their (...) negations. We show that, in both cases, the resulting logic is pspace-complete. It follows, on the assumption that NPTIME≠PSPACE\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsc {nptime}\ne \textsc {pspace}$$\end{document}, that neither extension admits a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed. We also show that further extending these systems with noun-complementation in sentence-subjects results in logics which are exptime-complete. (shrink)

The effects of heredity and the environment on the development of human being, which is a multidimensional being, have been discussed for many years. Studies on the religious development of man were also influenced by these discussions. In this context, in order to better understand the nature of religious development, some theories such as behavioral, cognitive or stage theories have emerged. In a sense, these theories have also identified the direction of religious development. However, many of these theories did not (...) address their religious development as a whole. This restricted the understanding of religious development. Therefore, this article has two main purposes. First, to bring the ecological theory which is the human development model proposed by Bronfenbrenner, which considers human development as a whole with the environment and events in which it lives, to the literature of our country's religion psychology. The second aim is that to contribute to a better understanding of the psychological foundations of religious development through the use of this theory. In this article where qualitative research method has been used, some quantitative study data have been used. In the article, the ecosystem, ecosystem, macrosystem, and the effect of each of the chronosystem on religious development is discussed. In this article, it is concluded that approach to religious development in the context of ecological theory can be useful.Summary: Human being is existentially open to development. The openness of human to development is not a choice but a requirement. Therefore, each individual must experience a developmental process in which physiological, psychological and sociological conditions are intertwined unless he has voluntarily terminated his existence. Psychologists, who are aware of this, attach a special importance to the phenomenon of development. Is heredity is more effective in human development, or the environment? This question is a result of the importance that psychologists attribute to development.Essentially, the roots of these debates on human development are based on the foundation of modern psychology. For example, Locke, one of the most important philosophers of the 18th century, rejected the idea of ​​Descartes, one of the 17th-century thinkers, that man came to the world equipped with all sorts of knowledge and skills. Unlike Descartes, Locke argued that the source of all human knowledge is based on experience. According to Locke, the mind of the newborn baby is an un scraped tablet = tabula rasa, but it is not only the normal knowledge but also the source of God's imagination.This perspective on human development naturally affected the problem of religious development. For example, Jung sought the basis of religious faith in the collective unconscious, referring to the hereditary foundations of religious faith in a sense. On the other hand, Pratt approached the problem of religious development on the basis of experience.In general, religious development studies carried out on more experienced grounds have brought some theoretical approaches. Goldman, for example, examined the course of religious development from childhood to adolescence. For him, religious thought is not that different from non-religious thought in terms of form and method. Fowler, on the other hand, expressed that faith is not always religious in terms of content and context, and has developed a theory of belief development that includes religious development. However, some religious development models brings a different perspective to the development of the religious phenomenon in Turkey have been developed. Three-stage religious development model developed by Karaca is one of them. According to this model, the process of religious development of human beings is completed through three stages: inner tendencies, awakening of religious interest and questioning, harmony and stability.The necessity of using multi-dimensional approaches to understand the human being is a multidimensional entity is undoubtedly a reality. For this reason, it can be stated that the diversity of the explanation models for the religious development phenomenon mentioned above is a richness. It is thought that looking at the phenomenon of religious development in terms of the ecological theory developed by Bronfenbrenner, will increase the wealth of the means to understand the phenomenon of religious development. In this context, the main aim of this article is to provide the literature on the psychology of religion in our country and to contribute to the understanding of the phenomenon of religious development in the context of the theory of ecological theory put forward by Bronfenbrenner in a holistic way.The qualitative research method has been used in this article, besides the explanations and analyzes, the data of the quantitative studies, which are not directly related to the subject, have also been utilized.The basic step of the ecological theory that Bronfenbrenner suggested is a structure in which many systems from family to political and cultural systems overlap to better understand human development. The microsystem, which represents the innermost layer surrounding the individual, expresses the basic structure in which the individual lives and interacts with other people, while the mesosystemincludes the developing individual and the home and the school, school and workplace. It includes connections between two or more microsystems or contexts. The ecosystem, which is an extension of the mesosystem covering both formal and informal structures and relationships, does not directly affect the individual; however, it surrounds the individual by influencing the current arrangements that the individual has been in. The part of the theory that expresses the attitudes and ideologies of the culture in which the individual lives is the macrosystem. The last link of the theory is the chronosystem. The chronosystem, which explains how socio-historical conditions, lifelong transitions and environmental events occur in a pattern, has an important place in the development history of the individual.Although human beings are born with capability for believing, this situation alone is not enough to complete the process of religious development in a healthy way. When considered in the context of ecological theory, the religious development of the individual is affected from the first degree of the microsystem which is in direct contact with his family, school, peer groups, religious groups and playgrounds. In addition, the mesosystem, ecosystem, macrosystem and chronosystem affect the religious development of the individual either directly or indirectly. However, it should be noted that the effects of these systems on religious development are always double polarized.In order to better understand the psychology of religious development in the context of ecological theory, it is thought that the cross-sectional and longitudinal studies that will be done with different groups in which the systems constituting the theory are effective will provide illuminating information about the subject. However, researchers, who will study religious development, are very careful when analyzing the relationships of the variables such as gender, age, civil status, education level, occupational groups and socio-economic level expressing the characteristics of the sample group in the experimental studies and used as independent variables. to be. Since, although the effects of these variables on the level of religiousness, the effects of these variables on dependent variables can be limited without considering the ecological theory. (shrink)

A memorial collection of essays with a bibliography of Pratt's works, a biography by the editor, and some personal notes by W. E. Hocking. Of special interest are Myers' paper on the self and introspection, Kaufmann's provocative, if heated, criticism of theologians for defending their traditions, and R. W. Sellars' commentary on the history of American Realism.--R. C. N.