This work demonstrates the implementation and use of an encoder-decoder model to perform a many-to-many mapping of video data to text captions. The many-to-many mapping occurs via an input temporal sequence of video frames to an output sequence of words to form a caption sentence. Data preprocessing, model construction, and model training are discussed. Caption correctness is evaluated using 2-gram BLEU scores across the different splits of the dataset. Specific examples of output captions were shown to demonstrate model generality (...) over the video temporal dimension. Predicted captions were shown to generalize over video action, even in instances where the video scene changed dramatically. Model architecture changes are discussed to improve sentence grammar and correctness. (shrink)

This work demonstrates the implementation and use of an encoder-decoder model to perform a many-to-many mapping of video data to text captions. The many-to-many mapping occurs via an input temporal sequence of video frames to an output sequence of words to form a caption sentence. Data preprocessing, model construction, and model training are discussed. Caption correctness is evaluated using 2-gram BLEU scores across the different splits of the dataset. Specific examples of output captions were shown to demonstrate model generality (...) over the video temporal dimension. Predicted captions were shown to generalize over video action, even in instances where the video scene changed dramatically. Model architecture changes are discussed to improve sentence grammar and correctness. (shrink)

This work demonstrates the implementation and use of an encoder-decoder model to perform a many-to-many mapping of video data to text captions. The many-to-many mapping occurs via an input temporal sequence of video frames to an output sequence of words to form a caption sentence. Data preprocessing, model construction, and model training are discussed. Caption correctness is evaluated using 2-gram BLEU scores across the different splits of the dataset. Specific examples of output captions were shown to demonstrate model generality (...) over the video temporal dimension. Predicted captions were shown to generalize over video action, even in instances where the video scene changed dramatically. Model architecture changes are discussed to improve sentence grammar and correctness. (shrink)

This work demonstrates the implementation and use of an encoder-decoder model to perform a many-to-many mapping of video data to text captions. The many-to-many mapping occurs via an input temporal sequence of video frames to an output sequence of words to form a caption sentence. Data preprocessing, model construction, and model training are discussed. Caption correctness is evaluated using 2-gram BLEU scores across the different splits of the dataset. Specific examples of output captions were shown to demonstrate model generality (...) over the video temporal dimension. Predicted captions were shown to generalize over video action, even in instances where the video scene changed dramatically. Model architecture changes are discussed to improve sentence grammar and correctness. (shrink)

Biomolecules and particularly proteins and DNA exhibit some mysterious features that cannot find satisfactory explanation by quantum mechanical modes of atoms. One of them, known as a Levinthal’s paradox, is the ability to preserve their complex three-dimensional structure in appropriate environments. Another one is that they possess some unknown energy mechanism. The Basic Structures of Matter Supergravitation Unified Theory (BSM-SG) allows uncovering the real physical structures of the elementary particles and their spatial arrangement in atomic nuclei. The resulting physical (...) class='Hi'>models of the atoms are characterized by the same interaction energies as the quantum mechanical models, while the structure of the elementary particles influence their spatial arrangement in the nuclei. The resulting atomic models with fully identifiable parameters and angular positions of the quantum orbits permit studying the physical conditions behind the structural and bonding restrictions of the atoms connected in molecules. A new method for a theoretical analysis of biomolecules is proposed. The analysis of a DNA molecule leads to formulation of hypotheses about the energy storage mechanism in DNA and its role in the cell cycle synchronization. This permits shedding a light on the DNA feature known as a C-value paradox. The analysis of a tRNA molecule leads to formulation of a hypothesis about a binary decoding mechanism behind the 20 flavors of the complex aminoacyle-tRNA synthetases - tRNA, known as a paradox. (shrink)

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements of (...) truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

Despite its centrality in the philosophy of cognitive science, there has been little prior philosophical work engaging with the notion of representation in contemporary NLP practice. This paper attempts to fill that lacuna: drawing on ideas from cognitive science, I introduce a framework for evaluating the representational claims made about components of neural NLP models, proposing three criteria with which to evaluate whether a component of a model represents a property and operationalising these criteria using probing classifiers, a popular (...) analysis technique in NLP (and deep learning more broadly). The project of operationalising a philosophically-informed notion of representation should be of interest to both philosophers of science and NLP practitioners. It affords philosophers a novel testing-ground for claims about the nature of representation, and helps NLPers organise the large literature on probing experiments, suggesting novel avenues for empirical research. (shrink)

