Social thinkers often use the concept of intersubjectivity to mark out a problem of theoretical sociology: If people are unable to look into each others' minds, why do they often understand each other nonetheless? This issue has been debated extensively by philosophers and sociologists in three largely disconnected discourses. The article investigates the three discourses for isolable ideas that can be fitted into a sociological answer to the problem of intersubjectivity. An interactional solution, fully coherent with key insights from the (...) discourses, is offered at the end of the article. Its main point is to identify coordinative interactional mechanisms that compel participants to "make themselves understandable" vis-à-vis their interaction partners. (shrink)

I articulate and defend a new theory of what it is for a physical system to implement an abstract computational model. According to my descriptivist theory, a physical system implements a computational model just in case the model accurately describes the system. Specifically, the system must reliably transit between computational states in accord with mechanical instructions encoded by the model. I contrast my theory with an influential approach to computational implementation espoused by Chalmers, Putnam, and others. I deploy my theory (...) to illuminate the relation between computation and representation. I also rebut arguments, propounded by Putnam and Searle, that computational implementation is trivial. (shrink)

Knowledge requires truth, and truth, we suppose, involves unflawed representation. Science does not provide knowledge in this sense but rather provides models, representations that are limited in their accuracy, precision, or, most often, both. Truth as we usually think of it is an idealization, one that serves wonderfully in most ordinary applications, but one that can terribly mislead for certain issues in philosophy. This article sketches how this happens for five important issues, thereby showing how philosophical method must take into (...) account the idealized nature of our familiar conception of truth. (shrink)

A scientific theory is successful, according to Stanford (2000), because it is suficiently observationally similar to its corresponding true theory. The Ptolemaic theory, for example, is successful because it is sufficiently similar to the Copernican theory at the observational level. The suggestion meets the scientific realists' request to explain the success of science without committing to the (approximate) truth of successful scientific theories. I argue that Stanford's proposal has a conceptual flaw. A conceptually sound explanation, I claim, respects the ontological (...) order between properties. A dependent property is to be explained in terms of its underlying property, not the other way around. The applicability of this point goes well beyond the realm of the debate between scientific realists and antirealists. Any philosophers should keep the point in mind when they attempt to give an explanation of a property in their field whatever it may be. (shrink)

‘Water is H 2 O’ is naturally construed as an equivalence. What are the things to which the two predicates ‘is water’ and ‘is H 2 O’ apply? The equivalence presupposes that substance properties are distinguished from phase properties. A substance like water (H 2 O) exhibits various phases (solid, liquid, gas) under appropriate conditions, and a given (say liquid) phase may comprise several substances. What general features distinguish substance from phase properties? I tackle these questions on the basis of (...) an interpretation of a theorem of thermodynamics known as Gibbs' phase rule which systematically relates these two kinds of feature of matter. The interpretation develops the idea that the things substance and phase predicates apply to are quantities of matter which sustain mereological relations and operations and exploits these mereological features in distinguishing the two kinds of property. Gibbs' phase rule is a macroscopic principle applicable for macroscopic intervals of time. Bringing intervals of time into the picture calls for a more detailed consideration of the relation between macroscopic equilibria and the corresponding dynamic equilibria at the microlevel and throws into question the simple idea that quantities can always be regarded as collections of molecules. The account provides some insight into how the continuous, macroscopic conception of matter (‘gunk’) is reconciled with the discrete microscopic conception and illuminates the interpretation of substances present in mixtures. (shrink)

According to microessentialism, it is necessary to resort to microstructure in order to adequately characterise chemical substances such as water. But the thesis has never been properly supported by argument. Kripke and Putnam, who originally proposed the thesis, suggest that a so-called stereotypical characterisation is not possible, whereas one in terms of microstructure is. However, the sketchy outlines given of stereotypical descriptions hardly support the impossibility claim. On the other hand, what naturally stands in contrast to microscopic description is description (...) in macroscopic terms, and macroscopic characterisations of water are certainly possible. This suffices to counter the claim that microdescriptions are necessary. Whether it counters the impossibility claim depends on whether all macroscopic descriptions are stereotypical (stereotypical descriptions presumably being macroscopic). In so far as systematic import of “stereotypical” can be determined, it would seem not. But some macroscopic characterisations have definite affinity with everyday knowledge, which presumably stands in conflict with the spirit of the impossibility claim. Since what is characterised are properties expressed by predicates like “is water”, the necessity of identity has no bearing here, and matters of interpretation pose problems for claims to the effect that science fixes the extension of “water” as ordinarily understood. (shrink)

