The intentional stance is the strategy of prediction and explanation that attributes beliefs, desires, and other states to systems and predicts future behavior from what it would be rational for an agent to do, given those beliefs and desires. Any system whose performance can be thus predicted and explained is an intentional system, whatever its innards. The strategy of treating parts of the world as intentional systems is the foundation of but is also exploited in artificial intelligence and cognitive science (...) more generally, as well as in evolutionary theory. An analysis of the role of the intentional stance and its presuppositions supports a naturalistic theory of mental states and events, their content or intentionality, and the relation between levels of explanation and neurophysiological or mechanistic levels of explanation. As such, the analysis of the intentional stance grounds a theory of the mind and its relation to the body. (shrink)

Putnam’s internal realism is aimed at reconciling realist and antirealist intuitions about truth and the nature of reality. A common complaint about internal realism is that it has never been stated with due precision. This paper attempts to render the position precise by drawing on the literature on conceptual spaces as well as on earlier work of the authors on the notion of identity.

I want to discuss, in some detail, a short section from Quine’s Philosophy of Logic. It runs from pages 10 to 13 of the second, revised edition of the book and carries the subheading ‘Truth and semantic ascent’.1 In these two and a half pages, Quine presents his well-known account of truth as a device of disquotation, employing what I call Quine’s Ladder. The section merits scrutiny, for it has become the central document for contemporary deflationary views about truth.

It is now over 15 years since Hilary Putnam first urged that we take the “narrow path” of internal realism as a way of navigating between “the swamps of metaphysics and the quicksands of cultural relativism and historicism” (1983, p. 226). In the opening lines of the Preface toRealism with a Human Face, a collection of Putnam's recent papers edited by James Conant, Putnam reaffirms his allegiance to this narrow path, unmoved by Realist murmurings from the swamps and laconic Rortian (...) suggestions that only the quicksands are a proper metaphilosophical abode for those willing to confront our lack of epistemological and metaphysical foundations. If there are changes to be discerned in these writings, Putnam avers, they pertain only to the burden allotted to different considerations in the overall economy of his argument: “It might be said that the difference between the present volume and my work prior toThe Many Faces of Realismis a shift in emphasis: a shift from emphasizing model-theoretic arguments against metaphysical realism to emphasizing conceptual relativity” (p. xi). (shrink)

Nussbaum misconstrues the difference between Plato and Aristotle over what is real for a debate over a conception of truth. She seems to mistake Aristotle's arguments against Plato' version of realism as an argument against realism per se, though the texts do not permit such a reading. She claims Aristotle is convinced that realism involves a fatal “failure of reference,” yet she produces not a single text where Aristotle is even remotely concerned about such a failure of reference given the (...) commitments of realism. And nowhere is the crucial question of the relationship between Aristotle's antirealism and his method of appearances explicitly addressed or resolved.Nussbaum offers us a fashionable Aristotle. I have argued that, far from being attractive and obviously right on a deep and recent metaphysuical debate, Nussbaum's Aristotle is confused and inconsistent and thus that it is a good thing the texts do not support such a characterization. (shrink)

We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...) and everyaf is endowed with ajustification value, defined in terms of the intuitive notion of proof and depending on the truth values of its radical subformulas. In this framework, we define the notion ofpragmatic validity in P and yield a list of criteria of pragmatic validity which hold under the assumption that only classical metalinguistic procedures of proof be accepted. We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part of P and show that this translation allows us to interpret Intuitionistic Logic as an axiomatic theory of the constructive proof concept rather than an alternative to Classical Logic. Finally, we show that our framework provides a suitable background for discussing classical problems in the philosophy of logic. (shrink)

