Artificial agents (AAs), particularly but not only those in Cyberspace, extend the class of entities that can be involved in moral situations. For they can be conceived of as moral patients (as entities that can be acted upon for good or evil) and also as moral agents (as entities that can perform actions, again for good or evil). In this paper, we clarify the concept of agent and go on to separate the concerns of morality and responsibility of agents (most (...) interestingly for us, of AAs). We conclude that there is substantial and important scope, particularly in Computer Ethics, for the concept of moral agent not necessarily exhibiting free will, mental states or responsibility. This complements the more traditional approach, common at least since Montaigne and Descartes, which considers whether or not (artificial) agents have mental states, feelings, emotions and so on. By focussing directly on mind-less morality we are able to avoid that question and also many of the concerns of Artificial Intelligence. A vital component in our approach is the Method of Abstraction for analysing the level of abstraction (LoA) at which an agent is considered to act. The LoA is determined by the way in which one chooses to describe, analyse and discuss a system and its context. The Method of Abstraction is explained in terms of an interface or set of features or observables at a given LoA. Agenthood, and in particular moral agenthood, depends on a LoA. Our guidelines for agenthood are: interactivity (response to stimulus by change of state), autonomy (ability to change state without stimulus) and adaptability (ability to change the transition rules by which state is changed) at a given LoA. Morality may be thought of as a threshold defined on the observables in the interface determining the LoA under consideration. An agent is morally good if its actions all respect that threshold; and it is morally evil if some action violates it. That view is particularly informative when the agent constitutes a software or digital system, and the observables are numerical. Finally we review the consequences for Computer Ethics of our approach. In conclusion, this approach facilitates the discussion of the morality of agents not only in Cyberspace but also in the biosphere, where animals can be considered moral agents without their having to display free will, emotions or mental states, and in social contexts, where systems like organizations can play the role of moral agents. The primary cost of this facility is the extension of the class of agents and moral agents to embrace AAs. (shrink)

Moral reasoning traditionally distinguishes two types of evil:moral and natural. The standard view is that ME is the product of human agency and so includes phenomena such as war, torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomousagents in cyberspace, a new (...) class of interesting and importantexamples of hybrid evil has come to light. In this paper, it is called artificial evil and a case is made for considering it to complement ME and NE to produce a more adequate taxonomy. By isolating the features that have led to the appearance of AE, cyberspace is characterised as a self-contained environment that forms the essential component in any foundation of the emerging field of Computer Ethics. It is argued that this goes someway towards providing a methodological explanation of whycyberspace is central to so many of CE's concerns; and it isshown how notions of good and evil can be formulated incyberspace. Of considerable interest is how the propensity for anagent's action to be morally good or evil can be determined evenin the absence of biologically sentient participants and thusallows artificial agents not only to perpetrate evil but conversely to `receive' or `suffer from'it. The thesis defended is that the notion of entropy structure,which encapsulates human value judgement concerning cyberspace ina formal mathematical definition, is sufficient to achieve thispurpose and, moreover, that the concept of AE can be determinedformally, by mathematical methods. A consequence of this approachis that the debate on whether CE should be considered unique, andhence developed as a Macroethics, may be viewed, constructively,in an alternative manner. The case is made that whilst CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the approach of standard Macroethics such as Utilitarianism and Deontologism and hence to prompt the search for a robust ethical theory that can deal with them successfully. The name Information Ethics is proposed for that theory. Itis argued that the uniqueness of IE is justified by its beingnon-biologically biased and patient-oriented: IE is anEnvironmental Macroethics based on the concept of data entityrather than life. It follows that the novelty of CE issues suchas AE can be appreciated properly because IE provides a newperspective. In light of the discussion provided in this paper, it is concluded that Computer Ethics is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, Information Ethics. (shrink)

