ABSTRACT Michael Rescorla has argued that it makes sense to compute directly with numbers, and he faulted Turing for not giving an analysis of number-theoretic computability. However, in line with a later paper of his, it only makes sense to compute directly with syntactic entities, such as strings on a given alphabet. Computing with numbers goes via notation. This raises broader issues involving de re propositional attitudes towards numbers and other non-syntactic abstract entities.

The article, first, reconstructs and criticizes Sandro Nannini’s incompatibilistic concept of freedom of decision and, second, develops a compatibilistic alternative, a synthesis of a rationalistic and an autonomous approach. Nannini justifies his conception primarily from a naturalistic point of view: it reflects our sense of agency, so he says. This is criticized as empirically wrong and methodically mistaken: The theory of freedom of decision is, actually, normative; it is about good decisions; naturalism cannot establish normative claims. The alternative is based, (...) methodically, on an idealizing hermeneutics, which tries to reconstruct the point of free decisions, and then justifies the resulting concept practically: Free decisions, conceived in this way, realize optimally our autonomous desires. (shrink)

A cursory glance at the list of Nobel Laureates for Economics is sufficient to confirm Stanovich’s description of the project to evaluate human rationality as seminal. Herbert Simon, Reinhard Selten, John Nash, Daniel Kahneman, and others, were awarded their prizes less for their work in economics, per se, than for their work on rationality, as such. Although philosophical works have for millennia attempted to describe, explicate and evaluate individual and collective aspects of rationality, new impetus was brought to this endeavor (...) over the last century as mathematical logic along with the social and behavioral sciences emerged. Yet more recently, over the last several decades, propelled by the emergence of artificial intelligence, cognitive science, evolutionary psychology, neuropsychology, and related fields, even more sophisticated approaches to the study of rationality have emerged. (shrink)

Quine's views on ontology and naturalism are well-known but rarely considered in tandem. According to my interpretation the connection between them is vital. I read Quine as a global epistemic structuralist. Quine thought we only ever know objects qua solutions to puzzles about significant intersections in observations. Objects are always accessed descriptively, via their roles in our best theory. Quine's Kant lectures contain an early version of epistemic structuralism with uncharacteristic remarks about the mental. Here Quine embraces mitigated anomalous monism, (...) allowing introspection and the availability in principle of full physical descriptions of the perceptual states which get science off the ground. Later versions abandon these ideas. My epistemic-structural interpretation explains why. I argue first-personal introspective access to mental states is incompatible with global epistemic structuralism. (shrink)

While Quine’s linguistic behaviorism is well-known, his Kant Lectures contain one of his most detailed discussions of behaviorism in psychology and the philosophy of mind. Quine clarifies the nature of his psychological commitments by arguing for a modest view that is against ‘excessively restrictive’ variants of behaviorism while maintaining ‘a good measure of behaviorist discipline…to keep [our mental] terms under control’. In this paper, I use Quine’s Kant Lectures to reconstruct his position. I distinguish three types of behaviorism in psychology (...) and the philosophy of mind: ontological behaviorism, logical behaviorism, and epistemological behaviorism. I then consider Quine’s perspective on each of these views and argue that he does not fully accept any of them. By combining these perspectives we arrive at Quine’s surprisingly subtle view about behaviorism in psychology. (shrink)

During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...) follow Willard Van Orman Quine (1908-2000) in his seminal rejection of this distinction. -/- This book offers a comprehensive study of Quine’s naturalism. Building on Quine’s published corpus as well as thousands of unpublished letters, notes, lectures, papers, proposals, and annotations from the Quine archives, this book aims to reconstruct both the nature (chapters 2-4) and the development (chapter 5-7) of his naturalism. As such, this book aims to contribute to the rapidly developing historiography of analytic philosophy, and to provide a better, historically informed, understanding of what is philosophically at stake in the contemporary naturalistic turn. (shrink)

