Recently some philosophers interested in consciousness have begun to turn their attention to the question of what evolutionary advantages, if any, being conscious might confer on an organism. The issue has been pressed in recent dicussions involving David Chalmers, Todd Moody, Owen Flanagan and Thomas Polger, Daniel Dennett, and others. The purpose of this essay is to consider some of the problems that face anyone who wants to give an evolutionary explanation of consciousness. We begin by framing the problem (...) in the context of some current debates. Then we. (shrink)

This volume explores how Catholicism began and continues to open its doors to the wider world and to other confessions in embracing ecumenism, thanks to the vision and legacy of the Second Vatican Council. It explores such themes as the twentieth century context preceding the council; parallels between Vatican II and previous councils; its distinctively pastoral character; the legacy of the council in relation to issues such as church-world dynamics, as well as to ethics, social justice, economic activity. Several chapters (...) discuss the role of women in the church before, during, and since the council. Others discern inculturation in relation to Vatican II. The book also contains a wide and original range of ecumenical considerations of the council, including by and in relation to Free Church, Reformed, Orthodox, and Anglican perspectives. Finally, it considers the Council’s ongoing promise and remaining challenges with regard to ecumenical issues, including a groundbreaking essay on the future of ecumenical dialogue by Cardinal Walter Kasper. (shrink)

The 1990’s, we’ve been told, were the decade of the brain. But without anyone announcing or declaring, much less deciding that it should be so, the 90’s were also a breakthrough decade for the study of consciousness. (Of course we think the two are related, but that is another matter altogether.) William G. Lycan leads the charge with his 1987 book Consciousness (MIT Press), and he has weighed-in again with Consciousness and Experience (1996, MIT Press). Together these two books put (...) forth Lycan’s formidable view of consciousness, extending the theory of mind that he calls ‘homuncular functionalism.’ Roughly, Lycan’s view is that conscious beings are hierarchically composed intentional systems, whose representational powers are to be understood in terms of their biological function. In this review we will call the view ‘teleological functionalism’ or ‘teleofunctionalism’ – the homuncular part, for which Lycan and Daniel Dennett argued convincingly, is now so widely accepted that it fails to distinguish Lycan’s view from other versions of functionalism. This, by itself, is a testament to the importance of Lycan’s work. (shrink)

Todd Moody’s Zombie Earth thought experiment is an attempt to show that ‘conscious inessentialism’ is false or in need of qualification. We defend conscious inessentialism against his criticisms, and argue that zombie thought experiments highlight the need to explain why consciousness evolved and what function(s) it serves. This is the hardest problem in consciousness studies.

Consciousness and evolution are complex phenomena. It is sometimes thought that if adaptation explanations for some varieties of consciousness, say, conscious visual perception, can be had, then we may be reassured that at least those kinds of consciousness are not epiphenomena. But what if other varieties of consciousness, for example, dreams, are not adaptations? We sort out the connections among evolution, adaptation, and epiphenomenalism in order to show that the consequences for the nature and causal efficacy of consciousness are not (...) as dire as has sometimes been supposed. (shrink)

Reanimated for the contemporary literature in the writings of Quine, [16]) and Kuhn [7], the conventionalism of Duhem [2] and Poincaré [12] has emerged in the last few years as one of the genuinely interesting topics in the philosophy of science. The theory in question—let us follow Grünbaum [3] in calling it the D-thesis, after its founder, Pierre Duhem—claims three things: a single scientific hypothesis H is never disconfirmable in isolation from its fellow; every single hypothesis H of science presupposes, (...) explicitly or implicitly, the support of a conjunction A = A, • A2 • … • Am of auxiliary assumptions or hypotheses; the failure of an observational consequence of H in face of contradictory evidence disconfirms only the conjunction of H and A, not H alone—i.e. establishes only ∼. The logical picture is as follows. (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.

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.

Definitions are traditionally seen as abbreviations, as tools for notational convenience that do not increase inferential power. From a Philosophy of Mathematical Practice point of view, however, there is much more to definitions. For example, definitions can play a role in problem solving, definitions can contribute to understanding, sometimes equivalent definitions are appreciated differently, and so on. This chapter reviews the literature on definitions and (to a certain extent) concepts in mathematical practice. It is structured according to four themes through (...) which definitions (and concepts) in mathematical practice have been studied. These themes concern (1) the nature of definitions, (2) whether and how concepts evolve, (3) definitions and concepts from a communal perspective, and (4) different values relating to definitions and concepts. (shrink)

This presentation of the main phases and features of political thought in the sixteenth century is based on an exhaustive study of contemporary writings in Latin, English, French, German and Italian. The book is divided into four parts. The first part deals with the new thought of Protestantism. The rest describes special ideas that emerged in England, France and Italy.