Moral reasoning traditionally distinguishes two types of evil:moral (ME) and natural (NE). The standard view is that ME is the product of human agency and so includes phenomena such as war,torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in cyberspace, (...) a new class of interesting and important examples of hybrid evil has come to light. In this paper, it is called artificial evil (AE) and a case is made for considering it to complement ME and NE to produce a more adequate taxonomy. By isolating the features that have led to the appearance of AE, cyberspace is characterised as a self-contained environment that forms the essential component in any foundation of the emerging field of Computer Ethics (CE). It is argued that this goes someway towards providing a methodological explanation of why cyberspace is central to so many of CE's concerns; and it is shown how notions of good and evil can be formulated in cyberspace. Of considerable interest is how the propensity for an agent's action to be morally good or evil can be determined even in the absence of biologically sentient participants and thus allows artificial agents not only to perpetrate evil (and fort that matter good) but conversely to `receive' or `suffer from' it. The thesis defended is that the notion of entropy structure, which encapsulates human value judgement concerning cyberspace in a formal mathematical definition, is sufficient to achieve this purpose and, moreover, that the concept of AE can be determined formally, by mathematical methods. A consequence of this approach is that the debate on whether CE should be considered unique, and hence developed as a Macroethics, may be viewed, constructively,in an alternative manner. The case is made that whilst CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the approach of standard Macroethics such as Utilitarianism and Deontologism and hence to prompt the search for a robust ethical theory that can deal with them successfully. The name Information Ethics (IE) is proposed for that theory. Itis argued that the uniqueness of IE is justified by its being non-biologically biased and patient-oriented: IE is an Environmental Macroethics based on the concept of data entity rather than life. It follows that the novelty of CE issues such as AE can be appreciated properly because IE provides a new perspective (though not vice versa). In light of the discussion provided in this paper, it is concluded that Computer Ethics is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, Information Ethics. (shrink)

In this chapter, we argue that the web is a poietically- enabling environment, which both enhances and requires the development of a “constructionist ethics”. We begin by explaining the appropriate concept of “constructionist ethics”, and analysing virtue ethics as the primary example. We then show why CyberEthics (or Computer Ethics, as it is also called) cannot be based on virtue ethics, yet needs to retain a constructionist approach. After providing evidence for significant poietic uses of the web, we argue that (...) ethical constructionism is not only facilitated by the web, but is also what the web requires as an ethics of the digital environment. In conclusion, we relate the present discussion to standard positions in CyberEthics and to a broader project for Information Ethics. (shrink)

The paper provides a critical review of the debate on the foundations of Computer Ethics (CE). Starting from a discussion of Moor’s classic interpretation of the need for CE caused by a policy and conceptual vacuum, five positions in the literature are identified and discussed: the “no resolution approach”, according to which CE can have no foundation; the professional approach, according to which CE is solely a professional ethics; the radical approach, according to which CE deals with absolutely unique issues, (...) in need of a unique approach; the conservative approach, according to which CE is only a particular applied ethics, discussing new species of traditional moral issues; and the innovative approach, according to which theoretical CE can expand the metaethical discourse with a substantially new perspective. In the course of the analysis, it is argued that, although CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the adoption of standard macroethics, such as Utilitarianism and Deontologism, as the foundation of CE and hence to prompt the search for a robust ethical theory. Information Ethics (IE) is proposed for that theory, as the satisfactory foundation for CE. IE is characterised as a biologically unbiased extension of environmental ethics, based on the concepts of information object/infosphere/entropy rather than life/ecosystem/pain. In light of the discussion provided in this paper, it is suggested that CE is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, IE. (shrink)

The paper provides a critical review of thedebate on the foundations of Computer Ethics(CE). Starting from a discussion of Moor'sclassic interpretation of the need for CEcaused by a policy and conceptual vacuum, fivepositions in the literature are identified anddiscussed: the ``no resolution approach'',according to which CE can have no foundation;the professional approach, according to whichCE is solely a professional ethics; the radicalapproach, according to which CE deals withabsolutely unique issues, in need of a uniqueapproach; the conservative approach, accordingto which CE (...) is only a particular appliedethics, discussing new species of traditionalmoral issues; and the innovative approach,according to which theoretical CE can expandthe metaethical discourse with a substantiallynew perspective. In the course of the analysis,it is argued that, although CE issues are notuncontroversially unique, they are sufficientlynovel to render inadequate the adoption ofstandard macroethics, such as Utilitarianismand Deontologism, as the foundation of CE andhence to prompt the search for a robust ethicaltheory. Information Ethics (IE) is proposed forthat theory, as the satisfactory foundation forCE. IE is characterised as a biologicallyunbiased extension of environmental ethics,based on the concepts of information object/infosphere/entropy rather thanlife/ecosystem/pain. In light of the discussionprovided in this paper, it is suggested that CEis worthy of independent study because itrequires its own application-specific knowledgeand is capable of supporting a methodologicalfoundation, IE. (shrink)

