Online research in philosophy

The ability to process events in their temporal and sequential context is a fundamental skill made mandatory by constant interaction with a dynamic environment. Sequence learning studies have demonstrated that subjects exhibit detailed — and often implicit — sensitivity to the sequential structure of streams of stimuli. Current connectionist models of performance in the so-called Serial Reaction Time Task (SRT), however, fail to capture the fact that sequence learning can be based not only on sensitivity to the sequential associations (...) between successive stimuli, but also on sensitivity to the associations between successive responses, and on the predictive relationships that exist between these sequences of responses and their effects in the environment. In this paper, we offer an initial exploration of an alternative architecture for sequence learning, based on the principles of Forward Models. (shrink)

I here present some doubts about whether Mandik’s (2010) proposed intermediacy and recurrence constraints are necessary and sufficient for agentive experience. I also argue that in order to vindicate the conclusion that agentive experience is an exclusively perceptual phenomenon (Prinz, 2007), it is not enough to show that the predictions produced by forward models of planned motor actions are conveyed by mock sensory signals. Rather, it must also be shown that the outputs of “comparator” mechanisms that compare these (...) predictions against actual sensory feedback are also coded in a perceptual representational format. (shrink)

On the implementation aspect of the Islamization of knowledge programme, there were also suggestions that my paper should provide readers with Al-Faruqi's ...

The general applicability of forward models in brain function has previously been recognized. Grush's contribution centers largely on broadening the extent and scope of forward models. However, in his effort to expand and generalize, important distinctions may have been overlooked. A better grounding in the underlying physiology would have helped to illuminate such valuable differences and similarities.

At the phenomenal level, consciousness arises in a consistently coherent fashion as a singular, unified field of recursive self-awareness (subjectivity) with explicitly orientational characteristics—that of a subject located both spatially and temporally in an egocentrically-extended domain. Understanding these twin elements of consciousness begins with the recognition that ultimately (and most primitively), cognitive systems serve the biological self-regulatory regime in which they subsist. The psychological structures supporting self-located subjectivity involve an evolutionary elaboration of the two basic elements necessary for extending self-regulation (...) into behavioral interaction with the environment: an orientative reference frame which consistently structures ongoing interaction in terms of controllable spatiotemporal parameters, and processing architecture that relates behavior to homeostatic needs via feedback. Over time, constant evolutionary pressures for energy efficiency have encouraged the emergence of anticipative feedforward processing mechanisms, and the elaboration, at the apex of the sensorimotor processing hierarchy, of self-activating, highly attenuated recursively-feedforward circuitry processing the basic orientational schema independent of external action output. As the primary reference frame of active waking cognition, this recursive self-locational schema processing generates a zone of subjective self-awareness in terms of which it feels like something to be oneself here and now. This is consciousness-as-subjectivity. (shrink)

This paper explores the consequences of the theoretical forward activation enzymatic pathway A 0 A 1 A 2 A 3 where E 1 convents A 0 to A 1, E 2 converts A 1 to A 2 and E 3 converts A 2 to A 3. A 0, which is environmentally determined, also serves to activate (or modulate) the activity of E 3 in such a way as to keep the concentration of A 2 ([A 2]) constant at a (...) particular set-point value. For mathematical simplicity, first order rate kinetics are used where k 1, k 2 and k 3 are the rate constants for E 1, E 2, and E 3 respectively. It is shown that if k 3 is modulated appropriately so as keep [A 2] at the setpoint value with a changing upstream [A 0], then the modulation of k 3 must be anticipatory of the dynamics of the biochemical pathway. In other words, the rate of change of k 3, will be a function of [A 0], k 1, k 2, k 3, and the set-point value of [A 2]. If the modulation of k 3 does not perfectly model (anticipate) the reaction pathway of which it is a part, then the actual [A 2] will deviate from the set-point value. This type of anticipatory feed-forward activation may represent an important aspect of biological organization. (shrink)

The validity of assessment programs is increasingly important in higher education. Existing approaches to assessment are problematic because they eitherfail to provide timely feedback or have suspect measurement issues. We propose a feed-forward assessment model to help overcome these two limitations oftraditional assessment approaches.

In this paper, we try to shed light on the ontological puzzle pertaining to models and to contribute to a better understanding of what models are. Our suggestion is that models should be regarded as a specific kind of signs according to the sign theory put forward by Charles S. Peirce, and, more precisely, as icons, i.e. as signs which are characterized by a similarity relation between sign (model) and object (original). We argue for this (1) (...) by analyzing from a semiotic point of view the representational relation which is characteristic of models. We then corroborate our hypothesis (2) by discussing the conceptual differences between icons, i.e. models, and indexical and symbolic signs and (3) by putting forward a general classification of all icons into three functional subclasses (images, diagrams, and metaphors). Subsequently, we (4) integratively refine our results by resorting to two influential and, as can be shown, complementary philosophy of science approaches to models. This yields the following result: models are determined by a semiotic structure in which a subject intentionally uses an object, i.e. the model, as a sign for another object, i.e. the original, in the context of a chosen theory or language in order to attain a specific end by instituting a representational relation in which the syntactic structure of the model, i.e. its attributes and relations, represents by way of a mapping the properties of the original, which hence are regarded as similar in a relevant manner. (shrink)

Stein once urged us not to confuse the means of representation with that which is being represented. Yet that is precisely what philosophers of science appear to have done at the meta-level when it comes to representing the practice of science. Proponents of the so-called ‘syntactic’ view identify theories as logically closed sets of sentences or propositions and models as idealised interpretations, or ‘theoruncula, as Braithwaite called them. Adherents of the ‘semantic’ approach, on the other hand, are typically characterised (...) as taking them to be families of models that are set-theoretic, according to Suppes and others, or abstract, as Giere has argued. da Costa and French (Science and Partial Truth. OUP, Oxford, 2003) suggested that we should refrain from ontological speculation as to the nature of scientific theories and models and focus on their appropriate representation for various purposes within the philosophy of science. Such an approach allows both linguistic and non-linguistic resources to play their appropriate role (see also French and Saatsi, Philosophy of Science, Proceedings of the 2004 PSA Meeting, 78:548–559, 2006) and can be supported by recent case studies illustrating the heterogeneity of scientific practice. My aim in this paper is to further develop this ‘quietist’ view, and to indicate how it offers a fruitful way forward for the philosophy of science. (shrink)

According to the "experimenter's regress", disputes about the validity of experimental results cannot be closed by objective facts because no conclusive criteria other than the outcome of the experiment itself exist for deciding whether the experimental apparatus was functioning properly or not. Given the frequent characterization of simulations as "computer experiments", one might worry that an analogous regress arises for computer simulations. The present paper analyzes the most likely scenarios where one might expect such a "simulationist's regress" to surface, and, (...) in doing so, discusses analogies and disanalogies between simulation and experimentation. I conclude that, on a properly broadened understanding of robustness, the practice of simulating mathematical models can be seen to have sufficient internal structure to avoid any special susceptibility to regress-like situations. (shrink)

During the last few decades, models have become the centre of attention in both cognitive science and philosophy of science. In cognitive science, the claim that humans reason with mental models, rather than mentally manipulate linguistic symbols, is the majority view. Similarly, philosophers of science almost unanimously acknowledge that models have to be taken as a central unit of analysis. Moreover, some philosophers of science and cognitive scientists have suggested that the cognitive hypothesis of mental models (...) is a promising way of accounting for the use of models in science. However, once the importance of models in cognition as well as in science has been acknowledged, much more needs to be said about how models enable agents to make predictions, and to understand the world. In this paper, our goal (as a cognitive scientist, working on causal reasoning, and a philosopher of science, working on models and representations) is twofold. We would like to further develop the notion of mental models, and to explore the parallels between mental models as a concept in cognitive science, and models in science. While acknowledging that the parallel move towards models in cognitive science and in philosophy of science is in the right direction, we think that: i. the notion of mental models needs to be clarified in order to serve as a useful tool, ii. the relation between the hypothesis of mental models and the use of models in science is still to be clarified. First, we will briefly recall a few points about the mental model hypothesis, on the one hand, and the model-centred view of science, on the other hand. Then, we will present our parallel criticisms, and put forward our own proposals. (shrink)

