Online research in philosophy

This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...) to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)

In this volume, the third in his classic series on art theory, Moshe Barasch traces the hidden patterns and interlocking themes in the study of art, from impressionism to abstract art. Barasch details the immense social changes in the creation, presentation, and reception of art which have set the history of art theory on a vertiginous new course: the decreased relevance of workshops and art schools; the replacement of the treatise by the critical review; and the emerging interrelationship between (...) scientific inquiry and artistic theory. The consequent changes in the ways in which critics as well as artists conceptualized paintings and sculptures were radical, marked by an obsession with intense sensory experiences, psychological reflection on the effects of art, and an attraction to the exotic and alien--making for the most exciting and fertile period in the history of art criticism. (shrink)

In this volume, the third in his classic series of texts surveying the history of art theory, Moshe Barasch traces the hidden patterns and interlocking themes in the study of art, from Impressionism to Abstract Art. Barasch details the immense social changes in the creation, presentation, and reception of art which have set the history of art theory on a vertiginous new course: the decreased relevance of workshops and art schools; the replacement of the treatise by the critical review; (...) and the interrelation of new modes of scientific inquiry with artistic theory and praxis. The consequent changes in the ways in which critics as well as artists conceptualized paintings and sculptures were radical, marked by an obsession with intense, immediate sensory experiences, psychological reflection on the effects of art, and a magnetic pull to the exotic and alien, making for the most exciting and fertile period in the history of art criticism. (shrink)

Abstract: An experiment is reported on the effects of a moral education programme in schools. Children were pretested on Kohlberg's index of level of moral thinking. The experimental group was then given twelve hours of discussion of moral problems other than those used in Kolhberg's test spread over twelve weeks. Subsequent testing showed that the experimental group had had tended to move towards a higher level of thinking when compared with controls.

The Babylonian Talmud, compiled from the 2nd to 7th centuries C.E., is the primary source for all subsequent Jewish laws. It is not written in apodeictic style, but rather as a discursive record of (real or imagined) legal (and other) arguments crossing a wide range of technical topics. Thus, it is not a simple matter to infer general methodological principles underlying the Talmudic approach to legal reasoning. Nevertheless, in this article, we propose a general principle that we believe helps to (...) explain the variety of methods used by the Rabbis of the Talmud for resolving uncertainty in matters of Jewish Law (henceforth: Halakhah). Such uncertainty might arise either if the facts of a case are clear but the relevant law is debatable or if the facts themselves are unclear. (shrink)

In his early teaching, from the 1920s through the 1950s, Yeshayahu Leibowitz (1903-1994) stands out as one of the most fascinating religious Zionist thinkers. He strives to establish a Jewish democratic state whose democratic aspects will be channeled toward the establishment of an exemplary society, one that can express its religious roots within a modern democratic context. Leibowitz thus attaches enormous importance to democracy in terms of both its political components and its modern Orthodox aspirations. In this respect, he is (...) the most radical spokesman of the Neo-Orthodox notion of Torah with Derekh Eretz , as translated into religious-Zionist terms. (shrink)

Contrary to the common view, this paper suggests that the Hippocratic oath does not directly refer to the controversial subjects of euthanasia and abortion. We interpret the oath in the context of establishing trust in medicine through departure from Pantagruelism. Pantagruelism is coined after Rabelais' classic novel Gargantua and Pantagruel. His satire about a wonder herb, Pantagruelion, is actually a sophisticated model of anti-medicine in which absence of independent moral values and of properly conducted research fashion a flagrant over-medicalization of (...) human problems. Ultimately this undermines the therapeutic core of medicine itself. We contend that PAS is a case of such over-medicalization and that its institution creates medicophobia. This article does not express an opinion about euthanasia in general. Rather, we claim that physicians should learn from the oath and from Rabelais that they should keep their practice to medical care and not to exploit their expertise and social privileges for the sake of ulterior motives, even when their patients desire those goals. (shrink)

