Takes readers into Homestead and Braddock, Pennsylvania; Lewiston, Maine; Matewan, West Virginia; and Flint, Michigan to focus on the strife caused by the departure of industry. Through words and photographs, this book explores the relationship between work, loss, and identity.

given at the 2007 Formal Epistemology Workshop at Carnegie Mellon June 2nd. Good compression must track higher vs lower probability of inputs, and this is one way to approach how simplicity tracks truth.

The most important and exciting recent development in the philosophy of science is its merging with the sociology of scientific knowledge. Here is the first text book to make this development available.

‘Generalists’ hold that conspiracy theories, as a class, have epistemic defects. Well confirmed theories that invoke conspiracies, such as the theory that the Nixon administration conspired to orchestrate the break in at the Democratic National Committee offices in the Watergate complex, on 17 June 1972, – the ‘Watergate theory’ – raise a problem for generalists as it’s hard to understand how such theories can have epistemic defects. The Watergate theory is often not considered a mere conspiracy theory, because it enjoys (...) ‘official theory’ status and in folk usage that means it is not a conspiracy theory. However, most people concede that the Watergate theory was a conspiracy theory before obtaining official status. So, appealing to folk usage does not make the problem go away. Recently however, several generalist scholars including, Cassam, Mandik, Thalman and Butter, have argued that theories invoking conspiracies that enjoy official status were never conspiracy theories. I’ll consider their reasoning and show where they go wrong. I’ll work with the examples of the Watergate theory and the ‘false flag’ theory of the Mountain Meadows massacre of 1857, which has it that this massacre of over 100 people was led by white Utahn Mormons disguised as Native Americans. (shrink)

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems, as well as numerous examples and exercises.

An exploration of the production, transmission, and mutation of affective tonality—when sound helps produce a bad vibe.

This volume explores Science & Technology Studies (STS) and its role in redrawing disciplinary boundaries. For scholars/grad students in rhetoric of science, science studies, philosophy & comm, English, sociology & knowledge mgmt.

Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, inspired (...) by the groupoid model of (intensional) Martin–Löf type theory [14] due to Hofmann and Streicher [9]. In particular, we show that a form of Martin–Löf type theory can be soundly modelled in any model category. This result indicates moreover that any model category has an associated “internal language” which is itself a form of Martin-Löf type theory. This suggests applications both to type theory and to homotopy theory. Because Martin–Löf type theory is, in one form or another, the theoretical basis for many of the computer proof assistants currently in use, such as Coq and Agda (cf. [3] and [5]), this promise of applications is of a practical, as well as theoretical, nature. This paper provides a precise indication of this connection between homotopy theory and logic; a more detailed discussion of these and further results will be given in [20]. (shrink)

Extant models of moral judgment assume that an action’s intentionality precedes assignments of blame. Knobe (2003b) challenged this fundamental order and proposed instead that the badness or blameworthiness of an action directs (and thus unduly biases) people’s intentionality judgments. His and other researchers’ studies suggested that blameworthy actions are considered intentional even when the agent lacks skill (e.g., killing somebody with a lucky shot) whereas equivalent neutral actions are not (e.g., luckily hitting a bull’s-eye). The present five studies offer an (...) alternative account of these provocative findings. We suggest that people see the morally significant action examined in previous studies (killing) as accomplished by a basic action (pressing the trigger) for which an unskilled agent still has sufficient skill. Studies 1 through 3 show that when this basic action is performed unskillfully or is absent, people are far less likely to view the killing as intentional, demonstrating that intentionality judgments, even about immoral actions, are guided by skill information. Studies 4 and 5 further show that a neutral action such as hitting the bull’s-eye is more difficult than killing and that difficult actions are less often judged intentional. When difficulty is held constant, people’s intentionality judgments are fully responsive to skill information regardless of moral valence. The present studies thus speak against the hypothesis of a moral evaluation bias in intentionality judgments and instead document people’s sensitivity to subtle features of human action. (shrink)

