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)

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)

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.

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)

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.

Abstract:This article sets out two central theses. Both theses primarily involve a fundamental criticism of current contractarian business ethics (CBE), but if these can be sustained, they also constitute two boundary conditions for any future contractarian theory of business ethics. The first, which I label the self-discipline thesis, claims that current CBE would gain considerably in focus if more attention were paid to the logic of the social contract argument. By this I mean the aims set by the theorist and (...) method of reasoning by which normative conclusions are drawn in the contract model. The second, to which I refer as the domain-specificity thesis, argues that current CBE needs to be better adapted to its field of application and the specific goals which it aims to establish. I will substantiate these two theses on the basis of a comparative analysis of CBE with two earlier families of social contract theories. (shrink)

行動経済学によって、さまざまに系統的な不合理さが見えてきた。手をかけることが高評価をもたらすIKEA効果、やる気をそいでいる高額ボーナス、自分で思いついた(と思わせられた)意見は好ましい、雑用は一気に 片づけるほうが楽...。行動経済学研究の第一人者が、わたしたちがなぜ、どのように不合理な行動をしてしまうのかをユニークな実験で紹介。わかりやすい数々の実例で経済の真の姿を解明し、よりよい決断へとつなげ る話題作。.

This article argues that standard causal and functionalist definitions of realization fail to account for the realization of entities that cannot be individuated in causal or functional terms. By modifying such definitions to require that realizers also logically suffice for any historical properties of the entities they realize, one can provide for the realization of entities whose resistance to causal/functional individuation stems from their possession of individuative historical properties. But if qualia cannot be causally or functionally individuated, then qualia can (...) be physically realized only if the thesis that all things are physical or physically realized is insufficient for physicalism. (shrink)

This paper first offers a standard modal extension of dialetheic logics that respect the normal semantics for negation and conjunction, in an attempt to adequately model absolutism, the thesis that there are true contradictions at metaphysically possible worlds. It is shown, however, that the modal extension has unsavoury consequences for both absolutism and dialetheism. While the logic commits the absolutist to dialetheism, it commits the dialetheist to the impossibility of the actual world. A new modal logic AV is then proposed (...) which avoids these unsavoury consequences by invalidating the interdefinability rules for the modal operators with the use of two valuation relations. However, while using AV carries no significant cost for the absolutist, the same isn't true for the dialetheist. Although using AV allows her to avoid the consequence that the actual world is an impossible world, it does so only on the condition that the dialetheist admits that she cannot give a dialetheic solution to all self-refe.. (shrink)

Chalmers’ meta-problem of consciousness is the problem of explaining “problem reports”; i.e. reports to the effect that phenomenal consciousness has the various features that give rise to the hard problem. Chalmers suggests that solving the meta-problem will likely “shed significant light on the hard problem.” Against this, I argue that work on the meta-problem will likely fail to make the hard problem any easier. For each of the main stances on the hard problem can provide an account of problem reports, (...) and we have no way of deciding which of these accounts gives the correct explanation of an individual’s problem reports without presupposing a stance on the hard problem. We thus cannot determine which of the available solutions to the meta-problem is correct without having already solved the hard problem. (shrink)

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