Since the introduction of the imitation game by Turing in 1950 there has been much debate as to its validity in ascertaining machine intelligence. We wish herein to consider a different issue altogether: granted that a computing machine passes the Turing Test, thereby earning the label of ``Turing Chatterbox'', would it then be of any use (to us humans)? From the examination of scenarios, we conclude that when machines begin to participate in social transactions, unresolved issues of trust and responsibility (...) may well overshadow any raw reasoning ability they possess. (shrink)

In this paper, I seek to present the range of issues involved in the efforts of sixteenth-century kabbalists to understand the nature of selfhood, and the paths prescribed for the formation of an ideal life. I reflect on the mystical writings of Moshe Cordovero, Eliyahu de Vidas, and ayyim Vital—probing their conceptions of core identity, the polarity between body and soul, and the ethical guidance for a life well lived. In so doing, I consider the following additional themes, and (...) their relation to the matrix of self-formation and religious identity: reincarnation and rebirth; the virtue of humility and self-effacement; the cultivation of wisdom; ideals of piety and prophetic experience; asceticism; and the spiritual transcendence of desire. In presenting this wide range of constituent themes, I argue that sixteenth-century kabbalists understood the soul to be the ultimate marker of personal identity (nuanced and complicated by the doctrine of reincarnation), and that they formulated a vision of an ideal ethics in which the human being functions as an earthly vessel for the divine presence. What is more, the preparation of that vessel required a degree of humility so extreme that the attainment of ideal personhood ultimately involved the effacement of that very identity. (shrink)

We analyse and assess the qualified majority (QM) decision rule for the Council of Ministers of the EU, adopted at the Council of the European Union, Brussels, 23 June 2007. This rule is essentially the same as that adopted at the Inter-Governmental Conference, Brussels, 18 June 2004. We compare this rule with the QM rule prescribed in the Treaty of Nice, and the scientifically-based rule known as the ‘Jagelonian Compromise’.

The article calls for a departure from the common concept of autonomy in two significant ways: it argues for the supremacy of semantic understanding over procedure, and claims that clinicians are morally obliged to make a strong effort to persuade patients to accept medical advice. We interpret the value of autonomy as derived from the right persons have to respect, as agents who can argue, persuade and be persuaded in matters of utmost personal significance such as decisions about medical care. (...) Hence, autonomy should and could be respected only after such an attempt has been made. Understanding suffering to a significant degree is a prerequisite to sincere efforts of persuasion. It is claimed that a modified and pragmatic form of discourse is the necessary framework for understanding suffering and for compassionately interacting with the frail. (shrink)

In this account, we explain the meaning of a priori voting power and outline how it is measured. We distinguish two intuitive notions as to what voting power means, leading to two approaches to measuring it. We discuss some philosophical and pragmatic objections, according to which a priori (as distinct from actual) voting power is worthless or inapplicable.

Multinational corporations' (MNCs') international staffing policies have been evaluated in terms of cost and efficiency arguments. Research has not addressed, however, the ethical impact of these policies on diverse stakeholder groups. This paper presents a conceptual framework by which ethnocentric, polycentric and geocentric staffing policies are theoretically linked to underlying decision-making modes of instrumentality, bounded rationality and economic rationality, respectively. It goes on to describe the ethical rationales associated with each policy type, namely, distributive justice, moral rights of man, (...) and utilitarianism. An investigation of resulting ethical dilemmas affecting relevant MNC stakeholder groups is incorporated and offered as a tool for analyzing the true and full costs of trade-offs when choosing one policy over another. The paper concludes with a discussion of the implications of the conceptual framework for theory and practice and directions for future research. (shrink)

What is an inference rule? This question does not have a unique answer. One usually finds two distinct standard answers in the literature; validity inference $(\sigma \vdash_\mathrm{v} \varphi$ if for every substitution τ, the validity of τ [σ] entails the validity of τ[φ]), and truth inference $(\sigma \vdash_\mathrm{t} \varphi$ if for every substitution τ, the truth of τ[σ] entails the truth of τ[φ]). In this paper we introduce a general semantic framework that allows us to investigate the notion of inference (...) more carefully. Validity inference and truth inference are in some sense the extremal points in our framework. We investigate the relationship between various types of inference in our general framework, and consider the complexity of deciding if an inference rule is sound, in the context of a number of logics of interest: classical propositional logic, a nonstandard propositional logic, various propositional modal logics, and first-order logic. (shrink)

