The issue of proper functioning of operative computing and the utility of program verification, both in general and of specific methods, has been discussed a lot. In many of those discussions, attempts have been made to take mathematics as a model of knowledge and certitude achieving, and accordingly infer about the suitable ways to handle computing. I shortly review three approaches to the subject, and then take a stance by considering social factors which affect the epistemic status of both mathematics (...) and computing. I use the analogy between mathematics and computing in reverse—that is to say, I consider operative computing as a form of making mathematics, and so attempt to learn from computing to mathematics in general. I conclude that mathematics engineering is a field to be both developed for practical improvement of doing mathematics and taken into consideration while philosophizing about mathematics as well. (shrink)
Moral philosophers are, among other things, in the business of constructing moral theories. And moral theories are, among other things, supposed to explain moral phenomena. Consequently, one’s views about the nature of moral explanation will influence the kinds of moral theories one is willing to countenance. Many moral philosophers are (explicitly or implicitly) committed to a deductive model of explanation. As I see it, this commitment lies at the heart of the current debate between moral particularists and moral generalists. In (...) this paper I argue that we have good reasons to give up this commitment. In fact, I show that an examination of the literature on scientific explanation reveals that we are used to, and comfortable with, non-deductive explanations in almost all areas of inquiry. As a result, I argue that we have reason to believe that moral explanations need not be grounded in exceptionless moral principles. (shrink)
In this essay I offer a new particularist reading of Aristotle’s Nicomachean Ethics. I argue that the interpretation I present not only helps us to resolve some puzzles about Aristotle’s goals and methods, but it also gives rise to a novel account of morality—an account that is both interesting and plausible in its own right. The goal of this paper is, in part, exegetical—that is, to figure out how to best understand the text of the Nicomachean Ethics. But this paper (...) also aims to contribute to the current exciting and controversial debate over particularism. By taking the first steps towards a comprehensive particularist reading of Aristotle’s Ethics I hope to demonstrate that some of the mistrust of particularism is misplaces and that what is, perhaps, the most influential moral theory in the history of philosophy is, arguably, a particularist moral theory. (shrink)
In this paper I assess the viability of a particularist explanation of moral knowledge. First, I consider two arguments by Sean McKeever and Michael Ridge that purport to show that a generalist, principle-based explanation of practical wisdom—understood as the ability to acquire moral knowledge in a wide range of situations—is superior to a particularist, non-principle-based account. I contend that both arguments are unsuccessful. Then, I propose a particularist-friendly explanation of knowledge of particular moral facts. I argue that when we are (...) careful to keep separate the various explanatory tasks at hand we can see that a particularist-friendly explanation of the fact that (e.g.,) Jane knows that A is morally right might not be so difficult to come by. Moreover, I suggest that a particularist approach to explaining knowledge of particular moral facts may go some way towards discharging the challenge of moral scepticism. (shrink)
What makes some acts morally right and others morally wrong? Traditionally, philosophers have thought that in order to answer this question we must find and formulate exceptionless moral principles—principles that capture all and only morally right actions. Utilitarianism and Kantianism are paradigmatic examples of such attempts. In recent years, however, there has been a growing interest in a novel approach—Particularism—although its precise content is still a matter of controversy. In this paper I develop and motivate a new formulation of particularism (...) as a research program and I show that my formulation is not vulnerable to the most common objections to particularism. Moreover, I argue that the particularist research program shows enough promise to warrant further exploration. (shrink)
Monists, pluralists, and particularists disagree about the structure of the best explanation of the rightness (wrongness) of actions. In this paper I argue that the availability of good moral advice gives us reason to prefer particularist theories and pluralist theories to monist theories. First, I identify two distinct roles of moral theorizing—explaining the rightness (wrongness) of actions, and providing moral advice—and I explain how these two roles are related. Next, I explain what monists, pluralists, and particularists disagree about. Finally, I (...) argue that particularists and pluralists are better situated than monists to explain why it is a good idea to think before we act, and that this gives us reason to favor particularism and pluralism over monism. (shrink)
Biological phenomena can be investigated at multiple levels, from the molecular to the cellular to the organismic to the ecological. In typical biology instruction, these levels have been segregated. Yet, it is by examining the connections between such levels that many phenomena in biology, and complex systems in general, are best explained. We describe a computation-based approach that enables students to investigate the connections between different biological levels. Using agent-based, embodied modeling tools, students model the microrules underlying a biological phenomenon (...) and observe the resultant aggregate dynamics. We describe 2 cases in which this approach was used. In both cases, students framed hypotheses, constructed multiagent models that incorporate these hypotheses, and tested these by running their models and observing the outcomes. Contrasting these cases against traditionally used, classical equation-based approaches, we argue that the embodied modeling approach connects more directly to students’ experience, enables extended investigations as well as deeper understanding, and enables “advanced” topics to be productively introduced into the high school curriculum. (shrink)
Theorizing in ecology and evolution often proceeds via the construction of multiple idealized models. To determine whether a theoretical result actually depends on core features of the models and is not an artifact of simplifying assumptions, theorists have developed the technique of robustness analysis, the examination of multiple models looking for common predictions. A striking example of robustness analysis in ecology is the discovery of the Volterra Principle, which describes the effect of general biocides in predator-prey systems. This paper details (...) the discovery of the Volterra Principle and the demonstration of its robustness. It considers the classical ecology literature on robustness and introduces two individual-based models of predation, which are used to further analyze the Volterra Principle. The paper also introduces a distinction between parameter robustness, structural robustness, and representational robustness, and demonstrates that the Volterra Principle exhibits all three kinds of robustness. *Received September 2006; revised May 2007. ‡Earlier versions of this paper were presented at the Australasian Association of Philosophy, the London School of Economics, and the University of Bristol. The authors wish to thank those audiences as well as Patrick Forber, Ken Waters, Deena Skolnick Weisberg, Uri Wilensky, and Bill Wimsatt for many helpful comments. Special thanks to Giacomo Sillari for his assistance in translating Volterra's original paper and his insightful thoughts about Volterra's aims and methods. Some of the research in this paper was supported by NSF grant SES-0620887 to MW. †To contact the authors, please write to: Michael Weisberg, Department of Philosophy, University of Pennsylvania, 433 Logan Hall, Philadelphia, PA 19104; e-mail: weisberg@phil.upenn.edu; Kenneth Reisman, Pluribo, Inc., 100 Park Avenue, Suite 1600, New York, NY 10017; e-mail: ken@pluribo.com. (shrink)
We examine a crucial question for the World Wide Web: What does a Uniform Resource Identifier (URI) mean? Crucial for the next-generation Semantic Web, can it refer to things outside web-pages? The Web is a universal information space for naming and accessing information via URIs. However, the classical philosophical problems of meaning and reference that have been the source of debate within the philosophy of language return when the Web is given as the foundation for a knowledge representation with the (...) Semantic Web. Debates on the Semantic Web about the meaning and referential status of a URI are explored as analogues to debates about the meaning and reference of names in the philosophy of language. Three main positions are inspected: the logical position, as exemplified by the descriptivist theory of reference, the direct reference position, as exemplified by Putnam and Kripke’s causal theory of reference, and a Wittgensteinian position that views URIs as a public language, as exemplified by Web search engines. These positions show that debates within the philosophy of language are alive and well on the Web, and so in the philosophy of computer science. (shrink)
Notice: This PDF version was distributed by request to members of the Friends of the SEP Society and by courtesy to SEP content contributors. It is solely for their fair use. Unauthorized distribution is prohibited. To learn how to join the Friends of the SEP Society and obtain authorized PDF versions of SEP entries, please visit https://leibniz.stanford.edu/friends/.
(DRAFT) We investigate the form of mathematical structuralism that acknowledges the existence of structures and their distinctive structural elements. This form of structuralism has been subject to recent criticisms, and our view is that the problems raised stem from the lack of proper, mathematics-free theoretical foundations. We attempt to provide such foundations and show that our foundations have consequences, in the form of theorems, that provide answers to the main questions and problems that have arisen in connection with this form (...) of structuralismn. Our solutions to the problems of structuralism are not developed piecemeal but rather justified by reference to a principled position. (shrink)
In this entry, the authors outline the goals of a "dynamic reference work", and explain how the Stanford Encyclopedia of Philosophy has been designed to achieve those goals.
This article deals with a set-theoretic interpretation of the Talmudic rules of General and Specific, known as Klal and Prat (KP), Prat and Klal (PK), Klal and Prat and Klal (KPK) and Prat and Klal and Prat (PKP).
Zionist national identity in Israel is today challenged by two mutuallyantagonistic alternatives: a liberal, secular, Post-Zionist civic identity, on the one hand, and ethnic, religious, Neo-Zionist nationalistic identity, on the other. The other, Zionist, hegemony contains an unsolvable tension between the national and the democratic facets of the state. The Post-Zionist trend seeks a relief of this tension by bracketing the nationalcharacter of the state, i.e., by separation of state and cultural community/ies; the Neo-Zionist trend seeks a relief of the (...) same tension by bracketing the democratic nature of the state, i.e., by consolidating the Jewish ethno-national character of the state. The focus of the study is upon two dimensions of this unfolding cultural-political strife: the conflicting perceptions of time and space, and the ways they affect the perceptions of the boundaries of the collectivity, either in an inclusionary manner (the ``post'') or in an exclusionary manner (the ``neo''). (shrink)
Any model of ZFC + GCH has a generic extension (made with a poset of size ℵ 2 ) in which the following hold: MA + 2 ℵ 0 = ℵ 2 +there exists a Δ 2 1 -well ordering of the reals. The proof consists in iterating posets designed to change at will the guessing properties of ladder systems on ω 1 . Therefore, the study of such ladders is a main concern of this article.
Assuming the existence of a supercompact cardinal, we construct a model of ZFC + (There exists a nonsplitting stationary subset of P | kappa(κ +) ). Answering a question of Uri Abraham [A], [A-S], we prove that adding a real to the world always makes P ℵ 1 (ℵ 2 ) - V stationary.
The class of stable posets is defined and investigated. We give a forcing construction of a universe of set theory which satisfies a weak form of Martin's Axiom and $2^{\aleph_0} > \aleph_1$ and yet some propositions which follow from CH hold in this universe.
The current study aims to examine how the intense emotions experienced by different Israeli groups during the 2006 Second Lebanon War affected their perceptions of risk. Two weeks after the end of the war, a questionnaire was distributed among 205 people. Some were from the north and had been directly affected by the rocket attacks; others were from the center of Israel. The questionnaires, based on Lerner et al. (2003), measured emotions and perceived risk. The results show significant differences between (...) those living in the north and those in the center of Israel. As expected, people living in the north reported more emotional difficulties during the war, greater perceived risk, and more pessimism in comparison to the center group. Moreover, the results point to significant differences between Israeli Jews and Israeli Arabs regarding emotions and perceived risk. In addition, the study results show a positive relation between anger and perceived risk. (shrink)
In the following pages we propose a theory on cognitive systems and the com-mon strategies of perception, which are at the basis of their function. We demon-strate that these strategies are easily seen to be in place in known cognitive sys-tems such as vision and language. Furthermore we show that taking these strat-egies into consideration implies a new outlook on immune function calling for a new appraisal of the immune system as a cognitive system.
For a stationary set $S \subseteq \omega_{1}$ and a ladder system C over S, a new type of gaps called C-Hausdorff is introduced and investigated. We describe a forcing model of ZFC in which, for some stationary set S, for every ladder C over S, every gap contains a subgap that is C-Hausdorff. But for every ladder E over \omega_{1} \ S$ there exists a gap with no subgap that is E-Hausdorff. A new type of chain condition, called polarized chain (...) condition, is introduced. We prove that the iteration with finite support of polarized c.c.c. posets is again a polarized c.c.c poset. (shrink)
We present a theoretical model and corresponding research design (Bronfenbrenner & Ceci 1994) that could yield stronger evidence for (or perhaps against) Howe et al.'s conclusions. The model assesses levels of heritability (h²) under different amounts of training and practice, thus providing estimates of the independent contribution of “innate talent” to the quality of development outcomes. The design can also reveal the extent to which this independent contribution varies systematically as a function of other influential factors identified by Howe et (...) al. (shrink)
The advent of the Web is one of the defining technological events of the twentieth century, yet its impact on the fundamental questions of philosophy has not yet been explored, much less systematized. The Web, as today implemented on the foundations of the Internet, is broadly construed as the space of all items of interest identified by URIs. Originally a space of linked hypertext documents, today the Web is rapidly evolving as a universal platform for data and computation. Even swifter (...) is the Web-driven transformation of many previously unquestioned philosophical concepts of privacy, belief, intelligence, cognition, and even embodiment in surprising ways. The ensuing essays in this collection hope to explore the philosophical foundation of the World Wide Web and open the debate on whether or not the changes caused by the Web to technology and society warrant the creation of a philosophy of the Web. (shrink)
Using web standards, such as uniform resource identifiers (URIs), XML and HTTP, for naming and describing resources which are not information objects is the key difference between the Web as we know it today and the Semantic Web. Naming and interlinking this type of resources by HTTP URIs (instead of individual constants in a formal language) is the key feature which distinguishes traditional knowledge representation from web-scale knowledge representation. However, this use of URIs brought back attention to the old philosophical (...) problem of identity and reference in a new form. In this paper, we analyze the new version of the problem, provide a formal model for dealing with it when interlinking knowledge on the Web, and argue for the need of a distinction between the use of URIs for describing and accessing resources, and the use of URIs for fixing the reference . We show that in the current practice of linking data these roles are not clearly distinguished, and that this fact may cause unwanted effects and prevent some basic forms of data integration. We also discuss the role of an entity name system as a potential piece of infrastructure for fixing the reference in the Semantic Web. (shrink)
