This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity. Validity of formulae is defined inductively from a base giving the validity of atoms using inductive clauses derived from proof-theoretic rules. A key aim is to show completeness of the proof rules without any requirement for formal models. Establishing this for propositional intuitionistic logic raises some technical and conceptual issues. We relate Sandqvist’s (complete) base-extension semantics of intuitionistic propositional logic to categorical proof theory in presheaves, reconstructing categorically the soundness and (...) completeness arguments, thereby demonstrating the naturality of Sandqvist’s constructions. This naturality includes Sandqvist’s treatment of disjunction that is based on its second-order or elimination-rule presentation. These constructions embody not just validity, but certain forms of objects of justifications. This analysis is taken a step further by showing that from the perspective of validity, Sandqvist’s semantics can also be viewed as the natural disjunction in a category of sheaves. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

One might poetically muse that computers have the essence both of logic and machines. Through the case of the history of Separation Logic, we explore how this assertion is more than idle poetry. Separation Logic works because it merges the software engineer’s conceptual model of a program’s manipulation of computer memory with the logical model that interprets what sentences in the logic are true, and because it has a proof theory which aids in the crucial problem of scaling the reasoning (...) task. Scalability is a central problem, and some would even say the central problem, in appli- cations of logic in computer science. Separation Logic is an interesting case because of its widespread success in verification tools. For these two senses of model—the engineering/conceptual and the logical—to merge in a genuine sense, each must maintain their norms of use from their home disciplines. When this occurs, both the logic and engineering benefit greatly. Seeking this intersection of two different senses of model provides a strategy for how computer scientists and logicians may be successful. Furthermore, the history of Separation Logic for analysing programs provides a novel case for philosophers of science of how software engineers and computer scientists develop models and the components of such models. We provide three contributions: an exploration of the extent of models merging that is necessary for success in computer science; an introduction to the technical details of Separation Logic, which can be used for reasoning about other exhaustible resources; and an introduction to the problems, process, and results of computer scientists for those outside the field. (shrink)

We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side. The propositional version of BI arises from an analysis of the proof-theoretic relationship between conjunction and implication; it can be viewed as a merging of intuitionistic logic and multiplicative intuitionistic linear logic. The naturality of BI can be seen categorically: models of propositional BI's proofs are given by bicartesian doubly closed categories, i.e., categories which freely combine the semantics of propositional intuitionistic (...) logic and propositional multiplicative intuitionistic linear logic. The predicate version of BI includes, in addition to standard additive quantifiers, multiplicative (or intensional) quantifiers ∀ new and ∃ new which arise from observing restrictions on structural rules on the level of terms as well as propositions. We discuss computational interpretations, based on sharing, at both the propositional and predicate levels. (shrink)

The lambdaPi-calculus, a theory of first-order dependent function types in Curry-Howard-de Bruijn correspondence with a fragment of minimal first-order logic, is defined as a system of (linearized) natural deduction. In this paper, we present a Gentzen-style sequent calculus for the lambdaPi-calculus and prove the cut-elimination theorem. The cut-elimination result builds upon the existence of normal forms for the natural deduction system and can be considered to be analogous to a proof provided by Prawitz for first-order logic. The type-theoretic setting considered (...) here elegantly illustrates the distinction between the processes of normalization in a natural deduction system and cut-elimination in a Gentzen-style sequent calculus. (shrink)

In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems |$K$|⁠, |$KT$|⁠, |$K4$| and (...) |$S4$|⁠, with |$\square $| as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between |$\square $| and a natural presentation of |$\lozenge $|⁠. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use (...) the operational view of them as provided by uniform proof-search—the proof-theoretic foundation of logic programming (LP)—to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS. (shrink)

We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of working with specific worlds in specific models, we reason with eigenworlds (i.e., generic representatives of worlds) in an arbitrary model. This reasoning is captured by a sequent calculus for a _meta_-logic (in this case, first-order classical logic) expressive enough to capture the semantics of the object-logic. Essentially, one has a calculus of validity for the (...) object-logic. The method proceeds through the perspective of reductive logic (as opposed to the more traditional paradigm of deductive logic), using the space of reductions as a medium for showing the behavioural equivalence of reduction in the sequent calculus for the object-logic and in the validity calculus. Rather than study the technique in general, we illustrate it for the logic of Bunched Implications (BI), thus IPL and MILL (without negation) are also treated. Intuitively, BI is the free combination of intuitionistic propositional logic and multiplicative intuitionistic linear logic, which renders its meta-theory is quite complex. The literature on BI contains many similar, but ultimately different, algebraic structures and satisfaction relations that either capture only fragments of the logic (albeit large ones) or have complex clauses for certain connectives (e.g., Beth’s clause for disjunction instead of Kripke’s). It is this complexity that motivates us to use BI as a case-study for this approach to semantics. (shrink)