‘Academic rentiership’ is an economistic way of thinking about the familiar tendency for academic knowledge to consolidate into forms of expertise that exercise authority over the entire society. The feature that ‘rentiership’ high-lights is control over what can be accepted as a plausible knowledge claim, which I call ‘modal power’. This amounts to how the flow of information is channelled in society, with academic training and peer-reviewed research being the main institutional drivers. This paper begins by contextualizing rentiership in the (...) deeper issues surrounding ‘cognitive economy ’that lie at the heart of the Western philosophical tradition. The psychological phenomenon of the ‘Gestaltshift’ is used to illustrate various ways in which the flow of information can be channelled to enable or disable certain possible ways of regarding the world. Against this background, such familiar concepts from academic practice as ‘quality control’ and ‘plagiarism’ acquire a new look. Quality control aims to maintain rentiership, whereas plagiarism aims to undermine it. The second half of the paper is largely concerned with the historical swings back and forth between rentiership and anti-rentiership in academia. Rentiership’s decline is associated with corruption of its quality control processes, which reveals academia’s reliance on equally corrupt power elites in society. In addition, the introduction of new communication media over which academia cannot exert proprietary control also serves to open up the sphere of plausible knowledge claims. The ongoing Internet revolution is likely to permanently alter the terms on which academic rentiership will be possible in the future. (shrink)

A Brief History of Analytic Philosophy: From Russell to Rawls presents a comprehensive overview of the historical development of all major aspects of analytic philosophy, the dominant Anglo-American philosophical tradition in the twentieth century. Features coverage of all the major subject areas and figures in analytic philosophy - including Wittgenstein, Bertrand Russell, G.E. Moore, Gottlob Frege, Carnap, Quine, Davidson, Kripke, Putnam, and many others Contains explanatory background material to help make clear technical philosophical concepts Includes listings of suggested further readings (...) Written in a clear, direct style that presupposes little previous knowledge of philosophy. (shrink)

This paper outlines the moral contours of human relationships with companion animals. The paper details three sources of duties to and regarding companion animals: (1) from the animal’s status as property, (2) from the animal’s position in relationships of care, love, and dependency, and (3) from the animal’s status as a sentient being with a good of its own. These three sources of duties supplement one another and not only differentiate relationships with companion animals from wild animals and other categories (...) of domestic animals such as livestock, but they also overlap to provide moral agents with additional reasons for preventing and avoiding harm to companion animals. The paper concludes that not only do owners and bystanders have direct and indirect duties to protect companion animals from harm, but also that these duties have the potential, in some circumstances, to clash with duties owed to the state and fellow citizens. (shrink)

Christian Quast has presented what he describes as a ‘role-functional’ account of expertise as a form of knowledge that purports to take into account prior discussions within recent analytic social epistemology and allied fields. I argue that his scrupulousness results in a confused version of the role-functional account, which I try to remedy by presenting a ‘clean’ account that clearly distinguishes such an account from what Quast calls a ‘competence-driven’ one. The key point of my account is that ‘competence’ pertains (...) to knowledge in closed systems and ‘expertise’ in open systems. I observe that the invocation of ‘reliability’ as an epistemic standard simply serves to confuse the difference between the competence-driven and role-functional accounts. (shrink)

The primary goal of this paper is not to argue for the “influence” of Cassirer, but rather to make known the reception of Cassirer in Japanese philosophy, illustrate the interconnection between Cassirer’s critique of culture and that of Japanese philosophy, and hopefully spark interest in what might be a fruitful dialog between Cassirer scholars and those working in Japanese philosophy. Historically, the paper defines Japanese philosophy and makes known its engagement with Western philosophy and the Marburg school of neo-Kantianism and (...) its project of a critique of culture during its own self-development. Systematically, the paper points to the possible interconnection between Cassirer’s critique of culture and that of Japanese philosophy and makes the case for a mutually productive dialog between Cassirer scholars and those working in Japanese philosophy. Implicitly, the paper attempted to show that an engagement with Japanese philosophy from the perspective of a critique of culture forces us to question the Western dichotomy between philosophy and religion and the importance of this for the further development of a non-Eurocentric critique of culture. And by extension, that a critique of culture must be cognitive of the historicity of the culture from which it speaks. (shrink)

