Richard Martin's aim in this paper is to present a critical method of making ethical decisions in a medical context. He feels that such a reflective method provides the best means of making the appropriate decisions in given situations. It is based on Dr Martin's experience in applying ethical theory while collaborating with physicians in the daily course of clinical practice. Through his giving of a functional definition of medical ethics, his descriptions of an analytical model, the significance (...) of values for clinical decision-making and the advocacy role of medical ethicists and their relationships with clinicians, Richard Martin sets out his own value-intention as regards an ideal decision process. He stresses that his argument is of particular importance to his fellow ethicists who should continuously and vigorously examine the creative interaction of faith and fact in their own inquiry and action. Dr Martin concludes by stating that physicians and ethicists can work together to accomplish their common aim, which is, of course, the health and well-being of the patient. (shrink)

Richard Martin's thoroughly philosophical as well as thoroughly tech nical investigations deserve continued and appreciative study. His sympathy and good cheer do not obscure his rigorous standard, nor do his contemporary sophistication and intellectual independence obscure his critical congeniality toward classical and medieval philosophers. So he deals with old and new; his papers, in his neat self-descriptions, consist of reminders, criticisms, and constructions. They might also be seen as studies in the understanding of truth, ramifying as widely in mathematics, (...) logic, and epistemology as well as metaphysics, as such understanding has required. For us it is a pleasant occasion to welcome Richard Martin's new Boston Studies, and to note his continuously con collection to the structive and critical interventions at the Boston Colloquium for the of Science. Philosophy Boston University Center for the R. S. COHEN Philosophy and History of Science M. W. WARTOFSKY July 1979 vii TABLE OF CONTENTS EDITORIAL PREFACE vii PREFACE xi ACKNOWLEDGEMENTS xv I. Truth and Its Illicit Surrogates II. Some Reminders concerning Truth, Satisfaction, and Reference 17 III. On Disquotation and Intensionality 30 IV. On Truth, Belief, and Modes of Description 42 V. The Pragmatics of Self-Reference 55 VI. On Suppositio and Denotation 72 VII. Of Time and the Null Individual 82 VIII. Existence and Logical Form 95 IX. Tense, Aspect, and Modality 110 X. Of 'Of' 130 XI. Events and Actions: Brand and Kim 144 XII. Why I Am Not a Montague Grammarian 160 XIII. (shrink)

Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories and (...) On Interpretation and boethius'S textbook on topical inference. They comprise a freestanding Dialectica (“Logic”; probably c.1116), a set of commentaries (known as the Logica [Ingredientibus], c. 1119) and a later (c. 1125) commentary on the Isagoge (Logica Nostrorum Petititoni Sociorum or Glossulae). In a work Abelard called his Theologia, issued in three main versions (between 1120 and c.1134), he attempted a logical analysis of trinitarian relations and explored the philosophical problems surrounding God's claims to omnipotence and omniscience. The Collationes (“Debates,” also known as “Dialogue between a Christian, a Philosopher and a Jew”; probably c.1130) present a rational investigation into the nature of the highest good, in which the Christian and the Philosopher (who seems to be modeled on a philosopher of pagan antiquity) are remarkably in agreement. The unfinished Scito teipsum (“Know thyself,” also known as the “Ethics”; c.1138) analyses moral action. (shrink)

Two more or less standard methods exist for the systematic, logical construction of classical mathematics, the so-called theory of types, due in the main to Russell, and the Zermelo axiomatic set theory. In systems based upon either of these, the connective of membership, “ε”, plays a fundamental role. Usually although not always it figures as a primitive or undefined symbol.Following the familiar simplification of Russell's theory, let us mean by alogical typein the strict sense any one of the following: (i) (...) the totality consisting exclusively of individuals, (ii) the totality consisting exclusively of classes whose members are exclusively individuals, (iii) the totality consisting exclusively of classes whose members are exclusively classes whose members in turn are exclusively individuals, and so on. Any entity from (ii) is said to beone type higherthan any entity from (i), any entity from (iii), one type higher than any entity from (ii), and so on. In systems based upon this simplified theory of types, the only significant atomic formulae involving “ε” are those asserting the membership of an entity in an entity one type higher. Thus any expression of the form “(x∈y)” is meaningless except where “y” denotes an entity of just one type higher than the type of the entity denoted by “x” It is by means of general type restrictions of this kind that the Russell and other paradoxes are avoided. (shrink)

Two more or less standard methods exist for the systematic, logical construction of classical mathematics, the so-called theory of types, due in the main to Russell, and the Zermelo axiomatic set theory. In systems based upon either of these, the connective of membership, “ε”, plays a fundamental role. Usually although not always it figures as a primitive or undefined symbol.Following the familiar simplification of Russell's theory, let us mean by alogical typein the strict sense any one of the following: (i) (...) the totality consisting exclusively of individuals, (ii) the totality consisting exclusively of classes whose members are exclusively individuals, (iii) the totality consisting exclusively of classes whose members are exclusively classes whose members in turn are exclusively individuals, and so on. Any entity from (ii) is said to beone type higherthan any entity from (i), any entity from (iii), one type higher than any entity from (ii), and so on. In systems based upon this simplified theory of types, the only significant atomic formulae involving “ε” are those asserting the membership of an entity in an entity one type higher. Thus any expression of the form “(x∈y)” is meaningless except where “y” denotes an entity of just one type higher than the type of the entity denoted by “x” It is by means of general type restrictions of this kind that the Russell and other paradoxes are avoided. (shrink)