Igal Kvart A Coding Conception in Action-Directed-Pragmatics -/- I present formal Pragmatics for a domain in Pragmatics that I call Action-Directed Pragmatics, which focuses on the Pragmatic riddle of how implicit contents are conveyed and understood, by adopting a coding model, in which the speaker and addressee simulate each other iteratively in a deliberative context (an ‘action-pregnant’ one). The implicit content, conveyed by a speaker and decoded by her addressee, in such cases, consists in the specified steered-to action, plus modulations (...) on the action-polarity (pro or con) and the degree of the so-called Steering Thrust that accompanies such assertions and is conveyed by verbal locutions, intonation, and/or bodily and facial gestures. There are two main tasks to model (in a given setup and conversational context): First, how is the speaker, with a steered-to action in mind (and Steering Thrust), to select an assertion so as to (say) optimize the successful transmission and decoding of its implicit pragmatic content by her and her addressee? Second, how does the addressee, given an assertion by the speaker, decipher the implicit pragmatic content conveyed via it? Both will invoke pertinent information they have about each other and the setup/context in order to best encode and best decode the implicit pragmatic content. (This coding mechanism proposed here is not offered for the ubiquitous ‘frozen’, ‘trivial’ or ‘routinized’ pragmatic messages.) A prelude to this formal Pragmatics is a general formal Pragmatic account of Assertibility in contexts that are multi-normative (which is the common case). I focus here only on Epistemic/Semantic and Instrumental Norms. A linear representation of degrees of Overall Assertibility (i.e., taking into account various operative norms) will be an n-dimensional qualitative vector space with a function that computes them given different degrees of sub-normative Assertibility on each axis. (shrink)

The paper introduces measurement of fixation-speech intervals as an important tool for the study of the reading process. Using the theory of the organism-environment system, we developed experiments to investigate the time course of reading. By combining eye tracking with synchronous recording of speech during reading in a single measure, we issue a fundamental challenge to information processing models. Not only is FSI an authentic measure of the reading process, but it shows that we exploit verbal patterns, textual features (...) and, less directly, reading experience. Reading, we conclude, is not a matter of decoding linguistic information. Far from being a text-driven process, it depends on integrating both sensory and motor processes in an anticipatory meaning generation based on the history of experience and cultural context of the reader. Finally, we conclude with remarks on the social character and cognitive history of reading. (shrink)

Baudrillard was deeply influenced by this new ‘science’ of Semiology, which sought to study the system of language and the ‘life of signs within society’. In semiotics, a sign can be interpreted subjectively, the meaning being something beyond or other than itself. This sign is therefore able to communicate information to the person reading or decoding the sign. Baudrillard builds on the Saussurian dyadic, two-part model of the sign, where the sign is seen as being composed of a signifier (signifiant)- (...) the form that the sign takes, and the signified (signifié)- the concept it represents. Baudrillard’s work on the political economy of the sign attempts to marry semiological and neo-Marxist perspectives, providing an important insight into the power of production and the behavior of consumers. (shrink)

Baudrillard was deeply influenced by this new ‘science’ of Semiology, which sought to study the system of language and the ‘life of signs within society’. In semiotics, a sign can be interpreted subjectively, the meaning being something beyond or other than itself. This sign is therefore able to communicate information to the person reading or decoding the sign. Baudrillard builds on the Saussurian dyadic, two-part model of the sign, where the sign is seen as being composed of a signifier (signifiant)- (...) the form that the sign takes, and the signified (signifié)- the concept it represents. Baudrillard’s work on the political economy of the sign attempts to marry semiological and neo-Marxist perspectives, providing an important insight into the power of production and the behavior of consumers. (shrink)