El realismo estructural, como respuesta a la crítica de la llamada “metainducción pesimista”, postula la persistencia de la estructura matemática de las teorías en algunos casos cuando se producen cambios en la evolución de éstas, de tal modo que el éxito de las teorías posteriores se explica por la retención estructural de las teorías anteriores. Aunque en el estructuralismo metateórico no existe un punto de vista monolítico con relación al debate realismo/anti-realismo, en este trabajo se analizarán y discutirán, desde esta (...) propuesta modelística, la validez de los argumentos centrales del realismo estructural como alternativa al realismo científico estándar. Siguiendo la distinción trazada por Ladyman entre realismo estructural epistémico y realismo estructural óntico, en este trabajo se hará una caracterización general del primero, pero el análisis se focalizará principalmente en el análisis y la crítica del segundo. Para ello se echará mano de las herramientas teórico-conceptuales que proporciona la meta-teoría estructuralista en filosofía de la ciencia y, particularmente, de la identificación que en ella se hace de las teorías como clases o conjuntos de modelos y/o estructuras conjuntistas, a fin de clarificar, desde esta propuesta meta-teórica, los presupuestos básicos de lo que Sneed denomina el “realismo científico mínimo” y su variante, el realismo estructural epistemológico, en particular lo que se refiere a su noción de continuidad estructural y a la propuesta de algunos autores de apelar a la sentencia de Ramsey como justificación del realismo estructural sin referencia. (shrink)

How should biological behaviour be modelled? A relatively new approach is to investigate problems in neuroethology by building physical robot models of biological sensorimotor systems. The explication and justification of this approach are here placed within a framework for describing and comparing models in the behavioural and biological sciences. First, simulation models – the representation of a hypothesis about a target system – are distinguished from several other relationships also termed “modelling” in discussions of scientific explanation. Seven dimensions on which (...) simulation models can differ are defined and distinctions between them discussed: 1. Relevance: whether the model tests and generates hypotheses applicable to biology. 2. Level: the elemental units of the model in the hierarchy from atoms to societies. 3. Generality: the range of biological systems the model can represent. 4. Abstraction: the complexity, relative to the target, or amount of detail included in the model. 5. Structural accuracy: how well the model represents the actual mechanisms underlying the behaviour. 6. Performance match: to what extent the model behaviour matches the target behaviour. 7. Medium: the physical basis by which the model is implemented. No specific position in the space of models thus defined is the only correct one, but a good modelling methodology should be explicit about its position and the justification for that position. It is argued that in building robot models biological relevance is more effective than loose biological inspiration; multiple levels can be integrated; that generality cannot be assumed but might emerge from studying specific instances; abstraction is better done by simplification than idealisation; accuracy can be approached through iterations of complete systems; that the model should be able to match and predict target behaviour; and that a physical medium can have significant advantages. These arguments reflect the view that biological behaviour needs to be studied and modelled in context, that is, in terms of the real problems faced by real animals in real environments. Key Words: animal behaviour; levels; models; neuroethology; realism; robotics; simulation. (shrink)

This article defends the thesis that Putnam's theory of the use of empirical concepts constitutes a continuous backbone of his philosophy early and late. Thus, Putnam's theory of empirical concepts should be at least compatible with the most distinctive features of both, his realism (viz., semantic externalism) and his pragmatism (viz., conceptual pluralism). The article suggests the even stronger thesis that Putnam's theory of concepts is essential for the explanatory purposes of both. In doing so, the article proposes reading Putnam's (...) theory as a theory displaying contextual features of language use rather than as one describing metaphysical, epistemic, or cognitional 'underpinnings'. The theory's continuity is thus taken to show that Putnam's realism and pragmatism are and always have been inseparable. (shrink)

