This article explores the relation between the concept of symmetry and its formalisms. The standard view among philosophers and physicists is that symmetry is completely formalized by mathematical groups. For some mathematicians however, the groupoid is a competing and more general formalism. An analysis of symmetry that justifies this extension has not been adequately spelled out. After a brief explication of how groups, equivalence, and symmetries classes are related, we show that, while it’s true in some instances that groups are (...) too restrictive, there are other instances for which the standard extension to groupoids is too un restrictive. The connection between groups and equivalence classes, when generalized to groupoids, suggests a middle ground between the two. *Received July 2007. †To contact the authors, please write to: Alexandre Guay, UFR Sciences et Techniques, Université de Bourgogne, 9 Avenue Alain Savary, 21078 Dijon Cedex, France; e‐mail: [email protected] ; or to Brian Hepburn, Department of Philosophy, University of British Columbia, 1866 Main Mall E370, Vancouver, BC, Canada V6T 1Z1; e‐mail: [email protected]. (shrink)

1. Overview and organizing themes 2. Historical Review: Aristotle to Mill 3. Logic of method and critical responses 3.1 Logical constructionism and Operationalism 3.2. H-D as a logic of confirmation 3.3. Popper and falsificationism 3.4 Meta-methodology and the end of method 4. Statistical methods for hypothesis testing 5. Method in Practice 5.1 Creative and exploratory practices 5.2 Computer methods and the ‘third way’ of doing science 6. Discourse on scientific method 6.1 “The scientific method” in science education and as seen (...) by scientists 6.2 Privileged methods and ‘gold standards’ 6.3 Scientific method in the court room 6.4 Deviating practices 7. Conclusion Bibliography Academic Tools Other Internet Resources Related Entries . (shrink)

Scientific Change How do scientific theories, concepts and methods change over time? Answers to this question have historical parts and philosophical parts. There can be descriptive accounts of the recorded differences over time of particular theories, concepts, and methods—what might be called the shape of scientific change. Many stories of scientific change attempt to give […].

In support of a recent conjecture by Nielsen (1999), we prove that the phenomena of ‘incomparable entanglement’— whereby, neither member of a pair of pure entangled states can be transformed into the other via local operations and classical communication (LOCC)—is a generic feature when the states at issue live in an infinite-dimensional Hilbert space.  2002 Elsevier Science B.V. All rights reserved.

I criticize Shimony's argument from the Transient Now (Shimony 1993) that the B-series view of time is inadequate but offer a reading of that argument that is more charitable than one offered and rejected by Eilstein (1996). Shimony's argument turns on putative phenomenological features of the Now (singularity and numerical identity) but transience only arises as a logical implication of those features. Transience is thus a second order phenomenon. If these two features are accurate then the B-series cannot provide a (...) complete account of the Now and Eilstein misses the role of Shimony's Phenomenological Principle (PP) in this regard. Holding a B-theoretic view then demands giving up the numerical identity of person-slices across time. (shrink)

Here is a phrase never uttered before: ”Euler’s philosophy of science.” Known as an extraordinary mathematician first, a mathematical physicist Known as an extraordinary mathematician first, a mathematical physicist second, but never really a physicist — not enough empirical cred — no one has considered whether Euler had a philosophy of science. Even his famed “Letters to a Princess” is described as a somewhat naive parroting of New- ton. But Euler is no Newtonian. His philosophy of science borrows from Leibniz, (...) a little from Descartes, but is best seen as continuous with the tradition of a Galilean interpre- tation of the world as consisting of interacting mechanisms, and the practice of letting the requirements of sound mechanical description and problem solving dictate metaphysics. (shrink)

A key theme in the historiographical work of Machamer has been the ways that motion is made intelligible through explanatory means of natural motion and models of the simple machines such as the lever and pendulum. One way of spelling out the explanatory value of these strategies is through the concept of equilibrium. Natural motion and simple machines allow the simplification of complex problems in terms of self-evident, intelligible equilibrium conditions. This chapter connects the theme of equilibrium and natural motion (...) across Machamer’s work on mechanisms and mechanical explanation, on Aristotle, Galileo, Descartes and Newton, and on the pendulum and mental models. Just as equilibrium can be found within science, it also becomes a model of intelligibility for doing history and philosophy of science: a normative but objective representation of the important properties of science. (shrink)