It is often thought that questions of reference are crucial in assessing scientific realism, construed as the view that successful theories are at least approximately true descriptions of the unobservable; realism is justified only if terms in empirically successful theories generally refer to genuinely existing entities or properties. In this paper this view is questioned. First, it is argued that there are good reasons to think that questions of realism are largely decided by convention and carry no epistemic significance. An (...) alternative conception of realism is then proposed, which focuses on the Ramsey sentences of scientific theories, constructed in the manner of David Lewis's 'How to define theoretical terms'. It is argued that because the Ramsey sentence of a theory preserves the epistemically significant part of the theory's content without generating commitments to any particular conclusions about reference, the realism issue is better addressed by asking whether Ramsey sentences of theories, rather than the theories themselves, are approximately true. (shrink)

This paper explores the relation between epistemic conceptions of truth and different kinds of commitment to realism and antirealism. It argues that all epistemic conceptions of truth are versions of antirealism. Although epistemic conceptions of truth can make various concessions to realist intuition, these remain concessions only. One cannot concede all claims to antirealism and remain within the orbit of a genuinely epistemic conception of truth.

Hilary Putnam and Nelson Goodman are two of the twentieth century's most persuasive critics of metaphysical realism, however they disagree about the consequences of rejecting metaphysical realism. Goodman defended a view he called irrealism in which minds literally make worlds, and Putnam has sought to find a middle path between metaphysical realism and irrealism. I argue that Putnam's middle path turns out to be very elusive and defend a dichotomy between metaphysical realism and irrealism.

This paper examines four central issues prompted by Thompson's recent critique of the Buddhist modernism phenomenon: (i) the suitability of evolutionary psychology as a framework of analysis for Buddhist moral psychological ideas; (ii) the issue of what counts as the core and main trajectory of the Buddhist intellectual tradition; (iii) the scope of naturalism in the relation between science and metaphysics, and (iv) whether a Madhyamaka-inspired anti-foundationalism stance can serve as an effective platform for debating the issue of progress in (...) science. The main argument of this paper is that while the mind sciences may corroborate some aspects of the Buddhist model of mind, they also call into question some core Buddhist ideas. Hence, if Buddhism is to enter into a fruitful dialogue with the mind sciences, it must be shown to complement the empirical claims to knowledge for which scientific naturalism so far provides the most viable basis. (shrink)

This paper aims to defend the use of the notion of experimental individuation, which has recently been developed by Ruey-Lin Chen, as a criterion for the reality of theoretical entities. In short, when scientists experimentally individuate an entity, a realist conclusion about that entity is warranted. We embed this claim regarding experimental individuation within a framework that allows for other criteria of reality. And we understand so-called retail arguments regarding the reality of a particular theoretical entity as arguments that concern (...) choosing an appropriate criterion of reality for that entity and determining whether the relevant first-order scientific evidence satisfies that criterion. We argue that such retail arguments are philosophical because defending criteria of reality, and showing that they are or are not satisfied in particular cases, involves work that is distinctively philosophical. And we illustrate this philosophical work by applying our criterion of experimental individuation to three historical cases: Davy’s potassium, Lavoisier’s muriatic radical, and Thomson’s electrified particles. (shrink)

Structural realism has recently re-entered mainstream discussions in the philosophy of science. The central notion of structure, however, is contested by both advocates and critics. This paper briefly reviews currently prominent structuralist accounts en route to proposing a metaphysics of structure that is capable of supporting the epistemic aspirations of realists, and that is immune to the charge most commonly levelled against structuralism. This account provides an alternative to the existing epistemic and ontic forms of the position, incorporating elements of (...) both. Structures are here identified with relations between first order, causal properties: properties that confer specific dispositions for relations. This form of structuralism constitutes an explicit proposal for what seem implicit structuralist tendencies in sophisticated but more traditional characterizations of realism. An outline of the proposal's response to the anti-realist's pessimistic induction on the history of scientific theories is considered. (shrink)