This article isolates ten prepositions, which constitute the undercurrent paradigm of contemporary discourse of health disease and medicine. Discussion of the interrelationship between those prepositions leads to a systematic refutation of this paradigm. An alternative set is being forwarded. The key notions of the existing paradigm are that health is the natural condition of humankind and that disease is a deviance from that nature. Natural things are harmonious and healthy while human made artifacts are coercive interference with natural balance. It (...) is suggested that the current paradigm is influenced by the world of finances and by instrumental reason. The alternative model suggests that human nature cannot be delineated. Humans fashion their own selves and nature by artificial means, medicine among them. The article discusses the implications of the paradigm adapted in various scholarly and popular debates such as the use of sex hormones for contraception, the care of the elderly, holistic medicine and distributive justice in health care. Medicine is not an isolated or a privileged realm. There is no unique entitlement to health care. It is always part of a broader agenda of social values and institutions. A open view of human societies, values and practices as they are situated within concrete material conditions is the platform required for an integrative and creative discourse of health care. (shrink)

Main Response Topics ? Introduction ? Open display and public evaluation ? Publicity versus patient privacy ? Facial tissue donation ? Validity of Louisville Instrument for Risk Acceptance ? Patients' understanding of risk ? Face versus hand transplantation ? Rejection rates/risks ? Patient compliance ? Exit strategy ? Functional recovery ? Societietal implications ? Psychological implications ? Conclusion: Uncertainty likely to persist.

In this note, we give a representation of distributive Ockham algebras via natural hom-functors. In order to do this, we describe two different structures (one algebraic, and the other order-topological) on the set of subsets of the natural numbers. The topological duality previously obtained by A. Urquhart is used throughout.

The potential use of stem cells in the treatment of a variety of human diseases has been a major driving force for embryonic stem cell research. Another productive area of research has been the use of human stem cells to reconstitute human organ systems in animals in an attempt to create new animal models for human diseases. However, the possibility of transplanting human embryonic brain cells or precursor brain cells into an animal fetus presents numerous ethical challenges. This paper examines, (...) from a Jewish perspective on human dignity, several bioethical concerns related to the reconstitution of animal brains with human neurons. (shrink)

In this paper, I have examined in some detail a number of examples of actual and potential consensus between Jewish ethics and the practice of modern psychotherapy, psychology, and psychiatry. Moreover, I have posited cpecific halakhic models which represent analogies to modern psychotherapeutic principles and practices, which through analogy lend specific halakhic guidelines to modern practice. The unitary halakhic approach presented here is thus both heuristic – in that it seeks to demonstrate the ways in which psychotherapeutic processes are essentially (...) halakhic ones – as well as practical. Through this approach, psychological theory and practice have been brought into intimate contact with the ethical requirements of the halakhically committed mental health practitioner and his or her patient, filling an inexcusable void in halakhic application to modern technology, and setting a direction for future work in this area. CiteULike Connotea Del.icio.us What's this? (shrink)

The present article is devoted to the problem which is debated actively to-day, namely whether Greek poleis and the Roman Republic were early states or they represented a specific type of stateless societies. In particular, Moshe Berent examines this problem by the example of Athens in his contribution to this volume. He arrives at the conclusion that Athens was a stateless society. However, I am of the opinion that this conclusion is wrong: and I believe that Athens and Rome (...) were early states. Therefore the present article is in many respects a direct discussion with Berent (as well as with other supporters of this idea). (shrink)

This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations.

Even conquerors who excelled in oppression, well beyond what Moshe Dayan is capable of doing, sat on thorns and scorpions in most conquered places until they were eradicated. Not to mention the total moral destruction prolonged occupation inflicts to the occupier. Even inevitable occupation is a corrupting occupation..

