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)

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.

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)

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.

The American Journal of Bioethics, Volume 12, Issue 7, Page 27-30, July 2012.

Theories of discourse bring to realism new ideas about how knowledge develops and how representations of reality are influenced. We gain an understanding of the conceptual aspect of social life and the processes by which meaning is produced. This collection reflects the growing interest realist critics have shown towards forms of discourse theory and deconstruction. The diverse range of contributions address such issues as the work of Derrida and deconstruction, discourse theory, Eurocentrism and poststructuralism. What unites all of the contributions (...) is a sense that it is essential to provide a realist alternative to the hitherto dominance of social constructionism, hermeneutics and postmodernism, over many of the issues discussed. By developing a realist perspective the different authors attempt to embed discourse within the structured nature of the reality of the world. Realism can situate language, discourse and ideology within context specific, or 'causally efficacious' circumstances. Realism can help to uncover issues of power, representation, and subjectivity and how discursive and other social practices produce real effects. This can help us understand the manner in which social structures are reproduced through various forms of ideology and discourse. And by knowing this, we can start to address questions concerning human emancipation and how the world is to be transformed. (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)

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.

Divided into four parts, this treatise begins with well-known criticisms of nonreligious ethics and then develops an atheistic metaethics. In Part 2, Martin criticizes the Christian foundation of ethics, specifically the ’divine command theory’ and the idea of imitating the life of Jesus as the basis of Christian morality. Part 3 demonstrates that life can be meaningful in the absence of religious belief. Part 4 criticizes the theistic point of view in general terms as well as the specific Christian doctrines (...) of the atonement, salvation, and the resurrection. (publisher, edited). (shrink)

A listing is given of the published writings of the logician and philosopher Hao Wang , which includes all items known to the authors, including writings in Chinese and translations into other languages.

The first edition of The Scientific Background to Modern Philosophy took the dialogue of science and philosophy from Aristotle through to Newton. This second edition adds eight chapters, taking the dialogue through the Enlightenment and up to Darwin. This anthology is an attempt to help bridge the gap between the history of science and the history of philosophy.

The guiding inspiration of this book is the attraction and distance that mark the relation between anthropology and philosophy. This theme is explored through encounters between individual anthropologists and particular regions of philosophy. Several of the most basic concepts of the discipline—including notions of ethics, politics, temporality, self and other, and the nature of human life—are products of a dialogue, both implicit and explicit, between anthropology and philosophy. These philosophical undercurrents in anthropology also speak to the question of what it (...) is to experience our being in a world marked by radical difference and otherness. In The Ground Between, twelve leading anthropologists offer intimate reflections on the influence of particular philosophers on their way of seeing the world, and on what ethnography has taught them about philosophy. Ethnographies of the mundane and the everyday raise fundamental issues that the contributors grapple with in both their lives and their thinking. With directness and honesty, they relate particular philosophers to matters such as how to respond to the suffering of the other, how concepts arise in the give and take of everyday life, and how to be attuned to the world through the senses. Their essays challenge the idea that philosophy is solely the province of professional philosophers, and suggest that certain modalities of being in the world might be construed as ways of doing philosophy. Contributors. João Biehl, Steven C. Caton, Vincent Crapanzano, Veena Das, Didier Fassin, Michael M. J. Fischer, Ghassan Hage, Clara Han, Michael Jackson, Arthur Kleinman, Michael Puett, Bhrigupati Singh. (shrink)

Abstract: Kant declares the judgment of beauty to be neither ‘objective’ nor ‘merely subjective’. This essay takes up the question of what this might mean and whether it can be taken seriously. It is often supposed that Kant's denials of ‘objectivity’ to the judgment of beauty express a rejection of realism about beauty. I suggest that Kant's thought is not to be understood in these terms—that it does not properly belong in the arena of debates about the constituents of ‘reality’—motivating (...) the suggestion by first considering a pair of opposing views on the question of whether Kant can be understood to develop a real alternative to realism about beauty at all. (shrink)

The Oxford Handbook of Metaphysics offers the most authoritative and compelling guide to this diverse and fertile field of philosophy. Twenty-four of the world's most distinguished specialists provide brand-new essays about 'what there is': what kinds of things there are, and what relations hold among entities falling under various categories. They give the latest word on such topics as identity, modality, time, causation, persons and minds, freedom, and vagueness. The Handbook's unrivaled breadth and depth make it the definitive reference work (...) for students and academics across the philosophical spectrum. (shrink)

This thought provoking book uncovers a crisis in the political imagination, a wide-spread failure to provide the passionate sense of community "in which our need for belonging can be met." Seeking the answers to fundamental questions, Michael Ignatieff writes vividly both about ideas and about the people who tried to live by them—from Augustine to Bosch, from Rosseau to Simone Weil. Incisive and moving, The Needs of Strangers returns philosophy to its proper place, as a guide to the art (...) of being human. (shrink)

Eldred offers a remedy to the consequences of ancient Greek misconceptions of time that are also entrenched in today’s mathematized physics. Here time is spatialized as the one-dimensionally linear ‘arrow of time’ for the sake of predicting and controlling movement. But such spatialized time distorts the phenomenon of time itself. An alternative, hermeneutic-phenomenological path begins with a pre-spatial concept of time that is genuinely three-dimensional. This paves the way for recasting who we are as humans in belonging, first of all, (...) to the free openness of 3D-temporality. This belonging enables temporally 3D-vision of the psyche that empowers us to see movement at all and reconcile its inherent contradictoriness. We are then also able to conceive ourselves no longer merely as internally cogitating, self-conscious subjects, but as engaged existentially in temporally 3D-interplay, mutually estimating and esteeming who we are. This unpredictable interplay is constrained, however, by being played out in the sociating medium of thingified value, the accumulative movement of thingified value having gained the upper hand in dictating our life-movements as well as our interplay with the earth. (shrink)

Der private, sehr gefahrdete Bucherbestand Friedrich Nietzsches gilt als ein besonders interessantes Beispiel einer Schriftstellerbibliothek des 19. Jahrhunderts.

This wide-ranging book reconstructs this debate and places within their contemporary contexts the rival claims concerning the nature of the cosmos and the ...