The use of "levels of abstraction" in philosophical analysis (levellism) has recently come under attack. In this paper, we argue that a refined version of epistemological levellism should be retained as a fundamental method, which we call the method of abstraction. After a brief introduction, in section two we make clear the nature and applicability of the (epistemological) method of levels of abstraction. In section three, we show the fruitfulness of the new method by applying it to five case studies: (...) the concept of agenthood, the Turing test, the definition of emergence, quantum observation and decidable observation. In section four, we further characterise and support the method by distinguishing it from three other forms of "levellism": (i) levels of organisation; (ii) levels of explanation and (iii) conceptual schemes. In this context, we also briefly address the problems of relativism and antirealism. In the conclusion, we indicate some of the work that lies ahead, two potential limitations of the method and some results that have already been obtained by applying the method to some long-standing philosophical problems. (shrink)

"This document records some important laws of classical predicate logic. It is designed as a reservoir to be tapped by users of logic, in system development. Though a systematic presentation is attempted, many of the laws appear just because they happen to be useful.".

This article examines Gerald Odonis' view on the nature of place as found in his commentary on the Sentences and in an anonymous question extant in manuscript Madrid, Biblioteca Nacional, 4229. Both texts defend a thoroughly un-Aristotelian conception of place as three-dimensional space. Odonis not only deviates from Aristotle's definition of place as the inner surface of a surrounding body, but also from the positions of his contemporaries, including fellow Franciscans. Despite some remarkable doctrinal similarities between Odonis' view and that (...) of Renaissance innovators like Francesco Patrizi and Bernardino Telesio, it seems unlikely that Gerald played a role in the rise of new conceptions of place in the sixteenth and seventeenth century. An edition of the anonymous Quaestio de loco is given in an appendix. (shrink)

"... a first-rate edition, which supersedes all other portable Peirces.... all the Peirce most people will ever need." —Louis Menand, The New York Review of Books "The Monist essays are included in the first volume of the compact and welcome Essential Peirce; they are by Peirce’s standards quite accessible and splendid in their cosmic scope and assertiveness."—London Review of Books A convenient two-volume reader’s edition makes accessible to students and scholars the most important philosophical papers of the brilliant American thinker (...) Charles Sanders Peirce. This first volume presents twenty-five key texts from the first quarter century of his writing, with a clear introduction and informative headnotes. Volume 2 will highlight the development of Peirce’s system of signs and his mature pragmatism. (shrink)

Serious study of Peirce began some fifty years ago, in 1931, with the publication of the first of six volumes of the Collected Papers of Charles Sanders Peirce, edited by Charles Hartshorne and Paul Weiss. Arthur Burks added two volumes to that collection in 1958. In the meantime there had appeared, and continued to appear, several one-volume editions, namely those by Morris R. Cohen, Justus Buchler, Vincent Tomas, Philip P. Wiener, and Edward C. Moore. A new era in Peirce (...) scholarship began in 1975 with the appearance of the first of three important multi-volume editions: Charles Sanders Peirce: Contributions to “The Nation,” edited by Kenneth L. Ketner and James E. Cook ; The New Elements of Mathematics by Charles S. Peirce, edited by Carolyn Eisele ; and Charles Sanders Peirce: Complete Published Works, Including Selected Secondary Materials, the 149-microfiche collection edited by members of the Texas Tech University Institute for Studies in Pragmaticism. (shrink)

In 1991, Benoît Patar published a set of anonymous commentaries on Aristotle’s De anima. He argued that both works should be ascribed to John Buridan and, taken together, constitute the first of Buridan’s three series of lectures on De anima. Even though Patar’s proof of the authenticity of the commentaries has not been unanimously accepted, his attribution of the works to Buridan turned out to be persistent. This article examines the question of the authenticity of the two anonymous commentaries. It (...) argues that there is no conclusive reason to attribute the works to Buridan. The texts are closely related to works by Buridan, but they bear the same relation to commentaries written by Nicole Oresme. As a consequence, the works should be considered to be exactly what they are: anonymous commentaries on Aristotle’s De anima, written in the same context and around the same time in which the commentaries by John Buridan and Nicole Oresme were also written. (shrink)

"... a first-rate edition, which supersedes all other portable Peirces.... all the Peirce most people will ever need." —Louis Menand, The New York Review of Books "The Monist essays are included in the first volume of the compact and welcome Essential Peirce; they are by Peirce’s standards quite accessible and splendid in their cosmic scope and assertiveness."—London Review of Books A convenient two-volume reader’s edition makes accessible to students and scholars the most important philosophical papers of the brilliant American thinker (...) Charles Sanders Peirce. This first volume presents twenty-five key texts from the first quarter century of his writing, with a clear introduction and informative headnotes. Volume 2 will highlight the development of Peirce’s system of signs and his mature pragmatism. (shrink)

