The purpose of this paper is to discuss the various types of physical universe which could exist according to modern mathematical physics. The paper begins with an introduction that approaches the question from the viewpoint of ontic structural realism. Section 2 takes the case of the `multiverse' of spatially homogeneous universes, and analyses the famous Collins-Hawking argument, which purports to show that our own universe is a very special member of this collection. Section 3 considers the multiverse of all solutions (...) to the Einstein field equations, and continues the discussion of whether the notions of special and typical can be defined within such a collection. (shrink)

This paper provides an account of mid-level models, which calibrate highly theoretical agent-based models of scientific communities by incorporating empirical information from real-world systems. As a result, these models more closely correspond with real-world communities, and are better suited for informing policy decisions than extant how-possibly models. I provide an exemplar of a mid-level model of science funding allocation that incorporates bibliometric data from scientific publications and data generated from empirical studies of peer review into an epistemic landscape model. The (...) results of my model show that on a dynamic epistemic landscape, allocating funding by modified and pure lottery strategies performs comparably to a perfect selection funding allocation strategy. These results support the idea that introducing randomness into a funding allocation process may be a tractable policy worth exploring further through pilot studies. My exemplar shows that agent-based models need not be restricted to the abstract and the a-priori; they can also be informed by real empirical data. (shrink)

The use of multiple means of determination to “triangulate” on the existence and character of a common phenomenon, object, or result has had a long tradition in science but has seldom been a matter of primary focus. As with many traditions, it is traceable to Aristotle, who valued having multiple explanations of a phenomenon, and it may also be involved in his distinction between special objects of sense and common sensibles. It is implicit though not emphasized in the distinction between (...) primary and secondary qualities from Galileo onward. It is arguably one of several conceptions involved in Whewell’s method of the “consilience of inductions” (Laudan 1971) and is to be found in several places in Peirce. (From M. Brewer and B. Collins, eds., (1981); Scientific Inquiry in the Social Sciences (a festschrift for Donald T. Campbell), San Francisco: Jossey-Bass, pp. 123–162.). (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...) semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

This dissertation is divided into two parts. In the first part I defend substantivalism. I do this by offering, in chapter 1, a counterpart-theoretic defense of substantivalism from Leibniz’ shift arguments. Then, in chapter 2, I defend substantivalism from the hole argument and argue, against the consensus, that the question of haecceitism is irrelevant to substantivalism in the context of general relativity. In the second part of the dissertation I defend supersubstantivalism. I do this by offering, in chapter 3, an (...) argument against dualistic substantivalism. The argument appeals to plausible principles of modal plenitude to show that the dualist is committed to a range of problematic possibilities. Then, in chapter 4, I consider a range of supersubstantivalist positions. I conclude by arguing for a version of supersubstantivalism I call compresence supersubstantivalism. (shrink)

This extended abstract summarises some of the basic points of AI ethics and policy as they present themselves now. We explain the notion of AI, the main ethical issues in AI and the main policy aims and means.

Charles Sanders Peirce was one of the United States’ most original and profound thinkers, and a prolific writer. Peirce’s game theory-based approaches to the semantics and pragmatics of signs and language, to the theory of communication, and to the evolutionary emergence of signs, provide a toolkit for contemporary scholars and philosophers. Drawing on unpublished manuscripts, the book offers a rich, fresh picture of the achievements of a remarkable man.

This paper evaluates Nancy Cartwright’s critique of economic models. Cartwright argues that economics fails to build relevant “nomological machines” able to isolate capacities. In this paper, I contend that many economic models are not used as nomological machines. I give some evidence for this claim and build on an inferential and pragmatic approach to economic modeling. Modeling in economics responds to peculiar inferential norms where a “good” model is essentially a model that enhances our knowledge about possible worlds. As a (...) consequence, models and experiments are very different knowledge-producing devices, at least in economics. (shrink)

'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. (...) Moreover, it provides possible gateways from modern deadlocks of theory either through approaches to consciousness or through historical critique of intellectual authorities. This work will be of interest to those either researching or studying in colleges and universities, especially in the departments of philosophy, history of science, philosophy of science, philosophy of physics and quantum mechanics, history of ideas and culture. Greek and Latin Literature students and instructors may also find this book to be both a fascinating and valuable point of reference. (shrink)

David Hull's (1988c) model of science as a selection process suffers from a two-fold inability: (a) to ascertain when a lineage of theories has been established; i.e., when theories are descendants of older theories or are novelties, and what counts as a distinct lineage; and (b) to specify what the scientific analogue is of genotype and phenotype. This paper seeks to clarify these issues and to propose an abstract model of theories analogous to particulate genetic structure, in order to reconstruct (...) relationships of descent and identity. (shrink)

In 1988, David Hull presented an evolutionary account of science. This was a direct analogy to evolutionary accounts of biological adaptation, and part of a generalized view of Darwinian selection accounts that he based upon the Universal Darwinism of Richard Dawkins. Criticisms of this view were made by, among others, Kim Sterelny, which led to it gaining only limited acceptance. Some of these criticisms are, I will argue, no longer valid in the light of developments in the formal modeling of (...) evolution, in particular that of Sergey Gavrilets’ work on adaptive landscapes. If we can usefully recast the Hullian view of science as being driven by selection in terms of Gavrilets’ and Kaufmann’s view of there being “giant components” of high-fitness networks through any realistic adaptive landscape, we may now find it useful to ask what the adaptive pressures on science are, and to extend the metaphor into a full analogy. This is in effect to reconcile the Fisherianism of the Dawkins–Hull approach to selection and replicators, with a Wrightean drift account of social constructionist views of science, preserving, it is to be hoped, the valuable aspects of both. (shrink)

Many standard philosophical accounts of scientific practice fail to distinguish between modeling and other types of theory construction. This failure is unfortunate because there are important contrasts among the goals, procedures, and representations employed by modelers and other kinds of theorists. We can see some of these differences intuitively when we reflect on the methods of theorists such as Vito Volterra and Linus Pauling on the one hand, and Charles Darwin and Dimitri Mendeleev on the other. Much of Volterra's and (...) Pauling's work involved modeling; much of Darwin's and Mendeleev's did not. In order to capture this distinction, I consider two examples of theory construction in detail: Volterra's treatment of post-WWI fishery dynamics and Mendeleev's construction of the periodic system. I argue that modeling can be distinguished from other forms of theorizing by the procedures modelers use to represent and to study real-world phenomena: indirect representation and analysis. This differentiation between modelers and non-modelers is one component of the larger project of understanding the practice of modeling, its distinctive features, and the strategies of abstraction and idealization it employs. (shrink)

I argue that the best interpretation of the general theory of relativity has need of a causal entity, and causal structure that is not reducible to light cone structure. I suggest that this causal interpretation of GTR helps defeat a key premise in one of the most popular arguments for causal reductionism, viz., the argument from physics.

Is a policy-friendly philosophy of science possible? In order to respond this question, I consider a particular instance of contemporary philosophy of science, the semantic view of scientific theories, by placing it in the broader methodological landscape of the integration of philosophy of science into STS (Science and Technology Studies) as a component of the overall contribution of the latter to science policy. In that context, I defend a multi-disciplinary methodological integration of the special discipline composing STS against a reductionist (...) interdisciplinary unification, arguing that if STS wants to contribute to policy advising by constructing narratives of science practice feasible for science policy both in terms of descriptive completeness and intelligibility, then it must avoid the explanatory reductionism tendencies of special disciplines in interdisciplinary contexts. This would favour, at the same time, a relaxation of esoteric language. On this basis, it seems that the semantic view is one right candidate among other approaches in the philosophy of science for facilitating the integration of the methodologically different contributions to STS toward policy objectives. In fact, besides offering a more realistic and descriptively complete picture of science practice with respect to its predecessor in the philosophy of science, namely the syntactic view, the semantic view is also able to capture some aspects of science practice that elude even sociological approaches to STS, thus inviting different perspective on the same subject matter. (shrink)

The philosopher of science faces overwhelming disagreement in the literature on the definition, nature, structure, ontology, and content of scientific theories. These disagreements are at least partly responsible for disagreements in many of the debates in the discipline which put weight on the concept scientific theory. I argue that available theories of theories and conceptual analyses of theory are ineffectual options for addressing this difficulty: they do not move debates forward in a significant way. Directing my attention to debates about (...) the properties of particular, named theories, I introduce ‘theory eliminativism’ as a certain type of debate-reformulation. As a methodological tool it has the potential to be a highly effective way to make progress in the face of the noted problem: post-reformulation disagreements about theory cannot compromise the debate, and the questions that really matter can still be asked and answered. In addition the reformulation process demands that philosophers engage with science and the history of science in a more serious way than is usual in order to answer important questions about the justification for targeting a particular set of propositions (say) in a given context. All things considered, we should expect the benefits of a theory-eliminating debate-reformulation to heavily outweigh the costs for a highly significant number of debates of the relevant type. (shrink)

This paper follows up a debate as to whether classical electrodynamics is inconsistent. Mathias Frisch makes the claim in Inconsistency, Asymmetry and Non-Locality ([2005]), but this has been quickly countered by F. A. Muller ([2007]) and Gordon Belot ([2007]). Here I argue that both Muller and Belot fail to connect with the background assumptions that support Frisch's claim. Responding to Belot I explicate Frisch's position in more detail, before providing my own criticisms. Correcting Frisch's position, I find that I can (...) present the theory in a way both authors can agree upon. Differences then manifest themselves purely within the reasoning methods employed. Introduction Features of the Theory Frisch's Inconsistency Claim Defending Frisch 4.1 Muller 4.2 Belot Difficulties for Frisch and a Compromise Conclusion CiteULike Connotea Del.icio.us What's this? (shrink)

The semantic approach to scientific representation is now long established as a favourite amongst philosophers of science. One of the foremost strains of this approach—the model-theoretic approach —is to represent scientific theories as families of models, all of which satisfy or ‘make true’ a given set of constraints. However some authors have criticised the approach on the grounds that certain scientific theories are logically inconsistent, and there can be no models of an inconsistent set of constraints. Thus it would seem (...) that the MTA fails to represent inconsistent scientific theories at all, and this raises concerns about the way it represents in general. In a series of papers and a recent book da Costa and French have developed a variant of the MTA approach which they call ‘partial structures’, and which they claim can accommodate inconsistent theories. I assess this claim, looking to two theories which have been called ‘inconsistent’: Bohr’s theory of the atom and classical electrodynamics. (shrink)

Foundational research focuses on the theory, but theories are to be related also to other theories, experiments, facts in their domains, data, and to their uses in applications, whether of prediction, control, or explanation. A theory is to be identified through its class of models, but not so narrowly as to disallow these roles. The language of science is to be studied separately, with special reference to the relations listed above, and to the consequent need for resources other than for (...) theoretical description. Peculiar to the foundational level are questions of completeness (specifically in the representation of measurement), and of interpretation (a topic beset with confusions of truth and evidence, and with inappropriate metalinguistic abstraction). (shrink)

Suppes proposes an analysis of the structure and identity of empirical theories with his model-theoretical approach and undertakes effective reconstructions of theories in diverse disciplinary fields. Here the authors analyse the results of these examinations under the optics of questions concerning the assumed ontological commitments, and for how they satisfy economic and other criteria.

Call a bit of scientific discourse a description of a missing system when (i) it has the surface appearance of an accurate description of an actual, concrete system (or kind of system) from the domain of inquiry, but (ii) there are no actual, concrete systems in the world around us fitting the description it contains, and (iii) that fact is recognised from the outset by competent practitioners of the scientific discipline in question. Scientific textbooks, classroom lectures, and journal articles abound (...) with such passages; and there is a widespread practice of talking and thinking as though there are systems which fit the descriptions they contain perfectly, despite the recognition that no actual, concrete systems do so—call this the face value practice. There are, furthermore, many instances in which philosophers engage in the face value practice whilst offering answers to epistemological and methodological questions about the sciences. Three questions, then: (1) How should we interpret descriptions of missing systems? (2) How should we make sense of the face value practice? (3) Is there a set of plausible answers to (1) and (2) which legitimates reliance on the face value practice in our philosophical work, and can support the weight of the accounts which are entangled with that practice? In this paper I address these questions by considering three answers to the first: that descriptions of missing systems are straightforward descriptions of abstract objects, that they are indirect descriptions of “property-containing” abstracta, and that they are (in a different way) indirect descriptions of mathematical structures. All three proposals are present in the literature, but I find them wanting. The result is to highlight the importance of developing a satisfactory understanding of descriptions of missing systems and the face value practice, to put pressure on philosophical accounts which rely on the practice, and to help us assess the viability of certain approaches to thinking about models, theory structure, and scientific representation. (shrink)

Mechanistic explanation is at present the received view of scientific explanation. One of its central features is the idea that mechanistic explanations are both “downward looking” and “upward looking”: they explain by offering information about the internal constitution of the mechanism as well as the larger environment in which the mechanism is situated. That is, they offer both constitutive and contextual explanatory information. Adequate mechanistic explanations, on this view, accommodate the full range of explanatory factors both “above” and “below” the (...) target phenomenon. The aim of this paper is to demonstrate that mechanistic explanation cannot furnish both constitutive and contextual information simultaneously, because these are different types of explanation with distinctly different aims. Claims that they can, I argue, depend on several intertwined confusions concerning the nature of explanation. Particularly, such claims tend to conflate mechanistic and functional explanation, which I argue ought to be understood as distinct. Conflating them threatens to oversell the explanatory power of mechanisms and obscures the means by which they explain. I offer two broad reasons in favor of distinguishing mechanistic and functional explanation: the first concerns the direction of explanation of each, and the second concerns the type of questions to which these explanations offer answers. I suggest an alternative picture on which mechanistic explanation is understood as fundamentally constitutive, and according to which an adequate understanding of a phenomenon typically requires supplementing the mechanistic explanation with a functional explanation. (shrink)

This essay initiates a fundamental discussion about education’s nature and character, and raises the questions: Is education reliant on other disciplines as, for example, psychology, sociology and philosophy? Or may education be thought of independently, without being reliant on other disciplines? These questions are discussed in the light of Theodor Litt’s educational reading of Hegel’s understanding of dialectics, as it appears in the book Phenomenology of Spirit, in order to support that education has a relational and dialectic nature. In the (...) second part, we connect the concept of ‘Hegelian dialectic structure’ with scientific theory. More specifically, we introduce a theoretically oriented concept, based on semantic theory construction; namely, ‘relational parameter bundles’. This concept clarifies the difference between education and other ‘scientific,’ often more empirically based disciplines, such as psychology, on which education, or rather, educational researchers, traditionally rely. Through our theoretical approach we aim to uncover fundamental differences within different disciplines’ scientific thinking, and their use of theories and models, which then manifest themselves in the discipline’s scientific assessments and practical actions. An uncritical integration of other disciplines in education may destroy the ‘true’ nature of education, and thus pose a danger to education’s character, problem areas and ways of conducting research. That does not mean that education shall be isolated from other disciplines, it is rather a question of when perspectives from other disciplines should be included in educational matters. Not before the educational questions are raised and worked through will it be appropriate to obtain knowledge from other disciplines, if, that is, it is deemed necessary based on educational judgment. (shrink)

This paper argues for a representational semantic conception of scientific theories, which respects the bare claim of any semantic view, namely that theories can be characterised as sets of models. RSC must be sharply distinguished from structural versions that assume a further identity of ‘models’ and ‘structures’, which we reject. The practice-turn in the recent philosophical literature suggests instead that modelling must be understood in a deflationary spirit, in terms of the diverse representational practices in the sciences. These insights are (...) applied to some mathematical models, thus showing that the mathematical sciences are not in principle counterexamples to RSC. (shrink)

O presente trabalho utiliza a chamada “concepção semântica” das teorias físicas para examinar o estudo realizado por Descartes sobre o fenômeno do arco-íris. Essa concepção parece ser a mais adequada para esse caso, tendo em vista o privilégio dos modelos na abordagem cartesiana. Nesse sentido, não parece ser possível concluir que esse estudo se configure como uma teoria física, como estimam alguns autores, embora Descartes tenha obtido valores corretos para o raio do arco-íris,ao fazer uso da lei de refração.

Reichenbach's Philosophy of Space and Time (1928) avoids most of the logical positivist pitfalls it is generally held to exemplify, notably both conventionalism and verificationism. To see why, we must appreciate that Reichenbach's interest lies in how mathematical structures can be used to describe reality, not in how words like 'distance' acquire meaning. Examination of his proposed "coordinative definition" of congruence shows that Reichenbach advocates a reductionist analysis of the relations figuring in physical geometry (contrary to common readings that attribute (...) to him a holistic conventionalism), while embracing a thoroughly holistic understanding of empirical confirmation (contrary to rival operationalist readings). (shrink)

This paper argues for theoretical modeling and model-construction as central types of activities that philosophers of social ontology engage in. This claim is defended through a detailed case study and revisionary interpretation of Raimo Tuomela’s account of the we-perspective. My interpretation is grounded in Ronald Giere’s account of scientific models, and argued to be compatible with, but less demanding than Tuomela’s own description of his account as a philosophical theory of the social world. My approach is also suggested to be (...) applicable to many other methodologically naturalist accounts of collective intentionality and social ontology. (shrink)

Review essay of How to do science with models. A philosophical primer. Springer briefs in philosophy, Axel Gelfert., 129, Price € 49,99 softcover, ISBN: 978-3-319-27954-1.

Semantic realism can be characterised as the idea that scientific theories are truth-bearers, and that they are true or false in virtue of the world. This notion is often assumed, but rarely discussed in the literature. I examine how it fares in the context of the semantic view of theories and in connection with the literature on scientific representation. Making sense of semantic realism requires specifying the conditions of application of theoretical models, even for models that are not actually used, (...) which leads to several difficulties. My conclusion is that semantic realism is far more demanding than one would expect. Finally, I briefly examine some pragmatist alternatives. (shrink)

Perspectival realism combines two apparently contradictory aspects: the epistemic relativity of perspectives and the mind-independence of realism. This paper examines the prospects for a coherent perspectival realism, taking the literature on scientific representation as a starting point. It is argued that representation involves two types of norms, referred to as norms of relevance and norms of accuracy. Norms of relevance fix the domain of application of a theory and the way it categorises the world, and norms of accuracy give the (...) conditions for the theory to be true. Perspectival realism could be made coherent by taking a realist stance towards one type of norm, and a perspectival stance towards the other, by assuming they are relative to a community. This provides two versions of perspectival realism, called relevance perspectivism and accuracy perspectivism. How each option fares with respect to the challenge of incompatible models is examined. Finally, the prospects of full perspectivism are evaluated. (shrink)

A careful analysis of Salmon’s Theoretical Realism and van Fraassen’s Constructive Empiricism shows that both share a common origin: the requirement of literal construal of theories inherited by the Standard View. However, despite this common starting point, Salmon and van Fraassen strongly disagree on the existence of unobservable entities. I argue that their different ontological commitment towards the existence of unobservables traces back to their different views on the interpretation of probability via different conceptions of induction. In fact, inferences to (...) statements claiming the existence of unobservable entities are inferences to probabilistic statements, whence the crucial importance of the interpretation of probability. (shrink)

Within the modeling literature, there is often an implicit assumption about the relationship between a given model and a scientific explanation. The goal of this article is to provide a unified framework with which to analyze the myriad relationships between a model and an explanation. Our framework distinguishes two fundamental kinds of relationships. The first is metaphysical, where the model is identified as an explanation or as a partial explanation. The second is epistemological, where the model produces understanding that is (...) related to the explanation of interest. Our analysis reveals that the epistemological relationships are not always dependent on the metaphysical relationships, contrary to what has been assumed by many philosophers of science. Moreover, we identify several importantly different ways that scientific models instantiate these relationships. We argue that our framework provides novel insights concerning the nature of models, explanation, idealization, and understanding. (shrink)

In this article we defend the inferential view of scientific models and idealisation. Models are seen as “inferential prostheses” (instruments for surrogative reasoning) construed by means of an idealisation-concretisation process, which we essentially understand as a kind of counterfactual deformation procedure (also analysed in inferential terms). The value of scientific representation is understood in terms not only of the success of the inferential outcomes arrived at with its help, but also of the heuristic power of representation and their capacity to (...) correct and improve our models. This provides us with an argument against Sugden’s account of credible models: the likelihood or realisticness (their “credibility”) is not always a good measure of their acceptability. As opposed to “credibility” we propose the notion of “enlightening”, which is the capacity of giving us understanding in the sense of an inferential ability. (shrink)

An examination of the post-Darwinian history of biological taxonomy reveals an implicit assumption that the definitions of taxon names consist of lists of organismal traits. That assumption represents a failure to grant the concept of evolution a central role in taxonomy, and it causes conflicts between traditional methods of defining taxon names and evolutionary concepts of taxa. Phylogenetic definitions of taxon names (de Queiroz and Gauthier 1990) grant the concept of common ancestry a central role in the definitions of taxon (...) names and thus constitute an important step in the development of phylogenetic taxonomy. By treating phylogenetic relationships rather than organismal traits as necessary and sufficient properties, phylogenetic definitions remove conflicts between the definitions of taxon names and evolutionary concepts of taxa. The general method of definition represented by phylogenetic definitions of clade names can be applied to the names of other kinds of composite wholes, including populations and biological species. That the names of individuals (composite wholes) can be defined in terms of necessary and sufficient properties provides the foundation for a synthesis of seemingly incompatible positions held by contemporary individualists and essentialists concerning the nature of taxa and the definitions of taxon names. (shrink)

I argue that we cannot adequately characterize idealization and abstraction and the distinction between the two on the grounds that they have distinct semantic properties. By doing so, on the one hand, we focus on the conceptual products of the two processes in making the distinction and we overlook the importance of the nature of the thought processes that underlie model-simplifying assumptions. On the other hand, we implicitly rely on a sense of abstraction as subtraction, which is unsuitable for explicating (...) scientific model construction. Instead, I argue that a sense of abstraction as extraction is more suitable. Finally, I suggest a different way to distinguish the two processes that avoids these problems. Namely, that both idealization and abstraction could be understood as particular modes of application of the same cognitive process: selective attention. (shrink)

The process of abstraction and concretisation is a label used for an explicative theory of scientific model-construction. In scientific theorising this process enters at various levels. We could identify two principal levels of abstraction that are useful to our understanding of theory-application. The first level is that of selecting a small number of variables and parameters abstracted from the universe of discourse and used to characterise the general laws of a theory. In classical mechanics, for example, we select position and (...) momentum and establish a relation amongst the two variables, which we call Newton’s 2nd law. The specification of the unspecified elements of scientific laws, e.g. the force function in Newton’s 2nd law, is what would establish the link between the assertions of the theory and physical systems. In order to unravel how and with what conceptual resources scientific models are constructed, how they function and how they relate to theory, we need a view of theory-application that can accommodate our constructions of representation models. For this we need to expand our understanding of the process of abstraction to also explicate the process of specifying force functions etc. This is the second principal level at which abstraction enters in our theorising and in which I focus. In this paper, I attempt to elaborate a general analysis of the process of abstraction and concretisation involved in scientific- model construction, and argue why it provides an explication of the construction of models of the nuclear structure. (shrink)

According to certain kinds of semantic dispositionalism, what an agent means by her words is grounded by her dispositions to complete simple tasks. This sort of position is often thought to avoid the finitude problem raised by Kripke against simpler forms of dispositionalism. The traditional objection is that, since words possess indefinite (or infinite) extensions, and our dispositions to use words are only finite, those dispositions prove inadequate to serve as ground for what we mean by our words. I argue (...) that, even if such positions (emphasizing simple tasks) avoid the traditional form of Kripke's charge, they still succumb to special cases of the finitude problem. Furthermore, I show how such positions can be augmented so as to avoid even these special cases. Doing so requires qualifying the dispositions of interest as those possessed by the abstracted version of an actual agent (in contrast to, say, an idealized version of the agent). In addition to avoiding the finitude problem in its various forms, the position that results provides new materials for appreciating the role that abstracting models can play for a dispositionalist theory of meaning. (shrink)