Online research in philosophy

Abstracts These are abstracts of the papers that receive a reply, not of the replies themselves. The abstracts appear in the alphabetical order of ...

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4–9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

There are modern scientists whose words sound religious but whose beliefs, on close examination, turn out to be identical to those of other scientists who call themselves atheists. Ursula Goodenough's lyrical book, The Sacred Depths of Nature, is sold as a religious book, is endorsed by theologians on the back cover, and its chapters are liberally laced with prayers and devotional meditations.

This book takes a middle ground between the topical and historical approaches to Western ethics. The chapters are topically arranged, but preserve the flow of history in two ways. First, each chapter explains the historical development of the topic under consideration. Second, most chapters focus on a specific famous philosopher who championed a particular tradition, such as Aristotle, Locke, or Kant, and the chapters are chronologically ordered based on when these key philosophers lived.

This document consists primarily of excerpts (chapters 5 and 7-9) from the author’s book From Brain to Cosmos. These excerpts address some traditional philosophical problems about temporal flux and identity through time, using the concept of subjective fact that the author developed earlier in the book. (Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to Cosmos first. See the last page of this document for details on how to obtain those chapters.).

Analogical Natural Language Processing aims to challenge the current hegemony of the rulebased paradigm in NLP. Traditional NLP decomposes languages into atomic units, whereas example-based NLP centres around the re-use of language fragments. The book consists of six chapters : a short introduction, chapters on background material, analogical machine translation, stochastic and analogy-based NLP, some experiments in analogical cloning and a conclusion. We shall now look at the chapters more closely.

A picture of the world as chiefly one of discrete objects, distributed in space and time, has sometimes seemed compelling. It is however one of the main targets of Henry Laycock's book; for it is seriously incomplete. The picture, he argues, leaves no space for "stuff" like air and water. With discrete objects, we may always ask "how many?," but with stuff the question has to be "how much?" Laycock's fascinating exploration also addresses key logical and linguistic questions about the way we categorize the many and the much.

In this book the metaphysical system of Graham Harman is presented in lucid form, aided by helpful diagrams. In Chapter 1, Harman gives his most forceful critique to date of philosophies that reject objects as a primary reality. All such rejections are tainted by either an undermining or overmining approach to objects. In Chapters 2 and 3, he reviews his concepts of sensual and real objects. In the process, he attacks the prestige normally granted to philosophies of human access, which Harman links for the first time to the already discredited Menos Paradox. In Chapters 4 through 7, Harman brings the reader up to speed on his interpretation of Heidegger, which culminates in a fourfold structure of objects linked by indirect causation. In Chapter 8, he speculates on the implications of this theory for the debate over panpsychism, which Harman both embraces and rejects. In Chapters 9 and 10, he introduces the term ontography as the study of the different possible permutations of objects and qualities, which he simplifies with easily remembered terminology drawn from standard playing cards.

This document consists primarily of excerpts (chapters 5 and 10-12) from the author’s book From Brain to Cosmos. These excerpts address several traditional problems about the histories of conscious subjects, using the concept of subjective fact that the author developed earlier in the book. Topics include the persistence of conscious subjects through time, the unity or disunity of the self, and the possibility of splitting conscious subjects. (These excerpts depend heavily upon the author’s concept of subjective fact as developed in From Brain to Cosmos. Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of that book first. See the last page of this document for details on how to obtain those chapters.).