Using a result of Gurevich and Lewis on the word problem for finite semigroups, we give short proofs that the following theories are hereditarily undecidable: (1) finite graphs of vertex-degree at most 3; (2) finite nonvoid sets with two distinguished permutations; (3) finite-dimensional vector spaces over a finite field with two distinguished endomorphisms.

Let K be a finite set of finite structures. We give a syntactic characterization of the property: every element of K is injective in ISP(K). We use this result to establish that A is injective in ISP(A) for every two-element algebra A.

In lieu of an abstract, here is a brief excerpt of the content:Buddhist-Christian Studies 21.1 (2001) v-vi [Access article in PDF] In Memoriam: Wilfred Cantwell Smith Wilfred Cantwell Smith, a Canadian who taught for most of the first half of his career at McGill University in Montreal and for most of the second half at Harvard, died February 7, 2000, in his native Toronto at the age of eighty-three. His wife and companion of sixty years, Muriel, survives him, as do (...) five children and a dozen grandchildren.Smith, a Protestant Christian and clergyman, played an influential role among both academics and church bodies in advocating open dialogue and personal encounter with the adherents of diverse religious traditions. As one of his students, Professor John Ross Carter of Colgate University, put it, "Before I met Wilfred, I had studied Buddhism as a system. Under him, I came to appreciate the faith of Buddhists as persons."As an undergraduate, Smith studied Middle Eastern languages at the University of Toronto. He then studied theology in Cambridge, England, and taught during the early 1940s at Forman Christian College, Lahore, in what was then India but is now Pakistan. He became involved in the vital contemporary life of Muslims, and in the Hindu-Muslim-Sikh interface in the Punjab. The partition of India along communal lines in 1947 reinforced his strong sense of the moral urgency of interreligious understanding.After completing a Ph.D. degree at Princeton University with a dissertation on modern Islam, Smith took up the chair of comparative religion in McGill University's Faculty of Divinity and soon organized McGill's Institute of Islamic Studies, which he directed until 1963. The institute was innovative in two respects. First, it treated Islam as the faith of millions in southern Asia today, where the numerical majority of Muslims live, in contrast with the emphasis of most Orientalist scholarship on classical Arabic, Persian, and Turkish literature. Second, it strove to include roughly equal numbers of Muslims and Westerners in both its faculty and its student body.Though he had already made seminal contributions to comparative studies, Smith moved fully into that realm when in 1964 he took over the directorship of Harvard Divinity School's Center for the Study of World Religions, and later, of Harvard's entire graduate program in religion in arts and sciences. Through two decades, until his 1984 retirement, the world religions Ph.D. graduates emerging from Harvard, including a significant cohort of specialists in Buddhist studies, were inspired by Smith to focus on the faith dimension of the traditions they studied.Religious bodies turned to Smith for scholarly advice. To take one important example, he served in 1967 on a commission on world mission of the United Church of Canada. As a result of his input, the commission's report, adopted by the denomination, [End Page v] affirmed God to be working creatively and redemptively in the religious traditions of humankind. Some view this as the first declaration by any church to go so far in the entire history of Christianity.Numerous responsibilities and honors came to Smith. He became president of practically every organization to which he belonged, such as the American Academy of Religion, the American Society for the Study of Religion (which he said was his favorite), the Canadian Society for the Study of Religion, and the Canadian Theological Society. His writings have been translated into many languages, as diverse as Spanish, Turkish, Urdu, and Korean. He received a dozen honorary degrees, was elected to the Royal Society of Canada, and less than a month before the end of his life was inducted in a special bedside ceremony as an Officer of the Order of Canada, the nearest honor that country has to a title of nobility awarded for merit.Smith was primarily a historian, ever fascinated by process and change. He observed it not only in the societies and traditions of world culture, but in the conceptual vocabulary with which we describe it. His landmark book, from this point of view, is TheMeaning and End of Religion(1963), in which he traced both the emergence of the view of particular traditions... (shrink)

Knowledge is good, ignorance is bad. So it seems, anyway. But in this dissertation, I argue that some ignorance is epistemically valuable. Sometimes, we should suspend judgment even though by believing we would achieve knowledge. In this apology for ignorance (ignorance, that is, of a certain kind), I defend the following four theses: 1) Sometimes, we should continue inquiry in ignorance, even though we are in a position to know the answer, in order to achieve more than mere knowledge (e.g. (...) understanding) while minimizing the effects of confirmation bias. 2) It’s false that we should believe every proposition such that we are guaranteed to be right about it (and even such that we are guaranteed to know it) if we believe it. 3) Being in a position to know is the norm of assertion: importantly, this does not require belief or (thereby) knowledge, and so proper assertion can survive speaker-ignorance. 4) It can be permissible and conversationally useful to tell audiences things that it is logically impossible for them to come to know: Proper assertion can survive (necessary) audience-side ignorance. Cumulatively, this project suggests that, properly understood, ignorance has an important role to play in the good epistemic life. (shrink)