According to the article, Neurath's reflexive epistemology—expressed by the metaphor of the ship in need of reconstruction on the open sea—represents a philosophical alternative to the classical and contemporary forms of scientific realism and ethical cognitivism, including Popper's falsificationism. Against Quine's reductive interpretation of Neurath's boat argument as the basis for a 'naturalized epistemology,' the article maintains that the metaphor suggests the idea of an insuperable situation of linguistic and conceptual circularity. This prevents any attempt at self-foundation in scientific knowledge, (...) as well as in ethics and politics, and rules out any 'constructive philosophy' aiming to break circularity in pursuit of some methodological beginning. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

J C Walker; Dusting Off Educational Studies: a methodology for implementing certain proposals of John Wilson’s, Journal of Philosophy of Education, Volume 18, I.

The Löwenheim-Hilbert-Bernays theorem states that, for an arithmetical first-order language L, if S is a satisfiable schema, then substitution of open sentences of L for the predicate letters of S...

in april 1933, two bright young Ph.D.s were elected to the Harvard Society of Fellows: the psychologist B. F. Skinner and the philosopher/logician W. V. Quine. Both men would become among the most influential scholars of their time; Skinner leads the "Top 100 Most Eminent Psychologists of the 20th Century," whereas philosophers have selected Quine as the most important Anglophone philosopher after the Second World War.1 At the height of their fame, Skinner and Quine became "Edgar Pierce twins"; the latter (...) obtaining the endowed chair at Harvard's department of philosophy, the former taking up the position at Harvard's psychology department.2Besides these biographical parallels, there also... (shrink)

W. V. Quine’s first philosophical monograph, Word and Object, is widely recognized as one of the most influential books of twentieth century philosophy. Notes, letters, and draft manuscripts at the Quine Archives, however, reveal that Quine was already working on a philosophical book in the early 1940s; a project entitled Sign and Object. In this paper, I examine these and other unpublished documents and show that Sign and Object sheds new light on the evolution of Quine’s ideas. Where “Two Dogmas (...) of Empiricism” is usually considered to be a turning point in Quine’s development, this paper redefines the place of ‘Two Dogmas’ in his oeuvre. Not only does Quine’s book project reveal that his views were already fairly naturalistic in the early 1940s ; Sign and Object also unearths the steps Quine had to take in maturing his perspective; steps that will be traced in the second half of this paper. (shrink)

Quine's metaphilosophical naturalism is often dismissed as overly “scientistic.” Many contemporary naturalists reject Quine's idea that epistemology should become a “chapter of psychology” and urge for a more “liberal,” “pluralistic,” and/or “open-minded” naturalism instead. Still, whenever Quine explicitly reflects on the nature of his naturalism, he always insists that his position is modest and that he does not “think of philosophy as part of natural science”. Analyzing this tension, Susan Haack has argued that Quine's naturalism contains a “deep-seated and significant (...) ambivalence”. In this paper, I argue that a more charitable interpretation is possible—a reading that does justice to Quine's own pronouncements on the issue. I reconstruct Quine's position and argue that Haack and Quine, in their exchanges, have been talking past each other and that once this mutual misunderstanding is cleared up, Quine's naturalism turns out to be more modest, and hence less scientistic, than many contemporary naturalists have presupposed. I show that Quine's naturalism is first and foremost a rejection of the transcendental. It is only after adopting a broadly science-immanent perspective that Quine, in regimenting our language, starts making choices that many contemporary philosophers have argued to be unduly restrictive. (shrink)

Quine is routinely perceived as saving metaphysics from Carnapian positivism. Where Carnap rejects metaphysical existence claims as meaningless, Quine is taken to restore their intelligibility by dismantling the former’s internal–external distinction. The problem with this picture, however, is that it does not sit well with the fact that Quine, on many occasions, has argued that metaphysical existence claims ought to be dismissed. Setting aside the hypothesis that Quine’s metaphysical position is incoherent, one has to conclude that his views on metaphysics (...) are subtler than is often presupposed; both the received view that Quine saved metaphysics and the opposite view that Carnap and Quine are on the same anti-metaphysical team seem too one-sided if we take seriously Quine’s own pronouncements on the issue. In this paper, I offer a detailed reconstruction of Quine’s perspective on metaphysical existence claims. Scrutinizing his published work as well as unpublished papers, letters, and notebooks, I show how Quine is able to both blur the boundary between scientific sense and metaphysical nonsense and to argue that we cannot ask what reality is really like in a distinctively philosophical way. I argue that although Quine’s position is much closer to Carnap’s than the received view suggests, it still differs in two crucial respects. (shrink)

