Using the framework of categorical logic, this paper analyzes and streamlines Gabbay's semantical proof of the Craig interpolation theorem for intuitionistic predicate logic. In the process, an apparently new and interesting fact about the relation of coherent and intuitionistic logic is found.

Let C be a small Barr-exact category, Reg the category of all regular functors from C to the category of small sets. A form of M. Barr's full embedding theorem states that the evaluation functor e : C →[Reg, Set ] is full and faithful. We prove that the essential image of e consists of the functors that preserve all small products and filtered colimits. The concept of κ-Barr-exact category is introduced, for κ any infinite regular cardinal, and the natural (...) generalization to κ-Barr-exact categories of the above result is proved. The treatment combines methods of model theory and category theory. Some applications to module categories are given. (shrink)

We use a fundamental theorem of Vaught, called the covering theorem in [V] (cf. theorem 0.1 below) as well as a generalization of it (cf. Theorem $0.1^\ast$ below) to derive several known and a few new results related to the logic $L_{\omega_1\omega}$. Among others, we prove that if every countable model in a $PC_{\omega_1\omega}$ class has only countably many automorphisms, then the class has either $\leq\aleph_0$ or exactly $2^{\aleph_0}$ nonisomorphic countable members (cf. Theorem $4.3^\ast$) and that the class of countable (...) saturated structures of a sufficiently large countable similarity type is not $PC_{\omega_1\omega}$ among countable structures (cf. Theorem 5.2). We also give a simple proof of the Lachlan-Sacks theorem on bounds of Morley ranks ($\s 7$). (shrink)

We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories (those where, in a precise sense, the cellular morphisms are generated by a set) are exactly those that give rise to stable independence notions. We give two applications: on the one hand, we show that the abstract elementary classes of roots of Ext studied by Baldwin–Eklof–Trlifaj are stable (...) and tame. On the other hand, we give a simpler proof (in a special case) that combinatorial categories are closed under 2-limits, a theorem of Makkai and Rosický. (shrink)

The first part of this paper argues that if Craver’s ([2007a], [2007b]) popular mutual manipulability account (MM) of mechanistic constitution is embedded within Woodward’s ([2003]) interventionist theory of causation--for which it is explicitly designed--it either undermines the mechanistic research paradigm by entailing that there do not exist relationships of constitutive relevance or it gives rise to the unwanted consequence that constitution is a form of causation. The second part shows how Woodward’s theory can be adapted in such a way that (...) (MM) neither undermines the mechanistic paradigm nor reduces constitution to causation. However, it turns out that this modified theoretical embedding of (MM) makes it impossible to produce empirical evidence for constitutive relations. The paper ends by suggesting an additional criterion, the fat-handedness criterion, which, when combined with (MM), generates indirect empirical evidence for constitutive relevance. (shrink)

Inspired by the work of Wilfrid Sellars, Michael Williams launches an all-out attack on what he calls "phenomenalism," the idea that our knowledge of the world rests on a perceptual or experiential foundation.

"Cover " -- "Title Page " -- "Copyright " -- "Dedication" -- "Contents" -- "Introduction: Moral Globalization and Its Discontents" -- "1. Jackson Heights, New York: Diversity Plaza" -- "2. Los Angeles: The Moral Operating Systems of Global Cities" -- "3. Rio de Janeiro: Order, Corruption, and Public Trust" -- "4. Bosnia: War and Reconciliation" -- "5. Myanmar: The Politics of Moral Narrative" -- "6. Fukushima: Resilience and the Unimaginable" -- "7. South Africa: After the Rainbow" -- "Conclusion: Human Rights, (...) Global Ethics, and the Ordinary Virtues" -- "Notes" -- "Acknowledgments. (shrink)

Tye's book develops a persuasive and, in many respects, original argument for the view that the qualitative side of our mental life is representational in..

Even though the measurement of fear of crime in criminological research commenced a few decades ago, specific populations, such as social activists, remain undocumented. This article is an attempt to address this gap. A study was conducted among 153 social activists involved in exposing corruption and irregularities that take place in the government system in India. This article explores the gap between the fear of crime and actual victimization among the specific social activists in India. The results indicate activists expressed (...) moderate fear of any one form of victimization including verbal and emotional, physical, and sexual victimization. It was also found that one-third of them have reported facing some form of abuse. The research implications are discussed. (shrink)