: Research in genomics, human cloning, and transgenic technology has challenged bioethicists and scientists to rethink the definition of human beings as a species. For example, should the definition incorporate a genetic criterion and how does the capacity to genetically engineer human beings affect the definition of our species? In considering these contemporary bioethical dilemmas, we revisit an ancient source, the Talmud, and highlight how it provides specific biological, cultural, and genetic criteria to define the human species.

We consider a singular event of the following form: in a simple voting game, a particular division of the voters resulted in a positive outcome. We propose a plausible measure that quantifies the causal contribution of any given voter to the outcome. This measure is based on a conceptual analysis due to Braham [1], but differs from his solution to the problem of measuring causality of singular events.

LS Penrose was the first to propose a measure of voting power (which later came to be known as ‘the [absolute] Banzhaf index’). His limit theorem – which is implicit in Penrose (1952) and for which he gave no rigorous proof – says that, in simple weighted voting games, if the number of voters increases indefinitely while the quota is pegged at half the total weight, then – under certain conditions – the ratio between the voting powers (as measured by (...) him) of any two voters converges to the ratio between their weights. We conjecture that the theorem holds, under rather general conditions, for large classes of variously defined weighted voting games, other values of the quota, and other measures of voting power. We provide proofs for some special cases. (shrink)

Transplantation continues to push the frontiers of medicine into domains that summon forth troublesome ethical questions. Looming on the frontier today is human facial transplantation. We develop criteria that, we maintain, must be satisfied in order to ethically undertake this as-yet-untried transplant procedure. We draw on the criteria advanced by Dr. Francis Moore in the late 1980s for introducing innovative procedures in transplant surgery. In addition to these we also insist that human face transplantation must meet all the ethical requirements (...) usually applied to health care research. We summarize the achievements of transplant surgery to date, focusing in particular on the safety and efficacy of immunosuppressive medications. We also emphasize the importance of risk/benefit assessments that take into account the physical, aesthetic, psychological, and social dimensions of facial disfiguration, reconstruction, and transplantation. Finally, we maintain that the time has come to move facial transplantation research into the clinical phase. (shrink)

L S Penrose’s Limit Theorem – which is implicit in Penrose [7, p. 72] and for which he gave no rigorous proof – says that, in simple weighted voting games, if the number of voters increases indefinitely and the relative quota is pegged, then – under certain conditions – the ratio between the voting powers of any two voters converges to the ratio between their weights. Lindner and Machover (...) [4] prove some special cases of Penrose’s Limit Theorem. They give a simple counter-example showing that the theorem does not hold in general even under the conditions assumed by Penrose; but they conjecture, in effect, that under rather general conditions it holds ‘almost always’ – that is with probability 1 – for large classes of weighted voting games, for various values of the quota, and with respect to several measures of voting power. We use simulation to test this conjecture. It is corroborated with respect to the Penrose–Banzhaf index for a quota of 50% but not for other values; with respect to the Shapley–Shubik index the conjecture is corroborated for all values of the quota (short of 100%). (shrink)

We analyse and evaluate the qualified majority (QM) decision rules for the Council of Ministers of the EU that are included in the Draft Constitution for Europe proposed by the European Convention [5]. We use a method similar to the one we used in [9] for the QM prescriptions made in the Treaty of Nice.