The aim of this paper is to show that science, understood as pure research, ought not to be affected by non-epistemic values and thus to defend the traditional ideal of value-free science. First, we will trace the distinction between science and technology, arguing that science should be identified with pure research and that any non-epistemic concern should be di­rected toward technology and technological research. Second, we will examine different kinds of values and the roles they can play in scientific research (...) to argue that science understood as pure research is mostly and in any case ought to be value-free. Third, we will consider and dismiss some widespread arguments that aim to defend, especially at a normative level, the inevitable value-ladenness of science. Finally, we will briefly return to the connections among science, technology, and values. (shrink)

Quine's holistic empiricist account of scientific inquiry can be characterized by three constitutive principles: *noncontradiction*, *universal revisability* and *pragmatic ordering*. We show that these constitutive principles cannot be regarded as statements within a holistic empiricist's scientific theory of the world. This claim is a corollary of our refutation of Katz's [1998, 2002] argument that holistic empiricism suffers from what he calls the Revisability Paradox. According to Katz, Quine's empiricism is incoherent because its constitutive principles cannot themselves be rationally revised. Using (...) Gärdenfors and Makinson's logic of belief revision based on epistemic entrenchment, we argue that Katz wrongly assumes that the constitutive principles are *statements* within a holistic empiricist's theory of the world. Instead, we show that constitutive principles are best seen as *properties* of a holistic empiricist's theory of scientific inquiry and we submit that, without Katz's mistaken assumption, the paradox cannot be formulated. We argue that our perspective on the status of constitutive principles is perfectly in line with Quinean orthodoxy. In conclusion, we compare our findings with van Fraassen's [2002] argument that we should think of empiricism as a stance, rather than as a doctrine. (shrink)

The examples and concepts that Shoemaker cites are rather heterogeneous. Some distinctions need to be drawn. An optimality thesis involves not just an ordering of options, but a value judgment about them. So let us begin by distinguishing minimality from optimality. And the concept of minimality can play a variety of roles, among which I distinguish between extremum descriptions, statements hypothesizing an optimizing process, and methodological recommendations. Finally, I consider how the three categories relate to Shoemaker’s question that “Who is (...) optimizing: the scientist or nature?” . (shrink)

This paper examines the strengths and weaknesses of one of science's most pervasive and flexible metaprinciples;optimalityis used to explain utility maximization in economics, least effort principles in physics, entropy in chemistry, and survival of the fittest in biology. Fermat's principle of least time involves both teleological and causal considerations, two distinct modes of explanation resting on poorly understood psychological primitives. The rationality heuristic in economics provides an example from social science of the potential biases arising from the extreme flexibility of (...) optimality considerations, including selective search for confirming vidence, ex post rationalization, and the confusion of prediction with explanation. Commentators are asked to reflect on the extent to which optimality is an organizing principle of nature, a set of relatively unconnected techniques of science, a normative principle for rational choice and social organization, a metaphysical way of looking at the world, or something else still. (shrink)

Cet article aborde la question générale du développement d'une histoire sociale des mathématiques et de la logique, à partir d'un cas historique. Il vise à rendre compte de certains traits de l'histoire récente de la logique floue. À cette fin, il met en oeuvre une sociologie des pratiques de démonstration et une approche fondée sur l'analyse matérielle du travail logique, notamment de l'activité d'écriture et de lecture. Il esquisse la construction d'une histoire sociale des formes de démonstration.

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a theory. Given (...) this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