It has recently been reported that forward inferences from if p then q sentences (i.e., from antecedent to consequent) were faster than backward inferences from consequent to antecedent (Barrouillet, Grosset, & Lecas, 2000). The standard mental model theory assumes that this directionality effect is a figural effect due to the order the information enters working memory, whereas we claim that it results from the nature of the mental models that represent oriented relations from hypothetical values introduced by the (...) word If . We tested these hypotheses in an experiment in which adult participants evaluated conditional syllogisms from either if p then q , p only if q , or p if q statements. Contrary to the predictions resulting from the standard theory, the three forms of the conditional provoked a reversed directionality effect and denial inferences took longer to endorse than affirmative inferences for all the forms of conditionals. We argue from these results that mental models of the conditional represent oriented relations instead of mere co-occurrences between events. (shrink)

This work is divided in two papers (Part I and Part II). In Part I, we introduced the class of Rare-logics for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability were established by faithfully translating the Rare-logics into more standard modal logics (...) (some of them contain the universal modal operator).In Part II, we push forward the results from Part I. For Rare-logics with nominals (present at the level of formulae and at the level of modal expressions), we show that the constructions from Part I can be extended although it is technically more involved. We also characterize a class of standard modal logics for which the universal modal operator can be eliminated as far as satifiability is concerned. Although the previous results have a semantic flavour, we are also able to define proof systems for Rare-logics from existing proof systems for the corresponding standard modal logics. Last, but not least, decidability results for Rare-logics are established uniformly, in particular for information logics derived from rough set theory. (shrink)

External pressures have changed the context within which CEOs are succeeded. At the same time, chairmen are clear that this responsibility is personal to them and are increasingly changing the nature of the process. Two new models of CEO succession are identified: one where the Board actively partners with the incumbent CEO and the other a crisis model where the Chairman and the Board assure the active management of the succession process. In both cases, best practice is for the (...) Board to develop its own assessment criteria. A 'best practice' profile is suggested. Good assessment processes then focus on understanding the candidate, identifying data gaps, looking at evidence of predicted future performance and identifying development priorities. The final stage of the process is transition planning. A process for CEO succession is proposed and a number of principles for effective succession are put forward. (shrink)

In the context of the motor skill literature on observational learning and hierarchical skill structuring, Byrne & Russon's findings call into question their standpoint that great apes imitate the behaviour of role models at the programme level. The authors impose a hierarchical model on their observations without properly considering alternative explanations. One such possibility, which stems from a constraints perspective that they dismiss, is put forward.

This paper focuses on abduction as explicit or readily formulatable inference to possible explanatory hypotheses--as contrasted with inference to conceptual innovations or abductive logic as a cycle of hypotheses, deduction of consequences and inductive testing. Inference to an explanation is often a matter of projection or extrapolation of elements of accepted theory for the solution of outstanding problems in particular domains of inquiry. I say "projections or extrapolation" of accepted theory, but I mean to point to something broader and suggest (...) how elements of accepted theory constrain emergent models and plausible inferences to explanations--in a quasi-rationalist fashion. I draw on illustrations from quantum gravity below just because there is so little direct evidence available in the field. It is in such cases that Peirce's discussions of abductive inference provide the most plausible support for the idea of a logic of abduction--as inference to readily formulatable explanatory hypotheses. The possible need for conceptual innovation points to the limits on the possibility of a logic of abduction of a more rationalistic character--selecting uniquely superior explanations. Abduction conceived as a repeated cycle of inquiry also points to limits on our expectations for an abductive logic. My chief point is that the character of inference to an explanation, viewed below as embedded within arguments from analogy, is so little compelling, as a matter of logical form alone, that there will always be a pluralism of plausible alternatives among untested hypotheses and inferences to them--calling for some comparative evaluation. This point leads on to some consideration of the virtues of hypotheses--as a description of the range of this pluralism. (shrink)

Mechanistic explanation has an impressive track record of advancing our understanding of complex, hierarchically organized physical systems, particularly biological and neural systems. But not every complex system can be understood mechanistically. Psychological capacities are often understood by providing cognitive models of the systems that underlie them. I argue that these models, while superficially similar to mechanistic models, in fact have a substantially more complex relation to the real underlying system. They are typically constructed using a range of (...) techniques for abstracting the functional properties of the system, which may not coincide with its mechanistic organization. I describe these techniques and show that despite being non-mechanistic, these cognitive models can satisfy the normative constraints on good explanations. (shrink)

The development of causal modelling since the 1950s has been accompanied by a number of controversies, the most striking of which concerns the Markov condition. Reichenbach's conjunctive forks did satisfy the Markov condition, while Salmon's interactive forks did not. Subsequently some experts in the field have argued that adequate causal models should always satisfy the Markov condition, while others have claimed that non-Markovian causal models are needed in some cases. This paper argues for the second position by considering (...) the multi-causal forks, which are widespread in contemporary medicine. (shrink)

The paper examines philosophical issues that arise in contexts where one has many different models for treating the same system. I show why in some cases this appears relatively unproblematic (models of turbulence) while others represent genuine difficulties when attempting to interpret the information that models provide (nuclear models). What the examples show is that while complementary models needn’t be a hindrance to knowledge acquisition, the kind of inconsistency present in nuclear cases is, since it (...) is indicative of a lack of genuine theoretical understanding. It is important to note that the differences in modeling do not result directly from the status of our knowledge of turbulent flows as opposed to nuclear dynamics—both face fundamental theoretical problems in the construction and application of models. However, as we shall, the ‘problem context(s)’ in which the modeling takes plays a decisive role in evaluating the epistemic merit of the models themselves. Moreover, the theoretical difficulties that give rise to inconsistent as opposed to complementary models (in the cases I discuss) impose epistemic and methodological burdens that cannot be overcome by invoking philosophical strategies like perspectivism, paraconsistency or partial structures. (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)

The word “model” is highly ambiguous, and there is no uniform terminology used by either scientists or philosophers. Here, a model is considered to be a representation of some object, behavior, or system that one wants to understand. This article presents the most common type of models found in science as well as the different relations—traditionally called “analogies”—between models and between a given model and its subject. Although once considered merely heuristic devices, they are now seen as indispensable (...) to modern science. There are many different types of models used across the scientific disciplines, although there is no uniform terminology to classify them. The most familiar are physical models such as scale replicas of bridges or airplanes. These, like all models, are used because of their “analogies” to the subjects of the models. A scale model airplane has a structural similarity or “material analogy” to the full scale version. This correspondence allows engineers to infer dynamic properties of the airplane based on wind tunnel experiments on the replica. Physical models also include abstract representations which often include idealizations such as frictionless planes and point masses. Another, but completely different type of model, is constituted by sets of equations. These mathematical models were not always deemed legitimate models by philosophers. Model-to-subject and model-to-model relations are described using several different types of analogies: positive, negative, neutral, material, and formal. (shrink)