Purpose – For half a century, neuroscientists have used Shannon Information Theory to calculate “information transmitted,” a hypothetical measure of how well neurons “discriminate” amongst stimuli. Neuroscientists’ computations, however, fail to meet even the technical requirements for credibility. Ultimately, the reasons must be conceptual. That conclusion is confirmed here, with crucial implications for neuroscience. The paper aims to discuss these issues. Design/methodology/approach – Shannon Information Theory depends upon a physical model, Shannon’s “general communication system.” Neuroscientists’ interpretation of that model is (...) scrutinized here. Findings – In Shannon’s system, a recipient receives a message composed of symbols. The symbols received, the symbols sent, and their hypothetical occurrence probabilities altogether allow calculation of “information transmitted.” Significantly, Shannon’s system’s “reception” (decoding) side physically mirrors its “transmission” (encoding) side. However, neurons lack the “reception” side; neuroscientists nonetheless insisted that decoding must happen. They turned to Homunculus, an internal humanoid who infers stimuli from neuronal firing. However, Homunculus must contain a Homunculus, and so on ad infinitum – unless it is super-human. But any need for Homunculi, as in “theories of consciousness,” is obviated if consciousness proves to be “emergent.” Research limitations/implications – Neuroscientists’ “information transmitted” indicates, at best, how well neuroscientists themselves can use neuronal firing to discriminate amongst the stimuli given to the research animal. Originality/value – A long-overdue examination unmasks a hidden element in neuroscientists’ use of Shannon Information Theory, namely, Homunculus. Almost 50 years’ worth of computations are recognized as irrelevant, mandating fresh approaches to understanding “discriminability.”. (shrink)

In this paper I outline a comprehensive theory of legal interpretation based on an assumption that legal text, understood as the aggregate of texts of all legal acts in force at a particular time and place, describes one rational and coherent possible world. The picture of this possible world is decoded from the text by interpreters and serves as a holistic model to which the real world is adjusted when the law is applied. From the above premise I will limit (...) myself to drawing two conclusions for how legal interpretation should be carried out. First, I argue that the possible world described by the legal text has to be ‘accessible’ from the real world, i.e. it has to be feasible to transform the actual world into the described one. Were it otherwise, the possible world could not serve as a model for adjustment. The accessibility requirement imposes obligations on the interpreters to secure the rationality of the possible world decoded from the text, amongst other to secure that the description of this world is not contradictory and – as a consequence – the law of excluded middle is obeyed in the possible world described by the legal text. Secondly, I argue for the inevitability of interpretative discretion arising from the requirement to decode a sufficiently ‘saturated’ picture of the possible world., i.e. possessing enough properties to resemble the actual world. As texts have a limited number of sentences and worlds have an unlimited number of properties, interpreters have to supplement the picture of a possible world to achieve its coherence. This involves the inclusion of some additional, non-predetermined features that integrate with the properties of the world predefined by the legal text. This process of saturation consists of filling in so-called ‘places of indeterminacy’ (Roman Ingarden) with content implicated by other features of the possible world. I also argue that the discretion resulting from the necessity of filling in the places of indeterminacy is justified by the requirement of fulfilling the intention of the lawmaker to make the possible world described by the legal text real. The theory presented here is based on contemporary theories of discourse representation and so-called ‘text-world theory’ by J. Gavins. Phenomenalism and causal (historical) theories of reference provide its philosophical background. (shrink)

In various documents the view emerges that contemporary biotechnosciences are currently experiencing a scientific revolution: a massive increase of pace, scale and scope. A significant part of the research endeavours involved in this scientific upheaval is devoted to understanding and, if possible, ameliorating humankind: from our genomes up to our bodies and brains. New developments in contemporary technosciences, such as synthetic biology and other genomics and “post-genomics” fields, tend to blur the distinctions between prevention, therapy and enhancement. An important dimension (...) of this development is “biomimesis”: i.e. the tendency of novel technologies and materials to mimic or plagiarize nature on a molecular and microscopic level in order to optimise prospects for the embedding of technological artefacts in natural systems such as human bodies and brains. In this paper, these developments are read and assessed from a psychoanalytical perspective. Three key concepts from psychoanalysis are used to come to terms with what is happening in research laboratories today. After assessing the general profile of the current revolution in this manner, I will focus on a particular case study, a line of research that may serve as exemplification of the vicissitudes of contemporary technosciences, namely viral biomaterials. Viral life forms can be genetically modified (their genomes can be rewritten) in such a manner that they may be inserted in human bodies in order to produce substances at specific sites such as hormones (testosterone), neurotransmitters (dopamine), enzymes (insulin) or bone and muscle tissue. Notably, certain target groups such as top athletes, soldiers or patients suffering from degenerative diseases may become the pioneers serving as research subjects for novel applications. The same technologies can be used for various purposes ranging from therapy up to prevention and enhancement. (shrink)