The naturalized metaphysics promoted by Ladyman and Ross, among others, is often described as (neo)-Quinean metaphysics. This association with Quine's naturalism can, however, give a misleading impression of the aims and commitments of this kind of naturalized metaphysics. Contrary to Quine, these naturalized metaphysicians endorse metaphysical realism and offer wholesale arguments in favor of the epistemic standing of science-based metaphysics. Accordingly, this naturalized metaphysics comes closer to Roy Wood Sellars's evolutionary naturalism, especially since the theory of evolution is central (...) to the criticism that naturalized metaphysics levels at nonnaturalized metaphysics. The paper argues that Sellars's naturalism is furthermore helpful (1) for explicating the naturalism of naturalized metaphysics, (2) for theorizing a more general naturalist basis for naturalized metaphysics, and (3) for suggesting where naturalized metaphysics is perhaps not naturalist enough, especially when it comes to considering the implications of the theory of evolution for its positive program. (shrink)

This chapter first distinguishes between originality and creativity. True originality is rare, whether in art, science, or LEGO, because to be truly original means to have done something that no one has ever done before, and that no one could have anticipated. Most LEGO creations will not meet that condition, for with the exception of serious hobbyists who undertake massive builds, most players who make original creations are making creations that are commonplace. Painting or remolding or placing stickers on the (...) bricks counts against the spirit of LEGO creation. The chapter then discusses The LEGO Movie embodies the paradox that presents three conflicting models of creative LEGO play, illustrated by the Master Builders, Finn's father, and Emmet. The movie's creators were deliberately playing around with conflicting popular conceptions of creativity: creativity as madness, creativity as thinking outside the box, and creativity as vision. (shrink)

This volume consists of the first of the John Dewey Lectures delivered under the auspices of Columbia University's Philosophy Department as well as other essays by the author. Intended to clarify the meaning of the philosophical doctrines propounded by Professor Quine in 'Word and Objects', the essays included herein both support and expand those doctrines.

In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

Provides comprehensive coverage of logical structure as well as the techniques of formal reasoning.

Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of fact, and truth which are synthetic, or grounded in fact. The other dogma is reductionism: the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience. Both dogmas, I shall argue, are ill founded. One effect of abandoning them is, as (...) we shall see, a blurring of the supposed boundary between speculative metaphysics and natural science. Another effect is a shift toward pragmatism. (shrink)

INTRODUCTION MATHEMATICAL logic differs from the traditional formal logic so markedly in method, and so far surpasses it in power and subtlety, ...

For the faithful there is much to ponder. In this short book, based on lectures delivered in Spain in 1990, Quine begins by locating his work historically.

Ross P. Cameron argues that the flow of time is a genuine feature of reality. He suggests that the best version of the A-Theory is a version of the Moving Spotlight view, according to which past and future beings are real, but there is nonetheless an objectively privileged present. Cameron argues that the Moving Spotlight theory should be viewed as having more in common with Presentism than with the B-Theory. Furthermore, it provides the best account of truthmakers for claims (...) about what was or will be the case. Cameron goes on to defend an account of the open future, and argues that this is a better account than that available to the Growing Block theory. (shrink)

Kant's question 'How are synthetic judgments a priori possible?' pre- cipitated the Critique of Pure Reason. Question and answer notwith- standing, Mill and others persisted in doubting that such judgments were possible at all. At length some of Kant's own clearest purported.

It is gratifying to see that philosophers' continued interest in Words and Objections has been so strong as to motivate a paperback edition. This is gratifying because it vindicates the editors' belief in the permanent im portance of Quine's philosophy and in the value of the papers com menting on it which were collected in our volume. Apart from a couple of small corrections, only one change has been made. The list of Professor Quine's writings has been brought up to (...) date. The editors cannot claim any credit for this improvement, however. We have not tried to imitate the Library of Living Philosophers volumes and to include Professor Quine's autobiography in this volume, but we are fortunate to publish here his brand-new auto bibliography. 1975 THE EDITORS TABLE OF CONTENTS V PREFACE 1 EDITORIAL INTRODUCTION 1. 1. C. SMAR T / Quine's Philosophy of Science 3 GILBERT HARMAN / An Introduction to 'Translation and Meaning', Chapter Two of Word and Object 14 ERIK STENIUS / Beginning with Ordinary Things 27 NOAM CHOMSKY / Quine's Empirical Assumptions 53 1AAKKO HINTIKKA / Behavioral Criteria of Radical Translation 69 BARRY STROUD / Conventionalism and the Indeterminacy of Translation 82 P. F. STRA WSON / Singular Terms and Predication 97 118 H. P. GRICE / Vacuous Names P. T. (shrink)