The symmetries of a physical theory are often associated with two things: conservation laws and representational redundancies. But how can a physical theory's symmetries give rise to interesting conservation laws, if symmetries are transformations that correspond to no genuine physical difference? In this article, I argue for a disambiguation in the notion of symmetry. The central distinction is between what I call "analytic" and "synthetic" symmetries, so called because of an analogy with analytic and synthetic propositions. "Analytic" symmetries are the (...) turning of idle wheels in a theory's formalism, and correspond to no physical change; "synthetic" symmetries cover all the rest. I argue that analytic symmetries are distinguished because they act as fixed points or constraints in any interpretation of a theory, and as such are akin to Poincaré's conventions or Reichenbach's 'axioms of co-ordination', or 'relativized constitutive a priori principles'. (shrink)

This paper examines Hilary Putnam’s arguments against what he calls metaphysical realism and in favour of internal realism. A key notion is the one of conceptual scheme, whose role is to explain how we inevitably find ourselves adopting one viewpoint among possible others. To ensure the possibility of agreement between all inquirers for some basic issues, is Putnam committed to having just one conceptual scheme for all human inquirers? The paper argues that the answer is no, on condition that all (...) inquirers are assumed to have a kind of cognitive faculty that is common to all. (shrink)

Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted models. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I examine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely immune to metamathematical challenges.

Confirmational holism is central to a traditional formulation of the indispensability argument for mathematical realism (IA). I argue that recent strategies for defending scientific realism are incompatible with confirmational holism. Thus a traditional formulation of IA is incompatible with recent strategies for defending scientific realism. As a consequence a traditional formulation of IA will only have limited appeal.

An emphasis on explanatory contribution is central to a recent formulation of the indispensability argument for mathematical realism. Because scientific realism is argued for by means of inference to the best explanation, it has been further argued that being a scientific realist entails a commitment to IA and thus to mathematical realism. It has, however, gone largely unnoticed that the way that IBE is argued to be truth conducive involves citing successful applications of IBE and tracing this success over time. (...) This in turn involves identifying those constituents of scientific theories that are responsible for their predictive success and showing that these constituents are retained across theory change in science. I argue that even if mathematics can be shown to feature in best explanations, the role of mathematics in scientific theories does not satisfy the condition that mathematics is always retained across theory change. According to a scientific realist, this condition needs to be met for making ontological claims on the basis of explanatory contribution. Thus scientific realists are not committed to mathematical realism on the basis of this recent formulation of IA. (shrink)

Abstract: Laudan (1984) distinguishes between two senses of success for scientific theories: (i) that a particular theory is successful, and (ii) that the methods for picking out approximately true theories are successful. These two senses of success are reflected in two different ways that the no miracles argument for scientific realism (NMA) may be set out. First, I set out a (traditional) version of NMA that considers the success of particular theories. I then consider a more recent formulation of NMA (...) (Psillos, 1999). This version of NMA is aimed at making us believe that our methods for picking out approximately true theories are reliable. I shall argue that the success of the latter argument is dependent on the success of the first. Therefore, even though Psillos presents a new formulation of NMA, the evidential support for it is no stronger than the evidential support for the original version. (shrink)

Hartry Field has recently examined the question whether our logical and mathematical concepts are referentially indeterminate. In his view, (1) certain logical notions, such as second-order quantification, are indeterminate, but (2) important mathematical notions, such as the notion of finiteness, are not (they are determinate). In this paper, I assess Field's analysis, and argue that claims (1) and (2) turn out to be inconsistent. After all, given that the notion of finiteness can only be adequately characterized in pure secondorder logic, (...) if Field is right in claiming that second-order quantification is indeterminate (see (1)), it follows that finiteness is also indeterminate (contrary to (2)). After arguing that Field is committed to these claims, I provide a diagnosis of why this inconsistency emerged, and I suggest an alternative, consistent picture of the relationship between logical and mathematical indeterminacy. (shrink)