The reductive, as opposed to deductive, view of logic is the form of logic that is, perhaps, most widely employed in practical reasoning. In particular, it is the basis of logic programming. Here, building on the idea of uniform proof in reductive logic, we give a treatment of logic programming for BI, the logic of bunched implications, giving both operational and denotational semantics, together with soundness and completeness theorems, all couched in terms of the resource interpretation of BI’s semantics. We (...) use this set-up as a basis for exploring how coalgebraic semantics can, in contrast to the basic denotational semantics, be used to describe the concrete operational choices that are an essential part of proof-search. The overall aim, toward which this paper can be seen as an initial step, is to develop a uniform, generic, mathematical framework for understanding the relationship between the deductive structure of logics and the control structures of the corresponding reductive paradigm. (shrink)

In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems K, KT , (...) K4, and S4, with □ as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between □ and a natural presentation of ♢. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Constructive Postmodernism: Toward Renewal in Cultural and Literary StudiesDavid CarrierConstructive Postmodernism: Toward Renewal in Cultural and Literary Studies, by Martin Schiralli. Westport, CT, and London: Bergin and Garvey, 1999, 165pp., $55 cloth.Concerned with the consequences of Jacques Derrida's philosophy of deconstruction for cultural and literary studies, Martin Schiralli's elegantly written book offers, first, a critique of these claims and, then, a constructive alternative analysis. He admires Derrida's brilliantly (...) innovative writing, which as he rightly notes is "serious and philosophical" even if "the most patient reader can easily become disoriented and confused" (24). But even if, as Derrida argues, Ferdinard de Saussure's theory of meaning is flawed, we need not—he urges—become deconstructionists. Looking to the work of Stephen Toulmin, John Dewey, and late Wittgenstein, Schiralli finds suggestive ways of identifying concerns with cognitive value in literary texts. It then is possible, he argues, to offer a more reasonable perspective on recent debates about culture and politics than the recent academic arguments between "postmodern revisionists... [and] often hostile and defensive traditionalists" (73).In the second part of his book Schiralli illustrates the value of this perspective by offering a great deal of productive positive discussion. He discusses how "theoretically pertinent knowledge" (95) may be found in the novels of Jane Austen, Barbara Pym, and Anita Brookner. Appealing to Michael Polanyi's conception of tacit knowledge, he argues that Austen's ability to intuit "the rules governing social meaning... represents the tacit emergence of insight, just as her ability to use those insights explicitly in her fiction marks the emergence of more focal knowledge" (123). In analyzing an emotional response, he claims, we can ask whether it is "warranted or unwarranted in a given circumstance" (31). Using E. M. Forster's Howards End as his model, he develops this claim in an analysis that is brief, clear, and convincing. Finally, in his concluding pages he looks at the studies of character provided by Henry James and Marcel Proust. A proper theory of literary intelligence, he argues, should "treat those forms of cognitive acuity involved imaginatively in miming and representing verbally the intricacies and particularities of all aspects of human sensibility" (150).This bold, far-reaching book avoids the fanaticism that, as Schiralli notes, has marred all too much recent debate in the humanities. At this time, when the influence of Derrida has faded, I think this argumentation about his philosophical position is of less value than the constructive parts of the analysis. Treating Derrida as a theorist whose arguments tell us how to analyze literature is an unpromising project, as Schiralli well shows. Once that point is acknowledged, then we are ready to look seriously at literature as a form of social knowledge. Humanists teaching literature will find much of value in this graceful volume—and along with their colleagues in philosophy, these scholars will benefit from study of this well-argued analysis. [End Page 122]David CarrierCase Western Reserve University and Cleveland Institute of ArtCopyright © 2008 Board of Trustees of the University of Illinois... (shrink)