It will be the thesis of this paper that there are among our mental acts some which fall into the category of real material relations. That is: some acts are necessarily such as to involve a plurality of objects as their relata or fundamenta. Suppose Bruno walks into his study and sees a cat. To describe the seeing, here, as a relation, is to affirm that it serves somehow to tie Bruno to the cat. Bruno's act of seeing, unlike his (...) feeling depressed, his putative thinking-about-Santa-Claus or his musing, abstractedly, about the tallest spy, has at least two fundamenta: it is, as a matter of necessity, dependent for its existence upon both Bruno himself and the cat that he sees. This idea will naturally raise echoes of Russell's doctrine of knowledge by acquaintance. 'I am acquainted with an object', Russell tells us, 'when I have a direct cognitive relation to that object, i. e. when I am directly aware of the object itself' (1918, p. 209). And indeed a distinction in many ways like that between acquaintance and description will find a place within the theory here projected, but there are crucial differences. (shrink)

According to quasi-empiricism, mathematics is very like a branch of natural science. But if mathematics is like a branch of science, and science studies real objects, then mathematics should study real objects. Thus a quasi-empirical account of mathematics must answer the old epistemological question: How is knowledge of abstract objects possible? This paper attempts to show how it is possible.The second section examines the problem as it was posed by Benacerraf in Mathematical Truth and the next section presents a way (...) of looking at abstract objects that purports to demythologize them. In particular, it shows how we can have empirical knowledge of various abstract objects and even how we might causally interact with them. (shrink)

Kripkean examples of necessary a posteriori truths clearly provide a challenge to attempts to connect facts about possibility to facts about what people can conceive. The paper argues for a general principle connecting imaginability under certain special circumstances to possibility; it also discusses some of the issues raised by the resulting position.

I begin with an explication of "thought experiment". I then clarify the role that intuitions play in thought experiments by addressing two important issues: (1) the informativeness of thought experiments and (2) the legitimacy of the method of thought experiments in philosophy and the natural sciences. I defend a naturalistic account of intuitions that provides a plausible explanation of the informativeness of thought experiments, which, in turn, allows thought experiments to be reconstructed as arguments. I also specify criteria for distinguishing (...) bad "intuition pumps" from legitimate thought experiments. These criteria help us to avoid being seduced by the dangerous suggestive power of misleading intuitions. (shrink)

A set of hypotheses is formulated for a connectionist approach to cognitive modeling. These hypotheses are shown to be incompatible with the hypotheses underlying traditional cognitive models. The connectionist models considered are massively parallel numerical computational systems that are a kind of continuous dynamical system. The numerical variables in the system correspond semantically to fine-grained features below the level of the concepts consciously used to describe the task domain. The level of analysis is intermediate between those of symbolic cognitive models (...) and neural models. The explanations of behavior provided are like those traditional in the physical sciences, unlike the explanations provided by symbolic models. (shrink)

The anti?Cartesian idea that a person's thoughts are not entirely fixed by what goes on inside that person's head is suggested by Hegel, and echoed in Wittgenstein and Frege. An argument for the view has recently been given by Tyler Burge. This paper claims that Burge's data can be explained better by an individualistic theory. The basic idea is that an individual's thoughts are specified analogically, in ordinary discourse, through the model of a language. Though the modelling?sentences are public, the (...) thoughts of the individual are inner states whose identity does not depend upon those sentences. They have content naturally, whether or not content happens to be ascribed to them. (shrink)

Many philosophers attribute extraordinary importance to the idea of natural kinds seemingly intimating that the very possibility of certain kinds of activity are ontologically beholden to the existence of kinds. Specifically, regarding chemistry, Brian Ellis intimated that the success of any plausible metaphysical essentialism depends upon its “reliance on examples from chemistry.” Ellis’s view is representative of a tradition in analytic philosophy that has utilized chemical examples as paradigmatic natural kinds. In this regard, Kripke and Putnam emerge as the architects (...) of an entrenched research program dedicated to the chemical tradition of natural kinds in analytic philosophy. The emergence of a critical body of literature by philosophers of chemistry and others has shattered the complacent reliance upon chemical examples as exemplary kinds. On the basis of this emerging critical literature, I will critically explore the way in which chemical practice and inquiry affects the natural kind debate. So, instead of the pretense that we simply carve nature at its joints, we need to become better grounded in the practice of science, and especially with regard to the debate about natural kinds in chemical practice. Consistent with this orientation, we need to make the practice turn, that is, eradicate the fantasy of logical reconstruction and become involved with the interpretative and historical challenges of understanding the nuances of practice. The point here is quite clear, metaphysical questions regarding natural kind should be imminent to scientific practice. Indeed, any legitimate metaphysics of natural kinds should be appropriately informed and grounded in practice and not operate on the basis of a priori sovereignty. I will insert this critical discussion within the analytical context of the notion of interpretive communities and make the case that philosophers should not assume that appeals to the purity of philosophy can substitute for the complexity and practical orientation of chemical practice. (shrink)