Euler’s ‘On the force of percussion and its true measure’, published in 1746, shows that not only had the issue of vis viva not been settled, but that the concepts of inertia and even force were still very much up for grabs. This paper details Euler’s treatment of the vis viva problem. Within those details we find differences between his physics and that of Newton, in particular the rejection of empty space and reduction of all forces to the operation of (...) inertia through contact. One can further see how Euler’s philosophy of science embraced explanation through mechanisms and equilibrium conditions.Keywords: Leonhard Euler; Vis viva; Equlibrium; Mechanics; Eighteenth century. (shrink)

An intuitive and appealing way to characterize problem solving is as the application of constraints which reduce the problem-solution space. Any advantage offered by interdisciplinary problem solving would then plausi- bly derive from the integration of constraints from the fields involved. We propose an account of interdisciplinary problem solving which treats the integration of constraints as an iterative process. Appealing to a general- ization of entity-activity dualism from mechanical explanation, we extend the accounts of Bechtel and of Craver to non-hierarchical, (...) non-life-science, interdisciplinary problem-solving. Integration of disciplines occurs at the level of fields and their explanatory frameworks. (shrink)

A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers (...) an up-to-date and reliable guide essential for the student. (shrink)

Drawing on the work of Jurgen Habermas, Seyla Benhabib has developed a system of communicative or discourse ethics. Her approach is said to respect differences and to count context as important but she also claims that it is postmetaphysical. I dispute this claim on two grounds. First, I argue that any system of ethics must be grounded by metaphysical commitments. Second, I show that in using elements of both Kantian and Aristotelian theory, Benhabib has imported metaphysical underpinnings into her theory (...) and that these implicit understandings of what the moral enterprise is about, ought to be made explicit. Finally, a brief exploration of some contemporary ethical reflection and problem solving suggests that a shared metaphysical foundation is essential to ethical discourse. (shrink)

All major western countries today contain groups that differ in their religious beliefs, customary practices or ideas about the right way in which to live. How should public policy respond to this diversity? In this important new work, Brian Barry challenges the currently orthodox answer and develops a powerful restatement of an egalitarian liberalism for the twenty-first century. Until recently it was assumed without much question that cultural diversity could best be accommodated by leaving cultural minorities free to associate (...) in pursuit of their distinctive ends within the limits imposed by a common framework of laws. This solution is rejected by an influential school of political theorists, among whom some of the best known are William Galston, Will Kymlicka, Bhikhu Parekh, Charles Taylor and Iris Marion Young. According to them, this 'difference-blind' conception of liberal equality fails to deliver either liberty or equal treatment. In its place, they propose that the state should 'recognize' group identities, by granting groups exemptions from certain laws, publicly 'affirming' their value, and by providing them with special privileges or subsidies. In Culture and Equality, Barry offers an incisive critique of these arguments and suggests that theorists of multiculturism tend to misdiagnose the problems of minority groups. Often, these are not rooted in culture, and multiculturalist policies may actually stand in the way of universalistic measures that would be genuinely beneficial. (shrink)

We live in a world of crowds and corporations, artworks and artifacts, legislatures and languages, money and markets. These are all social objects — they are made, at least in part, by people and by communities. But what exactly are these things? How are they made, and what is the role of people in making them? In The Ant Trap, Brian Epstein rewrites our understanding of the nature of the social world and the foundations of the social sciences. Epstein (...) explains and challenges the three prevailing traditions about how the social world is made. One tradition takes the social world to be built out of people, much as traffic is built out of cars. A second tradition also takes people to be the building blocks of the social world, but focuses on thoughts and attitudes we have toward one another. And a third tradition takes the social world to be a collective projection onto the physical world. Epstein shows that these share critical flaws. Most fundamentally, all three traditions overestimate the role of people in building the social world: they are overly anthropocentric. Epstein starts from scratch, bringing the resources of contemporary metaphysics to bear. In the place of traditional theories, he introduces a model based on a new distinction between the grounds and the anchors of social facts. Epstein illustrates the model with a study of the nature of law, and shows how to interpret the prevailing traditions about the social world. Then he turns to social groups, and to what it means for a group to take an action or have an intention. Contrary to the overwhelming consensus, these often depend on more than the actions and intentions of group members. (shrink)