One important role of belief systems is to allow us to represent information about a certain domain of inquiry. This paper presents a formal framework to accommodate such information representation. Three cognitive models to represent information are discussed: conceptual spaces, state-spaces, and the problem spaces familiar from artificial intelligence. After indicating their weakness to deal with partial information, it is argued that an alternative, formulated in terms of partial structures, can be provided which not only captures the positive features of (...) these models, but also accommodates the partiality of information ubiquitous in science and mathematics. (shrink)

Second-order logic has a number of attractive features, in particular the strong expressive resources it offers, and the possibility of articulating categorical mathematical theories (such as arithmetic and analysis). But it also has its costs. Five major charges have been launched against second-order logic: (1) It is not axiomatizable; as opposed to first-order logic, it is inherently incomplete. (2) It also has several semantics, and there is no criterion to choose between them (Putnam, J Symbol Logic 45:464–482, 1980 ). Therefore, (...) it is not clear how this logic should be interpreted. (3) Second-order logic also has strong ontological commitments: (a) it is ontologically committed to classes (Resnik, J Phil 85:75–87, 1988 ), and (b) according to Quine (Philosophy of logic, Prentice-Hall: Englewood Cliffs, 1970 ), it is nothing more than “set theory in sheep’s clothing”. (4) It is also not better than its first-order counterpart, in the following sense: if first-order logic does not characterize adequately mathematical systems, given the existence of non - isomorphic first-order interpretations, second-order logic does not characterize them either, given the existence of different interpretations of second-order theories (Melia, Analysis 55:127–134, 1995 ). (5) Finally, as opposed to what is claimed by defenders of second-order logic [such as Shapiro (J Symbol Logic 50:714–742, 1985 )], this logic does not solve the problem of referential access to mathematical objects (Azzouni, Metaphysical myths, mathematical practice: the logic and epistemology of the exact sciences, Cambridge University Press, Cambridge, 1994 ). In this paper, I argue that the second-order theorist can solve each of these difficulties. As a result, second-order logic provides the benefits of a rich framework without the associated costs. (shrink)

In a number of influential papers, Hartry Fieldhas advanced an account of truth and referencethat we might dub quasi-disquotationalism. According to quasi-disquotationalism, truth and reference are to be explained in terms of disquotationand facts about what constitute a goodtranslation into our language. Field suggeststhat we might view quasi-disquotationalism aseither (a) an analysis of our ordinarytruth-theoretic concepts of reference andtruth, or (b) an account of certain otherconcepts that improve upon our ordinaryconcepts. In this paper, I argue that (i) ifthe view is (...) understood along the lines of (a)it fails, and (ii) if it is construed along thelines of (b) it is, at best, under-motivated. (shrink)

This paper considers an important recent contribution by Miguel Hernán to the ongoing debate about causal inference in epidemiology. Hernán rejects the idea that there is an in-principle epistemic distinction between the results of randomized controlled trials and observational studies: both produce associations which we may be more or less confident interpreting as causal. However, Hernán maintains that trials have a semantic advantage. Observational studies that seek to estimate causal effect risk issuing meaningless statements instead. The POA proposes a solution (...) to this problem: improved restrictions on the meaningful use of causal language, in particular “causal effect”. This paper argues that new restrictions in fact fail their own standards of meaningfulness. The paper portrays the desire for a restrictive definition of causal language as positivistic, and argues that contemporary epidemiology should be more realistic in its approach to causation. In a realist context, restrictions on meaningfulness based on precision of definition are neither helpful nor necessary. Hernán’s favoured approach to causal language is saved from meaninglessness, along with the approaches he rejects. (shrink)

It is widely believed that deflationary truth has no explanatory power. I will argue that it does. Specifically, I will consider some objections to deflationary truth having explanatory power, and argue that they fail. The position which will emerge is that the deflationary concept of truth is analogous to the concept of an average. Scientists take averages to be explanatory, and I will argue that the concept of deflationary truth is explanatory in the same way. I then argue that this (...) deflationary _concept_ of truth motivates a theory of the _property_ of truth which is metaphysically disunified, but that this is no obstacle to explanation. This leads to a way of understanding the deflationary/substantive distinction in terms of grounding. (shrink)