Oxford Philosophical Texts Series Editor: John Cottingham The Oxford Philosophical Texts series consists of authoritative teaching editions of canonical texts in the history of philosophy from the ancient world down to modern times. Each volume provides a clear, well laid out text together with a comprehensive introduction by a leading specialist, giving the student detailed critical guidance on the intellectual context of the work and the structure and philosophical importance of the main arguments. Endnotes are supplied which provide further commentary (...) on the arguments and explain unfamiliar references and terminology, and a full bibliography and index are also included. The series aims to build up a definitive corpus of key texts in the Western philosophical tradition, which will form a reliable and enduring resource for students and teachers alike. David Hume's aim in writing An Enquiry concerning Human Understanding was to introduce his philosophy to a European culture in which many educated people read original works of philosophy. He gives an elegant and accessible presentation of strikingly original and challenging views about the limited powers of human understanding, the attractions of scepticism, the compatibility of free will and determinism, and weaknesses in the foundations of religion. Hume's philosophy was highly controversial in the eighteenth century and remains so today. The text printed in this edition is that of the Clarendon critical edition of Hume's works. A substantial introduction by the editor explains the intellectual background to the work and surveys its main themes. The volume also includes detailed explanatory notes on the text, a glossary of terms, a full list of references, and a section of supplementary readings. (shrink)

David Lewis (1941-2001) was Class of 1943 University Professor of Philosophy at Princeton University. His contributions spanned philosophical logic, philosophy of language, philosophy of mind, philosophy of science, metaphysics, and epistemology. In On the Plurality of Worlds, he defended his challenging metaphysical position, "modal realism." He was also the author of the books Convention, Counterfactuals, Parts of Classes, and several volumes of collected papers.

In both radical and mainstream environmental discourses, anthropocentrism (human centredness) is inextricably linked to modern industrial society's drive to control and dominate nature and the generation of our current environmental crisis. Such environmental discourses frequently argue for a retreat from anthropocentrism and the establishment of a harmonious relationship with nature, often invoking the supposed ecological harmony of indigenous peoples and/or other small-scale societies. In particular, the beliefs and values of these societies vis-à-vis their natural environment are taken to be instrumental (...) in their low environmental impact. Here it is argued that, aside from the empirically problematic nature of such claims, the beliefs of small-scale societies have been seen through an ethnocentric discursive framework which bifurcates belief systems into anthropocentric and ecocentric. Taking a meta-theoretical approach informed by Strong Structuration Theory, it is argued that the beliefs of small-scale societies about their relationship with nature should be recognised as lying on a continuum of anthropocentrism and understood in the context of their attempts to establish ‘environmental ontological security’ in the face of natural uncertainty. (shrink)

De l'Ethique à Nicomaque au Principe Responsabilité de Hans Jonas, les fins de l'homme - notamment la réalisation parfaite de soi, pour chaque être, l'humanité de l'homme, l'humanité raisonnable dans ses formes les plus achevées - s'instruisent universellement, selon l'espace public et politique des Etats, de ces catégories fondamentales de l'existence. La triade philosophie-démocratie-progrès débouche sur la thèse principale de Platon selon laquelle, l'Etat est injuste et il faut le réformer. Si Platon considère la vie terrestre comme une prison, sa (...) théorie de la participation, conduit au pluralisme des idées, au dialogue, à l'esprit de tolérance, à la paix perpétuelle, dit Kant, condition de la réalisation de la République et d'accomplissement de la démocratie dans un progrès allant inéluctablement à l'infini. Justice, liberté, dignité, égalité et nécessité d'un vouloir-vivre-ensemble se dégagent de cet ouvrage, mais avec le constat sévère d'une mimésis négro-africaine destructurante. Toute autocratie ne peut s'éterniser puisque la liberté est immanente à l'homme. Les textes présentés ici ont pour ambition de réinterroger le socle philosophique de l'éthique et de la politique, de tenter d'en dégager le sens, la finalité et d'en souligner l'actualité en ce début du XXIe siècle. (shrink)

Various U.S. laws, such as the Clean Air Act and the Food Quality Protection Act, require additional protections for susceptible subpopulations who face greater environmental health risks. The main ethical rationale for providing these protections is to ensure that environmental health risks are distributed fairly. In this article, we (1) consider how several influential theories of justice deal with issues related to the distribution of environmental health risks; (2) show that these theories often fail to provide specific guidance concerning policy (...) choices; and (3) argue that an approach to public decision making known as accountability for reasonableness can complement theories of justice in establishing acceptable environmental health risks for the general population and susceptible subpopulations. Since accountability for reasonableness focuses on the fairness of the decision-making process, not the outcome, it does not guarantee that susceptible subpopulations will receive a maximum level of protection, regardless of costs or other morally relevant considerations. (shrink)