A distinction is made between theory-driven and phenomenological models. It is argued that phenomenological models are significant means by which theory is applied to phenomena. They act both as sources of knowledge of their target systems and are explanatory of the behaviors of the latter. A version of the shell-model of nuclear structure is analyzed and it is explained why such a model cannot be understood as being subsumed under the theory structure of Quantum Mechanics. Thus its representational (...) capacity does not stem from its close link to theory. It is shown that the shell model yields knowledge about the target and is explanatory of certain behaviors of nuclei. Aspects of the process by which the shell model acquires its representational capacity are analyzed. It is argued that these point to the conclusion that the representational status of the model is a function of its capacity to function as a source of knowledge and its capacity to postulate and explain underlying mechanisms that give rise to the observed behavior of its target. (shrink)

The aim of this paper is to show that every topological space gives rise to a wealth of topological models of the modal logic S4.1. The construction of these models is based on the fact that every space defines a Boolean closure algebra (to be called a McKinsey algebra) that neatly reflects the structure of the modal system S4.1. It is shown that the class of topological models based on McKinsey algebras contains a canonical model that can (...) be used to prove a completeness theorem for S4.1. Further, it is shown that the McKinsey algebra MKX of a space X endoewed with an alpha-topologiy satisfies Esakia's GRZ axiom. (shrink)

In this paper we argue that structural explanations are an effective way of explaining well known relativistic phenomena like length contraction and time dilation, and then try to understand how this can be possible by looking at the literature on scientific models. In particular, we ask whether and how a model like that provided by Minkowski spacetime can be said to represent the physical world, in such a way that it can successfully explain physical phenomena structurally. We conclude by (...) claiming that a partial isomorphic approach to scientific representation can supply an answer only if supplemented by a robust injection of pragmatic factors. (shrink)

I argue that, contrary to common opinion, (i) unintended models do not pose a significant problem for syntactic approaches to scientific theories, (ii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones, and (iii) some syntactic approaches are at least as language independent as semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) capturing the theory-observation relation, (v) ease of (...) application, and (vi) accommodating the use of models in the sciences. (shrink)

This paper aims 1) to introduce the notion of theoretical story as a resource and source of constraint for the construction and assessment of models of phenomena; 2) to show the relevance of this notion for a better understanding of the role and nature of values in scientific activity. The reflection on the role of values and value judgments in scientific activity should be attentive, I will argue, to the distinction between models and the theoretical story that guides (...) and constrains their construction. The aim of scientific activity is to develop understanding of phenomena, and something that serves this aim and contributes to the development of understanding has a cognitive value. Cognitive values are the features that something that plays a role in scientific activity should have so that it can serve its aim. I will focus my attention on the features of the theoretical story and of the models. (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)

Models such as the simple pendulum, isolated populations, and perfectly rational agents, play a central role in theorising. It is now widely acknowledged that a study of scientific representation should focus on the role of such imaginary entities in scientists’ reasoning. However, the question is most of the time cast as follows: How can fictional or abstract entities represent the phenomena? In this paper, I show that this question is not well posed. First, I clarify the notion of representation, (...) and I emphasise the importance of what I call the “format” of a representation for the inferences agents can draw from it. Then, I show that the very same model can be presented under different formats, which do not enable scientists to perform the same inferences. Assuming that the main function of a representation is to allow one to draw predictions and explanations of the phenomena by reasoning with it, I conclude that imaginary models in abstracto are not used as representations: scientists always reason with formatted representations. Therefore, the problem of scientific representation does not lie in the relationship of imaginary entities with real systems. One should rather focus on the variety of the formats that are used in scientific practice. (shrink)

Leibniz frequently argued that reasons are to be weighed against each other as in a pair of scales, as Professor Marcelo Dascal has shown in his article "The Balance of Reason." In this kind of weighing it is not necessary to reach demonstrative certainty – one need only judge whether the reasons weigh more on behalf of one or the other option However, a different kind of account about rational decision-making can be found in some of Leibniz's writings. In his (...) article "Was Leibniz's Deity an Akrates?" Professor Jaakko Hintikka has argued that Leibniz developed a new vectorial model for rational decisions which is better suited to complicated decisions, where values are complementary to each other. This model, related closely to his work in metaphysics and the philosophy of mind, is a heuristic device which helps in finding rational combinations - and in an ideal case an optimum - between plural inclinations to the good. I shall argue that Leibniz applies more or less implicitly both of these models in his practical rationality. In simple situations he applied the pair of scales model and in more complicated situations he applied the vectorial model. (shrink)

Mechanistic models in molecular systems biology are generally mathematical models of the action of networks of biochemical reactions, involving metabolism, signal transduction, and/or gene expression. They can be either simulated numerically or analyzed analytically. Systems biology integrates quantitative molecular data acquisition with mathematical models to design new experiments, discriminate between alternative mechanisms and explain the molecular basis of cellular properties. At the heart of this approach are mechanistic models of molecular networks. We focus on the articulation (...) and development of mechanistic models, identifying five constraints which guide the articulation of models in molecular systems biology. These constraints are not independent of one another, with the result that modeling becomes an iterative process. We illustrate the use of these constraints in the modeling of the mechanism for bistability in the lac operon. (shrink)

We argue that non-epistemic values, including moral ones, play an important role in the construction and choice of models in science and engineering. Our main claim is that non-epistemic values are not only “secondary values” that become important just in case epistemic values leave some issues open. Our point is, on the contrary, that non-epistemic values are as important as epistemic ones when engineers seek to develop the best model of a process or problem. The upshot is that (...) class='Hi'>models are neither value-free, nor depend exclusively on epistemic values or use non-epistemic values as tie-breakers. (shrink)

Given a classical theory T, a Kripke model K for the language L of T is called T-normal or locally PA just in case the classical L-structure attached to each node of K is a classical model of T. Van Dalen, Mulder, Krabbe, and Visser showed that Kripke models of Heyting Arithmetic (HA) over finite frames are locally PA, and that Kripke models of HA over frames ordered like the natural numbers contain infinitely many PA-nodes. We show that (...) Kripke models of the latter sort are in fact PA-normal. This result is extended to a somewhat larger class of frames. (shrink)

We observe that the classification problem for countable models of arithmetic is Borel complete. On the other hand, the classification problems for finitely generated models of arithmetic and for recursively saturated models of arithmetic are Borel; we investigate the precise complexity of each of these. Finally, we show that the classification problem for pairs of recursively saturated models and for automorphisms of a fixed recursively saturated model are Borel complete.

We discuss two research projects in material science in which the results cannot be stated with an estimation of the error: a spectroscopic ellipsometry study aimed at determining the orientation of DNA molecules on diamond and a scanning tunneling microscopy study of platinum-induced nanowires on germanium. To investigate the reliability of the results, we apply ideas from the philosophy of models in science. Even if the studies had reported an error value, the trustworthiness of the result would not depend (...) on that value alone. (shrink)

Now that complex Agent-Based Models and computer simulations spread over economics and social sciences - as in most sciences of complex systems -, epistemological puzzles (re)emerge. We introduce new epistemological concepts so as to show to what extent authors are right when they focus on some empirical, instrumental or conceptual significance of their model or simulation. By distinguishing between models and simulations, between types of models, between types of computer simulations and between types of empiricity obtained through (...) a simulation, section 2 gives the possibility to understand more precisely - and then to justify - the diversity of the epistemological positions presented in section 1. Our final claim is that careful attention to the multiplicity of the denotational powers of symbols at stake in complex models and computer simulations is necessary to determine, in each case, their proper epistemic status and credibility. (shrink)