This article aims to further test the cognitive claims of the so-called subjectivity account of causal events and their linguistic markers, causal connectives. We took Mandarin Chinese, a language that is typologically completely different from the usual western languages, as a case to provide evidence for this subjectivity account. Complementary to the commonly used corpora analyses, we employed crowdsourcing to tap native speakers’ intuitions about causal coherence, focusing on four result connectives kějiàn ‘therefore’, suǒyǐ ‘so’, yīncǐ ‘so/for this reason’ and (...) yúshì ‘thereupon/as a result’. The analysis shows systematic differences regarding the use of connectives in relations that differ in terms of subjectivity, demonstrating that native speakers make use of subjectivity to encode and decode different types of causal relations in discourse. Moreover, our study evidences that a comprehensive model of subjectivity should include the epistemic dimension of certainty about the subjectivity scale that might be indicated by other linguistic elements. In-depth analyses of the test items revealed that the presence/absence of modality words in the result segments are related to different preferential patterns for the connectives. There is a trade-off between the epistemic dimension of certainty and the expression of subjectivity in the four connectives involved. (shrink)

To push the edges of the known, to look at the accepted in novel ways, is indeed to stand at the frontiers of a field. In Frontiers in American Philosophy thirty-five contemporary scholars explore classical American thought in bold new ways. An extraordinary range of issues and thinkers is represented in these pages--from such core themes as metaphysics and social philosophy, which receive primary attention, to some consideration of American philosophers' technical accomplishments in mathematical logic and philosophical analysis. The authors (...) also offer new perspectives on the work of the leading American philosophers, including George Herbert Mead, William James, John Dewey, Charles Sanders Peirce, and Emma Goldman. Not surprisingly perhaps, a great deal of the discussion revolves, either directly or indirectly, around that great axis of intellectual issues commonly known as the "realism/idealism" controversy. It seems fitting that so much attention is devoted to the possibility of some sort of middle position between "external realism" and its antipode in some form of relativistic subjectivism. For, in the last analysis, such a middle position is for the American philosophers the core meaning of "pragmatism.”. (shrink)

In their important paper “Autonomous Agents”, Floridi and Sanders use “levels of abstraction” to argue that computers are or may soon be moral agents. In this paper we use the same levels of abstraction to illuminate differences between human moral agents and computers. In their paper, Floridi and Sanders contributed definitions of autonomy, moral accountability and responsibility, but they have not explored deeply some essential questions that need to be answered by computer scientists who design artificial agents. One (...) such question is, “Can an artificial agent that changes its own programming become so autonomous that the original designer is no longer responsible for the behavior of the artificial agent?” To explore this question, we distinguish between LoA1 (the user view) and LoA2 (the designer view) by exploring the concepts of unmodifiable, modifiable and fully modifiable tables that control artificial agents. We demonstrate that an agent with an unmodifiable table, when viewed at LoA2, distinguishes an artificial agent from a human one. This distinction supports our first counter-claim to Floridi and Sanders, namely, that such an agent is not a moral agent, and the designer bears full responsibility for its behavior. We also demonstrate that even if there is an artificial agent with a fully modifiable table capable of learning* and intentionality* that meets the conditions set by Floridi and Sanders for ascribing moral agency to an artificial agent, the designer retains strong moral responsibility. (shrink)

In their important paper “Autonomous Agents”, Floridi and Sanders use “levels of abstraction” to argue that computers are or may soon be moral agents. In this paper we use the same levels of abstraction to illuminate differences between human moral agents and computers. In their paper, Floridi and Sanders contributed definitions of autonomy, moral accountability and responsibility, but they have not explored deeply some essential questions that need to be answered by computer scientists who design artificial agents. One (...) such question is, “Can an artificial agent that changes its own programming become so autonomous that the original designer is no longer responsible for the behavior of the artificial agent?” To explore this question, we distinguish between LoA1 (the user view) and LoA2 (the designer view) by exploring the concepts of unmodifiable, modifiable and fully modifiable tables that control artificial agents. We demonstrate that an agent with an unmodifiable table, when viewed at LoA2, distinguishes an artificial agent from a human one. This distinction supports our first counter-claim to Floridi and Sanders, namely, that such an agent is not a moral agent, and the designer bears full responsibility for its behavior. We also demonstrate that even if there is an artificial agent with a fully modifiable table capable of learning* and intentionality* that meets the conditions set by Floridi and Sanders for ascribing moral agency to an artificial agent, the designer retains strong moral responsibility. (shrink)