Originally published: Oxford: Clarendon Press, 1932.

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

Interpretation -- Introduction -- Interpreting Plato -- The political culture of Plato's early dialogues -- Dialogue -- Character and history -- The mouthpiece principle -- Forms of evidence -- Desire -- Socrates and eros -- The subjectivist conception of desire -- Instrumental and terminal desire -- Rational and irrational desires -- Desire in the critique of Akrasia -- Interpreting Lysis -- The deficiency conception of desire -- Inauthentic friendship -- Platonic desire -- Antiphilosophical desires -- Knowledge -- Excellence as wisdom (...) -- The epistemic unity of excellence -- Dunamis and technê -- Goodness and form -- The epistemological priority of definitional knowledge -- Ordinary ethical knowledge -- Method -- The Socratic fallacy -- Socrates' pursuit of definitions -- Hupothesis -- Two postulates -- The geometrical illustration -- Geometrical analysis -- The method of reasoning from a postulate -- Elenchus and hupothesis -- Knowledge and aitia -- F-conditions -- Cognitive security -- Aporia -- Forms of aporia -- Dramatic aporia -- The example of Charmides -- Charmides as autobiography -- The politics of Sôphrosunê -- Critias' Philotimia -- Self-knowledge and the knowledge of knowledge -- Knowledge of knowledge and knowledge of the good -- Philosophy and the polis. (shrink)

Both individually and as a collection, these essays will promote understanding and provoke further debate amongst students and established scholars alike.

The singularity hypothesis is a radical hypothesis about the future of artificial intelligence on which self-improving artificial agents will quickly become orders of magnitude more intelligent than the average human. Despite the ambitiousness of its claims, the singularity hypothesis has been defended at length by leading philosophers and artificial intelligence researchers. In this paper, I argue that the singularity hypothesis rests on scientifically implausible growth assumptions. I show how leading philosophical defenses of the singularity hypothesis (Chalmers 2010, Bostrom 2014) fail (...) to overcome the case for skepticism. I conclude by drawing out philosophical implications of this discussion for our understanding of consciousness, personal identity, digital minds, existential risk, and ethical longtermism. GPI Working Paper No . 19-2022. (shrink)

Inquires into ancient Athenian philosopher Epicurus' analysis of irrational fears and desires, arguing that such emotions played a more central and controlling role in his system than has often been supposed, in a book that also looks at how ancient Roman poet Lucretius interpreted Epicurus' ideas. Reissue.

The philosophical literature that tackles foundational questions about normativity often appeals to normative reasons—or considerations that count in favor of or against actions—and their interaction. The interaction between normative reasons is usually made sense of by appealing to the metaphor of (normative) weight scales. This paper substitutes an argumentation-theoretic model for this metaphor. The upshot is a general and precise model that is faithful to the philosophical ideas.

An introduction to ethical reasoning -- Comparative religious perspectives on war -- Just and unjust war in Shakespeare's Henry V -- Anticipating and preventing atrocities in war -- The CIA's original "social contract" -- The KGB: CIA's traditional adversary -- Espionage -- Covert action -- Interrogation -- Concluding reflections.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

The initial impetus for writing this book was the desire to understand more fully and completely the contribution of the redactors of the Talmud, the Stammaim.

Religion, science, and naturalism -- Perception and religious experience -- Panexperientialism, freedom, and the mind-body relation -- Naturalistic, dipolar theism -- Natural theology based on naturalistic theism -- Evolution, evil, and eschatology -- The two ultimates and the religions -- Religion, morality, and civilization -- Religious language and truth -- Religious knowledge and common sense.