Collapse models predict the spontaneous collapse of the wave function, in order to avoid the emergence of macroscopic superpositions. In their mass-dependent formulation, they claim that the collapse of any system’s wave function depends on its mass. Neutral K, D, B mesons are oscillating systems that are given by Nature as superposition of two distinct mass eigenstates. Thus they are unique laboratory for testing collapse models that are sensitive to the mass. In this paper we derive—for the single (...) mesons and bipartite entangled mesons—the effect of the mass-proportional CSL (Continuous Spontaneous Localization) collapse model on the dynamics on neutral mesons. We compare the theoretical prediction with experimental data from different accelerator facilities. (shrink)

We expand the notion of resplendency to theories of the kind T + p", where T is a fi rst-order theory and p" expresses that the type p is omitted. We investigate two dierent formulations and prove necessary and sucient conditions for countable recursively saturated models of PA. Some of the results in this paper can be found in one of the author's doctoral thesis [3].

Models as Make-Believe offers a new approach to scientific modelling by looking to an unlikely source of inspiration: the dolls and toy trucks of children's games of make-believe.

Climate change presents us with a problem of intergenerational justice. While any costs associated with climate change mitigation measures will have to be borne by the world’s present generation, the main beneficiaries of mitigation measures will be future generations. This raises the question to what extent present generations have a responsibility to shoulder these costs. One influential approach for addressing this question is to appeal to neo-classical economic cost–benefit analyses and so-called economy-climate “integrated assessment models” to determine what course (...) of action a principle of intergenerational welfare maximization would require of us. I critically examine a range of problems for this approach. First, integrated assessment models face a problem of underdetermination and induction: They are very sensitive to a number of highly conjectural assumptions about economic responses to a temperature and climate regime, for which we have no empirical evidence. Second, they involve several simplifying assumptions which cannot be justified empirically. And third, some of the assumptions underlying the construction of economic models are intrinsically normative assumptions that reflect value judgments of the modeler. I conclude that, while integrated assessment models may play a useful role as “toy models,” their use as tools for policy optimization is highly problematic. (shrink)

The paper presents four open problems concerning recursively saturated models of Peano Arithmetic. One problems concerns a possible converse to Tarski's undefinability of truth theorem. The other concern elementary cuts in countable recursively saturated models, extending automorphisms of countable recursively saturated models, and Jonsson models of PA. Some partial answers are given.

http://dx.doi.org/10.5007/1808-1711.2008v12n1p73 This paper aims at discussing from the point of view of a pragmatic stance the concept of model as an abstract replica. According to this view, scientific models are abstract structures different from set-theoretic models. The view of models argued for here stems from the conceptions of some important philosophers of science who elaborated on the notion of model, such as Suppe, Cartwright, Hempel, and Nagel. Differently from all those authors, however, the conception of model argued (...) for here is typically pragmatic, not semantic, i.e. it has not to do with the interpretation of scientific theories, but with the explanation and construction of given circumstances (both abstract and concrete), from the point of view of the theory. (shrink)

We show that there are continuum many different non-Fregean sentential logics that have adequate models. The proof is based on the construction of a special class of models of the power of the continuum.

A model M of PA has the omega-property if it has a subset of order type omega that is coded in an elementary end extension of M. All countable recursively saturated models have the omega-property, but there are also models with the omega-property that are not recursively saturated. The papers is devoted to the study of structural properties of such models.

A serious crisis is identified in theories of neurocomputation, marked by a persistent disparity between the phenomenological or experiential account of visual perception and the neurophysiological level of description of the visual system. In particular, conventional concepts of neural processing offer no explanation for the holistic global aspects of perception identified by Gestalt theory. The problem is paradigmatic and can be traced to contemporary concepts of the functional role of the neural cell, known as the Neuron Doctrine. In the absence (...) of an alternative neurophysiologically plausible model, I propose a perceptual modeling approach, to model the percept as experienced subjectively, rather than modeling the objective neurophysiological state of the visual system that supposedly subserves that experience. A Gestalt Bubble model is presented to demonstrate how the elusive Gestalt principles of emergence, reification, and invariance can be expressed in a quantitative model of the subjective experience of visual consciousness. That model in turn reveals a unique computational strategy underlying visual processing, which is unlike any algorithm devised by man, and certainly unlike the atomistic feed-forward model of neurocomputation offered by the Neuron Doctrine paradigm. The perceptual modeling approach reveals the primary function of perception as that of generating a fully spatial virtual-reality replica of the external world in an internal representation. The common objections to this picture-in-the-head concept of perceptual representation are shown to be ill founded. Key Words: brain-anchored; Cartesian theatre; consciousness; emergence; extrinsic constraints; filling-in; Gestalt; homunculus; indirect realism; intrinsic constraints; invariance; isomorphism; multistability; objective phenomenology; perceptual modeling; perspective; phenomenology; psychophysical parallelism; psychophysical postulate; qualia; reification; representationalism; structural coherence. (shrink)

The descriptions and theoretical laws scientists write down when they model a system are often false of any real system. And yet we commonly talk as if there were objects that satisfy the scientists’ assumptions and as if we may learn about their properties. Many attempt to make sense of this by taking the scientists’ descriptions and theoretical laws to define abstract or fictional entities. In this paper, I propose an alternative account of theoretical modelling that draws upon Kendall Walton’s (...) ‘make-believe’ theory of representation in art. I argue that this account allows us to understand theoretical modelling without positing any object of which scientists’ modelling assumptions are true. (shrink)

Historically embryogenesis has been among the most philosophically intriguing phenomena. In this paper I focus on one aspect of biological development that was particularly perplexing to the ancients: self-organisation. For many ancients, the fact that an organism determines the important features of its own development required a special model for understanding how this was possible. This was especially true for Aristotle, Alexander, and Simplicius who all looked to contemporary technology to supply that model. However, they did not all agree on (...) what kind of device should be used. In this paper I explore the way these ancients made use of technology as a model for the developing embryo. However, my purpose here is more than just the historical interest of knowing which devices were used by whom and how each of them worked; I shall largely ignore the details of how the various devices actually worked. Instead I shall look at the use of technology from a philosophical perspective. As we shall see, the different choices of device reveal fundamental differences in the way each thinker understood the nature of biological development itself. Thus, the central aim of this paper is to examine, not who used what devices and how they worked, but why they used those particular devices and what they thought their functioning could tell us about the nature of embryological phenomena. (shrink)

The emulation theory of representation is developed and explored as a framework that can revealingly synthesize a wide variety of representational functions of the brain. The framework is based on constructs from control theory (forward models) and signal processing (Kalman filters). The idea is that in addition to simply engaging with the body and environment, the brain constructs neural circuits that act as models of the body and environment. During overt sensorimotor engagement, these models are driven (...) by efference copies in parallel with the body and environment, in order to provide expectations of the sensory feedback, and to enhance and process sensory information. These models can also be run off-line in order to produce imagery, estimate outcomes of different actions, and evaluate and develop motor plans. The framework is initially developed within the context of motor control, where it has been shown that inner models running in parallel with the body can reduce the effects of feedback delay problems. The same mechanisms can account for motor imagery as the off-line driving of the emulator via efference copies. The framework is extended to account for visual imagery as the off-line driving of an emulator of the motor-visual loop. I also show how such systems can provide for amodal spatial imagery. Perception, including visual perception, results from such models being used to form expectations of, and to interpret, sensory input. I close by briefly outlining other cognitive functions that might also be synthesized within this framework, including reasoning, theory of mind phenomena, and language. Key Words: efference copies; emulation theory of representation; forward models; Kalman filters; motor control; motor imagery; perception; visual imagery. (shrink)