Almost every country today contains adherents of different religions and different secular conceptions of the good life. Is there any alternative to a power struggle among them, leading most probably to either civil war or repression? The argument of this book is that justice as impartiality offers a solution. According to the theory of justice as impartiality, principles of justice are those principles that provide a reasonable basis for the unforced assent of those subject to them. The object of this (...) book is to set the theory out, explain its rationale, and respond to a variety of criticism that have been made of it. As the second volume of his work-in-progress, A Treatise on Social Justice, this work lies at the heart of a thriving academic debate which the author has played a key role in shaping. (shrink)

This essay investigates whether or not we should think that the things we say are identical to the things our sentences mean. It is argued that these theoretical notions should be distinguished, since assertoric content does not respect the compositionality principle. As a paradigmatic example, Kaplan's formal language LD is shown to exemplify a failure of compositionality. It is demonstrated that by respecting the theoretical distinction between the objects of assertion and compositional values certain conflicts between compositionality and contextualism are (...) avoided. This includes the conflict between eternalism and the semantics of tense, the embedding problems for contextualism about epistemic modals and taste claims, and the conflict between direct reference and the semantics of bound pronouns (and monstrous operators). After presenting the theoretical picture which distinguishes assertoric content from compositional semantic value, some objections to the picture are addressed. In so doing, the objection from King (2003) stemming from apparent complications with the interaction of temporal expressions and attitude reports is assessed and shown to be non-threatening. (shrink)

Aesthetic theories, like theories of morals, are roughly divisible into those that maintain an analytic neutrality and those that attempt to arrive at “first-order”, practical judgments. A philo sopher of language may confine the legitimate task of aesthetics to the clarification of talk about works of art and about the fashioning of works of art. But other aestheticians, perhaps a more numerous group, see their study as far more intimately related to art criticism, and as able, without the committing of (...) naturalistic or any other fallacies, to reach particular aesthetic value-judgments. Between these extreme positions lies a great diversity of theories which, while clearly differentiating aesthetics from art criticism, still carry practical implications of a general kind. The conceptual scaffolding into which they fit the art-forms, their notion of what is central to aesthetic experience and what peripheral, their account of artistic creativity-all these can be indirectly evaluative, can subtly influence and alter one's responses to actual aesthetic objects. (shrink)

Fr. Bernard Lonergan's writings have not so far received much discussion in British philosophical journals, although they contain one of the most fully-developed contemporary presentations of Catholic Christianity and have a substantial and distinctive philosophical content. They have not lacked theological commentators, both in print and in conferencediscussions. The present article has three aims: to draw attention to Lonergan's work and its philosophical relevance; to notice the publication of his latest book, Method in Theology, and to venture some critical comments (...) on certain arguments about the intelligibility of being, being and the good, and God, in his book Insight. These arguments are central to Lonergan's account of theism, a theism which, in its orthodox Roman Catholic form, is presupposed by Method in Theology. The books are organically interrelated. One admirer of Lonergan described the newer book as ‘the book [Lonergan] originally set out to write’. (shrink)