It is argued that the theories of the modern cognitive psychology of perception and recognition show, under rigorous logical analysis, the same problems which arise in the philosophical theories of knowledge of Descartes and Locke and lead to relativistic and solipsistic consequences. Through examination of the approachs of D. Sanders, E. B. Goldstein and J. Fodor it is shown that the perceptible world in these theories dissolves in internal representations so that despite its realistic starting-point modern cognitive psychology runs (...) into epistemological idealism or solipsism. (shrink)

I wish to thank Klaus Kühnle who streamlined in [8] several of my definitions and proofs concerning the subject matter of this paper. Some ideas and results arose from discussions with Klaus Leeb. Jan Johannsen discovered some mistakes in an earlier version.

My reason for bringing up the familiar matter of phenomenalism is both critical and historical. Almost to a man those who have been interested in arguing for or against phenomenalism have assumed that Berkeley was a phenomenalist. Now if Berkeley's doctrine is appropriately named “phenomenalism,” then it is a phenomenalism of a quite different stripe from the twentieth century variety, though many who have described his doctrine as phenomenalism have not sufficiently stressed the difference.

Plato and the trial of Socrates -- What is philosophy? -- Euthyphro : defining philosophical terms -- The apology, Phaedo, and Crito : the trial, immortality, and death of Socrates -- Philosophy of religion -- Can we prove that God exists? -- St. Anselm : the ontological argument -- St. Thomas Aquinas : the cosmological argument -- William Paley : the teleological argument -- Blaisepascal : it is better to believe in God's existence than to deny it -- William James (...) : free choice is the basis of belief -- Does the idea of a good God exclude evil? -- Gottfried Wilhelm Leibniz : God can allow some evil -- David Hume : a good God would exclude evil -- Ethics -- Are ethics relative? -- Ruth Benedict : ethics are relative -- W.T. Stace : ethics are not relative -- Are humans always selfish? -- Humans are always selfish : Glaucon's challenge to Socrates -- James Rachels : humans are not always selfish -- Which is basic in ethics : happiness or obligation? -- Aristotle : happiness is living virtuously -- Jeremy Bentham : happiness is seeking the greatest pleasure for the greatest number of people -- Immanuel Kant : duty is prior to happiness -- Friedrich Nietzsche : happiness is having power -- Jean-Paul Sartre : existentialist ethics -- Rosemarie Tong : feminist ethics are different -- Contemporary moral problems : abortion, homosexuality, animal rights -- Jane English : are most abortions moral? -- Peter Singer : do animals have rights? -- Knowledge -- What is knowledge? -- Plato : knowledge is warranted, true belief -- What method is best for acquiring knowledge? -- Charles Sanders Peirce : four approaches to philosophy -- How do we acquire knowledge? -- René Descartes : knowledge is not ultimately sense knowledge -- John Locke : knowledge is ultimately sensed -- Immanuel Kant : knowledge is both rational and empirical -- How is truth established? -- Bertrand Russell : truth is established by correspondence -- Francis H. Bradley : truth is established by coherence -- William James : truth is established on pragmatic grounds -- Can we know the nature of causal relations? -- David Hume : cause means regular association -- David Hume : there are no possible grounds for induction -- Metaphysics -- Why is there something rather than nothing? -- Parmenides : being is uncaused -- Lao-Tzu : non-being is the source of being -- Is reality general or particular? -- Plato : universals are real -- David Hume : particulars are real -- Of what does reality consist? -- René Descartes : reality consists of mind and matter -- Paul Churchland : reality consists of matter -- George Berkeley : reality consists of ideas -- John Dewey : reality consists of mental and physical qualities -- Are humans free? -- Holbach : humans are determined -- Robert Kane : humans are free -- Social and political philosophy -- What is liberty? -- Fyodor Dostoevski : liberty and authority -- John Stuart Mill : liberty is independence from the majority's tyranny -- Martin Luther King, Jr. : liberty and racial prejudice -- Which government is best? -- Thomas Hobbes : monarchy is best -- John Locke : democracy is best -- Karl Marx : communism and nonalienated labor is best -- Alexis de Tocqueville : democracy can have serious problems -- Karl Popper : utopias lead to violence -- Aesthetics -- What constitutes the experience of beauty? -- Plotinus : beauty, sensuous, and ideal -- What is the function of art? -- Aristotle : the nature of tragedy -- Henri Bergson : the nature of comedy -- Philosophy and the good life -- Classic views of the good life -- Epicurus : Epicurus and the pleasant life -- Epictetus : Epictetus and the life of self-control -- What gives life meaning? -- Leo Tolstoy : faith provides life's meaning -- Albert Camus : each person determines his or her life's meaning -- What is the value of philosophy? -- Bertrand Russell : the value of philosophy. (shrink)

