Indonesia's Islamic organizations sustain the country's thriving civil society, democracy, and reputation for tolerance amid diversity. Yet scholars poorly understand how these organizations envision the accommodation of religious difference. What does tolerance mean to the world's largest Islamic organizations? What are the implications for democracy in Indonesia and the broader Muslim world? Jeremy Menchik argues that answering these questions requires decoupling tolerance from liberalism and investigating the historical and political conditions that engender democratic values. Drawing on archival documents, (...) ethnographic observation, comparative political theory, and an original survey, Islam and Democracy in Indonesia demonstrates that Indonesia's Muslim leaders favor a democracy in which individual rights and group-differentiated rights converge within a system of legal pluralism, a vision at odds with American-style secular government but common in Africa, Asia and Eastern Europe. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

I have two main aims. The first is general, and more philosophical. The second is specific, and more closely related to physics. The first aim is to state my general views about laws and causation at different ”levels’. The main task is to understand how the higher levels sustain notions of law and causation that ”ride free’ of reductions to the lower level or levels. I endeavour to relate my views to those of other symposiasts. The second aim is to (...) give a framework for describing dynamics at different levels, emphasizing how the various levels’ dynamics can mesh or fail to mesh. This framework is essentially that of elementary dynamical systems theory. The main idea will be, for simplicity, to work with just two levels, dubbed ”micro’ and ”macro’, which are related by coarse-graining. I use this framework to describe, in part, the first four of Ellis’ five types of top-down causation. (shrink)

In Section 2, I survey some of the ways that computers are used in mathematics. These raise questions that seem to have a generally epistemological character, although they do not fall squarely under a traditional philosophical purview. The goal of this article is to try to articulate some of these questions more clearly, and assess the philosophical methods that may be brought to bear. In Section 3, I note that most of the issues can be classified under two headings: some (...) deal with the ability of computers to deliver appropriate “evidence” for mathematical assertions, a notion that is explored in Section 4, while others deal with the ability of computers to deliver appropriate mathematical “understanding,” a notion that is considered in Section 5. Final thoughts are provided in Section 6. (shrink)

Ernst Cassirer’s book Substanzbegriff und Funktionsbegriff is a difficult book for contemporary readers to understand. Its topic, the theory of concept formation, engages with debates and authors that are largely unknown today. And its “historical” style violates the philosophical standards of clarity first propounded by early analytic philosophers. Cassirer, for instance, never says explicitly what he means by “substance-concept” and “function-concept.” In this article, I answer three questions: Why did Cassirer choose to focus on the topic of concept formation? What (...) did Cassirer mean in contrasting “substance-concepts” and “function-concepts”? How does Cassirer’s polemic against traditional theories of concept formation lead to the distinctive philosophy of mathematics that he defends in the book? I argue that Cassirer’s contrast between substance-concepts and function-concepts includes a series of interrelated contrasts—contrasts that touch on issues in logic, metaphysics, epistemology, and the theory of objectivity. Cassirer’s defense of mathematical structuralism flows out of a progressively unfolding and intricate argument that begins with epistemological problems in the theory of concept formation. (shrink)

Frankfurt-type examples seem to show that agents can be morally responsible for their actions and omissions even if they could not have done otherwise. Fischer and Ravizza's influential account of moral responsibility is largely based on such examples. I examine a problem with their account of responsibility in cases where we fail to act. The solution to this problem has a surprising and far reaching implication concerning the construction of successful Frankfurt-type examples. I argue that the role of the counterfactual (...) intervener in such examples can only be filled by a rational agent. (shrink)

In a previous paper, we have proposed assigning as the value of a physical quantity in quantum theory, a certain kind of set (a sieve) of quantities that are functions of the given quantity. The motivation was in part physical---such a valuation illuminates the Kochen-Specker theorem; and in part mathematical---the valuation arises naturally in the topos theory of presheaves. This paper discusses the conceptual aspects of this proposal. We also undertake two other tasks. First, we explain how the proposed valuations (...) could arise much more generally than just in quantum physics; in particular, they arise as naturally in classical physics. Second, we give another motivation for such valuations (that applies equally to classical and quantum physics). This arises from applying to propositions about the values of physical quantities some general axioms governing partial truth for any kind of proposition. (shrink)