The relationship between philosophy and science has always been complementary. Today, while science moves increasingly fast and philosophy shows some problems in catching up with it, it is not always possible to ignore such relationships, especially in some disciplines such as philosophy of mind, cognitive science, and neuroscience. However, the methodological procedures used to analyze these data are based on principles and assumptions that require a profound dialogue between philosophy and science. Following these ideas, this work aims to raise the (...) problems that a classical connectionist theory can cause and problematize them in a cognitive framework, considering both philosophy and cognitive sciences but also the disciplines that are near to them, such as AI, computer sciences, and linguistics. For this reason, we embarked on an analysis of both the computational and theoretical problems that connectionism currently has. The second aim of this work is to advocate for collaboration between neuroscience and philosophy of mind because the promotion of deeper multidisciplinarity seems necessary in order to solve connectionism’s problems. In fact, we believe that the problems that we detected can be solved by a thorough investigation at both a theoretical and an empirical level, and they do not represent an impasse but rather a starting point from which connectionism should learn and be updated while keeping its original and profoundly convincing core. (shrink)

Liberal thinkers of the eighteenth and nineteenth centuries were alert to the political costs and human cruelties involved in European colonialism, but they also thought that European expansion held out progressive possibilities. In Progress, Pluralism, and Politics David Williams examines the colonial and anti-colonial arguments of Adam Smith, Immanuel Kant, Jeremy Bentham, and L.T. Hobhouse. Williams locates their ambivalent attitude towards European conquest and colonial rule in a set of tensions between the impact of colonialism on European states, the (...) possibilities of progress in distant and diverse places, and the relationship between universalism and cultural pluralism. In so doing he reveals some of the central ambiguities that characterize the ways that liberal thought has dealt with the reality of an illiberal world. Of particular importance are appeals to various forms of universal history, attempts to mediate between the claims of identity and the reality of difference, and the different ways of thinking about the achievement of liberal goods in other places. Pointing to key elements in still ongoing debates within liberal states about how they should relate to illiberal places, Progress, Pluralism, and Politics enriches the discussion on political thought and the relationship between liberalism and colonialism. (shrink)

Through Narcissus' Glass Darkly presents a genealogy and critique of the ideal of conscience in modern philosophical theology, particularly in the writings of ...

What does it mean for someone to exist? What is truth? Are we free to choose to think or act? What is consciousness? Is human cloning justifiable? These are just some of the questions philosophers have attempted to answer, striking right at the heart of what it means to be human. This important new books shows that philosophy need not be dry or intimidating. Its highly original treatment, combining philosophical analysis, historical and biographical background and thought-provoking illustrations, simultaneously informs and (...) stimulates the reader. Western Philosophy: An Illustrated Guide is structured thematically, in terms of major issues, with chapters on World, Mind and Body, Knowledge, Faith, Ethics and Aesthetics, and Society. Cutting across this organization by theme is a parallel organization that focuses on the great thinkers and their influence, as well as the schools or "-isms" to which they subscribed. A highly accessible introduction to the subject, founded upon impeccable academic scholarship, Western Philosophy: An Illustrated Guide offers life-changing perspectives on what really matters. (shrink)

Thus, Meyers provides a valuable account, not only of current medical attitudes, but also of relevant case and statute law as it stands at present.

David Heyd's study will stimulate philosophers to recognise the importance of the rather neglected topic of the distinctiveness of supererogation and the ...

Understanding Animal Welfare, 2nd Edition is revised and expanded to incorporate new research and developments in animal welfare. Updated with greater accessibility in mind, the reader is guided through animal welfare in its cultural and historical context, methods of study, and applications in practice and policy. Drawing examples from farm, companion, laboratory and zoo animals, the text provides an up-to-date overview of research and its applications, while also tracing how concepts and methods have evolved over time. Originally intended for scientists (...) and professionals, Understanding Animal Welfare has also found a home in undergraduate classrooms. It is now the essential text for students, practitioners, veterinarians, and researchers in animal welfare and related fields. (shrink)

This paper is a combination of a grandfather's musings over his grandson's drawings, combined with a reconsideration of hermeneutics as an early childhood educational theory.

Focus of animal welfare -- Agricultural sciences and animal welfare : crop production and animal production -- Veterinary science and animal welfare -- Genetics, biotechnology, and breeding : mixed blessings -- Animal welfare, grading compromise, and mitigating suffering -- Standardised behavioural testing in non-verbal humans and other animals -- Human-animal interactions and animal welfare -- Environmental enrichment : studying the nature of nurture -- Societal contexts of animal welfare -- Integrated perspectives : sleep, developmental stage, and animal welfare -- The (...) wider context of animal welfare science. (shrink)