In this paper, I take inspiration from some themes in Ann Murphy’s recent book, Violence and the Philosophical Imaginary, especially her argument that philosophy’s identity and relation to itself depends on an intimate relationship with that which is designated as not itself, the latter of which is a potential source of shame that calls for some form of response. I argue that this shame is particularly acute in regard to the natural sciences, which have gone on in various ways to (...) distance themselves from their progenitor discipline and to achieve both agreement and technical progress in a way that could never be said of philosophy. I trace out some of the reactions to this shame that have dominated in the twentieth century and been a factor in the so-called analytic-continental ‘divide’. The options here are many and varied, but they range from cannibalism, scientific naturalism, or some kind of irenic separatism about methods or domains such that science and philosophy do not encroach upon the territory of each other. My aims here are mainly diagnostic, but I will indicate where I think that certain responses to this shame are unproductive and unhelpful, with divergent weaknesses associated with the traditions that have come to be labelled ‘analytic’ and ‘continental’ respectively. My tacit suggestion, then, is that philosophy needs to become post-analytic and meta-continental, but I will also briefly criticize some recent efforts to do precisely this in what is sometimes called the ‘scientific turn’ in contemporary continental philosophy. (shrink)

In trying to define the difference between conventional and ultimate truth, the Mādhyamika Buddhist author Jñānagarbha ends up in paradoxical formulations. Putnam's discussion of Nietzsche's remark that “as the circle of science grows larger it touches paradox at more places” is presented as an illustration for Jñānagarbha's case. No comparison of Putnam and Jñānagarbha is intended as regards the contents of their presentations, the focus being only on the logical form of their argumentation. The paradoxical nature of Jñānagarbha's doctrinal system (...) is explained to derive from the logical incompleteness of formal systems. The paradox is also explained to work as a direction arrow pointing to what can only be realised in a mystical experience. (shrink)

The computational view of mind rests on certain intuitions regarding the fundamental similarity between computation and cognition. We examine some of these intuitions and suggest that they derive from the fact that computers and human organisms are both physical systems whose behavior is correctly described as being governed by rules acting on symbolic representations. Some of the implications of this view are discussed. It is suggested that a fundamental hypothesis of this approach is that there is a natural domain of (...) human functioning that can be addressed exclusively in terms of a formal symbolic or algorithmic vocabulary or level of analysis. Much of the paper elaborates various conditions that need to be met if a literal view of mental activity as computation is to serve as the basis for explanatory theories. The coherence of such a view depends on there being a principled distinction between functions whose explanation requires that we posit internal representations and those that we can appropriately describe as merely instantiating causal physical or biological laws. In this paper the distinction is empirically grounded in a methodological criterion called the " cognitive impenetrability condition." Functions are said to be cognitively impenetrable if they cannot be influenced by such purely cognitive factors as goals, beliefs, inferences, tacit knowledge, and so on. Such a criterion makes it possible to empirically separate the fixed capacities of mind from the particular representations and algorithms used on specific occasions. In order for computational theories to avoid being ad hoc, they must deal effectively with the "degrees of freedom" problem by constraining the extent to which they can be arbitrarily adjusted post hoc to fit some particular set of observations. This in turn requires that the fixed architectural function and the algorithms be independently validated. It is argued that the architectural assumptions implicit in many contemporary models run afoul of the cognitive impenetrability condition, since the required fixed functions are demonstrably sensitive to tacit knowledge and goals. The paper concludes with some tactical suggestions for the development of computational cognitive theories. (shrink)

In a 1969 paper, Quine coined the term 'limits of decision'. This term evidently refers to limits on the logical vocabulary of a logic, beyond which satisfiability is no longer decidable. In the same paper. Quine showed that not only monadic formulas, but homogeneous k-adic formulas for arbitrary k lie on the decidable side of the limits of decision. But the precise location of the limits of decision has remained an open question. The present paper answers that question. It addresses (...) the question of decidability of those sublogics of first-order logic that are defined in terms of their logical vocabularies. A complete answer is obtained, thus locating exactly Quine's limits of decision. (shrink)

In the predicate calculus, variables provide a flexible indexing service which selects the actual arguments to a predicate letter from among possible arguments that precede the predicate letter (in the parse of the formula). In the process of selection, the possible arguments can be permuted, repeated (used more than once), and skipped. If this service is withheld, so that arguments must be the immediately preceding ones, taken in the order in which they occur, the formula is said to be fluted. (...) Quine showed that if a fluted formula contains only homogeneous conjunction (conjoins only subformulas of equal arity), then the satisfiability of the formula is decidable. It remained an open question whether the satisfiability of a fluted formula without this restriction is decidable. This paper answers that question. (shrink)