DECODING THE MENO The truth the dialectic Meno attempts to search for is human excellence or virtue. Part of this process is defining exactly what each concept really means. In truth, however, Plato has given the reader the answer – the greatest human virtue or excellence is imagination. The answer is subtly weaved into the dialogue itself. Plato has subliminally communicated the pattern of excellence.

The study of Vedas has been an ongoing endeavor for centuries with various interpretations made to understand their essence. A commentary by Sri Aurobindo on Rigveda discussed in his book "The Secret of the Veda" is considered to provide a deeper understanding of the teachings of the Vedas in a contemporary context, as it removes difficulties posed by the ancient form of Sanskrit and interpretations done over different times and contexts. This recomprehension of the Vedas aims to change the perception (...) of the Vedas from being a collection of nonsensical hymns to a more insightful and profound collection of teachings, drawing upon the works of modern scholars of Sanskrit. In this text, we aim to encapsulate the interpretation of Sri Aurobindo in a chapter form so that it becomes accessible to the general audience. (shrink)

This paper constitutes a radical departure from the existing 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 diverse, too context-sensitive, and serve too many scientific purposes and roles, as to allow for a general philosophical analysis. From this recognition an alternative view emerges that I shall dub model anarchism.

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs (...) to be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

Batterman and Rice ([2014]) argue that minimal models possess explanatory power that cannot be captured by what they call ‘common features’ approaches to explanation. Minimal models are explanatory, according to Batterman and Rice, not in virtue of accurately representing relevant features, but in virtue of answering three questions that provide a ‘story about why large classes of features are irrelevant to the explanandum phenomenon’ ([2014], p. 356). In this article, I argue, first, that a method (the renormalization group) (...) they propose to answer the three questions cannot answer them, at least not by itself. Second, I argue that answers to the three questions are unnecessary to account for the explanatoriness of their minimal models. Finally, I argue that a common features account, what I call the ‘generalized ontic conception of explanation’, can capture the explanatoriness of minimal models. (shrink)

Detailed examinations of scientific practice have revealed that the use of idealized models in the sciences is pervasive. These models play a central role in not only the investigation and prediction of phenomena, but in their received scientific explanations as well. This has led philosophers of science to begin revising the traditional philosophical accounts of scientific explanation in order to make sense of this practice. These new model-based accounts of scientific explanation, however, raise a number of key questions: (...) Can the fictions and falsehoods inherent in the modeling practice do real explanatory work? Do some highly abstract and mathematical models exhibit a noncausal form of scientific explanation? How can one distinguish an exploratory "how-possibly" model explanation from a genuine "how-actually" model explanation? Do modelers face tradeoffs such that a model that is optimized for yielding explanatory insight, for example, might fail to be the most predictively accurate, and vice versa? This chapter explores the various answers that have been given to these questions. (shrink)

This article offers a characterization of what I call multiple-models juxtaposition, a strategy for managing trade-offs among modeling desiderata. MMJ displays models of distinct phenomena to...

Cloud computing (ClC) has become a more popular computer paradigm in the preceding few years. Quality of Service (QoS) is becoming a crucial issue in service alteration because of the rapid growth in the number of cloud services. When evaluating cloud service functioning using several performance measures, the issue becomes more complex and non-trivial. It is therefore quite difficult and crucial for consumers to choose the best cloud service. The user's choices are provided in a quantifiable manner in the current (...) methods for choosing cloud services. Hence, this study attempts to achieve this objective through construction. decision-making framework so-called cloud services evaluator (CSsEv). The main indicator and its sub-indicators are formed as nodes at levels(n) in tree soft sets (TSSs). Thereafter Single Value Neutrosophic Sets (SVNSs) as branch of neutrosophic sets which conjunction with the Multi-Criteria Decision Making (MCDM) technique to facilitate analysis and evaluation process for the available Cloud services providers. Hence, entropy is employed to obtain indicators and sub_indicators weights and Complex Proportional Assessment utilizes these weights to facilitate the decision process of selecting optimal ClSPs. (shrink)