If K is an index of relative voting power for simple voting games, the bicameral postulate requires that the distribution of K -power within a voting assembly, as measured by the ratios of the powers of the voters, be independent of whether the assembly is viewed as a separate legislature or as one chamber of a bicameral system, provided that there are no voters common to both chambers. We argue that a reasonable index – if it is to be used (...) as a tool for analysing abstract, ‘uninhabited’ decision rules – should satisfy this postulate. We show that, among known indices, only the Banzhaf measure does so. Moreover, the Shapley–Shubik, Deegan–Packel and Johnston indices sometimes witness a reversal under these circumstances, with voter x ‘less powerful’ than y when measured in the simple voting game G1 , but ‘more powerful’ than y when G1 is ‘bicamerally joined’ with a second chamber G2 . Thus these three indices violate a weaker, and correspondingly more compelling, form of the bicameral postulate. It is also shown that these indices are not always co-monotonic with the Banzhaf index and that as a result they infringe another intuitively plausible condition – the price monotonicity condition. We discuss implications of these findings, in light of recent work showing that only the Shapley–Shubik index, among known measures, satisfies another compelling principle known as the bloc postulate. We also propose a distinction between two separate aspects of voting power: power as share in a fixed purse (P-power) and power as influence (I-power). (shrink)

At a conference, two engineering professors and a philosophy professor discussed the teaching of ethics in engineering and computer science. The panelists considered the integration of material on ethics into technical courses, the role of ethical theory in teaching applied ethics, the relationship between cases and codes of ethics, the enlisting of support of engineering faculty, the background needed to teach ethics, and the assessment of student outcomes. Several audience members contributed comments, particularly on teaching ethical theory and on student (...) assessment. (shrink)

9/11 has served as a wake-up call to the entire world.

In program synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system is open, then at each moment it reads input signals and writes output signals, which depend on the input signals and the history of the computation so far. The specification considers all possible input sequences. Thus, if the specification is linear, it should hold in every computation generated by the interaction, and if the specification is branching, it should hold in (...) the tree that embodies all possible input sequences. Often, the system cannot read all the input signals generated by its environment. For example, in a distributed setting, it might be that each process can read input signals of only part of the underlying processes. Then, we should transform a specification into a system whose output depends only on the readable parts of the input signals and the history of the computation. This is called synthesis with incomplete information. In this work we solve the problem of synthesis with incomplete information in its full generality. We consider linear and branching settings with complete and incomplete information. We claim that alternation is a suitable and helpful mechanism for coping with incomplete information. Using alternating tree automata, we show that incomplete information does not make the synthesis problem more complex, in both the linear and the branching paradigm. In particular, we prove that independently of the presence of incomplete information, the synthesis problems for CTL and CTL * are complete for EXPTIME and 2EXPTIME, respectively. (shrink)

We analyse and evaluate the qualified majority (QM) decision rule for the Council of Ministers of the EU adopted at the EU Inter-Governmental Conference, Brussels, 18 June 2004 [1]. We compare this rule with the QM rule prescribed in the Treaty of Nice, and the rule included in the original draft Constitution proposed by the European Convention in July 2003. We use a method similar to the one we used in [3] and [4].

We identify the computational complexity of the satisfiability problem for FO 2 , the fragment of first-order logic consisting of all relational first-order sentences with at most two distinct variables. Although this fragment was shown to be decidable a long time ago, the computational complexity of its decision problem has not been pinpointed so far. In 1975 Mortimer proved that FO 2 has the finite-model property, which means that if an FO 2 -sentence is satisfiable, then it has a finite (...) model. Moreover, Mortimer showed that every satisfiable FO 2 -sentence has a model whose size is at most doubly exponential in the size of the sentence. In this paper, we improve Mortimer's bound by one exponential and show that every satisfiable FO 2 -sentence has a model whose size is at most exponential in the size of the sentence. As a consequence, we establish that the satisfiability problem for FO 2 is NEXPTIME-complete. (shrink)

In the voting-power literature the rules of decision of the US Congress and the UN Security Council are widely misreported as though abstention amounts to a `no' vote. The hypothesis (proposed elsewhere) that this is due to a specific cause, theory-laden observation, is tested here by examining accounts of these rules in introductory textbooks on American Government and International Relations, where that putative cause does not apply. Our examination does not lead to a conclusive outcome regarding the hypothesis, but reveals (...) that the rules in question are also widely misreported in these textbooks. A second hypothesis---that the widespread misreporting is explicable by the relative rarity and unimportance of abstention in the two bodies concerned---is also tested and found to be untenable. (shrink)