This book fills a gap in studies of meaning by providing detailed case studies of attested corpus data on the meanings of words and phrases.

Versions and extensions of intuitionistic and modal logic involving biHeyting and bimodal operators, the axiom of constant domains and Barcan's formula, are formulated as structured categories. Representation theorems for the resulting concepts are proved. Essentially stronger versions, requiring new methods of proof, of known completeness theorems are consequences. A new type of completeness result, with a topos theoretic character, is given for theories satisfying a condition considered by Lawvere . The completeness theorems are used to conclude results asserting that certain (...) logics are conservatively interpretable in others. (shrink)

The definitive work on the philosophical nature and impact of the theories of Charles Darwin, written by a well-known authority on the history and philosophy of Darwinism. Broadly explores the theories of Charles Darwin and Darwin studies Incorporates much information about modern Biology Offers a comprehensive discussion of Darwinism and Christianity – including Creationism – by one of the leading authorities in the field Written in clear, concise, user-friendly language supplemented with quality illustrations Examines the status of evolutionary theory as (...) a genuine theory and its implications for philosophy, epistemology and ethics Provides a strong understanding of the philosophical nature and impact of Darwin's thought Holds wide appeal for general audiences outside the world of academic philosophy Strongly supports Darwinism and fully explores modern naturalistic explanations of religion. (shrink)

The method of reflective equilibrium (MRE) is a method of justification popularized by John Rawls and further developed by Norman Daniels, Michael DePaul, Folke Tersman, and Catherine Z. Elgin, among others. The basic idea is that epistemic agents have justified beliefs if they have succeeded in forming their beliefs into a harmonious system of beliefs which they reflectively judge to be the most plausible. Despite the common reference to MRE as a method, its mechanisms or rules are typically expressed (...) in a metaphorical or simplified manner and are therefore criticized as too vague. Recent efforts to counter this criticism have been directed towards the attempt to provide formal explications of MRE. This paper aims to supplement these efforts by providing an informal working definition of MRE. This approach challenges the view that MRE can adequately be characterized only in the negative as a set of anti-essentialisms. I argue that epistemic agents follow MRE iff they follow four interconnected rules, which are concerned with a minimalistic form of foundationalism, a minimalistic form of fallibilism, a moderate form of holism, and a minimalistic form of rationality. In the critical spirit of MRE, the corresponding working definition is, of course, provisional and revisable. In general, the aim is to contribute to a reflective equilibrium (RE) concerning MRE. If it is successful, this working definition provides a better grasp of the most basic elements of the method and thereby enhances our understanding of it. (shrink)

Michael Quante focuses on what Hegel has to say about such central concepts as action, person and will, and then brings these views to bear on contemporary debates in analytic philosophy. This book enables professional analytic philosophers and their students to understand the significance of Hegel's philosophy to contemporary theory of action. As such, it will contribute to the ever-increasing erosion of the barrier between the continental and analytic approaches to philosophy.

When contrasted with "Continental" philosophy, analytical philosophy is often called "Anglo-American." Dummett argues that "Anglo-Austrian" would be a more accurate label. By re-examining the similar origins of the two traditions, we can come to understand why they later diverged so widely, and thus take the first step toward reconciliation.

Morals from Motives develops a virtue ethics inspired more by Hume and Hutcheson's moral sentimentalism than by recently-influential Aristotelianism. It argues that a reconfigured and expanded "morality of caring" can offer a general account of right and wrong action as well as social justice. Expanding the frontiers of ethics, it goes on to show how a motive-based "pure" virtue theory can also help us to understand the nature of human well-being and practical reason.

From the concrete experience of war, Michael S. Yandell constructs a phenomenology of “negative revelation” in which false or distorted claims of goodness and justice disintegrate and become meaningless, adding depth to the term moral injury.

I explore an agent-based model of the development and dissemination of scientific theory that makes very little use of any pre-defined “social structure” (such as partnerships or collaborations). In these models, under a broad range of values of the parameters, widespread (but not universal) “agreement” about scientific theory emerges. Moreover, the residual disagreement turns out to be important to developing new theories in the face of new evidence.

Such a conception, says Dummett, will form "a base camp for an assault on the metaphysical peaks: I have no greater ambition in this book than to set up a base ...

Mankind's place in nature -- Evolution after Darwin -- The naturalization of value systems in the human sciences.