The geosciences include a wide spectrum of disciplines ranging from paleontology to climate science, and involve studies of a vast range of spatial and temporal scales, from the deep-time history of microbial life to the future of a system no less immense and complex than the entire Earth. Modeling is thus a central and indispensable tool across the geosciences. Here, we review both the history and current state of model-based inquiry in the geosciences. Research in these fields makes use of (...) a wide variety of models, such as conceptual, physical, and numerical models, and more specifically cellular automata, artificial neural networks, agent-based models, coupled models, and hierarchical models. We note the increasing demands to incorporate biological and social systems into geoscience modeling, challenging the traditional boundaries of these fields. Understanding and articulating the many different sources of scientific uncertainty – and finding tools and methods to address them – has been at the forefront of most research in geoscience modeling. We discuss not only structuralmodel uncertainties, parameter uncertainties, and solution uncertainties, but also the diverse sources of uncertainty arising from the complex nature of geoscience systems themselves. Without an examination of the geosciences, our philosophies of science and our understanding of the nature of model-based science are incomplete. (shrink)

Despite an enormous philosophical literature on models in science, surprisingly little has been written about data models and how they are constructed. In this paper, I examine the case of how paleodiversity data models are constructed from the fossil data. In particular, I show how paleontologists are using various model-based techniques to correct the data. Drawing on this research, I argue for the following related theses: first, the ‘purity’ of a data model is not a measure of (...) its epistemic reliability. Instead it is the fidelity of the data that matters. Second, the fidelity of a data model in capturing the signal of interest is a matter of degree. Third, the fidelity of a data model can be improved ‘vicariously’, such as through the use of post hoc model-based correction techniques. And, fourth, data models, like theoretical models, should be assessed as adequate for particular purposes. (shrink)

In this paper I investigate Putnam’s model-theoretic argument from a transcendent standpoint, in spite of Putnam’s well-known objections to such a standpoint. This transcendence, however, requires ascent to something more like a Tarskian meta-level than what Putnam regards as a “God’s eye view”. Still, it is methodologically quite powerful, leading to a significant increase in our investigative tools. The result is a shift from Putnam’s skeptical conclusion to a new understanding of realism, truth, correspondence, knowledge, and theories, or certain aspects (...) thereof, based on, among other things, a better understanding of what models are designed (and not designed) to do. (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)

Validity of physical laws for any aspect of brain activity and strict correlation of mental to physical states of the brain do not imply, with logical necessity, that a complete algorithmic theory of the mind-body relation is possible. A limit of decodability may be imposed by the finite number of possible analytical operations which is rooted in the finiteness of the world. It is considered as a fundamental intrinsic limitation of the scientific approach comparable to quantum indeterminacy and the theorems (...) of logical undecidability. An analysis of these limits, applied to dispositions of future behaviour, suggests that limits of decodability of the psycho-physic relation may actually exist with respect to brain states with self-referential aspects, as they are involved in mental processes. Limits for an algorithmic theory of the mind-body problem suggested by this study are formally similar to other intrinsic limits of the scientific method such as quantum indeterminacy and mathematical undecidability which are also related to self-referential operations. At the metatheoretical level, hard sciences, despite their reliability, universality and objectivity, depend on metatheoretical presuppositions which allow for multiple philosophical interpretations. -/- . (shrink)

There has recently been an explosion of formal models of signalling, which have been developed to learn about different aspects of meaning. This paper discusses whether that success can also be used to provide an original naturalistic theory of meaning in terms of information or some related notion. In particular, it argues that, although these models can teach us a lot about different aspects of content, at the moment they fail to support the idea that meaning just is (...) some kind of information. As an alternative, I suggest a more modest approach to the relationship between informational notions used in models and semantic properties in the natural world. (shrink)