Although the theory of definability had many important antecedents—such as the descriptive set theory initiated by the French semi-intuitionists in the early 1900s—the main ideas were first laid out in precise mathematical terms by Alfred Tarski beginning in 1929. We review here the basic notions of languages, explicit definability, and grammatical complexity, and emphasize common themes in the theories of definability for four important languages underlying, respectively, descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. We review (...) the history of previous studies of the similarities and differences in the theories of definability of the first three of these four languages. A seminal role leading toward unification of the theories has been played by the separation principles introduced by Nikolai Luzin in 1927. Emphasizing analogies and driving toward further unification embracing finite-universe logic we concentrate on a simple example—the first and second separation principles for existential-universal first-order sentences . Using this as a test case for the fundamental problem of how to “finitize” arguments in classical pure logic to the finite-universe case, we are led to the analogous negative solution by using the theory of certain special graphs: a graph is - special for any positive integers m , n , p , q iff it is bipartite with m red points and n blue points and for every p -tuple of red points there is a blue point to which they are all connected . As an aside we introduce for further study a natural “Ramseyesque” increasing sequence A of positive integers, where A is the least positive integer n for which an -special graph exists. (shrink)

Recently a growing number of biologists have begun to consider the causal role that processes of embryonic development may play in evolution. This constitutes a reunion of these phenomena which had been linked in the nineteenth century through Haeckel's biogenetic law. This reunion may result in a new subdiscipline of biology, if there is a set of unique concepts and methods which tie the various research approaches together. Such concepts as bauplan, canalization, and developmental constraint, may serve in such a (...) capacity. The methods employed must combine comparative and experimental analyses, with special attention paid to the range of variation in developmental events within each taxon. These concepts and methods are also applicable to the problem of how development evolved, thus the evolution of development may also be considered part of the reunion. The reunion is discussed in terms of the potential participation of various schools of thought found in the current literature. (shrink)

The purpose of this brief introduction is to describe the origin of the papers here presented and to acknowledge the help of some of the many individuals who were involved in the preparation of this volume. Of the eighteen papers, nine stem from the annual fall colloquium of the Depart ment of Philosophy at the University of Western Ontario held in London, Ontario from November 10 to November 12, 1967. The colloquium was entitled 'Philosophical Logic'. After some discussion, the editors (...) decided to retain that title for this volume. Von Wright's paper 'On the Logic and Ontology of Norms' is printed here after some revision. A. R. Anderson commented on the paper at the colloquium, but his comments here are based upon the revised version of the von Wright paper. The chairman of the session at which von Wright's paper was read and discussed was T. A. Goudge. Aqvist's paper 'Scattered Topics in Interrogative Logic', and Belnap's comments, 'Aqvist's Cor rections-Accumulating Question-Sequences', are printed as delivered. The chairman of the Aqvist-Belnap session was R. E. Butts. Wilfrid Sellars' paper 'Some Problems about Belief' is printed as delivered at the col loquium, but 'Quantifiers, Beliefs, and Sellars' by Ernest Sosa is a revision of his comments at the colloquium. That session was chaired by G. D. W. Berry. Ackermann's paper 'Some Problems oflnductive Logic', as well as Skyrms' comments, are printed as delivered. (shrink)

For each regular cardinal κ, we set up three systems of infinitary type logic, in which the length of the types and the length of the typed syntactical constructs are $\Sigma _{}$, the global system $\text{g}\Sigma _{}$ and the τ-system $\tau \Sigma _{}$. A full cut elimination theorem is proved for the local systems, and about the τ-systems we prove that they admit cut-free proofs for sequents in the τ-free language common to the local and global systems. These two results (...) follow from semantic completeness proofs. Thus every sequent provable in a global system has a cut-free proof in the corresponding τ-systems. It is, however, an open question whether the global systems in themselves admit cut elimination. (shrink)

We propose the beginnings of an intuitionistic propopsitional dynamic logic, and describe several serious open problems.