Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- Resolution;- Hoare logic;- Z;- (...) Temporal logic.Answers to exercises (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5 Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education. (shrink)

Some people claim that evolution is "just a theory". Do you know what a scientific theory really is? Just a theory is an overview of the modern concepts of science. A clear understanding of the nature of science will enable you to distinguish science from pseudoscience (which illegitimately wraps itself in the mantle of science), and real social issues in science from the caricatures portrayed in postmodernist critiques. Prof. Ben-Ari's style is light (even humorous) and easy to read, bringing the (...) latest concepts of science to the general reader. Of particular interest is his analysis of the terminology of science (fact, law, proof, theory) in relation to the colloquial meaning of these terms. Between chapters are biographical vignettes of scientists — both familiar and unfamiliar — showing their common commitment to the enterprise of science, together with a diversity of backgrounds and personalities. This accessible, informative, and comprehensive work will give lay readers a good grasp of real science. (shrink)

The map is not the territory - from ontology to epistemology in knowledge construction -- Dialectics: a mechanism of knowledge construction -- Reflectivity reconsidered -- Reflectivity and the researchers' perspective -- Reflectivity and the participants' perspective -- Ethical differences and similarities as sources of reflection and knowledge construction -- Research relations and power differentials: from resistance to collaboration and in-between -- Frames of reference and the control of knowledge -- Reciprocity: the nature and attributes of research relations and power -- (...) Epilogue: from dialectics to dialog across liminal spaces. (shrink)

We investigate the connection between $\triangle^1_3$-stability for random and Cohen forcing notions and the measurability and categoricity of the $\triangle^1_3$-sets. We show that Shelah's model for $\triangle^1_3$-measurability and categoricity satisfies $\triangle^1_3$-random-stability while it does not satisfy $\triangle^1_3$-Cohen-stability. This gives an example of measure-category asymmetry. We also present a result concerning finite support iterations of Suslin forcing.

The question of Palestine has remained the ultimate test for intellectual and political consistency. In this article we canvass the discrepancies between two opposing French intellectual traditions in relation to Palestine, and scrutinise them in relation to Israel's investments in political languages designed for external constituencies. The article concludes with an observation on how French feminist voices are today shaping the conversation about the Palestine question in progressive ways.

Trabajando sobre el género de ¿Historias de los Profetas¿ (Qis.as. al-Anbiya-¿) en el proceso de elaboración de mi tesis sobre Abraham en la literatura islámica, el profesor J. Sadan me envió un manuscrito que había localizado en la British Library relacionado con este género. Posteriormente encontré versiones similares de la misma composición, lo que me animó a profundizar mi investigación sobre sus orígenes. La obra está próxima a la literatura de predicación (wa¿z.), que se ocupa principalmente de la educación moral, (...) pero también incluye historias. Me planteé la posibilidad de que éste formarse un género que hubiera surgido como una ayuda, un material auxiliar concebido para entender la tradición oral y los estudios religiosos para, posteriormente, convertirse en un género independiente, más cercano a la Parénesis o al Specula Regis (Espejos de príncipes). Describiré el manuscrito para intentar alcanzar una conclusión sobre ciertas cuestiones: ¿es éste un género literario diferente?, ¿se trata de un género educativo o solamente es una versión simplificada de historias para ilustrar a niños o principiantes de la lengua árabe?, ¿buscaría el autor un nombre original para su compilación, haciendo referencia al reducido tamaño de la colección y descartando el de Qis.as. al-Anbiya-¿ por ser conocido? (shrink)

This article examines the importation of new gender ideals into a highly masculine organization through top-down and bottom-up processes. We analyze how a dominant group of men undo and redo gender to reproduce their supremacy and create a new, “improved” form of masculinity. Based on qualitative research on the practice of debriefing in the Israel Air Force, we explore how new practices of masculinity are incorporated into a hegemonic masculinity by introducing so-called “soft” organizational practices and thus constructing a new (...) form of “upgraded” masculinity. We show that pilots are involved in two continual and dialectical processes of performing masculinity. The first includes top-down practices neutralizing opportunities to execute exaggerated masculine performances, including new technologies allowing recording and documenting of all flights, a safety discourse emphasizing the protection of human life, and organizational learning based on self- and group critiques aimed at improved performance. The second, a bottom-up process enacted by pilots, is aimed at restoring and mobilizing masculinity and includes rationalized professionalism, competitiveness, and patronizing. Taken together, these constitute a hybrid, “upgraded” masculinity where “soft” characteristics are appropriated by men to reinforce a privileged status and reproduce their dominance within and outside the military. Our case study focuses on the debriefing, a process in which air teams formally reflect on their performance after a particular task/event to improve it. (shrink)

First Published in 1984. Routledge is an imprint of Taylor & Francis, an informa company.

1. Lo taḥamod. Lo titʼaṿeh. Lo taḥanifu. Isur genevat daʻat. Lo teḳalel. Lo tiḳom ṿe-lo tiṭor -- ḥeleḳ 2. Lo tiśna ṿa-ahavat le-reʻakha. Ahavat ha-ger -- ḥeleḳ 3. Onaʼat devarim. Hilkhot panim. Onaʼat ha-ger -- ḥeleḳ 4. Isur hakaʼah. Mitsṿot maʻaḳeh. Shemirat ha-guf -- ḥeleḳ 6. Kibud av ṿe-em. Kibud melamde ha-Torah ve-ḥakhameha. Kibud kohen.

Our sense of entitlement influences our interactions and attitudes in a range of specific relational contexts, one of them being aging parents’ relationships with their adult children. This study aimed to examine the factor structure of the Sense of Relational Entitlement—aging parents toward their offspring, an 11-item questionnaire that assesses aging people’s sense of relational entitlement toward their children, and examine the associations of its subscales with related personality and mental health constructs. One thousand and six participants, aged 65–99, with (...) at least one child, completed the SRE-ao, Brief Symptom Inventory, Loneliness Scale, and General Belongingness scale. The SRE-ao demonstrated good construct structure using confirmatory factor analysis. Both SRE-ao subscales were significantly and positively associated with anxiety, depression, somatization and sense of loneliness and negatively with sense of belonging. When all variables were entered into a regression model, age, anxiety, and low sense of belonging, but not sense of loneliness, positively predicted both restricted and inflated sense of entitlement. Somatization negatively predicted inflated sense of entitlement. The SRE-ao is a reliable and valid scale that can be used in clinical practice and research to enhance our understanding of parent–child relationships throughout the lifespan. (shrink)

[1] Shaʻar ha-biṭaḥon -- [2] Shaʻar yiḥud ha-maʼaśeh -- [3] Shaʻar ha-keniah --.

Just one damn thing after another Content Type Journal Article DOI 10.1007/s11016-010-9485-1 Authors Dean Rickles, Unit for History and Philosophy of Science, The University of Sydney, Sydney, NSW 2006, Australia Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

Claims concerning processes, claims of the form “xisφing”, have been the subject of renewed interest in recent years in the philosophy of action. However, this interest has frequently limited itself to noting certain formal features such claims have, and has not extended to a discussion of when they are true. This article argues that a claim of the form “xisφing” is true when what is happening withxis such that, if it is not interrupted, a φing will occur. It then applies (...) itself more directly to the case of action, arguing that when “xisφing” describesx's intentional action, it is true iffxis acting from a method she knows to be sufficient to φ, in the sense that if she is not interrupted in carrying out this method, she will φ. I use this criterion to argue that the carbon‐copier example Donald Davidson gives in “Intending” fails to refute Elizabeth Anscombe's claim that an agent who is φing intentionally knows that she is, because the agent in Davidson's example is not intentionally making the copies. (shrink)

The Calvinist view that man is predestined to be among the elect or the damned has profoundly influenced not only our views of criminals and deviants, but also the theoretical basis of correctional methods and psychotherapeutic techniques. In this provocative and original volume, Mordechai Rotenberg examines the impact of Protestant doctrine on Western theories of deviance. He explores the inherent contradiction between Protestant ethics, with its view of human nature as predestinated, and the "people-changing" sciences.Rotenberg presents empirical studies that (...) show how people's tendency to label themselves and others as deviant can be predicted on the basis of their exposure to Western socialization. He contrasts alienating individuals, the result of competitiveness and exaggerated independence fostered by socialization in Protestant societies, to the reciprocal individualism of Hassidic, Japanese, and other non-Western cultures. Examining the Protestant "bias" of Western behavioral sciences, Rotenberg examines modern theories of deviance and proposes alternative models. He compares traditional past-oriented insight therapy, grounded in Calvinist methods of introspection, self-torment, and conversion, with Hassidic notions of redemption and salvation."Rotenberg provides important historical and sociological insights into the intellectual origins of modern theories of deviance. His argument that Western behavioral science retains a Calvinist view of humanity will force most scholars to examine anew the assumptions and foundations of their own theories."--Gerald N. Grob, Rutgers University"A highly original work, which should be of great interest to anyone concerned with relevant behavior. It shows how macro-definitions in a society tend to lead people to think about themselves and their ills in certain ways--and thus to deviate in certain ways."--Richard A. Cloward, co-author, Regulating the Poor: The Functions of Public Welfare. (shrink)

Ariès traces Western man's attitudes toward mortality from the early medieval conception of death as the familiar collective destiny of the human race to the modern tendency, so pronounced in industrial societies, to hide death as if it were an embarrassing family secret.

Mordechai Rotenberg, who is well known for his work on the pessimistic impact of Protestant ethics on the Western social sciences, presents here a systematic study derived from, and based on, Judeo-Hasidic ethics. Proceeding from the cabalistic-Hasidic concept of contraction (tzimtsum), according to which God's voluntary withdrawal into Himself to evacuate space for the world serves as a model for human behavior, Professor Rotenberg shows that it is not personal-social construction, but self- and social contraction, that explains how the (...) "is" and the "ought" of society are developed and maintained. (shrink)

This remarkable book--the fruit of almost two decades of study--traces in compelling fashion the changes in Western attitudes toward death and dying from the earliest Christian times to the present day. A truly landmark study, The Hour of Our Death reveals a pattern of gradually developing evolutionary stages in our perceptions of life in relation to death, each stage representing a virtual redefinition of human nature. Starting at the very foundations of Western culture, the eminent historian Phillipe Aries shows how, (...) from Graeco-Roman times through the first ten centuries of the Common Era, death was too common to be frightening; each life was quietly subordinated to the community, which paid its respects and then moved on. Aries identifies the first major shift in attitude with the turn of the eleventh century when a sense of individuality began to rise and with it, profound consequences: death no longer meant merely the weakening of community, but rather the destruction of self. Hence the growing fear of the afterlife, new conceptions of the Last Judgment, and the first attempts (by Masses and other rituals) to guarantee a better life in the next world. In the 1500s attention shifted from the demise of the self to that of the loved one (as family supplants community), and by the nineteenth century death comes to be viewed as simply a staging post toward reunion in the hereafter. Finally, Aries shows why death has become such an unendurable truth in our own century--how it has been nearly banished from our daily lives--and points out what may be done to "re-tame" this secret terror. The richness of Aries's source material and investigative work is breathtaking. While exploring everything from churches, religious rituals, and graveyards (with their often macabre headstones and monuments), to wills and testaments, love letters, literature, paintings, diaries, town plans, crime and sanitation reports, and grave robbing complaints, Aries ranges across Europe to Russia on the one hand and to England and America on the other. As he sorts out the tangled mysteries of our accumulated terrors and beliefs, we come to understand the history--indeed the pathology--of our intellectual and psychological tensions in the face of death. (shrink)

Studies in Safed's kabbalistic-ethical literature in 16th century.

Hayek’s The Road to Serfdom has been interpreted as a general warning against state intervention in the economy.1 We review this argument in conjunction with Hayek’s later work and discern an institutional thesis about which forms of state intervention and economic institutions could threaten personal and political freedom. Economic institutions pose a threat if they allow for coercive interventions, as described by Hayek in The Constitution of Liberty: by giving someone the power to force others to serve one’s will by (...) threatening to inflict harm, in the absence of general rules of conduct. According to the logic of the argument, welfare-state provisions are not coercive insofar as they do not allow the identification and discriminatory treatment of individuals. By contrast, we claim that a structure of coercion is likely to emerge from the command-and-control nature of protectionist institutions and immigration restrictions currently advocated by the radical right. (shrink)

Well-Being and Death addresses philosophical questions about death and the good life: what makes a life go well? Is death bad for the one who dies? How is this possible if we go out of existence when we die? Is it worse to die as an infant or as a young adult? Is it bad for animals and fetuses to die? Can the dead be harmed? Is there any way to make death less bad for us? Ben Bradley defends the (...) following views: pleasure, rather than achievement or the satisfaction of desire, is what makes life go well; death is generally bad for its victim, in virtue of depriving the victim of more of a good life; death is bad for its victim at times after death, in particular at all those times at which the victim would have been living well; death is worse the earlier it occurs, and hence it is worse to die as an infant than as an adult; death is usually bad for animals and fetuses, in just the same way it is bad for adult humans; things that happen after someone has died cannot harm that person; the only sensible way to make death less bad is to live so long that no more good life is possible. (shrink)