I show that locality, as it occurs in EPR arguments for the incompleteness of quantum mechanics, can be construed as causal independence understood in terms of Lewis' counterfactual analysis of causation. This construal has two benefits. It supplements recent analyses, which have not treated locality in detail. And it clarifies the relation between two EPR arguments that have recently been distinguished. It shows that the simpler of the two is more complex than has been thought; and that the other argument (...) does not need 'counterfactual definiteness'. (shrink)

Can there be `peaceful coexistence' between quantum theory and special relativity? Thirty years ago, Shimony hoped that isolating the culprit in proofs of Bell inequalities as Outcome Independence would secure such peaceful coexistence: or, if not secure it, at least show a way---maybe the best or only way---to secure it. In this paper, I begin by being sceptical of Shimony's approach, urging that we need a relativistic solution to the quantum measurement problem. Then I analyse Outcome Independence in Kent's realist (...) one-world Lorentz-invariant interpretation of quantum theory. Then I consider Shimony's other condition, Parameter Independence, both in Kent's proposal and more generally, in the light of recent remarkable theorems by Colbeck, Renner and Leegwater. For both Outcome Independence and Parameter Independence, there is a striking analogy with the situation in pilot-wave theory. Finally, I will suggest that these recent theorems make some kind of peaceful coexistence mandatory for someone who, like Shimony, endorses Parameter Independence. (shrink)

Understanding Torture surveys the massive literature surrounding torture, arguing that, once properly understood, there can be no defence of torture in any circumstances.

Although forgiveness is often taken to bear a close connection to the value of reconciliation, there is a good deal of scepticism about its role in situations where there is no consensus on the moral complexion of the past and no admission of guilt on the part of the perpetrator. This scepticism is typically rooted in the claims that forgiveness without perpetrator acknowledgement aggravates the risk of recidivism; yields a substandard and morally compromised form of political accommodation; and comes across (...) as patronizing and offensive to the recipient, thereby causing further alienation. In this article, my aim is to show, firstly, that none of these arguments is decisive and, secondly, that forgiveness is a suitable object of political concern in the absence of cross-community consensus on the rights and wrongs of a conflict. In this way, I aim to demonstrate that forgiveness deserves to be taken seriously as a means to civic reconciliation in a broader range of situations than many have allowed. (shrink)

In some games, the products of the probabilities times the payouts result in a series that is conditionally convergent, which means that the sum can vary based on the order in which the products are summed. The purpose of this paper is to address the question: How should such games be valued? We first show that, contrary to widespread belief, summing in the order determined by the mechanism of the game does not lead to the correct value. We then consider (...) other attempts to value such games. We suggest that games with conditionally convergent series are properly valued by summing the products in increasing order of the absolute values of the game’s payouts. (shrink)

We show that the theory ATR0 is equivalent to a second-order generalization of the theory $\widehat{ID}_{<\omega}$. As a result, ATR0 is conservative over $\widehat{ID}_{<\omega}$ for arithmetic sentences, though proofs in ATR0 can be much shorter than their $\widehat{ID}_{<\omega}$ counterparts.

We present a simple propositional proof system which consists of a single axiom schema and a single rule, and use this system to construct a sequence of combinatorial tautologies that, when added to any Frege system, p-simulates extended-Frege systems.

Hilbert’s program: • Formalize abstract, infinitary, nonconstructive mathematics. • Prove consistency using only finitary methods.

In 1985, van den Dries showed that the theory of the reals with a predicate for the integer powers of two admits quantifier elimination in an expanded language, and is hence decidable. He gave a model-theoretical argument, which provides no apparent bounds on the complexity of a decision procedure. We provide a syntactical argument that yields a procedure that is primitive recursive, although not elementary.

Abstract: This article considers how the formal structure of metaphysical thought is displayed in Oscar Wilde's Importance of Being Earnest . One frequent aim of metaphysics is to understand the world as a whole. We cannot gain such a global vantage point without separating ourselves from all the particular meanings things have for us within the world. But we start within the world, and so can only proceed on the basis of those particular meanings. Consequently we can only separate ourselves (...) from them if they work to cancel themselves in favor of the global understanding. When the separate range of meanings is established, however, it and the world it aims to understand no longer have any meaning for each other. Metaphysics therefore succeeds by establishing and canceling its relevant meaning, all at once. This self-canceling moment or process of thought constitutes a grasp of the world as a whole. It also allows different understandings of reality as a whole to recognize and so enter into dialogue with each other. The climactic moments of The Importance of Being Earnest are structured as a map of this insight-granting process of the self-cancellation of a global range of meanings. That is, they express the formal structure of metaphysical thought. (shrink)

The question of whether a liberal state ought to recognize same-sex marriage must be situated within a broader inquiry into the proper relationship between political liberalism and marriage simpliciter. This general inquiry invites a diverse set of responses to the narrower question.A first widely held view—call it thick marital egalitarianism—sees a straightforward link from central liberal values, such as neutrality, equality, and nondiscrimination, to the full and equal inclusion of all willing partnerships into the thickly constituted, state-defined institution of marriage. (...) A second very different account—call it thin marital egalitarianism—sees the liberal commitment to neutrality as requiring a minimal legal framework of support for caring relationships sans additional antecedent restrictions, such as those thickly defining their nature or their purpose . Finally, a third important view—call it liberal marital contractualism—holds that this kind of "minimal marriage" is not minimal enough; a liberal state ought to treat marriage as a primarily "private affair worked out between or among partners, with [its] involvement limited to the enforcement of general laws and particular contracts that are individually designed within a defensible system of contract law". (shrink)

Principles of legislation.--Principles of the civil code.--Principles of the penal code.

This essay takes—as its point of departure—Cavicchi’s (2006) argument that knowledge develops through experimentation, both in science and in educational settings. In attempting to support and extend her conclusions, which are drawn in part from the replication of some early tasks in the history of developmental psychology, the late realist-constructivist theory of Jean Piaget is presented and summarized. This is then turned back on the subjects of Cavicchi’s larger enquiry (education and science) to offer a firmer foundation for future debate. (...) Several of Piaget’s “forgotten works” are discussed; their theoretical contributions synthesized to form a single interdisciplinary, cross-pollinating narrative describing how it is that both children and scientists grow into the world. (In addition, translated excerpts from two related historical documents have been provided in an appendix, while detailed footnotes add further context and integrate the discussion with current advances in related fields.). (shrink)

This is a collection of eleven original essays in analytical philosophy by British and American philosophers, centering on the connection between mind and language. Two themes predominate: how it is that thoughts and sentences can represent the world; and what having a thought - a belief, for instance - involves. Developing from these themes are the questions: what does having a belief require of the believer, and of the way he or she relates to the environment? In particular, does having (...) a belief require speaking a language? The volume concludes the informal series stemming from the meetings sponsored by the Thyssen Foundation. (shrink)

This article is an investigation into G. E. M. Anscombe's suggestion that there can be cases where belief takes a personal object, through an examination of the role that the activity of teaching plays in Anscombe's discussion. By contrasting various kinds of ‘teachers’ that feature in her discussion, it is argued that the best way of understanding the idea of believing someone personally is to situate the relevant encounter within the social, conversational framework of ‘engaged reasoning’. Key features of this (...) framework are highlighted, and are used to characterise the distinctive kind of teaching and learning germane to Anscombe's suggestion. (shrink)

We investigate the entrepreneurial opportunities and ethical dilemmas presented by technological turbulence. More specifically we investigate the line between Baumol’s [J. Polit. Econ. 98 (1990) 893] productive (e.g. innovation), unproductive (e.g. rent seeking) and destructive (e.g. criminal) entrepreneurship through three examples of Internet innovation – spam (destructive), music file sharing (unproductive), and Internet pharmacies (potentially productive). The emergence of accessible Internet technologies, under present norms, has created the potential for all three entrepreneurial activities. Because of the propensity for self-serving biases (...) and for bending the rules, the need for creativity in overcoming obstacles and overall liabilities of newness, entrepreneurs are likely to challenge established industrial morals and laws. Unlike new entrants, incumbents must abide by the currently accepted norms, and thus suffer from “liabilities of oldness”. The challenge for new entrants is to change sociopolitical legitimacy, whereas incumbents need to defend the established norms. We discuss competitive and other issues that result from technological turbulence and innovation. (shrink)

This is an excellent book, by one of the philosophy of quantum theory's brightest stars. It combines a clear presentation of determinism, probability and non-locality in several current interpretations of quantum theory, with a good deal of detailed analysis, both reporting other people's and Dickson's own results, and developing his own ideas|which are often heterodox, but always well-defended and thought-provoking. The treatment is often concise, especially when reporting standard material or others' results. There are also frequent changes of gear; both (...) because the issues are complexly related to each other, and because Dickson sensibly does not aim for a de nitive treatment of issues that are at present so controversial|accordingly, he weaves about, not forcing his material into some single line of argument. So this is a monograph, not a textbook for teaching or a treatise summing up a conquered eld. But the style is clear and vigourous; the book is packed with information (sometimes about ancillary issues); and as we shall see, Dickson does have some provocative main claims, if not an overarching single line of argument. In this short space, I can only praise the book's general virtues and state some of the main claims. (shrink)

This article looks at the similarities and differences between Karl Marx’s theory of value and J.S. Mill’s theory of value, where value is synonymous with ‘utility’. It explores how the authors treated the spheres of use and exchange; possibilities of revolutionary social praxis under each of their philosophies; and their respective ability to endure in relevance for the contemporary social world. This article also analyzes their methodologies for achieving utility, focusing on the humanistic and mechanistic aspects of both Marxism and (...) utilitarianism. Connections between their logical aims are also made in the field of ethics. Epistemic considerations are taken into account when making a value judgement on their works, in that materialist philosophy sometimes melds with idealist philosophy in the works of both authors. Finally, an idea will be given as to who was the ‘better philosopher’ judging by consistency of means and ends. (shrink)

(No abstract is available for this citation).

Reeently, a man in Germany was put on trial for killing and consuming another German man. Disgust at this incident was exacerbated when the accused explained that he had placed an advertisement on the internet for someone to be slaughtered and eaten-and that his ‘vietim’ had answered this advertisement. In this paper, I will argue that this disturbing ease should not be seen as morally problematic. I will defend this view by arguing that (1) the so-called ‘vietim’ of this cannibalization (...) is not in fact a victim of murder, and that (2) there is nothing wrong with cannibalism. (shrink)

As the sciences of biotechnology, synthetic biology, and nanotechnology develop, questions about liability for harms caused by self-replicating inventions will arise increasingly often. Although negligence, nuisance, and other torts may be relevant in such circumstances, trespass may be the more appropriate cause of action. First, the author explores doctrinal hurdles facing plaintiffs alleging biotrespass. To overcome concerns about the metaphysicality of molecular biotrespass, the author draws analogies to “cybertrespass.” To confront the problem of suing patent licensors for the actions of (...) their licensees, the author makes reference to principles of landlord-tenant law. Well-established laws concerning wandering animals shed light on the policies underlying biotrespass. In the second part, the author examines such policies in further detail and considers the purpose of transporting property metaphors into bio/nanospace. The article concludes that biotrespass can be a viable cause of action, if crafted carefully and understood properly. (shrink)

New ubiquitous information and communication technologies, in particular recording-enabled smart devices and social media programs, are giving rise to a profound new power for ordinary people to monitor and track each other on a global scale. Along with this growing capacity to monitor one another is a new capacity to explicitly and publicly judge one another—to rate, rank, comment on, shame and humiliate each other through the net. Drawing upon warnings from Kierkegaard and Mill on the power of public opinion (...) to produce conformity, I argue a new apparatus of surveillance and control is being generated that threatens individual freedom through a coercion of the will by an anonymous and interconnected crowd. I conclude that we must urgently assess how to protect individuals from a social tyranny of the public enabled by these new technologies while effective measures can still be taken to mitigate their dangers. (shrink)

Kierkegaard claims that a certain kind of subjectivity (truthfulness) guarantees objectivity (truth). This paradox diminishes if we allow that he is concerned with the concept of truth involved in self?knowledge: ethical truth. Self?knowledge is an ethical concept, and close to the idea ?commitment to the truth?. Now this is analogous to the idea ?commitment to the Good?. And Kierkegaard claims also that a certain mode of willing guarantees its object's reality. This paradox diminishes if we reflect on the idea of (...) faith. For there is a certain way of life which can be understood only as expressing commitment to the Good. Commitment to the Good is a form of the commitment of true love, agape. Agape and knowledge are connected. Kierkegaard claims that agape ?believes all? but ?is never deceived?. For knowledge is only of possibilities: and so belief is a choice that is up to us. Belief and mistrust are the only fundamental relationships between persons. Of these only belief is a truly ethical commitment. Thus only within ?the ethical? can the ideas of self?knowledge and truthfulness retain their full scope and application. (shrink)