This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications.

Pope Francis’s Address to the participants of the conference “Yes to Life! Taking Care of the Precious Gift of Life in its Frailty” that was held at the Vatican in May 2019 powerfully touches on multiple important aspects of the care of children experiencing “extreme frailty.” It is a deeply moral account of the challenges that health-care providers, families, and patients confront in the technologically sophisticated and confusing world of modern medicine, particularly when seen through the prism of what he (...) calls the dominant “throw away culture” of today.The Pope’s speech poignantly brings to mind a case from several years ago. Considering this case in light of the Pope’s speech may help provide a more nuanced... (shrink)

This is a welcome reprint of a book that continues to grow in importance.

Two attitudes are possible: one, that the world is an absolute jungle and that the exercise of coercive power by rulers is only a manifestation of this; and the other, that it is both necessary and right that there should be this exercise of power, that through it the world is much less of a jungle than it could possibly be without it, so that one should in principle be glad of the existence of such power, and only take exception (...) to its unjust exercise. (shrink)

Anscombe on thought, experience, sensation, and the ethics of virtue Gertrude Elizabeth Margaret Anscombe is one of analytical philosophy's most prominent figures, the founder of consequentialism, and a leading mind in the field of virtue ethics. Metaphysics and the Philosophy of Mind: The collected Philosophical Papers of G.E.M. Anscombe, Volume 2, is part of a multivolume compilation of her life's work, providing insight into the mind of a groundbreaking 20th century philosopher. This volume's work explores memory, intentionality, causality and time, (...) delving into the language, actions, and logic of perception, sensation, and more. (shrink)

Modal propositional logic; Modal predicate logic; A survey of modal logic.

This book challenges the common assumption that the predominant focus of the history of science should be the achievements of Western scientists since the so-called Scientific Revolution. The conceptual frameworks within which the members of earlier societies and of modern indigenous groups worked admittedly pose severe problems for our understanding. But rather than dismiss them on the grounds that they are incommensurable with our own and to that extent unintelligible, we should see them as offering opportunities for us to revise (...) many of our own preconceptions. We should accept that the realities to be accounted for are multi-dimensional and that all such accounts are to some extent value-laden. In the process insights from current anthropology and the study of ancient Greece and China especially are brought to bear to suggest how the remit of the history of science can be expanded to achieve a cross-cultural perspective on the problems. (shrink)

The author presents and defends three theses: (1) "the first is that it is not profitable for us at present to do moral philosophy; that should be laid aside at any rate until we have an adequate philosophy of psychology." (2) "the second is that the concepts of obligation, And duty... And of what is morally right and wrong, And of the moral sense of 'ought', Ought to be jettisoned if this is psychologically possible...." (3) "the third thesis is that (...) the differences between the well-Known english writers on moral philosophy from sidgwick to the present day are of little importance." (staff). (shrink)

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this (...) book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999. (shrink)

Normal propositional modal systems This first chapter has two main aims. One is to give a general account of the propositional modal systems that we shall ...

The usual way for new cells to come into being is by division of old cells. So the zygote, which is a—new—single cell formed from two, the sperm and ovum, is an exception. Textbooks of human genetics usually say that this new cell is beginning of a new human individual. What this indicates is that they suddenly forget about identical twins.

In 2005 St Andrews Studies published a volume of essays by Anscombe entitled Human Life, Action and Ethics, followed in 2008 by a second with the title Faith in a Hard Ground. Both books were highly praised. This third volume brings essays on the thought of historical philosophers in which Anscombe engages directly with their ideas and arguments. Many are published here for the first time and the collection provides further testimony to Anscombe's insight and intellectual imagination.