This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must (...) target sets of models, their multiplicity of functions within science, and their scientific context and history and for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z. (shrink)

Summary Analogue models are actual physical setups used to model something else. They are especially useful when what we wish to investigate is difficult to observe or experiment upon due to size or distance in space or time: for example, if the thing we wish to investigate is too large, too far away, takes place on a time scale that is too long, does not yet exist or has ceased to exist. The range and variety of analogue models (...) is too extensive to attempt a survey. In this article, I describe and discuss several different analogue model experiments, the results of those model experiments, and the basis for constructing them and interpreting their results. Examples of analogue models for surface waves in lakes, for earthquakes and volcanoes in geophysics, and for black holes in general relativity, are described, with a focus on examining the bases for claims that these analogues are appropriate analogues of what they are used to investigate. A table showing three different kinds of bases for reasoning using analogue models is provided. Finally, it is shown how the examples in this article counter three common misconceptions about the use of analogue models in physics. (shrink)

This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate the resulting (...) theory and contrast it with similar alternatives, concluding that our model successfully captures deep indeterminacy. (shrink)

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.

Simulation models of the Reiterated Prisoner's Dilemma (in the following: RPD-models) are since 30 years considered as one of the standard tools to study the evolution of cooperation (Rangoni 2013; Hoffmann 2000). A considerable number of such simulation models has been produced by scientists. Unfortunately, though, none of these models has empirically been verified and there exists no example of empirical research where any of the RPD-models has successfully been employed to a particular instance of (...) cooperation. Surprisingly, this has not kept scientists from continuing to produce simulation models in the same tradition and from writing their own history as a history of success. In a recent simulation study -- which does not make use of the RPD but otherwise follows the same pattern of research -- Robert Axelrod's (1984) original role model for this kind of simulation studies is praised as ``an extremely effective means for investigating the evolution of cooperation'' and considered as ``widely credited with invigorating that field'' (Rendell et al. 2010). (shrink)

Should models of consciousness be detailed _mechanistic_ models of particular types of systems, or should they be _minimal_ models that abstract away from the underlying mechanistic details and provide generalisations? Detailed mechanistic models may afford a complete and precise account of consciousness in human beings and other, physiologically similar mammals. But they do not provide a good model of consciousness in other animals, such as non-vertebrates, let alone artificial systems. Minimal models can be applicable to (...) a wide range of different conscious systems. But do they provide genuine explanations that are autonomous from explanations by detailed mechanistic models? This paper provides a taxonomy of minimal models and measures of consciousness, clarifies their relation to detailed mechanistic models, and highlights benefits of different minimalist approaches to consciousness. (shrink)

Learning is fundamentally about action, enabling the successful navigation of a changing and uncertain environment. The experience of pain is central to this process, indicating the need for a change in action so as to mitigate potential threat to bodily integrity. This review considers the application of Bayesian models of learning in pain that inherently accommodate uncertainty and action, which, we shall propose are essential in understanding learning in both acute and persistent cases of pain.

This paper discusses critically what simulation models of the evolution of cooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” (1984) and the modeling tradition it has inspired. Hardly any of the many simulation models in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But this research design was (...) fundamentally flawed. At best such simulations can claim to prove logical possibilities, i.e. they prove that certain phenomena are possible as the consequence of the modeling assumptions built into the simulation, but not that they are possible or can be expected to occur in reality. I suggest several requirements under which proofs of logical possibilities can nevertheless be considered useful. Sadly, most Axelrod-style simulations do not meet these requirements. It would be better not to use this kind of simulations at all. (shrink)

We critically engage two traditional views of scientific data and outline a novel philosophical view that we call the pragmatic-representational view of data. On the PR view, data are representations that are the product of a process of inquiry, and they should be evaluated in terms of their adequacy or fitness for particular purposes. Some important implications of the PR view for data assessment, related to misrepresentation, context-sensitivity, and complementary use, are highlighted. The PR view provides insight into the common (...) but little-discussed practices of iteratively reusing and repurposing data, which result in many datasets’ having a phylogeny—an origin and complex evolutionary history—that is relevant to their evaluation and future use. We relate these insights to the open-data and data-rescue movements, and highlight several future avenues of research that build on the PR view of data. (shrink)