While powers and tendencies are among the most fundamen- tal concepts of critical realism, there are several problems with these concepts that have been ignored, avoided or glossed. The purpose of this paper, therefore, is to tease out these problems and provide clarification and consistency where possible. In the first section of the paper I sketch the existing critical realist conceptualization of tendencies by identifying eight distinct moments in a causal chain, denoted tendency1 to tendency8. In section two I ask: (...) Is there a difference between powers and tendencies? The answer, controversially perhaps, is: ‘No’. In section three I ask: What is the difference between tendency1 and tendency2? The answer considers two possible arguments accounting for the difference, and initiates a re-think of some of the terminology used to discuss tendencies as distinct moments in a causal chain. I conclude by raising the possibility that tendencies or powers are not of an either/or, discrete, dichotomous or discontinuous nature, but are continuous. This raises the further possibility that powers or tendencies can come in stronger and weaker forms. (shrink)

Whilst the concept of causal powers is central to much post-positivist social science in general, and to critical realism in particular, it has not been significantly developed by critical realists since the initial work of Harré and Madden and Bhaskar in the mid-1970s. To deepen our understanding of powers we need to start with a ‘package’ of related terms. In §1 of the paper I introduce this package, clear up some terminological ambiguity and inconsistency, and focus the discussion upon things, (...) properties and powers. The real problems begin when we try to figure out how things, properties and powers relate to one another. In §2 I introduce and evaluate three possible ontologies: an ontology where powers are primary; an ontology where properties are primary; and an ontology where neither properties, powers are primary, but all emerge to form a unity. The last ontology is defended. §3 deals with ambiguities surrounding three other terms that often crop up when discussing powers, namely, dispositional properties, transfactuals and processes. The net result is a far less ambiguous concept of powers, firmly anchored in an ontology of things, properties and powers as a unity. (shrink)

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo—Fraenkel set theory (IZF). (shrink)

This paper is a study of four subscripted Gentzen systems G u R +, G u T +, G u RW + and G u TW +. [16] shows that the first three are equivalent to the semilattice relevant logics u R +, u T + and u RW + and conjectures that G u TW + is, equivalent to u TW +. Here we prove Cut Theorems for these systems, and then show that modus ponens is admissible — which (...) is not so trivial as one normally expects. Finally, we give decision procedures for the contractionless systems, G u TW + and G u RW +. (shrink)

The phenomenon of anthropogenic climate change—in which weather patterns and attendant ecological disruption result from increasing concentrations of greenhouse gases released into the atmosphere through human activities—challenges several conventional assumptions regarding moral responsibility. Multifarious individual acts and choices contribute (often imperceptibly) to the causal chain that is expected to produce profound and lasting harm unless significant mitigation efforts begin soon. Attributing responsibility for such harmful consequences is complicated by what Derek Parfit terms “mistakes in moral mathematics,” or failures to correctly (...) assess the various individual contributions to collectively produced harm. Combined with the difficulties in attributingresponsibility to agents for spatially and temporally distant harmful effects and that of holding agents culpable for effects (resulting from socially-acceptable acts) about which they may be ignorant, this paper attempts to sort out several ethical problems surrounding the identification of responsible parties contributing to climate change. (shrink)

Brierley et al argue that in cases where it is medically futile to continue providing life-sustaining therapies to children in intensive care, medical professionals should be allowed to withdraw such therapies, even when the parents of these children believe that there is a chance of a miracle cure taking place. In reasoning this way, Brierley et al appear to implicitly assume that miracle cures will never take place, but they do not justify this assumption and it would be very difficult (...) for them to do so. Instead of seeking to override the wishes of parents, who are waiting for a miracle, it is suggested that a better response may be to seek to engage devout parents on their own terms, and encourage them to think about whether or not continuing life-sustaining therapies will make it more likely that a miracle cure will occur. (shrink)