The philosophical papers comprising this volume range from process metaphysics and theology, through the phenomenological study of intentionality, to the foundations of geometry and of the system of real numbers. New light, it is thought, is shed on all these topics, some of them being of the highest interest and under intensive investigation in contemporary philosophical discussion. Metaphysi cians, process theologians, semanticists, theorists of knowledge, phenomenologists, and philosophers of mathematics will thus find in this book, it is hoped, helpful materials (...) and methods. The categoreal scheme of Whitehead's Process and Reality is discussed rather fully from a logical point of view in the first paper [I] in the light of the author's previous work on the logico-metaphysical theory of events. The clarification that results is thought to provide a new depth and precision to the problem of interpreting one of the most difficult books in the recent history of metaphysics and cosmol ogy. A detailed examination of some aspects of Hartshorne's recent Creative Synthesis and Philosophic Method is given in II. This book is perhaps the most significant work on process philosophy since Process and Reality itself, and its logical underpinnings thus merit a full critical discussion. (shrink)

Originally published in 1958. A study in the logical foundations of modern theoretical semantics, this book is concerned with notions of designation and consistency as well as denotation and truth. It presents several semantical theories, each of which with what were new concepts or treatments from the author. Talking at a time when semantical theory was gained great ground, this book also looks at the methodology of the sciences and the semantics of scientific language alongside analysis of meaning and expression. (...) It is influenced by the writings of Carnap, Church, Frege, Goodman, Quine, Russell and Tarski. (shrink)

Originally published in 1958. A study in the logical foundations of modern theoretical semantics, this book is concerned with notions of designation and consistency as well as denotation and truth. It presents several semantical theories, each of which with what were new concepts or treatments from the author. Talking at a time when semantical theory was gained great ground, this book also looks at the methodology of the sciences and the semantics of scientific language alongside analysis of meaning and expression. (...) It is influenced by the writings of Carnap, Church, Frege, Goodman, Quine, Russell and Tarski. (shrink)

In this paper we attempt to formulate logical foundations for a theory of actions or performance. Human beings act in various ways, and their actions are intimately interrelated with their use of language. But precisely how actions and the use of language are interrelated is not very clear. One of the reasons is perhaps that we have no precise vocabulary in terms of which such interrelations may be handled. There is need for developing a systematic theory in which different kinds (...) of actions may be discussed, contrasted, and compared. Then the various interrelations between actions and linguistic usage may perhaps be discussed rather more carefully and thoroughly than heretofore. Although much important preliminary work has been done in the analysis of actions, no one it seems has attempted to develop a strict logical theory for such analysis. A few tentative and programmatic steps were taken in the author's Toward a Systematic Pragmatics. Let us attempt here to improve those and take a few more. Any first attempts of this kind are of course fraught with difficulties. There inevitably will be some oversimplification or some overelaboration here or there. Ultimately of course we are interested in interrelating performance with various notions from syntax, semantics, and quantitative pragmatics. But this is not easy and only a few tentative suggestions toward such a development can be given here. In section 1 the distinction between action-kinds and action-events is drawn, and the character of the primitive or primitives needed for the theory of performance is discussed. In section 2 some further notions are then defined. Certain Rules of Performance are suggested in section 3. In section 4 there is discussion of the somewhat tenuous notion of acceptance as a basis for action. In section 5 the fundamental notions required for Parsons and Shils' theory of social action is discussed briefly. In section 6 we attempt to define the two basic notions required in Leonard's recent papers concerning authorship and purpose. Finally, in section 7, the theory of performance is interrelated with von Wright's deontic logic, in which such notions as permission and obligation are considered. (shrink)

The author considers the discussion of designation and truth by black and geach. Geach had pointed out a flaw in black's position and attempted to correct it. The author concludes that geach has not even "described the concepts in terms of which" he is to correct black.

Tarski’s relation of satisfaction has been mentioned or discussed a good deal recently, but not often, it seems, with full understanding. Many misconceptions concerning it abound throughout the literature. The relation, it will be recalled, is one holding between an infinite sequence of objects and a sentential function containing an arbitrary number of free variables. A sentence is then any sentential function containing no free variables, and a true sentence is, by definition, one satisfied by all infinite sequences, a false (...) sentence being satisfied by none. (shrink)

The method of Ramsey sentences has been proposed for handling theoretical constructs within a scientific system. Essentially it consists of constructing a certain "monolithic" sentence for an entire theory. In this present paper several improvements are suggested which help to overcome some of the awkward features of the method. In particular we have here many Ramsey sentences rather than just one, each erstwhile primitive theoretical term giving rise to a Ramsey sentence. Such a sentence in effect defines what we call (...) a Ramsey constant. Using Ramsey constants, we attempt to improve the method in important logical and semantical respects. It is suggested also that such constants are of interest for the philosophy of mathematics. (shrink)

The ontological argument of Saint Anselm, one of the most famous in the entire history of philosophy, has fascinated men’s minds for centuries. And yet, as Hartshorne makes abundantly clear, much of its subtlety has been missed by some of the keenest commentators. Although it has been discussed again and again, little work seems to have been done, even up to the moment, in exploring the logical forms or deep structures needed for an exact statement. Part of this is due (...) no doubt to the subtlety of the argument itself, but part of it is due to that fact that the key ideas involved are not of the kind that easily lend themselves to being handled within the standard kinds of logic. (shrink)