Alva Noë’s version of the enactive conception in _Action in Perception_ is an important contribution to the study of visual perception. First, I argue, however, that it is unclear (at best) whether, as the enactivists claim, work on change blindness supports the denial of the existence of detailed visual representations. Second, I elaborate on what Noë calls the ‘puzzle of perceptual presence’. Thirdly, I question the enactivist account of perceptual constancy. Finally, I draw attention to the tensions between enactivism and (...) two trends in cognitive neuroscience: the two-visual systems model of human vision and the theory of internal forward models of action. (shrink)

Visual imagination (or visualization) is peculiar in being both free, in that what we imagine is up to us, and useful to a wide variety of practical reasoning tasks. How can we rely upon our visualizations in practical reasoning if what we imagine is subject to our whims? The key to answering this puzzle, I argue, is to provide an account of what constrains the sequence in which the representations featured in visualization unfold—an account that is consistent with its freedom. (...) Three different proposals are outlined, building on theories that link visualization to sensorimotor predictive mechanisms (e.g., efference copies, forward models ). Each sees visualization as a kind of reasoning, where its freedom consists in our ability to choose the topic of the reasoning. Of the three options, I argue that the approach many will find most attractive—that visualization is a kind of off-line perception, and is therefore in some sense misrepresentational—should be rejected. The two remaining proposals both conceive of visualization as a form of sensorimotor reasoning that is constitutive of one’s commitments concerning the way certain kinds of visuomotor scenarios unfold. According to the first, these commitments impinge on one’s web of belief from without, in the manner of normal perceptual experience; according to the second, these commitments just are one’s (occurrent) beliefs about such generalizations. I conclude that, despite being initially counterintuitive, the view of visualization as a kind of occurrent belief is the most promising. (shrink)

We propose a view of embodied representations that is alternative to both symbolic/linguistic approaches and purely sensorimotor views of cognition, and can account for procedural and declarative knowledge manipulation. In accordance with recent evidence in cognitive neuroscience and psychology, we argue that anticipatory and simulative mechanisms, which arose during evolution for action control and not for cognition, determined the first form of representational content and were exapted for increasingly sophisticated cognitive uses. In particular, procedural and declarative forms of knowledge can (...) be explained, respectively, in terms of on-line sensorimotor anticipation and off-line simulations of potential actions, which can give access to tacit knowledge and make it explicit. That is, mechanisms that evolved for the on-line prediction of the consequences of one's own actions (i.e. forward models) determine a (procedural) form of representation, and became exapted for off-line use. They can therefore be used to produce (declarative) knowledge of the world, by running a simulation of the action that would produce the relevant information. We conclude by discussing how embodied representations afford a form of internal manipulation that can be described as internalized situated action. (shrink)

Lewis proposed to test the validity of a modal thesis by checking whether its possible-world translation is a theorem of counterpart theory. However, that criterion fails to validate many standard modal laws, thus raising doubts about the logical adequacy of the Lewisian framework. The present paper considers systems of counterpart theory of increasing strength and shows how each can be motivated by exhibiting a suitable intended model. In particular, perfect counterpart theory validates all the desired modal laws and therefore provides (...) a way out of the logical objection. Finally, a weakening of perfect counterpart theory is put forward as a response to some metaphysical objections. (shrink)

Positing the importance of sensorimotor contingencies for perception is by no means denying the presence and importance of representations. Using the evidence of mirror neurons we will show the intrinsic relationship between action control and representation within the logic of forward models.

An attempt is made to defend a general approach to the spatial content of perception, an approach according to which perception is imbued with spatial content in virtue of certain kinds of connections between perceiving organism's sensory input and its behavioral output. The most important aspect of the defense involves clearly distinguishing two kinds of perceptuo-behavioral skills—the formation of dispositions, and a capacity for emulation. The former, the formation of dispositions, is argued to by the central pivot of spatial content. (...) I provide a neural information processing interpretation of what these dispositions amount to, and describe how dispositions, so understood, are an obvious implementation of Gareth Evans' proposal on the topic. Furthermore, I describe what sorts of contribution are made by emulation mechanisms, and I also describe exactly how the emulation framework differs from similar but distinct notions with which it is often unhelpfully confused, such as sensorimotor contingencies and forward models. (shrink)

Theoretical models are an important tool for many aspects of scientific activity. They are used, i.a., to structure data, to apply theories or even to construct new theories. But what exactly is a model? It turns out that there is no proper definition of the term "model" that covers all these aspects. Thus, I restrict myself here to evaluate the function of models in the research process while using "model" in the loose way physicists do. To this end, (...) I distinguish four kinds of models. These are (1) models as special theories, (2) models as a substitute for a theory, (3) toy models and (4) developmental models. I argue that models of the types (3) and (4) are considerably useful in the process of theory construction. This will be demonstrated in an extended case-study from High-Energy Physics. (shrink)

The impact of the stigma often associated with chronic illness cannot be explained by sociology alone, yet sociology has a significant contribution to make, most obviously through the analysis of stigma relations as social structures. This paper draws on critical realist philosophy and advances a jigsaw model comprising logics, relations and figurations to assist empirical enquiry. A case is made for focusing on interrelations between the logic of shame and the relations of stigma it gives rise to and other logics/relations (...) across a range of figurations. A new framework for understanding and explaining stigmatising illness is put forward and subsequently applied to contemporary programmes of stigma reduction. The principal thesis of the paper is that across many of the figurations in which chronic illness features the logic of shame and its relations of stigma have lost ground to the logic of culpability and its relations of deviance. In short, people with chronic illness are increasingly being held culpable for their condition. (shrink)

This paper addresses the problem posed by the current split between the two opposed hypotheses in the growing literature on the fallacy of begging the question the epistemic hypothesis, based on knowledge and belief, and the dialectical one, based on formal dialogue systems. In the first section, the nature of split is explained, and it is shown how each hypothesis has developed. To get the beginning reader up to speed in the literature, a number of key problematic examples are analyzed (...) illustrating how both approaches can be applied. Useful tools are brought to bear on them, including the automated argument diagramming system Araucaria, and profiles of dialogue used to represent circular argumentation in a dialogue tableau format. These tools are used to both to model circular reasoning and to provide the contextual evidence needed to properly determine whether the circular reasoning in a given case is better judged fallacious or not. A number of technical problems that have impeded the development of both hypotheses are studied. One central problem is the distinction between argument and explanation. It is concluded that the best way to move forward and solve these problems is to reformulate the two hypotheses in such a way that they might be able to co-exist. On this basis, a unified methodology is proposed that allows each hypothesis to move forward as a legitimate avenue for research using the same tools. (shrink)

Fundamental theories are hard to come by. But even if we had them, they would be too complicated to apply. Quantum chromodynamics (QCD) is a case in point. This theory is supposed to govern all strong interactions, but it is extremely hard to apply and test at energies where protons, neutrons and ions are the effective degrees of freedom. Instead, scientists typically use highly idealized models such as the MIT Bag Model or the Nambu Jona-Lasinio Model to account for (...) phenomena in this domain, to explain them and to gain nderstanding. Based on these models, which typically isolate a single feature of QCD (confinement and chiral symmetry breaking respectively) and disregard many others, scientists attempt to get a better understanding of the physics of strong interactions. But does this practice make sense? Is it justified to use these models for the purposes at hand? Interestingly, these models do not even provide an accurate description of the mass spectrum of protons, neutrons and pions and their lowest lying excitations well - despite several adjustable parameters. And yet, the models are heavily used. I'll argue that a qualitative story, which establishes an explanatory link between the fundamental theory and a model, plays an important role in model acceptance in these cases. (shrink)

