When certain formal symbol systems (e.g., computer programs) are implemented as dynamic physical symbol systems (e.g., when they are run on a computer) their activity can be interpreted at higher levels (e.g., binary code can be interpreted as LISP, LISP code can be interpreted as English, and English can be interpreted as a meaningful conversation). These higher levels of interpretability are called "virtual" systems. If such a virtual system is interpretable as if it had a mind, is such a "virtual (...) mind" real? This is the question addressed in this "virtual" symposium, originally conducted electronically among four cognitive scientists: Donald Perlis, a computer scientist, argues that according to the computationalist thesis, virtual minds are real and hence Searle's Chinese Room Argument fails, because if Searle memorized and executed a program that could pass the Turing Test in Chinese he would have a second, virtual, Chinese-understanding mind of which he was unaware (as in multiple personality). Stevan Harnad, a psychologist, argues that Searle's Argument is valid, virtual minds are just hermeneutic overinterpretations, and symbols must be grounded in the real world of objects, not just the virtual world of interpretations. Computer scientist Patrick Hayes argues that Searle's Argument fails, but because Searle does not really implement the program: A real implementation must not be homuncular but mindless and mechanical, like a computer. Only then can it give rise to a mind at the virtual level. Philosopher Ned Block suggests that there is no reason a mindful implementation would not be a real one. (shrink)

An e-mail discussion can be rendered into print in several ways. Rather than trying to imitate a genuine conversation, this is a personal essay containing comments and replies by the other contributors. Most of the substantial points made in the e-mail discussion are contained here, although not always in the order they happened.

An e-mail discussion can be rendered into print in several ways. Rather than trying to imitate a genuine conversation, this is a personal essay containing comments and replies by the other contributors. Most of the substantial points made in the e-mail discussion are contained here, although not always in the order they happened.

Readable and accessible collection of papers re thinking machines.

Each annual Ontology Summit initiative makes a statement appropriate to each Summit’s theme as part of our general advocacy designed to bring ontology science and engineering into the mainstream. The theme this year is "Towards an Open Ontology Repository". This communiqué represents the joint position of those who were engaged in the year's summit discourse on an Open Ontology Repository (OOR) and of those who endorse below. In this discussion, we have agreed that an "ontology repository is a facility where (...) ontologies and related information artifacts can be stored, retrieved and managed." -/- We believe in the promise of semantic technologies based on logic, databases and the Semantic Web, a Web of exposed data and of interpretations of that data (i.e., of semantics), using common standards. Such technologies enable distinguishable, computable, reusable, and sharable meaning of Web and other artifacts, including data, documents, and services. We also believe that making that vision a reality requires additional supporting resources and these resources should be open, extensible, and provide common services over the ontologies. (shrink)

The Knowledge Interchange Format (KIF) [2] is an ASCII- based framework for use in exchanging of declarative knowledge among disparate computer systems. KIF has been widely used in the fields of knowledge engineering and artificial intelligence. Due to its growing importance, there arose a renewed push to make KIF an offi- cial international standard. A central motivation behind KIF standardization is the wide variation in quality, style, and content — of logic-based frameworks being used for knowledge representation. Variations of all (...) three types, of course, hinder the possibility of semantic integration. A well-crafted logic standard for the representation of declarative knowledge would impose some greatly needed syntactic and semantic uniformity on the current somewhat chaotic situation, uniformity that would in turn greatly enhance the capacity for semantic integration. For all its potential advantages, however, the idea of a logic standard is problematic for at least two reasons. (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)

This chapter examines a little-known movement to make the Our Lady of Perpetual Help icon the patroness of the proceedings of the Second Vatican Council. Begun by American Redemptorists, it sought to integrate a Marian piety into the conciliar ethos, but one that was decidedly cross-cultural and ecumenical. Explicit in its mission for unity between Roman Catholics and the separated churches of the East, the movement promoted the icon as the key to repairing centuries-old wounds. Insofar as 2015 begins the (...) sesquicentennial year of the icon’s association with Redemptorists, as well as its value as an ecumenical tool, the author explores whether OLPH can lend new impetus for unity between Orthodox and Catholics ahead of the proposed joint synod in 2025. (shrink)

Beyond the Ancient Quarrel brings together contributions from leading scholars to explore the boundaries between literature, philosophy, and literary criticism in the work of J.M. Coetzee.

This debate, principally between myself (Nigel Thomas) and Patrick Hayes, the well known computer scientist and Artificial Intelligence researcher, took place through the internet mailing list for the discussion of the scientific study of consciousness, PSYCHE-D (moderated by Patrick Wilken), which is associated with the on-line journal PSYCHE. The discussion touches on the various different senses in which the expression "mental image" may be used, the underlying cognitive mechanisms of imagery, and the relevance of an understanding of imagery to the (...) understanding of conscious thought, and thought in general. As the debate became rather 'unthreaded' on the list, following it through this page may help the reader to better understand what was going on. (shrink)

Within the field of aesthetics, there are several approaches to answering what affects how and whether an individual engages with a particular art or aesthetic object. Two theories that attempt to come to a solution on this issue are theories of attunement and attachment which respectively argue that one’s engagement is primarily affected by one’s attunement or attachment, through a system of values, beliefs, and associations, to an object. While these theories are successful in responding to a variety of cases, (...) individually, they leave something to be desired explicatively, and, in light of this, I will develop in this essay an alternative that centres itself on the character of the aesthetic subject which will do the work of both approaches without having to make any taxing conceptual commitments. (shrink)