I contend there exists a platonistic good that all other good (excellent) things must resemble, supplementing this theory with Aristotelian features. Something’s goodness holds in virtue of the thing’s own properties being such as to satisfy its kind-based standards, and those K-standards resembling the platonic good. As for the latter condition, the K-standards resemble it firstly with respect to requiring activities, and secondly also at the level of what teleology those activities are directed towards.

Sometimes speakers within a linguistic community use a term that they do not conceptualize as a slur, but which other members of that community do. Sometimes these speakers are ignorant or naïve, but not always. This article explores a puzzle raised when some speakers stubbornly maintain that a contested term t is not derogatory. Because the semantic content of a term depends on the language, to say that their use of t is semantically derogatory despite their claims and intentions, we (...) must individuate languages in a way that counts them as speaking our language L, assigns t a determinately derogatory content in L, and still accommodates the other features of slurs’ linguistic profile. Given the difficulty of doing this, there is some reason to give a non-semantic analysis of the derogatory aspect of slurs. The author suggests that rather than dismissing the stubborn as semantically incompetent, we would do better to appeal to expected uptake as moral reasons for the stubborn to adjust their linguistic practices. (shrink)

The main purpose of this paper is to investigate various notions of empirical equivalence in relation to the two main arguments for realism in the philosophy of science, namely the no-miracles argument and the indispensability argument. According to realism, one should believe in the existence of the theoretical entities postulated by empirically adequate theories. According to the no-miracles argument, one should do so because truth is the the best explanation of empirical adequacy. According to the indispensability argument, one should do (...) so because the theoretical terms employed in the formulation of an empirically adequate theory are practically indispensable for the formulation of its empirical content. The no-miracles argument might be refuted if one can establish an underdetermination thesis to the effect that every theory has empirically equivalent rivals that are incompatible with each other. Insofar as truth cannot explain the empirical adequacy of two incompatible theories, there is an obvious conflict between the underdetermination thesis and the no-miracles argument. I show that, under certain assumptions, some but not all notions of empirical equivalence support the underdetermination thesis. The indispensability argument might be refuted if one can establish a dispensability thesis to the effect that, for any theory with a practical formulation, there is an empirically equivalent theory with a practical formulation in purely empirical terms. I show that some but not all notions of empirical equivalence support this thesis. (shrink)

In this paper, I present the case of the discovery of complex numbers by Girolamo Cardano. Cardano acquires the concepts of (specific) complex numbers, complex addition, and complex multiplication. His understanding of these concepts is incomplete. I show that his acquisition of these concepts cannot be explained on the basis of Christopher Peacocke’s Conceptual Role Theory of concept possession. I argue that Strong Conceptual Role Theories that are committed to specifying a set of transitions that is both necessary and sufficient (...) for possession of mathematical concepts will always face counterexamples of the kind illustrated by Cardano. I close by suggesting that we should rely more heavily on resources of Anti-Individualism as a framework for understanding the acquisition and possession of concepts of abstract subject matters. (shrink)

The object of this paper is to study the analogy, drawn both positively and negatively, between mathematics and fiction. The analogy is more subtle and interesting than fictionalism, which was discussed in part I. Because analogy is not common coin among philosophers, this particular analogy has been discussed or mentioned for the most part just in terms of specific similarities that writers have noticed and thought worth mentioning without much attention's being paid to the larger picture. I intend with this (...) analogy (looking at others' comparisons) to shed a little light on what is going on in mathematics, how one can understand it a bit other than experientially. This intention is philosophical and the way that I am attempting to accomplish it is also philosophical. I shall conclude my attempt to explain how it is possible and even natural for mathematics and fiction to have the analogy they have, taking it for granted, as argued in part I, that they are not to be identified. To this end I shall discuss philosophers' comparisons, mainly those of Hodes, Resnik, Tharp, and Wagner, who are the writers that seem to me to have written most thoughtfully and sufficiently extensively about fiction in making the comparison and of Körner, whose comparison is different. Whether either of these comparisons or the more general analogy is of permanent philosophical interest will have to be decided by philosophers now that they have had a fuller examination. I shall mention some other writers' reference to fiction, but not all; indeed, I am sure that I have not even found all the comparisons that there are. (shrink)