A respected Harvard logician and philosopher gathers together twenty-nine writings dealing with the foundations of mathematics, Rudolf Carnap, lin-guistics, ...

Several of these essays have been printed whole in journals; others are in varying degrees new. Two main themes run through them. One is the problem of meaning, particularly as involved in the notion of an analytic statement. The other is the notion of ontological, commitment, particularly as involved in the problem of universals.

A growing number of epistemologists have endorsed the Ignorance Norm for Inquiry. Roughly, this norm says that one should not inquire into a question unless one is ignorant of its answer. I argue that, in addition to ignorance, proper inquiry requires a certain kind of knowledge. Roughly, one should not inquire into a question unless one knows it has a true answer. I call this the Knowledge Norm for Inquiry. Proper inquiry walks a fine line, holding knowledge that there is (...) an answer in the left hand and ignorance of the answer in the right. (shrink)

" This is a key book for understanding the effort that a major philosopher has made a large part of his life's work: to naturalize epistemology in the twentieth ...

W. V. Quine was one of the most influential figures of twentieth-century American analytic philosophy. Although he wrote predominantly in English, in Brazil in 1942 he gave a series of lectures on logic and its philosophy in Portuguese, subsequently published as the book O Sentido da Nova Lógica. The book has never before been fully translated into English, and this volume is the first to make its content accessible to Anglophone philosophers. Quine would go on to develop revolutionary ideas about (...) semantic holism and ontology, and this book provides a snapshot of his views on logic and language at a pivotal stage of his intellectual development. The volume also includes an essay on logic which Quine also published in Portuguese, together with an extensive historical-philosophical essay by Frederique Janssen-Lauret. The valuable and previously neglected works first translated in this volume will be essential for scholars of twentieth-century philosophy. (shrink)

Is authoritarian power ever legitimate? The contemporary political theory literature—which largely conceptualizes legitimacy in terms of democracy or basic rights—would seem to suggest not. I argue, however, that there exists another, overlooked aspect of legitimacy concerning a government’s ability to ensure safety and security. While, under normal conditions, maintaining democracy and rights is typically compatible with guaranteeing safety, in emergency situations, conflicts between these two aspects of legitimacy can and often do arise. A salient example of this is the COVID-19 (...) pandemic, during which severe limitations on free movement and association have become legitimate techniques of government. Climate change poses an even graver threat to public safety. Consequently, I argue, legitimacy may require a similarly authoritarian approach. While unsettling, this suggests the political importance of climate action. For if we wish to avoid legitimating authoritarian power, we must act to prevent crises from arising that can only be resolved by such means. (shrink)

Willard Van Orman Quine begins this influential work by declaring, "Language is asocial art.

I address an intuition commonly endorsed by metaphysicians, that there must be a fundamental layer of reality, i.e., that chains of ontological dependence must terminate: there cannot be turtles all the way down. I discuss applications of this intuition with reference to Bradley’s regress, composition, realism about the mental and the cosmological argument. I discuss some arguments for the intui- tion, but argue that they are unconvincing. I conclude by making some suggestions for how the intuition should be argued for, (...) and discussing the ramifications of giving the justification I think best. (shrink)

Quine's areas of interest are panoramic, as this lively book amply demonstrates.

The dilemma of the anthropos confuses him as to the advantage of the market to his existence. The market anthropos is seen as homo economicus, a self-interested, utility-maximizing individual. This popular belief is critically analyzed as to its nuances insofar as the homo politicus of John Rawls is concerned. The life of the market anthropos seeks consensus towards societal cooperation and justice. Popularly held to be dissenting, this paper seeks to explore their possible convergence in the light of the nuances (...) predicated by Adam Smith and Rawls. Ultimately, it is argued that the anthropos in either startum of politics or market is not differentiated but is one and the same, contextually apart but anthropologically integrated. The cooperative homo politicus can also be a cooperative homo econonomicus just as both can be selfishly motivated and utilitarianist. (shrink)

W. V. Quine’s systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with modern logic. Max Black, in Mind, has said of this book, “It will serve the purpose of inculcating, by precept and example, standards of (...) clarity and precision which are, even in formal logic, more often pursued than achieved.”. (shrink)

Gödel’s Second Incompleteness Theorem states axiom systems of sufficient strength are unable to verify their own consistency. We will show that axiomatizations for a computer’s floating point arithmetic can recognize their cut-free consistency in a stronger respect than is feasible under integer arithmetics. This paper will include both new generalizations of the Second Incompleteness Theorem and techniques for evading it.

What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.