Based on an original ethnographic study of a translational cancer research institute in the United States, we propose calibration as a process that makes interdisciplinary collaboration without consensus possible. Calibration refers to ongoing, day-to-day negotiation and alignment of personal identities, disciplinary commitments, and research group customs that occur during face-to-face group deliberations around everyday research concerns. Calibration provides a mechanism that explains how collaboration without consensus is possible. Crucially, it does not presuppose that interdisciplinary collaboration either indicates or causes the (...) blurring or softening of disciplinary boundaries. We argue that at the microsociological level it may be disciplinary robustness, rather than synthesis, that contributes to interdisciplinary innovation. (shrink)

The complexity that we observe in nature can often be explained in terms of cooperative behavior. For example, the major transitions of evolution required the emergence of cooperation among the lower-level units of selection, which led to specialization through division-of-labor ultimately resulting in spontaneous order. There are two aspects to address explaining how such cooperation is sustained: how free-riders are prevented from free-riding on the benefits of cooperative tasks, and just as importantly, how those social benefits arise. We review these (...) problems from an economic perspective, and highlight how ideas from economics can help us to better understand how the benefits of social interactions arise, how they are sustained, and how they affect the underlying social dilemmas. (shrink)

Richard Rorty's recent death has unleashed a strikingly mixed judgment of his philosophical legacy, ranging from claims to originality to charges of charlatanry. What is clear, however, is Rorty's role in articulating a distinctive American voice in the history of philosophy. He achieved this not only through his own wide-ranging contributions but also by repositioning the pragmatists, especially William James and John Dewey, in the philosophical mainstream. Rorty did for the United States what Hegel and Heidegger had done for Germany—to (...) portray his nation as philosophy's final resting place. He was helped by postwar German philosophers like Jürgen Habermas who were happy to defer to their American conquerors. Rorty's philosophical method can be understood as a sublimation of America's world-historic self-understanding: a place suspicious of foreigners unless they are willing to blend into the "melting pot." In retrospect, the breadth and confidence of Rorty's writing will come to symbolize the moment when the United States, for better or worse, came to be the world's dominant philosophical power. Key Words: Rorty • pragmatism • logical positivism • analytic philosophy. (shrink)

This article introduces a set of articles written by Russian social epistemologists and science and technology studies scholars based on research conducted in the first major Russian Academy funded project on science and technology studies. Most of the articles take off from Peter Galison’s concept of scientific ‘trading zones’. However, the author develops a theme found in Ilya Kasavin’s article on ‘science as gift’, which is designed to transcend both ‘capitalistic’ and ‘communistic’ conceptions of science. However, the resulting political economy (...) of science as gift – albeit quite recognizable – resembles the practice of extortion in mutual protection rackets; hence, the ‘offer too good to refuse’.. (shrink)

A Cantor series expansion for a real number x with respect to a basic sequence $Q=(q_1,q_2,\dots )$, where $q_i \geq 2$, is a generalization of the base b expansion to an infinite sequence of bases. Ki and Linton in 1994 showed that for ordinary base b expansions the set of normal numbers is a $\boldsymbol {\Pi }^0_3$ -complete set, establishing the exact complexity of this set. In the case of Cantor series there are three natural notions of normality: normality, ratio (...) normality, and distribution normality. These notions are equivalent for base b expansions, but not for more general Cantor series expansions. We show that for any basic sequence the set of distribution normal numbers is $\boldsymbol {\Pi }^0_3$ -complete, and if Q is $1$ -divergent then the sets of normal and ratio normal numbers are $\boldsymbol {\Pi }^0_3$ -complete. We further show that all five non-trivial differences of these sets are $D_2(\boldsymbol {\Pi }^0_3)$ -complete if $\lim _i q_i=\infty $ and Q is $1$ -divergent. This shows that except for the trivial containment that every normal number is ratio normal, these three notions are as independent as possible. (shrink)

Ross & Spurrett (R&S) appear convinced that the world must have a unified ontological structure. This conviction is difficult to reconcile with a commitment to mainstream realism, which involves allowing that the world may be ontologically disunified. R&S should follow Kitcher by weakening their conception of unification so as to allow for the possibility of ontological disunity.