Plato said that as long as wisdom and power, or philosophy and politics, are separated, “there can be no rest from troubles.”1 In The Republic, he sought to forge such a union. For over two millennia, from Plato through John Rawls, philosophers have put forward models for the just state.2 Despite these ongoing efforts, W. B. Gallie contends, “No political philosopher has ever dreamed of looking for the criteria of a good state viz-à-viz [sic] other states.”3 I will (...) argue that as long as wisdom and power are separated in international relations, we will continue to have problems. We need to forge a normative framework capable of addressing global issues. I further maintain that, in order to advance a global normative framework, achieving peace, or at least the “outlawry of war” championed by John Dewey, may well be the precondition for success in addressing the myriad global problems facing humanity.4 I agree with Ronald Glossop that among all the global issues we need to address, war is “humanity’s most pressing problem.”5 How can we adequately protect everyone’s human rights, secure economic well-being for all persons, preserve this planet’s rich biological diversity, and attend to other serious global concerns if we fail to end war? The structure of my argument is as follows: I will begin by reviewing the parochial and warist implications of the focus on national sovereignty within Enlightenment political philosophy from Thomas Hobbes through Immanuel Kant. Then, after indicating how Georg Wilhelm Friedrich Hegel and Karl Marx point beyond the modern state in a way that would allow for the global application of normative principles, I will note that the Hegelian and Marxian traditions have not made this normative prospect focal. Finally, in order to develop a global normative framework, I will connect the efforts within twentieth-century philosophy to develop arenas of applied ethics to recent efforts in political science to develop a model of a humane world community.. (shrink)

(Total word count 2,647) I. Introduction. Given the work of Robert MacArthur and his followers, some skeptical ecologists charge that theoretical modeling building has gone evidentially unconstrained. That is, models are often constructed which resist empirical testing. In this essay, I argue that “bottle experiments” do provide model building with important evidential constraints using an example of chaos producing models that have been tested against the dynamics of flour beetle populations. Critics reply however that this and other bottle (...) experiments are importantly unlike and irrelevant to non-manipulated systems in nature. I provide two possible responses to this view. Finally, I provide a practical suggestion for how to move the debate forward. (shrink)

Abstract None of the numerous modern proposals for jus post bellum models has gained wide acceptance. The proposals tend to resemble laundry lists, often enumerated without an obvious and coherent ethical rationale. Recognizing the importance of jus post bellum, this article seeks to move the jus post bellum discourse forward. First, the article constructs a foundation of seven principles for jus post bellum models by modifying and integrating the separate proposals advanced by Bellamy and Evans. Then building (...) on that revised set of foundational principles, this article incorporates selected criteria and research from prior proposals to erect a five-part jus post bellum framework: (1) respect for persons; (2) establish justice; (3) exercise ecological responsibility; (4) engage multinational commitment and support; and (5) maintain progress toward closure. The article concludes by arguing that the proposed jus post bellum model is comprehensive, parsimonious, pragmatic, and has a universally applicable framework analogous to Just War Theory's other two components. (shrink)

This article presents a formal dialogue game for adjudication dialogues. Existing AI & law models of legal dialogues and argumentation-theoretic models of persuasion are extended with a neutral third party, to give a more realistic account of the adjudicator’s role in legal procedures. The main feature of the model is a division into an argumentation phase, where the adversaries plea their case and the adjudicator has a largely mediating role, and a decision phase, where the adjudicator decides the (...) dispute on the basis of the claims, arguments and evidence put forward in the argumentation phase. The model allows for explicit decisions on admissibility of evidence and burden of proof by the adjudicator in the argumentation phase. Adjudication is modelled as putting forward arguments, in particular undercutting and priority arguments, in the decision phase. The model reconciles logical aspects of burden of proof induced by the defeasible nature of arguments with dialogical aspects of burden of proof as something that can be allocated by explicit decisions on legal grounds. (shrink)

This paper erects a framework for analyzing some idealized models as (what I call) inferentially veridical representations. It adopts a version of the semantic view of theories that focuses on properties, and mobilizes conceptual resources associated with properties and the way that properties are related in various ways. The outcome is an elaboration of some aspects of the analysis of Jones (2005).

Financial theory is in trouble. Market crashes and high volatility are only too familiar to everyone, although the standard theories predict that they hardly ever occur. According to the well-known and (partly due to its simplicity) still widely used random-walk model, the probabilities for price changes of, say, stocks should result in a Gaussian distribution. However, experience tells us that large changes occur far more often than ‘allowed’ by a Gaussian distribution. New models are needed which lead to realistic (...) probability distributions. ‘Econophysicists’ are particularly active in this field by constructing microscopic models of financial markets on the basis of various ideas and tools from physics. But in which sense do these models contribute scientific explanations? In this paper I will investigate what and how one exemplary econophysics model explains. (shrink)

G. Francis and F. Hermens (2002) used computer simulations to claim that many current models of metacontrast masking can account for the findings of V. Di Lollo, J. T. Enns, and R. A. Rensink (2000). They also claimed that notions of reentrant processing are not necessary because all of V. Di Lollo et al. 's data can be explained by feed-forward models. The authors show that G. Francis and F. Hermens's claims are vitiated by inappropriate modeling of (...) attention and by ignoring important aspects of V. Di Lollo et al. 's results. (shrink)

Observed biological growth curves generally are sigmoid in appearance. It is common practice to fit such data with either a Verhulst logistic or a Gompertz curve. This paper critically considers the conceptual bases underlying these descriptive models.The logistic model was developed by Verhulst to accommodate the common sense observation that populations cannot keep growing indefinitely. A justification for using the same equation to describe the growth of individuals, based on considerations from chemical kinetics (autocatalysis of a monomolecular reaction), was (...) put forward by Richardson, but met with heavy criticism as a result of his erroneous derivation of the basic equation (Snell, 1929). It errs on the side of over-simplicity (Priestley & Pearsall, 1922). Von Bertalanffy (1957) subsequently based a justification on the assumption that, as a first approximation, the rates of catabolism and anabolism may be assumed to be proportional to weight and power (still vacant places, between the maximal possible and the already accumulated population sizes. This point of view was fiercely challenged by Nicholson (1933), Milne (1962), Smith (1954) and Rubinov (1973). And indeed, what is meant by vacant places has never become entirely clear. Finally Lotka (1925) devised a third leading approach by just truncating a Taylor expansion around zero of the differential law for autonomous growth after the second degree term. (shrink)

European society, with its steadily increasing welfare levels, is not only concerned with food (safety, prices), but also with other aspects such as biodiversity loss, landscape degradation, and pollution of water, soil, and atmosphere. To a great extent these concerns can be translated into a larger concept named sustainable development, which can be defined as a normative concept by). Sustainability in the food chain means creating a new sustainable agro-food system while taking the institutional element into account. While different concepts (...) of sustainability abound, in recent years, spontaneous groups of consumers called solidarity purchase groups (SPG) have been developing. In short, they are characterized by an economy that is not necessarily local, but ethical and equitable, where social and economic territorial relations tend to develop districts and networks. One of the main characteristics of a SPG is the direct relationships between small farms and their customers; a relationship that is characterized by consumer participation and farmer specialization. This study aims to address issues related to organizational frameworks, at farm and chain level, and to assess those elements that lead to consumer choice and satisfaction. (shrink)

We provide eductive foundations for the concept of forward induction, in the class of games with an outside option. The formulation presented tries to capture in a static notion the rest point of an introspective process, achievable from some restricted preliminary beliefs. The former requisite is met by requiring the rest point to be a Nash equilibrium that yields a higher payoff than the outside option. With respect to the beliefs, we propose the Incentive Dominance Criterion. Players should consider (...) one action more likely than another whenever the former is better than getting the outside option for more conjectures over his rival's actions. We apply this model to the case where the subgame is a coordination game with a conflict between payoff dominance and risk dominance. Our results provide support for dominance solvability, but not for Van Damme's notion of forward induction. We show how the forward induction logic helps to select the Pareto dominant equilibrium. This is the case whenever player 1's act of giving up the outside option reverses the incentive dominance relations among 1's pure actions in the subgame. (shrink)