In this paper I evaluate the soundness of the prototype paradigm, in particular its basic assumption that there are pan-human psychological essences or core meanings that refer to basic-level natural kinds, explaining why, on the whole, human communication and learning are successful. Instead I argue that there are no particular pan-human basic elements for thought, meaning and cognition, neither prototypes, nor otherwise. To illuminate my view I draw on examples from anthropology. More generally I argue that the prototype paradigm exemplifies (...) two assumptions that dominate cognitive science: (1) If human beings use words they mean something particular and what they mean can be discovered by scientific methods. (2) There is a fixed number of domains of categorization, each made up of a fixed number of basic categories. I suggest that these two assumptions lead to Brave New World. (shrink)

Recent challenges to non-traditional theories of natural kinds demand clarifications and revisions to those theories. Highlights: The semantics of natural kind terms is a special case of a general naturalistic conception of signaling in organisms that explains the epistemic reliability of signaling. Natural kinds and reference are two aspects of the same natural phenomenon. Natural kind definitions are phenomena in nature not linguistic or representational entities; their relation to conceptualized definitions is complex. Reference and truth are special cases of a (...) broader phenomenon of accommodation between aspects of signaling and epistemically relevant causal structures. (shrink)

Two powerful arguments have famously dominated the realism debate in philosophy of science: The No Miracles Argument (NMA) and the Pessimistic Meta-Induction (PMI). A standard response to the PMI is selective scientific realism (SSR), wherein only the working posits of a theory are considered worthy of doxastic commitment. Building on the recent debate over the NMA and the connections between the NMA and the PMI, I here consider a stronger inductive argument that poses a direct challenge for SSR: Because it (...) is sometimes exactly the working posits which contradict each other, i.e., that which is directly responsible for empirical success, SSR cannot deliver a general explanation of scientific success. (shrink)

Scientific realism says of our best scientific theories that (1) most of their important posits exist and (2) most of their central claims are approximately true. Antirealists sometimes offer the pessimistic induction in reply: since (1) and (2) are false about past successful theories, they are probably false about our own best theories too. The contemporary debate about this argument has turned (and become stuck) on the question, Do the central terms of successful scientific theories refer? For example, Larry Laudan (...) offers a list of successful theories that employed central terms that failed to refer, and Philip Kitcher replies with a view about reference in which the central terms of such theories did sometimes refer. This article attempts to break this stalemate by proposing a direct version of the pessimistic induction, one that makes no explicit appeal to a substantive notion or theory of reference. While it is premature to say that this argument succeeds in showing that realism is probably false, the direct pessimistic induction is not subject to any kind of reference-based objection that might cripple a weaker, indirect version of the argument. Any attempt to trounce the direct pessimistic induction with a theory of reference fails. (shrink)

I defend a pragmatist reinterpretation of Sellars’s famous manifest-scientific distinction. I claim that in order to do justice to this important distinction we must first recognize, despite what philosophers—including, arguably, Sellars—often make of it, that the distinction does not draw an epistemological or metaphysical boundary between different kinds of objects and events, but a pragmatic boundary between different ways in which we interact with objects and events. Put differently, I argue that the manifest-scientific distinction, in my view, can be best (...) understood, not as a metaphysical distinction between apparent and real objects and events, or an epistemological distinction between perceptible and imperceptible objects and events, but rather as a distinction, which is not necessarily rigid over time, between distinct ways in which we collectively deal, in practice, with objects and events. (shrink)

Abstract Contrary to what is usually taken for granted, the traditional positivistic and hermeneutic accounts of explanations of human actions do not really contradict one another. There is no logical or epistemological difference between explanations in this area and explanations in the natural sciences. However, if W. V. Quine and D. Davidson are right, there may be an ontological difference between the explanation of natural events and the interpretation of actions.