In lieu of an abstract, here is a brief excerpt of the content:Logic of the SiteAlain Badiou (bio)Translated by Steve Corcoran (bio) and Bruno Bosteels (bio)The Commune Is a Site 1. Ontology of the CommuneTake any world whatsoever. A multiple that is an object of this world—whose elements are indexed by the transcendental of this world—is a site, if it happens to count itself within the referential field of its own indexation. Or again: a site is a multiple that (...) happens to behave in the world with regard to itself as with regard to its elements, in such a way as to be the support of being of its own appearance.Even if the idea is still obscure, we can begin to see its content: a site is a singularity, because it convokes its being in the appearing of its own multiple composition. It makes itself, in the world, the being-there of its being. Among other consequences, the site gives itself an intensity of existence. A site is a being that happens to exist by itself.We will ask: can we give a more concrete idea of what a site is? Is there a site?Let us consider the world "Paris at the end of the Franco-Prussian War of 1870." We are in the month of March 1871. After a semblance of resistance, and shot through with fear of revolutionary and worker Paris, the interim government of bourgeois "Republicans" capitulates to Bismarck's Prussians. In order to consolidate this political "victory"—very comparable to Petain's reactionary revenge in 1940 (where preferring an arrangement with the external enemy to exposure to the internal enemy)—it has an assembly with a royalist majority hastily elected by a frightened rural world, an assembly that sits in Bordeaux.Led by Thiers, the government hopes to take advantage of the circumstances to annihilate the political capacity of the workers. But on the Parisian front, the proletariat is armed in the form of a National Guard, owing to its having been mobilized during the siege on Paris. In theory the Parisian proletariat has many hundreds of cannons at its disposition. The "military" organism of the Parisians is the Central Committee, at which assemble the delegates of the various battalions of the National Guard, battalions [End Page 141] that are in turn linked to the great working-class quartiers of Paris—Montmartre, Belleville, and so forth.Thus we have a divided world whose logical organization—what in philosophical jargon could be called its transcendental organisation—reconciles intensities of political existence according to two sets of antagonistic criteria. Concerning the representative, electoral, and legal dispositions, one cannot but observe the preeminence of the Assembly of traditionalist Rurals,1 Thiers's capitulard government, and the officers of the regular army, who, having been licked without much of a fight by the Prussian soldiers, dream of doing battle with the Parisian workers. That is where the power is, especially as it is the only power recognized by the occupier. On the side of resistance, political intervention, and French revolutionary history, there is the fecund disorder of Parisian worker organizations, which intermingles with the Central Committee of the twenty quartiers, the Federation of Syndicate Chambers, a few members of the International, local military committees. In truth, the historical consistency of this world, which had been separated and disbanded [délié] owing to the war, is held together only by the majority conviction that no kind of worker capability for government exists. For the vast majority of people, including often the workers themselves, the politicized workers of Paris are simply incomprehensible. These workers are the inexistent aspect [l'inexistant propre] of the term "political capacity" in the uncertain world of the spring of 1871. But for the bourgeoisie they are still too existent, at least physically. The government receives threats from the stock exchange of this sort: "You will never have financial operations if you do not get rid of these reprobates." First up then, an imperative task, and a seemingly easy one to carry out: disarm the workers and, in particular, recuperate the cannons spread throughout working-class Paris by the military committees of the National Guard. It is this initiative that will make... (shrink)

William Lynch has persistently questioned the politics underlying my appeal to science and technology studies’ flagship symmetry principle. He believes that it licenses the worst features of the ‘post-truth condition’. I respond in two parts, the first facing the future and the second facing the past. In the first part, I argue that the symmetry principle will be crucial in decisions that society will increasingly need to make concerning the inclusion of animals and machines on grounds of sentience, consciousness, intelligence, (...) etc. In the second part, I argue that the symmetry principle has been in fact at the core of the ‘justice as fairness’ idea that has been at the core of both liberal and socialist democracies. Difficulties start once the means of expression and communication are made widely available and the standards of fairness are subject to continual questioning and renegotiation. (shrink)