The reply by Cook and comment by Chao demonstrate Kuhn's thesis that different scientists place different values on different components of their common discipline. This fact is demonstrated by first succinctly summarizing Cook's and my original points within the framework of a simple choice model. I then respond to Cook and Chao. I close by offering some suggestions on how the Textbook/LSE debate could be moved forward.

Despite a promising introduction, Domjan et al.'s target article fails to capitalize on the concept of information intrinsic to control theory. The authors limit their application of feed-forward models to simple nondynamic cases. Their applications to social behavior are stimulus-occasioned responses. Agents might as well be dogfood! The notion of “conditioning” is generalized without warrant to explain virtually any acquired predictive capability.

A classification of models of reduction into three categories — theory reductionism, explanatory reductionism, and constitutive reductionism — is presented. It is shown that this classification helps clarify the relations between various explications of reduction that have been offered in the past, especially if a distinction is maintained between the various epistemological and ontological issues that arise. A relatively new model of explanatory reduction, one that emphasizes that reduction is the explanation of a whole in terms of its parts (...) is also presented in detail. Finally, the classification is used to clarify the debate over reductionism in molecular biology. It is argued there that while no model from the category of theory reduction might be applicable in that case, models of explanatory reduction might yet capture the structure of the relevant explanations. (shrink)

Scientific research is almost always conducted by communities of scientists of varying size and complexity. Such communities are effective, in part, because they divide their cognitive labor: not every scientist works on the same project. Philip Kitcher and Michael Strevens have pioneered efforts to understand this division of cognitive labor by proposing models of how scientists make decisions about which project to work on. For such models to be useful, they must be simple enough for us to understand (...) their dynamics, but faithful enough to reality that we can use them to analyze real scientific communities. To satisfy the first requirement, we must employ idealizations to simplify the model. The second requirement demands that these idealizations not be so extreme that we lose the ability to describe real-world phenomena. This paper investigates the status of the assumptions that Kitcher and Strevens make in their models, by first inquiring whether they are reasonable representations of reality, and then by checking the models’ robustness against weakenings of these assumptions. To do this, we first argue against the reality of the assumptions, and then develop a series of agent-based simulations to systematically test their effects on model outcomes. We find that the models are not robust against weakenings of these idealizations. In fact we find that under certain conditions, this can lead to the model predicting outcomes that are qualitatively opposite of the original model outcomes. (shrink)

Van Gelder (1995) has recently spearheaded a movement to challenge the dominance of connectionist and classicist models in cognitive science. The dynamical conception of cognition is van Gelder's replacement for the computation bound paradigms provided by connectionism and classicism. He relies on the Watt governor to fulfill the role of a dynamicist Turing machine and claims that the Motivational Oscillatory Theory (MOT) provides a sound empirical basis for dynamicism. In other words, the Watt governor is to be the theoretical (...) exemplar of the class of systems necessary for cognition and MOT is an empirical instantiation of that class. However, I shall argue that neither the Watt governor nor MOT successfully fulfill these prescribed roles. This failure, along with van Gelder's peculiar use of the concept of computation and his struggle with representationalism, prevent him from providing a convincing alternative to current cognitive theories. (shrink)

Much of the philosophical interest of cognitive science stems from its potential relevance to the mind/body problem. The mind/body problem concerns whether both mental and physical phenomena exist, and if so, whether they are distinct. In this chapter I want to portray the classical and connectionist frameworks in cognitive science as potential sources of evidence for or against a particular strategy for solving the mind/body problem. It is not my aim to offer a full assessment of these two frameworks in (...) this capacity. Instead, in this thesis I will deal with three philosophical issues which are (at best) preliminaries to such an assessment: issues about the syntax, the semantics, and the processing of the mental representations countenanced by classical and connectionist models. I will characterize these three issues in more detail at the end of the chapter. (shrink)

Theories concerning the structure, or format, of mental representation should (1) be formulated in mechanistic, rather than metaphorical terms; (2) do justice to several philosophical intuitions about mental representation; and (3) explain the human capacity to predict the consequences of worldly alterations (i.e., to think before we act). The hypothesis that thinking involves the application of syntax-sensitive inference rules to syntactically structured mental representations has been said to satisfy all three conditions. An alternative hypothesis is that thinking requires the construction (...) and manipulation of the cognitive equivalent of scale models. A reading of this hypothesis is provided that satisfies condition (1) and which, even though it may not fully satisfy condition (2), turns out (in light of the frame problem) to be the only known way to satisfy condition (3). (shrink)

There is widespread belief that connectionist networks are dramatically different from classical or symbolic models. However, connectionists rarely test this belief by interpreting the internal structure of their nets. A new approach to interpreting networks was recently introduced by Berkeley et al. (1995). The current paper examines two implications of applying this method: (1) that the internal structure of a connectionist network can have a very classical appearance, and (2) that this interpretation can provide a cognitive theory that cannot (...) be dismissed as a mere implementation. (shrink)

Most previous works on responsible conduct of research have focused on good practices in laboratory experiments. Because computation now rivals experimentation as a mode of scientific research, we sought to identify the responsibilities of researchers who develop or use computational modeling and simulation. We interviewed nineteen experts to collect examples of ethical issues from their experiences in conducting research with computational models. We gathered their recommendations for guidelines for computational research. Informed by these interviews, we describe the respective professional (...) responsibilities of developers and users of computational models in research. In particular, we examine whether developers should disclose the full computational codes, and we explain how developers and users should minimize harms from improper uses of models. (shrink)

As brightly shown by Mainzer [24], the science of complexity has many distinct origins in many disciplines. Those various origins has led to “an interdisciplinary methodology to explain the emergence of certain macroscopic phenomena via the nonlinear interactions of microscopic elements” (ibid.). This paper suggests that the parallel and strong expansion of modeling and simulation - especially after the Second World War and the subsequent development of computers - is a rationale which also can be counted as an explanation of (...) this emergence. With the benefit of hindsight, one can find three periods in the methodologies of modeling in the empirical sciences: 1st the simple modeling of the simple, 2nd the simple modeling of the complex, 3rd the complex modeling and simulation of the complex. Our main thesis is that the current spreading (since the 90’s) of complex computer simulations of systems of models (where a simulation is no more a step by step calculus of a unique logico-mathematical model) is another promising dimension of the science of complexity. Following this claim, we propose to distinguish three different types of computer simulations in the context of complex systems’ modeling. Finally, we show that these types of simulations lead to three different types of weak emergence, too. (shrink)

A more and more important role is played by new directions in historical research that study long-term dynamic processes and quantitative changes. This kind of history can hardly develop without the application of mathematical methods. The history is studied more and more as a system of various processes, within which one can detect waves and cycles of different lengths – from a few years to several centuries, or even millennia. This issue is the third collective monograph in the series of (...) History & Mathematics almanacs and it is subtitled Processes and Models of Global Dynamics. The contributions to the almanac present a qualitative and quantitative analysis of global historical, political, economic and demographic processes, as well as their mathematical models. This issue of the almanac consists of two main sections: (I) Analyses of the World Systems and Global Processes, and (II) Models of Economic and Demographic Processes. We hope that this issue of the almanac will be interesting and useful both for historians and mathematicians, as well as for all those dealing with various social and natural sciences. (shrink)