Simulation models of the Reiterated Prisoner's Dilemma have been popular for studying the evolution of cooperation since more than 30 years now. However, there have been practically no successful instances of empirical application of any of these models. At the same time this lack of empirical testing and confirmation has almost entirely been ignored by the modelers community. In this paper, I examine some of the typical narratives and standard arguments with which these models are justified by (...) their authors despite the lack of empirical validation. I find that most of the narratives and arguments are not at all compelling. None the less they seem to serve an important function in keeping the simulation business running despite its empirical shortcomings. (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)

Games of chance are developed in their physical consumer-ready form on the basis of mathematical models, which stand as the premises of their existence and represent their physical processes. There is a prevalence of statistical and probabilistic models in the interest of all parties involved in the study of gambling – researchers, game producers and operators, and players – while functional models are of interest more to math-inclined players than problem-gambling researchers. In this paper I present a (...) structural analysis of the knowledge attached to mathematical models of games of chance and the act of modeling, arguing that such knowledge holds potential in the prevention and cognitive treatment of excessive gambling, and I propose further research in this direction. (shrink)

Le modèle atomique de Bohr a été l'un des exemples les plus brillants de la méthodologie des programmes de recherche d'Imre Lakatos. Les grandes lignes du programme de recherche de Bohr (Bohr 1913) peuvent être caractérisées par : 1. Le problème initial ; 2. Ses heuristiques négatives et positives ; 3. Les problèmes qu'il a tenté de résoudre au cours du développement ; 4. Son point de dégénérescence (point de saturation) et, enfin, 5. Le programme par lequel il a été (...) remplacé. 10.13140/RG.2.2.21718.68166 . (shrink)

We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question of whether (...) there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation. (shrink)

We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear logic can easily represent bids in combinatorial auctions in which goods may be sold in multiple units, and we show how it naturally generalises several bidding languages familiar from the literature. Moreover, the winner determination problem, i.e., the problem of computing an allocation of goods to bidders producing a certain amount of revenue (...) for the auctioneer, can be modelled as the problem of finding a proof for a particular linear logic sequent. (shrink)

This paper discusses critically what simulation models of the evolution ofcooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” and the modeling tradition it has inspired. Hardly any of the many simulation models of the evolution of cooperation in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But this (...) research design was fundamentally flawed, because it is not possible to draw general empirical conclusions from theoretical simulations. At best such simulations can claim to prove logical possibilities, i.e. they prove that certain phenomena are possible as the consequence of the modeling assumptions built into the simulation, but not that they are possible or can be expected to occur in reality I suggest several requirements under which proofs of logical possibilities can nevertheless be considered useful. Sadly, most Axelrod-style simulations do not meet these requirements. I contrast this with Schelling’s neighborhood segregation model, thecore mechanism of which can be retraced empirically. (shrink)

his paper is an excerpt from a larger project that aims to open a new pathway into Spinoza's Ethics by formally reconstructing an initial fragment of this text. The semantic backbone of the project is a custom-made Spinozian model theory that lays out some of the formal prerequisites for more ne-grained investigations into Spinoza's fundamental ontology and modal metaphysics. We implement Spinoza's theory of attributes using many-sorted models with a rich system of identity that allows us to clarify the (...) puzzling status of such logical principles as the Substitution of Identicals and Transitivity of Identity in Spinoza's thought. The intensional structure of our Spinozian models also captures his proposal that states of a airs can be necessitated or excluded by the essences of particular things, an essence-relative modality that should be of interest to philosophers who have sought to rehabilitate the concept of essence in contemporary analytic metaphysics. (shrink)

I provide a theory of causation within the causal modeling framework. In contrast to most of its predecessors, this theory is model-invariant in the following sense: if the theory says that C caused (didn't cause) E in a causal model, M, then it will continue to say that C caused (didn't cause) E once we've removed an inessential variable from M. I suggest that, if this theory is true, then we should understand a cause as something which transmits deviant or (...) non-inertial behavior to its effect. (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)