A famous essay by Wigner is reexamined in view of more recent developments around its topic, together with some remarks on the metaphysical character of its main question about mathematics and natural sciences.

Gary Gutting argues, in his recent book What Philosophers Know, that analytic philosophy provides a sizable collection of exemplary arguments that effectively yield a “disciplinary body of philosophical knowledge”—“metaphilosophy,” he names it—that is, specimens that define in a notably perspicuous way what we should understand as philosophical knowledge itself. He concedes weaknesses in the best-known specimens, and he admits that, generally, even the best specimens do not provide answers to the usual grand questions. I admire his treatment of the matter (...) but argue that the metaphilosophical issues are, normally, of a much grander gauge than that of his sort of specimen; that they require a much more open, informal sort of inquiry and exchange than that of the distinctive rigor of the classic specimens themselves; that analytic philosophy, not uncharacteristically, tends to ignore the metaphilosophical issue or takes the validity of its method of argument for granted; and that the issue itself invites an appraisal of competing second-order conceptions of how philosophical argument proves fruitful. I proceed by way of the examination of cases drawn from Quine and Kripke. (shrink)

In this paper I argue that Poincaré’s acceptance of the atom does not indicate a shift from instrumentalism to scientific realism. I examine the implications of Poincaré’s acceptance of the existence of the atom for our current understanding of his philosophy of science. Specifically, how can we understand Poincaré’s acceptance of the atom in structural realist terms? I examine his 1912 paper carefully and suggest that it does not entail scientific realism in the sense of acceptance of the fundamental existence (...) of atoms but rather, argues against fundamental entities. I argue that Poincaré’s paper motivates a non-fundamentalist view about the world, and that this is compatible with his structuralism. (shrink)

This paper addresses the definition and the operational use of intuitions in philosophical methods in the form of a research study encompassing several regions of the globe, involving 282 philosophers from a wide array of academic backgrounds and areas of specialisation. The authors tested whether philosophers agree on the conceptual definition and the operational use of intuitions, and investigated whether specific demographic variables and philosophical specialisation influence how philosophers define and use intuitions. The results obtained point to a number of (...) significant findings, including that philosophers distinguish between intuitions used to formulate (discovery) and to test (justification) philosophical theory. The survey results suggest that strategies implemented to characterise philosophical intuition are not well motivated since, even though philosophers do not agree on a single account of intuition, they fail to capture a preferred usage of intuitions as aspects of discovery. The quantitative summary of survey findings informs the debate on this topic, and advances more defined routes for subsequent approaches to the study of intuitions. (shrink)

What is the best account of process reliabilism about epistemic justification, especially epistemic entitlement? I argue that entitlement consists in the normal functioning (proper operation) of the belief-forming process when the process has forming true beliefs reliably as an etiological function. Etiological functions involve consequence explanation: a belief-forming process has forming true beliefs reliably as a function just in case forming-true beliefs reliably partly explains the persistence of the process. This account paves the way for avoiding standard objections to process (...) reliabilism and situations epistemic entitlement within a normative framework of functions and functional norms. (shrink)

Abstract: Despite all the critical scrutiny they have received recently, contextualist views in philosophy are still not well understood. Neither contextualists nor their opponents have been entirely clear about what contextualist theses amount to and what they are based on. In this article I show that there are actually two kinds of contextualist view that rest on two very different semantic phenomena, namely, semantic incompleteness and semantic indeterminacy . I explain how contextualist approaches can be used to dissolve certain debates (...) in philosophy. According to such approaches, the same philosophical thesis can be correctly endorsed in some contexts and correctly denied in others: it is thus pointless to seek a context-independent solution to debates about this thesis. My purpose is not to defend particular contextualist views but to lay out the general framework on which they rest: this allows us to see more clearly the similarities and differences among contextualist views defended in various areas of philosophy. (shrink)

If a parsimony criterion may be used to choose between theories that make different predictions, may the same criterion be used to choose between theories that are predictively equivalent? The work of the statistician H. Akaike (1973) is discussed in connection with this question. The results are applied to two examples in which parsimony has been invoked to choose between philosophical theories-Shoemaker's (1969) discussion of the possibility of time without change and the discussion by Smart (1959) and Brandt and Kim (...) (1967) of mind/body dualism and the identity theory. (shrink)