Kaplan (1989a) insists that natural languages do not contain displacing devices that operate on character—such displacing devices are called monsters. This thesis has recently faced various empirical challenges (e.g., Schlenker 2003; Anand and Nevins 2004). In this note, the thesis is challenged on grounds of a more theoretical nature. It is argued that the standard compositional semantics of variable binding employs monstrous operations. As a dramatic first example, Kaplan’s formal language, the Logic of Demonstratives, is shown to contain monsters. For (...) similar reasons, the orthodox lambda-calculus-based semantics for variable binding is argued to be monstrous. This technical point promises to provide some far-reaching implications for our understanding of semantic theory and content. The theoretical upshot of the discussion is at least threefold: (i) the Kaplanian thesis that “directly referential” terms are not shiftable/bindable is unmotivated, (ii) since monsters operate on something distinct from the assertoric content of their operands, we must distinguish ingredient sense from assertoric content (cf. Dummett 1973; Evans 1979; Stanley 1997), and (iii) since the case of variable binding provides a paradigm of semantic shift that differs from the other types, it is plausible to think that indexicals—which are standardly treated by means of the assignment function—might undergo the same kind of shift. (shrink)

All major western countries today contain groups that differ in their religious beliefs, customary practices or ideas about the right way in which to live. How should public policy respond to this diversity? In this important new work, Brian Barry challenges the currently orthodox answer and develops a powerful restatement of an egalitarian liberalism for the twenty-first century. Until recently it was assumed without much question that cultural diversity could best be accommodated by leaving cultural minorities free to associate (...) in pursuit of their distinctive ends within the limits imposed by a common framework of laws. This solution is rejected by an influential school of political theorists, among whom some of the best known are William Galston, Will Kymlicka, Bhikhu Parekh, Charles Taylor and Iris Marion Young. According to them, this 'difference-blind' conception of liberal equality fails to deliver either liberty or equal treatment. In its place, they propose that the state should 'recognize' group identities, by granting groups exemptions from certain laws, publicly 'affirming' their value, and by providing them with special privileges or subsidies. In Culture and Equality, Barry offers an incisive critique of these arguments and suggests that theorists of multiculturism tend to misdiagnose the problems of minority groups. Often, these are not rooted in culture, and multiculturalist policies may actually stand in the way of universalistic measures that would be genuinely beneficial. (shrink)

Social ontology is the study of the nature and properties of the social world. It is concerned with analyzing the various entities in the world that arise from social interaction. -/- A prominent topic in social ontology is the analysis of social groups. Do social groups exist at all? If so, what sorts of entities are they, and how are they created? Is a social group distinct from the collection of people who are its members, and if so, how is (...) it different? What sorts of properties do social groups have? Can they have beliefs or intentions? Can they perform actions? And if so, what does it take for a group to believe, intend, or act? -/- Other entities investigated in social ontology include money, corporations, institutions, property, social classes, races, genders, artifacts, artworks, language, and law. It is difficult to delineate a precise scope for the field (see section 2.1). In general, though, the entities explored in social ontology largely overlap with those that social scientists work on. A good deal of the work in social ontology takes place within the social sciences (see sections 5.1–5.8). -/- Social ontology also addresses more basic questions about the nature of the social world. One set of questions pertains to the constituents, or building blocks, of social things in general. For instance, some theories argue that social entities are built out of the psychological states of individual people, while others argue that they are built out of actions, and yet others that they are built out of practices. Still other theories deny that a distinction can even be made between the social and the non-social. -/- A different set of questions pertains to how social categories are constructed or set up. Are social categories and kinds produced by our attitudes? By our language? Are they produced by causal patterns? And is there just one way social categories are set up, or are there many varieties of social construction? -/- The term ‘social ontology’ has only come into wide currency in recent years, but the nature of the social has been a topic of inquiry since ancient Greece. As a whole, the field can be understood as a branch of metaphysics, the general inquiry into the nature of entities. (shrink)

This paper develops a new argument from consciousness to theism: the argument from psychophysical harmony. Roughly, psychophysical harmony consists in the fact that phenomenal states are correlated with physical states and with one another in strikingly fortunate ways. For example, phenomenal states are correlated with behavior and functioning that is justified or rationalized by those very phenomenal states, and phenomenal states are correlated with verbal reports and judgments that are made true by those very phenomenal states. We argue that psychophysical (...) harmony is strong evidence for theism (or, at least, strong evidence against atheism in its standard naturalistic form). (shrink)

