The AIM model represents an original and comprehensive example of how changes in conscious states can be reconciled with specific neurophysiological factors. However, further elucidation of the biological parameters necessary to define a specific space-state relationship should be considered. [Hobson et al.; Solms].

This paper primarily deals with theconceptual prospects for generalizing the aim ofabduction from the standard one of explainingsurprising or anomalous observations to that ofempirical progress or even truth approximation. Itturns out that the main abduction task then becomesthe instrumentalist task of theory revision aiming atan empirically more successful theory, relative to theavailable data, but not necessarily compatible withthem. The rest, that is, genuine empirical progress aswell as observational, referential and theoreticaltruth approximation, is a matter of evaluation andselection, and possibly new (...) generation tasks forfurther improvement. The paper concludes with a surveyof possible points of departure, in AI and logic, forcomputational treatment of the instrumentalist taskguided by the `comparative evaluation matrix''. (shrink)

A technocratic model of curriculum design that has been highly influential since the middle of last century assumes that the aims of education can be, and should be: 1. Causally brought about by administering educational experiences; 2. Specified as objectives that can be attained, reached or completed; 3. Changes in students that are described in advance. Richard S. Peters argued against the first of these three tenets by making a distinction between aims that are causally brought about by the (...) means and aims that are constituted by the means. I argue that further distinctions between ways in which ends and means can be related throw doubt on the remaining two tenets. My argument against the second one rests on a distinction between open aims that cannot be completed and closed aims that can be reached. I use a third distinction, between aims as principles of design and aims as principles of reform, to show that the third tenet of the technocratic model is also suspect. I conclude that a realistic view of educational aims must take into account that they are more multifarious than envisaged by the technocratic model of curriculum design. (shrink)

A technocratic model of curriculum design that has been highly influential since the middle of last century assumes that the aims of education can be, and should be: 1. Causally brought about by administering educational experiences; 2. Specified as objectives that can be attained, reached or completed; 3. Changes in students that are described in advance. Richard S. Peters argued against the first of these three tenets by making a distinction between aims that are causally brought about by the (...) means and aims that are constituted by the means. I argue that further distinctions between ways in which ends and means can be related throw doubt on the remaining two tenets. My argument against the second one rests on a distinction between open aims that cannot be completed and closed aims that can be reached. I use a third distinction, between aims as principles of design and aims as principles of reform, to show that the third tenet of the technocratic model is also suspect. I conclude that a realistic view of educational aims must take into account that they are more multifarious than envisaged by the technocratic model of curriculum design. (shrink)

At the interface of developmental biology and evolutionary biology, the very criteria of scientific knowledge are up for grabs. A central issue is the status of evolutionary genetics models, which some argue cannot coherently be used with complex gene regulatory network (GRN) models to explain the same evolutionary phenomena. Despite those claims, many researchers use evolutionary genetics models jointly with GRN models to study evolutionary phenomena. This dissertation compares two recent research projects in which researchers jointly use the two kinds (...) of models. I use methods from the empirical social sciences, such as digital corpus analysis, content analysis, and structured case analysis. I infer three primary conclusions about projects of the kind studied. First, they employ an implicit concept of gene that enables the joint use of both kinds of models. Second, they pursue more epistemic aims besides mechanistic explanation of phenomena. Third, they don’t work to create and export broad synthesized theories. Rather, they focus on phenomena too complex to be understood by a common general theory, they distinguish parts of the phenomena, and they apply models from different theories to the different parts. For such projects, seemingly incompatible models are synthesized largely through mediated representations of complex phenomena. (shrink)

The neuropsychopharmacological methods and theories used to investigate the nature of depression have been viewed as suspect for a variety of philosophical and scientific reasons. Much of this criticism aims to demonstrate that biochemical- and neurological-based theories of this mental illness are defective, due in part because the methods used in their service are consistently invalidated, failing to induce depression in pre-clinical animal models. Neuropsychopharmacologists have been able to stave off such criticism by showing that their methods are context and (...) domain-sensitive, and that the worth of an animal model is relative to its purpose – thereby creating logical space for the question of whether there could ever be a “good” animal model of depression. I contend that this sort of response implicitly leans on Feyerabendian principles in the philosophy of science, and exemplify this connection using a standard taxonomy of behavioral models of depression. I then take one central Feyerabendian principle – methodological and theoretical pluralism – and show how it maps onto the neuropsychopharmacological research tradition as it is currently practiced. (shrink)

Signature-based model-independent searches for new physics form an explorative component of High Energy Physics experiments that aims at avoiding biases toward beyond-the-standard-model theo...

It is certainly well accepted that formal models play a key role in scientific job. Its use goes from natural sciences like physics and even to social sciences like economics and politics. Using mathematics allows the researcher to consider more complicated scenarios involving several variables. Some models are developed to make predictions, others to describe a phenomena, or just to improve the explanation of events in the world. But what has all this to do with philosophy? The aim of the (...) present paper is to investigate debates on the role of formal models in a specific philosophical subject, precisely, the epistemology of rationality. Are we able to explain why models are needed in epistemological work? This answer will be addressed on the assumptions that epistemological theorizing is committed with normative statements. More specifically, epistemologists are concerned with normative questions about what rationality requires from epistemic agents. The first goal is to discuss some assumptions about the role of mathematical models in formal epistemology undertaking. And secondly, I will argue for the following two claims: formal models are useful tools for predicting consequences of normative assumption about what is intuitively required by rationality; and insofar rationality theory is normative in virtue of being instrumentalist and aiming at truth, formal models are means-end tools, therefore, for rationality, mathematical models are devices for maximizing truth in doxastic states. (shrink)

Philosophy and model theory frequently meet one another. Philosophy and Model Theory aims to understand their interactions -/- Model theory is used in every ‘theoretical’ branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging appeals to model theory have created a highly fragmented literature. On the one hand, many philosophically significant mathematical results are found only in mathematics textbooks: these are (...) aimed squarely at mathematicians; they typically presuppose that the reader has a significant background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are then scattered across disconnected pockets of papers, separated by decades or more. -/- The first aim of Philosophy and Model Theory, then, is to consider the philosophical uses of model theory. On a technical level, we try to show how philosophically significant results connect to one another, and also to state the best version of a result for philosophical purposes. On a philosophical level, we show how similar dialectical situations arise repeatedly, across fragmented debates in varied philosophical areas. -/- The second aim of Philosophy and Model Theory, though, is to consider the philosophy of model theory. Model theory itself is rarely taken as the subject matter of philosophising (contrast this, say, with the philosophy of biology, or the philosophy of set theory). But model theory is a beautiful part of pure mathematics, and worthy of philosophical study in its own right. (shrink)

"New wave" reductionism aims at advancing a kind of reduction that is stronger than unilateral dependency of the mental on the physical. It revolves around the idea that reduction between theoretical levels is a matter of degree, and can be laid out on a continuum between a "smooth" pole (theoretical identity) and a "bumpy" pole (extremely revisionary). It also entails that both higher and lower levels of the reductive relationship sustain some degree of explanatory autonomy. The new wave predicts that (...) reductions of folk psychology to neuroscience will be located in the middle of this continuum; as neuroscientific evidence about mental states checks in, theoretical folk psychology will therefore be moderately revised. However, the model has conceptual problems which preclude its success in reviving reductionism, and its commitment to a syntactic approach wrecks its attempt to rescue folk psychology. Moreover, the architecture of the continuum operates on a category mistake that sneaks in an eliminativist conclusion. I argue that new wave reductionism therefore tends to be eliminativism in disguise. (shrink)

The introspective devices framework proposed by Kammerer and Frankish (this issue) offers an attractive conceptual tool for evaluating and developing accounts of introspection. However, the framework assumes that different views about the nature of introspection can be easily evaluated against a set of common criteria. In this paper, I set out to test this assumption by analysing two formal models of introspection using the introspective device framework. The question I aim to answer is not only whether models developed outside of (...) philosophy can be successfully evaluated against the set of conceptual criteria proposed by Kammerer and Frankish, but also whether this kind of evaluation can reveal some limitations inherent to the framework. (shrink)

The philosophical literatures on models and thought experiments have been developing exponentially, and independently, for decades. This independence is surprising, given how similar models and thought experiments are. They each have “lives of their own,” they sit between theory and experience, they are important for both pedagogy and cutting-edge science, they galvanize conceptual changes and paradigm shifts, and they involve entertaining imaginary scenarios and working out what happens. Recently, philosophers have begun to highlight these similarities. This entry aims at taking (...) the idea further, by trying to systematically identify places where insights from one literature can be taken up in the other. Along the way, important differences will also be highlighted. (shrink)

This paper aims to articulate an anarchist challenge to a widespread assumption in the rapidly growing philosophical literature on models, modeling-practices, and model-based science. I argue that the various entities and practices called “models” and “modeling-practices” are too heterogeneous, too context-sensitive, and serve too many scientific purposes and roles, as to constitute unified scientific phenomena that would allow for useful epistemic and ontologies analyses. Just like Feyerabend once argued that there are no general useful inferences to be drawn about (...) the method of “science”, I argue that the same lesson will apply to “model-based science”, hence calling my view model anarchism. (shrink)

In this paper I propose an account of representation for scientific models based on Kendall Walton’s ‘make-believe’ theory of representation in art. I first set out the problem of scientific representation and respond to a recent argument due to Craig Callender and Jonathan Cohen, which aims to show that the problem may be easily dismissed. I then introduce my account of models as props in games of make-believe and show how it offers a solution to the problem. Finally, I demonstrate (...) an important advantage my account has over other theories of scientific representation. All existing theories analyse scientific representation in terms of relations, such as similarity or denotation. By contrast, my account does not take representation in modelling to be essentially relational. For this reason, it can accommodate a group of models often ignored in discussions of scientific representation, namely models which are representational but which represent no actual object. (shrink)

Phylogenetic models traditionally represent the history of life as having a strictly-branching tree structure. However, it is becoming increasingly clear that the history of life is often not strictly-branching; lateral gene transfer, endosymbiosis, and hybridization, for example, can all produce lateral branching events. There is thus motivation to allow phylogenetic models to have a reticulate structure. One proposal involves the reconciliation of genealogical discordance. Briefly, this method uses patterns of disagreement – discordance – between trees of different genes to add (...) lateral branching events to phylogenetic trees of taxa, and to estimate the most likely cause of these events. I use this practice to argue for: (1) a need for expanded accounts of multiple-models idealization, (2) a distinction between automatic and manual de-idealization, and (3) recognition that idealization may serve the meso-level aims of science in a different way than hitherto acknowledged. (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them (...) consistent in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

Formal models of scientific inquiry, aimed at capturing socio-epistemic aspects underlying the process of scientific research, have become an important method in formal social epistemology and philosophy of science. In this introduction to the special issue we provide a historical overview of the development of formal models of this kind and analyze their methodological contributions to discussions in philosophy of science. In particular, we show that their significance consists in different forms of ‘methodological iteration’ whereby the models initiate new lines (...) of inquiry, isolate and clarify problems with existing knowledge claims, and stimulate further research. (shrink)

The aim of this paper is to explore the possibility that, at least, some metaphysical debates are ‘metalinguistic negotiations’. I will take the dispute between the dominant approaches of realism and the anti-realism ones about the ontological status of scientific models as a case-study. I will argue that such a debate may be better understood as a disagreement, at bottom normatively, motivated, insofar as a normative and non-factual question may be involved in it: how the relevant piece of language ought (...) to be used. Even though I will generally assess the prospects for a broadly deflationist approach, I shall outline a sense in which the dispute can be recast as ‘minimally substantive’. (shrink)

After experiments with various economic systems, we appear to have conceded, to misquote Winston Churchill that "free enterprise is the worst economic system, except all the others that have been tried." Affirming that conclusion, I shall argue that in today's expanding global economy, we need to revisit our mind-sets about corporate governance and leadership to fit what will be new kinds of free enterprise. The aim is to develop a values-based model for corporate governance in this age of globalization (...) that will be appropriate in a variety of challenging cultural and economic settings. I shall present an analysis of mental models from a social constructivist perspective. I shall then develop the notion of moral imagination as one way to revisit traditional mind-sets about values-based corporate governance and outline what I mean by systems thinking. I shall conclude with examples for modeling corporate governance in multi-cultural settings and draw tentative conclusions about globalization. (shrink)

In this paper, we explore an under-investigated question concerning the class of formal models that aim at providing normative guidance. We call such models normative models. In particular, we examine the question of how normative models can successfully exert normative guidance. First, we highlight the absence of a discussion of this question – which is surprising given the extensive debate about the success conditions of descriptive models – and motivate its importance. Second, we introduce and discuss two potential accounts of (...) the success conditions of normative models. Our tentative conclusion is that the second account is more promising. (shrink)

The book Model-Based Reasoning in Scientific Discovery, aims to explain how specific modeling practices employed by scientists are productive methods of ...

Toy models are highly idealized and extremely simple models. Although they are omnipresent across scientific disciplines, toy models are a surprisingly under-appreciated subject in the philosophy of science. The main philosophical puzzle regarding toy models is that it is an unsettled question what the epistemic goal of toy modeling is. One promising proposal for answering this question is the claim that the epistemic goal of toy models is to provide individual scientists with understanding. The aim of this paper is to (...) precisely articulate and to defend this claim. In particular, we will distinguish between autonomous and embedded toy models, and, then, argue that important examples of autonomous toy models are sometimes best interpreted to provide how-possibly understanding, while embedded toy models yield how-actually understanding, if certain conditions are satisfied. (shrink)

This paper is aimed at identifying how a model’s explanatory power is constructed and identified, particularly in the practice of template-based modeling (Humphreys, Philos Sci 69:1–11, 2002; Extending ourselves: computational science, empiricism, and scientific method, 2004), and what kinds of explanations models constructed in this way can provide. In particular, this paper offers an account of non-causal structural explanation that forms an alternative to causal–mechanical accounts of model explanation that are currently popular in philosophy of biology and cognitive (...) science. Clearly, defences of non-causal explanation are far from new (e.g. Batterman, Br J Philos Sci 53:21–38, 2002a; The devil in the details: asymptotic reasoning in explanation, reduction, and emergence, 2002b; Pincock, Noûs 41:253–275, 2007; Mathematics and scientific representation 2012; Rice, Noûs. doi:10.1111/nous.12042, 2013; Biol Philos 27:685–703, 2012), so the targets here are focused on a particular type of robust phenomenon and how strong invariance to interventions can block a range of causal explanations. By focusing on a common form of model construction, the paper also ties functional or computational style explanations found in cognitive science and biology more firmly with explanatory practices across model-based science in general. (shrink)

The aim of this article is to investigate the relevance and implications of synthetic models for the study of the interactive dimension of minimal life and cognition, by taking into consideration how the use of artificial systems may contribute to an understanding of the way in which interactions may affect or even contribute to shape biological identities. To do so, this article analyzes experimental work in synthetic biology on different types of interactions between artificial and natural systems, more specifically: between (...) protocells and between biological living cells and protocells. It discusses how concepts such as control, cognition, communication can be used to characterize these interactions from a theoretical point of view, which criteria of relevance and evaluation of synthetic models can be applied to these cases, and what are their limits. (shrink)

Scientific discourse is rife with passages that appear to be ordinary descriptions of systems of interest in a particular discipline. Equally, the pages of textbooks and journals are filled with discussions of the properties and the behavior of those systems. Students of mechanics investigate at length the dynamical properties of a system consisting of two or three spinning spheres with homogenous mass distributions gravitationally interacting only with each other. Population biologists study the evolution of one species procreating at a constant (...) rate in an isolated ecosystem. And when studying the exchange of goods, economists consider a situation in which there are only two goods, two perfectly rational agents, no restrictions on available information, no transaction costs, no money, and dealings are done immediately. Their surface structure notwithstanding, no competent scientist would mistake descriptions of such systems as descriptions of an actual system: we know very well that there are no such systems. These descriptions are descriptions of a model-system, and scientists use model-systems to represent parts or aspects of the world they are interested in. Following common practice, I refer to those parts or aspects as target-systems. What are we to make of this? Is discourse about such models merely a picturesque and ultimately dispensable façon de parler? This was the view of some early twentieth century philosophers. Duhem (1906) famously guarded against confusing model building with scientific theorizing and argued that model building has no real place in science, beyond a minor heuristic role. The aim of science was, instead, to construct theories, with theories understood as classificatory or representative structures systematically presented and formulated in precise symbolic.. (shrink)

The central aim of science is to make sense of the world. To move forward as a community endeavor, sense-making must be systematic and focused. The question then is how do scientists actually experience the sense-making process? In this chapter we examine the “practice turn” in science studies and in particular how as a result of this turn scholars have come to realize that models are the “functional unit” of scientific thought and form the center of the reasoning/sense-making process. This (...) chapter will explore a context-dependent view of models and modeling in science. From this analysis we present a framework for delineating the different aspects of model-based reasoning and describe how this view can be useful in educational settings. This framework highlights how modeling supports and focuses scientific practice on sense-making. (shrink)

Models are indispensable tools of scientific inquiry, and one of their main uses is to improve our understanding of the phenomena they represent. How do models accomplish this? And what does this tell us about the nature of understanding? While much recent work has aimed at answering these questions, philosophers' focus has been squarely on models in empirical science. I aim to show that pure mathematics also deserves a seat at the table. I begin by presenting two cases: Cramér’s random (...) model of the prime numbers and the function field model of the integers. These cases show that mathematicians, like empirical scientists, rely on unrealistic models to gain understanding of complex phenomena. They also have important implications for some much-discussed theses about scientific understanding. First, modeling practices in mathematics confirm that one can gain understanding without obtaining an explanation. Second, these cases undermine the popular thesis that unrealistic models confer understanding by imparting counterfactual knowledge. (shrink)

Against the tradition, which has considered measurement able to produce pure data on physical systems, the unavoidable role played by the modeling activity in measurement is increasingly acknowledged, particularly with respect to the evaluation of measurement uncertainty. This paper characterizes measurement as a knowledge-based process and proposes a framework to understand the function of models in measurement and to systematically analyze their influence in the production of measurement results and their interpretation. To this aim, a general model of measurement (...) is sketched, which gives the context to highlight the unavoidable, although sometimes implicit, presence of models in measurement and, finally, to propose some remarks on the relations between models and measurement uncertainty, complementarily classified as due to the idealization implied in the models and their realization in the experimental setup. (shrink)

In this topical section, we highlight the next step of research on modeling aiming to contribute to the emerging literature that radically refrains from approaching modeling as a scientific endeavor. Modeling surpasses “doing science” because it is frequently incorporated into decision-making processes in politics and management, i.e., areas which are not solely epistemically oriented. We do not refer to the production of models in academia for abstract or imaginary applications in practical fields, but instead highlight the real entwinement of science (...) and policy and the real erosion of their boundaries. Models in decision making – due to their strong entwinement with policy and management – are utilized differently than models in science; they are employed for different purposes and with different constraints. We claim that “being a part of decision-making” implies that models are elements of a very particular situation, in which knowledge about the present and the future is limited but dependence of decisions on the future is distinct. Emphasis on the future indicates that decisions are made about actions that have severe and lasting consequences. In these specific situations, models enable not only the acquisition of knowledge (the primary goal of science) but also enable deciding upon actions that change the course of events. As a result, there are specific ways to construct effective models and justify their results. Although some studies have explored this topic, our understanding of how models contribute to decision making outside of science remains fragmentary. This topical section aims to fill this gap in research and formulate an agenda for additional and more systematic investigations in the field. (shrink)

My chief aim has been to convey the thought that the application of model theoretic techniques to natural languages needn't force a distortion of intentional phenomena. I hope that at least I have succeeded in accomplishing this.

Three metascientific concepts that have been object of philosophical analysis are the concepts oflaw, model and theory. The aim ofthis article is to present the explication of these concepts, and of their relationships, made within the framework of Sneedean or Metatheoretical Structuralism (Balzer et al. 1987), and of their application to a case from the realm of biology: Population Dynamics. The analysis carried out will make it possible to support, contrary to what some philosophers of science in general and (...) of biology in particular hold, the following claims: a) there are "laws" in biological sciences, b) many of the heterogeneous and different "models" of biology can be accommodated under some "theory", and c) this is exactly what confers great unifying power to biological theories. (shrink)

Hamblin distinguished between formal and descriptive dialectic. Formal normative models of deliberation dialogue have been strongly emphasized as argumentation frameworks in computer science. But making such models of deliberation applicable to real natural language examples has reached a point where the descriptive aspect needs more interdisciplinary work. The new formal and computational models of deliberation dialogue that are being built in computer science seem to be closely related to some already existing and very well established computing technologies such as problem (...) solving and decision making, but whether or how dialectical argumentation can be helpful to support these systems remains an open question. The aim of this paper is to examine some real examples of argumentation that seem to hover on the borderlines between deliberation, problem solving and decision making. (shrink)

Mathematical models of biological patterns are central to contemporary biology. This paper aims to consider what these models contribute to biology through the detailed consideration of an important case: Hamilton’s selfish herd. While highly abstract and idealized, Hamilton’s models have generated an extensive amount of research and have arguably led to an accurate understanding of an important factor in the evolution of gregarious behaviors like herding and flocking. I propose an account of what these models are able to achieve and (...) how they can support a successful scientific research program. I argue that the way these models are interpreted is central to the success of such programs. (shrink)

Judea Pearl has been at the forefront of research in the burgeoning field of causal modeling, and Causality is the culmination of his work over the last dozen or so years. For philosophers of science with a serious interest in causal modeling, Causality is simply mandatory reading. Chapter 2, in particular, addresses many of the issues familiar from works such as Causation, Prediction and Search by Peter Spirtes, Clark Glymour, and Richard Scheines. But philosophers with a more general interest in (...) causation will also profit from reading Pearl’s book, especially the material in chapters 7, 9, and 10, which is self-contained and less technical than other parts of the book. The present review is aimed primarily at readers of the second type. (shrink)

Science is often said to aim at truth. And much of science is heavily dependent on the construction and use of theoretical models. But the notion of model has an uneasy relationship with that of truth. -/- Not so long ago, many philosophers held the view that theoretical models are different from theories in that they are not accompanied by any ontological commitments or presumptions of truth, whereas theories are (e.g. Achinstein 1964). More recently, some have thought that models (...) are not truth-valued at all, but truth-valued claims can be made about similarity relations between models and real systems (e.g. Giere 1988). Others suggest that models are instruments that can be used for attaining truths, for example that models are false means for true theories (e.g. Wimsatt 2007). At the same time, philosophers and others keep talking about models being ‘correct’ and ‘incorrect’, ‘accurate’ and ‘inaccurate’ or getting facts ‘right’ or ‘wrong’. Among practicing scientists, one can find both the notion of a ‘true model’ and the idea that ‘it is in the nature of models that they are false’. There seems to be enough variety of views and confusion around them to invite a little bit of further investigation (see also Mäki 1992, 1994, 2004, 2009a,b,c). (shrink)

The key problem in the controversy over group selection is that of defining a criterion of group selection that identifies a distinct causal process that is irreducible to the causal process of individual selection. We aim to clarify this problem and to formulate an adequate model of irreducible group selection. We distinguish two types of group selection models, labeling them type I and type II models. Type I models are invoked to explain differences among groups in their respective rates (...) of production of contained individuals. Type II models are invoked to explain differences among groups in their respective rates of production of distinct new groups. Taking Elliott Sober's model as an exemplar, we argue that although type I models have some biological importance--they force biologists to consider the role of group properties in influencing the fitness of organisms--they fail to identify a distinct group-level causal selection process. Type II models if properly framed, however, do identify a group-level causal selection process that is not reducible to individual selection. We propose such a type II model and apply it to some of the major candidates for group selection. (shrink)

Neutral Theory is controversial in ecology. Ecologists and philosophers have diagnosed the source of the controversy as: its false assumption that individuals in different species within the same trophic level are ecologically equivalent, its conflict with Competition Theory and the adaptation of species, its role as a null hypothesis, and as a Lakatosian research programme. In this paper, I show why we should instead understand the conflict at the level of research programs which involve more than theory. The Neutralist and (...) Competitionist research programs borrow and construct theories, models, and experiments for various aims and given their home ecological systems. I present a holistic and pragmatic view of the controversy that foregrounds the interrelation between many kinds of practices and decisions in ecological research. (shrink)

This collection of essays deals with three clusters of problems in the philo sophy of science: scientific method, conceptual models, and ontological underpinnings. The disjointedness of topics is more apparent than real, since the whole book is concerned with the scientific knowledge of fact. Now, the aim of factual knowledge is the conceptual grasping of being, and this understanding is provided by theories of whatever there may be. If the theories are testable and specific, such as a theory of a (...) particular chemical reaction, then they are often called 'theoretical models' and clas sed as scientific. If the theories are extremely general, like a theory of syn thesis and dissociation without any reference to a particular kind of stuff, then they may be called 'metaphysical' - as well as 'scientific' if they are consonant with science. Between these two extremes there is a whole gamut of kinds of factual theories. Thus the entire spectrum should be dominated by the scientific method, quite irrespective of the subject matter. This is the leitmotiv of the present book. The introductory chapter, on method in the philosophy of science, tackles the question 'Why don't scientists listen to their philosophers?'. (shrink)

We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.

This article aims to propagate Logic Programming as a formal tool to deal with non-monotonic reasoning. In philosophy and linguistics non-monotonic reasoning is modelled using Minimal Models as standard, i.e., by imposing an order (or selection function) on the class of all models and then by defining entailment as only caring about the minimal models of the premises with respect to the order. In this article we investigate the question whether instead of minimal models we should use logic programming to (...) model non-monotonic reasoning. Logic programming is an attractive alternative to a minimal models approach in that it makes concrete predictions in an efficient and transparent way. We study this question by focusing on one particular phenomenon that gives rise to non-monotonic inferences: conditional sentences. (shrink)

Johnson-Laird's mental models theory claims that reasoning is a semantic process of construction and manipulation of models in working memory of limited capacity. Accordingly, both a deduction and a given interpretation of a premise would be all the harder the higher the number of models they require. The purpose of the present experiment was twofold. First, it aimed to demonstrate that the interpretation of if...then conditional sentences in children (third, sixth, and ninth graders) evolves as a function of the number (...) of models the children can produce. We proposed a theory of conditional reasoning development that hypothesises a developmental trend of three successive levels of interpretations underlain by one, two, and then three models, i.e. conjunctive, biconditional, and conditional respectively. Second, we aimed to show that these different levels correlate with working memory capacities: the higher the working memory span, the higher the number of models underlying the conditional interpretation. These two hypotheses were verified, supporting the mental models theory. The results are compared with the rival theory of mental logic. (shrink)

Two decades of critique have sensitized historians and philosophers of science to the inadequacies of conventional dichotomies between theory and practice, thereby prompting the search for new ways of writing about science that are less beholden than the old ways to the epistemological mores of theoretical physics, and more faithful to the actual practices not only of physics but of all the natural sciences. The need for alternative descriptions seems particularly urgent if one is to understand the place of theory (...) (and, in parallel, the role of modeling) in contemporary molecular biology, a science where, until now, no division between theory and experiment has obtained, and where distinctions between representing and intervening, and more generally, between basic and applied science, are daily becoming more blurred. Indeed, the very division between theory and experiment threatens to slight the extensive and sophisticated theoretical analyses (and even modeling) on which experimental work in contemporary molecular biology so often depends. My aim in this paper is to find a way of talking about theoretical practices in biology that is directly rooted in the mix of conceptual and material work that biologists do. As an example of such theoretical practices, I choose for the focus of my analysis the development of a model for gene regulation out of the experimental work of Eric Davidson and his colleagues at Cal Tech. (shrink)

I begin by distinguishing two notions of model, the notion of a truth-making structure and the notion of a mathematical model (in one specific sense). I then argue that although the models of the semantic view have often been taken to be both truth-making structures and mathematical models, this is in part due to a failure to distinguish between two ways of truth-making; in fact, the talk of truth-making is best excised from the view altogether. The result is (...) a version of the semantic view which is better supported by the direct evidence offered for it, better equipped to achieve its avowed aims, and, I think, closer to the intentions of the original proponents of the view in many ways, despite some of their own declarations to the contrary. (shrink)

This study aims to explore a demoethical model for sustainable development in modern society. It proposes an approach that focuses on organizing activities to improve sustainable development. Specifically, it presents a demoethical model relevant to Society 5.0 and Industry 5.0 organizations. The objective is to identify demoethical values that can drive sustainable development in the era of digitalization. Through a literature review and analysis, this study identifies key components of the demoethical model and provides practical recommendations for (...) stakeholders involved in digital transformation. The analysis of demoethical norms and phenomena, such as education, nurturing, mind, knowledge, science, and honest work, has enabled the identification of values that align with sustainable development in society. The results of the study demonstrate that the notion of a demoethical foundation for sustainability is rooted in the concept of spirituality as the basis for a new societal development scenario and its relationship with nature. The study shows that ideas about the demoethical basis of sustainability are based on the priority of spirituality as the basis of a new scenario for the development of society, as well as the integration of demographic, socio-economical, and ecological components in system-wide modeling. (shrink)

Econophysics is a new and exciting cross-disciplinary research field that applies models and modelling techniques from statistical physics to economic systems. It is not, however, without its critics: prominent figures in more mainstream economic theory have criticized some elements of the methodology of econophysics. One of the main lines of criticism concerns the nature of the modelling assumptions and idealizations involved, and a particular target are ‘kinetic exchange’ approaches used to model the emergence of inequality within the distribution of (...) individual monetary income. This article will consider such models in detail, and assess the warrant of the criticisms drawing upon the philosophical literature on modelling and idealization. Our aim is to provide the first steps towards informed mediation of this important and interesting interdisciplinary debate, and our hope is to offer guidance with regard to both the practice of modelling inequality, and the inequality of modelling practice. _1_ Introduction _1.1_ Econophysics and its discontents _1.2_ Against burglar economics _2_ Modelling Inequality _2.1_ Mainstream economic models for income distribution _2.2_ Econophysics models for income distribution _3_ Idealizations in Kinetic Exchange Models _3.1_ Binary interactions _3.2_ Conservation principles _3.3_ Exchange dynamics _ 4 _ Fat Tails and Savings _ 5 _ Evaluation. (shrink)

Toy models are highly idealized and extremely simple models. Although they are omnipresent across scientific disciplines, toy models are a surprisingly under-appreciated subject in the philosophy of science. The main philosophical puzzle regarding toy models concerns what the epistemic goal of toy modelling is. One promising proposal for answering this question is the claim that the epistemic goal of toy models is to provide individual scientists with understanding. The aim of this article is to precisely articulate and to defend this (...) claim. In particular, we will distinguish between autonomous and embedded toy models, and then argue that important examples of autonomous toy models are sometimes best interpreted to provide how-possibly understanding, while embedded toy models yield how-actually understanding, if certain conditions are satisfied. _1_ Introduction _2_ Embedded and Autonomous Toy Models _2.1_ Embedded toy models _2.2_ Autonomous toy models _2.3_ Qualification _3_ A Theory of Understanding for Toy Models _3.1_ Preliminaries and requirements _3.2_ The refined simple view _4_ Two Kinds of Understanding with Toy Models _4.1_ Embedded toy models and how-actually understanding _4.2_ Against a how-actually interpretation of all autonomous toy models _4.3_ The how-possibly interpretation of some autonomous toy models _5_ Conclusion. (shrink)

This paper is concerned with scientific reasoning in the engineering sciences. Engineering sciences aim at explaining, predicting and describing physical phenomena occurring in technological devices. The focus of this paper is on mathematical description. These mathematical descriptions are important to computer-aided engineering or design programs (CAE and CAD). The first part of this paper explains why a traditional view, according to which scientific laws explain and predict phenomena and processes, is problematic. In the second part, the reasons of these methodological (...) difficulties are analyzed. Ludwig Prandtl’s method of integrating a theoretical and empirical approach is used as an example of good scientific practice. Based on this analysis, a distinction is made between different types of laws that play a role in constructing mathematical descriptions of phenomena. A central assumption in understanding research methodology is that, instead of scientific laws, knowledge of capacities and mechanisms are primary in the engineering sciences. Another important aspect in methodology of the engineering sciences is that in explaining a phenomenon or process spatial regions are distinguished in which distinct physical behaviour occur. The mechanisms in distinct spatial regions are represented in a so-called diagrammatic model. The construction of a mathematical description of the phenomenon or process is based on this diagrammatic model. (shrink)