Summary. The viability of the proposal that human cognition involves the utilization of nonsentential models is seriously undercut by the fact that no one has yet given a satisfactory account of how neurophysiological circuitry might realize representations of the right sort. Such an account is offered up here, the general idea behind which is that high-level models can be realized by lower—level computations and, in turn, by neural machinations. It is shown that this account can be usefully applied (...) to deal with problems in fields ranging from artificial intelligence to the philosophy of science. (shrink)

There has recently been an increase in interest in the role of models in science, of which the Pavia workshop on model-based reasoning is a manifestation. One result of this increased attention has been a proliferation of views on what models are and how they are used in science. In this presentation I will develop a unified interpretation of the nature and role of models in science. Central to this interpretation is an understanding of the relationships between (...) models and other elements of an understanding of science, particularly theories, data, and analogy. My conclusion will be that models play a much larger role in science than even the most ardent enthusiasts for models have typically claimed. Modeling, on my view, is not at all ancillary to doing science, but central to constructing scientific accounts of the natural world. (shrink)

Not all models are explanatory. Some models are data summaries. Some models sketch explanations but leave crucial details unspecified or hidden behind filler terms. Some models are used to conjecture a how-possibly explanation without regard to whether it is a how-actually explanation. I use the Hodgkin and Huxley model of the action potential to illustrate these ways that models can be useful without explaining. I then use the subsequent development of the explanation of the action (...) potential to show what is required of an adequate mechanistic model. Mechanistic models are explanatory. (shrink)

Scientific models represent aspects of the empirical world. I explore to what extent this representational relationship, given the specific properties of models, can be analysed in terms of propositions to which truth or falsity can be attributed. For example, models frequently entail false propositions despite the fact that they are intended to say something "truthful" about phenomena. I argue that the representational relationship is constituted by model users "agreeing" on the function of a model, on the fit (...) with data and on the aspects of a phenomenon that are modelled. Model users weigh the propositions entailed by a model and from this decide which of these propositions are crucial to the acceptance and continued use of the model. Thus, models represent phenomena when certain propositions they entail are true, but this alone does not exhaust the representational relationship. Therefore, the constraints that produce the choice of the relevant propositions in a model must also be examined and their analysis contributes to understanding the relationship between models and phenomena. (shrink)

Most recent philosophical thought about the scientific representation of the world has focused on dyadic relationships between language-like entities and the world, particularly the semantic relationships of reference and truth. Drawing inspiration from diverse sources, I argue that we should focus on the pragmatic activity of representing, so that the basic representational relationship has the form: Scientists use models to represent aspects of the world for specific purposes. Leaving aside the terms "law" and "theory," I distinguish principles, specific conditions, (...) models, hypotheses, and generalizations. I argue that scientists use designated similarities between models and aspects of the world to form both hypotheses and generalizations. (shrink)

I argue for an intentional conception of representation in science that requires bringing scientific agents and their intentions into the picture. So the formula is: Agents (1) intend; (2) to use model, M; (3) to represent a part of the world, W; (4) for some purpose, P. This conception legitimates using similarity as the basic relationship between models and the world. Moreover, since just about anything can be used to represent anything else, there can be no unified ontology of (...) models. This whole approach is further supported by a brief exposition of some recent work in cognitive, or usage-based, linguistics. Finally, with all the above as background, I criticize the recently much discussed idea that claims involving scientific models are really fictions. (shrink)

Contemporary literature in philosophy of science has begun to emphasize the practice of modeling, which differs in important respects from other forms of representation and analysis central to standard philosophical accounts. This literature has stressed the constructed nature of models, their autonomy, and the utility of their high degrees of idealization. What this new literature about modeling lacks, however, is a comprehensive account of the models that figure in to the practice of modeling. This paper offers a new (...) account of both concrete and mathematical models, with special emphasis on the intentions of theorists, which are necessary for evaluating the model-world relationship during the practice of modeling. Although mathematical models form the basis of most of contemporary modeling, my discussion begins with more traditional, concrete models such as the San Francisco Bay model. (shrink)

Models occupy a central role in the scientific endeavour. Among the many purposes they serve, representation is of great importance. Many models are representations of something else; they stand for, depict, or imitate a selected part of the external world (often referred to as target system, parent system, original, or prototype). Well-known examples include the model of the solar system, the billiard ball model of a gas, the Bohr model of the atom, the Gaussian-chain model of a polymer, (...) the MIT bag model of quark confinement, the Lorenz model of the atmosphere, the Lotka-Volterra model of the predator-prey interaction, or the hydraulic model of an economy, to mention just a few. All these models represent their target systems (or selected parts of them) in one way or another. (shrink)

My charge in this chapter is to set out the positive case supporting massively modular models of the human mind.1 Unfortunately, there is no generally accepted understanding of what a massively modular model of the mind is. So at least some of our discussion will have to be terminological. I shall begin by laying out the range of things that can be meant by ‘modularity’. I shall then adopt a pair of strategies. One will be to distinguish some things (...) that ‘modularity’ definitely can’t mean, if the thesis of massive modularity is to be even remotely plausible. The other will be to look at some of the arguments that have been offered in support of massive modularity, discussing what notion of ‘module’ they might warrant. It will turn out that there is, indeed, a strong case in support of massively modular models of the mind on one reasonably natural understanding of ‘module’. But what really matters in the end, of course, is the substantive question of what sorts of structure are adequate to account for the organization and operations of the human mind, not whether or not the components appealed to in that account get described as ‘modules’. So the more interesting question before us is what the arguments that have been offered in support of massive modularity can succeed in showing us about those structures, whatever they get called. (shrink)

In “The Toolbox of Science” (1995) together with Towfic Shomar we advocated a form of instrumentalism about scientific theories. We separately developed this view further in a number of subsequent works. Steven French, James Ladyman, Otavio Bueno and Newton Da Costa (FLBD) have since written at least eight papers and a book criticising our work. Here we defend ourselves. First we explain what we mean in denying that models derive from theory – and why their failure to do so (...) should be lamented. Second we defend our use of the London model of superconductivity as an example. Third we point out both advantages and weaknesses of FLBD’s techniques in comparison to traditional Anglophone versions of the semantic conception. Fourth we show that FLBD’s version of the semantic conception has not been applied to our case study. We conclude by raising doubts about FLBD’s overall project. (shrink)

Thirty years after the conference that gave rise to The Structure of Scientific Theories, there is renewed interest in the nature of theories and models. However, certain crucial issues from thirty years ago are reprised in current discussions; specifically: whether the diversity of models in the science can be captured by some unitary account; and whether the temporal dimension of scientific practice can be represented by such an account. After reviewing recent developments we suggest that these issues can (...) be accommodated within the partial structures formulation of the semantic or model-theoretic approach. (shrink)

Classroom cases and decision making models used in the teaching of business ethics may be inconsistent with the actual needs of practicing manager students. Three summary cases written by practicing manager students are included in this paper as well as evidence that concerns a focus more on interpersonal dilemmas rather than top management decisions. As well, the relevancy of philosophical perspectives of ethical decision models is questioned. More practical, hands-on models for ethical decisions are provided. Finally, conclusions (...) of relevancy for the field are drawn. (shrink)

I argue against the conception of scientific models advocated by the proponents of the Semantic View of scientific theories. Part of the paper is devoted to clarifying the important features of the scientific modeling view that the Semantic conception entails. The liquid drop model of nuclear structure is analyzed in conjunction with the particular auxiliary hypothesis that is the guiding force behind its construction and it is argued that it does not meet the necessary features to render it a (...) model of the theory, as the Semantic View demands. Given that this model is indicative of how quantum mechanics is applied in the domain of nuclear physics, I claim that the Semantic View does not adequately account for scientific models. (shrink)