This paper defends a non-reductive realist view of the sensible qualities—roughly, the view that the sensible qualities are really instantiated by the external objects of perception, and not reducible to response-independent physical properties or response-dependent relational properties. I begin by clarifying and motivating the non-reductive realist view. I then consider some familiar difficulties for the view. Addressing these difficulties leads to the development and defence of a general theory, inspired by Russellian Monist theories of consciousness, of how the sensible qualities (...) relate to physical reality. I conclude by showing how this theory, which I call ‘Secondary Quality Russellian Monism’, resolves the most significant difficulties for the non-reductive realist view of the sensible qualities. (shrink)

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

Introduction: From legal realism to naturalized jurisprudence -- A note on legal indeterminacy -- Part I. American legal realism and its critics -- Rethinking legal realism: toward a naturalized jurisprudence (1997) -- Legal realism and legal positivism reconsidered (2001) -- Is there an "American" jurisprudence? (1997) -- Postscript to Part I: Interpreting legal realism -- Part II. Ways of naturalizing jurisprudence -- Legal realism, hard positivism, and the limits of conceptual analysis (1998, 2001) -- Why Quine is not a postmodernist (...) (1997) -- Beyond the Hart/Dworkin debate: the methodology problem in jurisprudence (2003) -- Part III. Naturalism, morality, and objectivity -- Moral facts and best explanations (2001) -- Objectivity, morality, and adjudication (2001) -- Law and objectivity (2002). (shrink)

According to a familiar modern view, color and other so-called secondary qualities reside only in consciousness, not in the external physical world. Many have argued that this “Galilean” view is the source of the mind-body problem in its current form. This paper critically examines a radical alternative to the Galilean view, which has recently been defended or sympathetically discussed by several philosophers, a view I call “anti-modernism.” Anti-modernism holds, roughly, that the modern Galilean scientific image is incomplete – in particular, (...) it leaves out certain irreducible qualitative properties, such as colors – and that we can solve (or dissolve) the hard problem of consciousness by accepting these properties as objective features of the external physical world. I argue, first, that anti-modernism cannot fulfill its promise. Even if the outer world is resplendent with primitive colors, color experience remains a mystery. Second, I argue that the theoretical costs of accepting irreducible colors in the world are enormous. Even if irreducible colors in the world could dispel the mysteries surrounding consciousness, the theoretical benefit would not be worth the cost. If the problems of consciousness and color require that we posit irreducible properties somewhere, it would be far more plausible to accept irreducible phenomenal properties on the side of the subject, and to reject irreducible colors on the side of the object. (shrink)

Certain puzzling cases have been discussed in the literature recently which appear to support the thought that knowledge can be obtained by way of deduction from a falsehood; moreover, these cases put pressure, prima facie, on the thesis of counter closure for knowledge. We argue that the cases do not involve knowledge from falsehood; despite appearances, the false beliefs in the cases in question are causally, and therefore epistemologically, incidental, and knowledge is achieved despite falsehood. We also show that the (...) principle of counter closure, and the concomitant denial of knowledge from falsehood, is well motivated by considerations in epistemological theory--in particular, by the view that knowledge is first in the epistemological order of things. (shrink)

Brian Leftow offers a theist theory of necessity and possibility, and a new sort of argument for God's existence. He argues that necessities of logic and mathematics are determined by God's nature, but that it is events in God's mind - his imagination and choice - that account for necessary truths about concrete creatures.

A common framing has it that any adequate treatment of quotation has to abandon one of the following three principles: (i) The quoted expression is a syntactic constituent of the quote phrase; (ii) If two expressions are derived by applying the same syntactic rule to a sequence of synonymous expressions, then they are synonymous; (iii) The language contains synonymous but distinct expressions. In the following, a formal syntax and semantics will be provided for a quotational language which adheres to all (...) three principles. The point here is not merely to provide a “possibility proof”, but to reveal the hard constraints on the theory of quotation, and to highlight certain assumptions at the syntax/semantics/post-semantics interfaces. (shrink)