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)

The phenomenon of quantification into attitude ascriptions has haunted broadly Fregean views, according to which co-referential proper names are not always substitutable salva veritate in attitude ascriptions. Opponents of Fregeanism argue that a belief ascription containing a proper name such as ‘Michael believes that Lindsay is charitable’ is equivalent to a quantified sentence such as ‘there is someone such that Michael believes that she is charitable, and that person is Lindsay’. They conclude that the semantic contribution of a name such (...) as ‘Lindsay’ is the same as the semantic contribution of a variable under an assignment, which these opponents suggest is merely the object assigned to that variable. However, renewed interest in variables suggests that they make a more complicated contribution to the semantic processing of sentences that contain them. In particular, a variable contributes both an assignment-unsaturated and an assignment-saturated semantic value. I use this dual role of the semantics of variables to develop a response to the argument from quantifying in. I take as my point of departure Cumming's () view that an attitude ascription relates the subject of an attitude to the assignment-unsaturated semantic value of an open sentence. I argue that this approach fails. I propose an alternative, according to which the truth of a belief ascription depends on both the assignment-saturated and the assignment-unsaturated semantic value of the open sentence in its that-clause. This approach reverses standard assumptions concerning the relation between quantification and substitution. (shrink)

The defense of common sense in Berkeley's Three Dialogues is, first and foremost, a defense of the gardener's claim to know this cherry tree, a claim threatened by both Cartesian and Lockean philosophy. Berkeley's defense of the gardener's knowledge depends on his claim that the being of a cherry tree consists in its being perceived. This is not something the gardener believes; rather, it is a philosophical analysis of the rules unreflectively followed by the gardener in his use of the (...) word 'exists'. It is by following these rules that the gardener gains knowledge of the cherry tree. Uncovering these deep connections between Berkeley's epistemology and his philosophy of language and placing them in the context of his critique of both Cartesian and Lockean philosophy will clarify Berkeley's strategy for bringing his reader back to common sense and practical engagement in the ordinary affairs of life. (shrink)

This article examines some of the most important metaphors and analogies that epistemologists have used to discuss the structure and validity of knowledge. After reviewing foundational, coherentist, and other metaphors for knowledge, we discuss the metaphilosophical significance of the prevalence of such metaphors. We argue that they support a view of philosophy as akin to science rather than poetry or rhetoric.

Many commentators now view Quine's ‘Truth by Convention’ as a flawed criticism of Carnap. Gary Ebbs argued recently that Quine never intended Carnap as his target. Quine's criticisms were part of his attempt to work out his own scientific naturalism. I agree that Carnap was not Quine's target but object that Quine's criticisms were wholly internal to his own philosophy. Instead, I argue that C.I. Lewis held the kind of truth‐by‐convention thesis that Quine rejects. This, however, leaves Carnap out of (...) the picture. I then show how Quine came to see the earlier criticisms as also having force against Carnap. (shrink)

Rudolf Carnap is well known for his attack on metaphysics, and W. V. Quine is equally well known for his attack on Carnap’s analytic/synthetic distinction. Receiving far less attention is their basic agreement that a properly scientific approach to philosophy should eliminate the metaphysical excesses of the past. This paper aims to remedy this. It focuses initially on the development of Carnap’s rejection of metaphysics from 1932 to 1950 and the role that analyticity plays. It then turns to Quine, emphasizing (...) his basic agreement with Carnap over the elimination of metaphysics and what this looks like without the analytic/synthetic distinction. (shrink)

A comment on Paul Schoemaker's target article in Behavioral and Brain Sciences, 14 (1991), p. 205-215, "The Quest for Optimality: A Positive Heuristic of Science?" (https://doi.org/10.1017/S0140525X00066140). This comment argues that the optimizing model of decision leads to an infinite regress, once internal costs of decision (i.e., information and computation costs) are duly taken into account.

I consider the well-known criticism of Quine's characterization of first-order logical truth that it expands the class of logical truths beyond what is sanctioned by the model-theoretic account. Briefly, I argue that at best the criticism is shallow and can be answered with slight alterations in Quine's account. At worse the criticism is defective because, in part, it is based on a misrepresentation of Quine. This serves not only to clarify Quine's position, but also to crystallize what is and what (...) is not at issue in choosing the model-theoretic account of first-order logical truth over one in terms of substitutions. I conclude by highlighting the need for justifying the belief that the definition of first-order logical truth in terms of models is superior to its definition in terms of substitutions. (shrink)

At least since W. V. O. Quine's famous critique of the analytic/synthetic distinction, philosophers have been deeply divided over whether there are any analytic truths. One line of thought suggests that the simple fact that people have ' intuitions of analyticity' might provide an independent argument for analyticities. If defenders of analyticity can explain these intuitions and opponents cannot, then perhaps there are analyticities after all. We argue that opponents of analyticity have some unexpected resources for explaining these intuitions and (...) that, accordingly, the argument from intuition fails. (shrink)

We discuss some recent work by Tim Maudlin concerning Black Hole Information Loss. We argue, contra Maudlin, that there is a paradox, in the straightforward sense that there are propositions that appear true, but which are incompatible with one another. We discuss the significance of the paradox and Maudlin's response to it.

Advocates of the strong programme in the sociology of knowledge contend that its four defining tenets entail the elimination and replacement tout court of epistemology by strong sociology of knowledge. I advance a naturalistic conception of both substantive and meta-level epistemological inquiry which fully complies with these four tenets and thereby shows that the strong programme neither entails nor even augurs the demise of epistemology.

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

In this article, I present the argument that educational theory has specific character, which distinguishes it from most scientific disciplines. It requires the application of not only strictly scientific methods, which essentially consist of descriptions and explanations, but also normative ones, which indicate how it is related to philosophy and ethics. Its essential connections with philosophy and ethics cause that clear and final thesis are actually impossible to claim, but from the other hand, it is the only discipline which, according (...) to its definition, tries to answer practical-moral questions.The crucial elements of this analysis are the presentation of the justification of a thesis on the specific character of educational theory, which will be accomplished with the concept of “research potential”, formulated for its purposes, and showing the consequences of this particular characteristic of the discipline being discussed. (shrink)

Depuis 1967, Donald Davidson defend l'idée qu'une théorie de la signification pour une langue naturelle doit prendre la forme d'une théorie tarskienne de la vérité. Je me propose ici d'exposer les grandes lignes de l a conception davidsonienne de la sémantique des langues naturelles et de chercher à préciser en quel sens une theorie tarskienne de la vérité pour une langue L constitue, selon Davidson, une théorié de la signification pour L. Je ferai pour cela abstraction des obstacles qu'il pourrait (...) y avoir à la réalisation du programme de Davidson. (shrink)