I conceptualise the role of dualities in quantum gravity, in terms of their functions for theory construction. I distinguish between two functions of duality in physical practice: namely, discovering and describing ‘equivalent physics’, versus suggesting ‘new physics’. I dub these the ‘theoretical’ versus the ‘heuristic’ functions of dualities. The distinction seems to have gone largely unnoticed in the philosophical literature: and it exists both for dualities, and for the more general relation of theoretical equivalence. The paper develops the (...) class='Hi'>heuristic function of dualities: illustrating how they can be used, if one has any luck, to find and formulate new theories. I also point to the different physical commitments about the theories in question that underlie these two functions. I show how a recently developed schema for dualities articulates the differences between the two functions. (shrink)

I conceptualise the role of dualities in quantum gravity, in terms of their functions for theory construction. I distinguish between two functions of duality in physical practice: namely, discovering and describing ‘equivalent physics’, versus suggesting ‘new physics’. I dub these the ‘theoretical’ versus the ‘heuristic’ functions of dualities. The distinction seems to have gone largely unnoticed in the philosophical literature: and it exists both for dualities, and for the more general relation of theoretical equivalence. The paper develops the (...) class='Hi'>heuristic function of dualities: illustrating how they can be used, if one has any luck, to find and formulate new theories. I also point to the different physical commitments about the theories in question that underlie these two functions. I show how a recently developed schema for dualities articulates the differences between the two functions. (shrink)

I conceptualise the role of dualities in quantum gravity, in terms of their functions for theory construction. I distinguish between two functions of duality in physical practice: namely, discovering and describing ‘equivalent physics’, versus suggesting ‘new physics’. I dub these the ‘theoretical’ versus the ‘heuristic’ functions of dualities. The distinction seems to have gone largely unnoticed in the philosophical literature: and it exists both for dualities, and for the more general relation of theoretical equivalence. The paper develops the (...) class='Hi'>heuristic function of dualities: illustrating how they can be used, if one has any luck, to find and formulate new theories. I also point to the different physical commitments about the theories in question that underlie these two functions. I show how a recently developed schema for dualities articulates the differences between the two functions. (shrink)

This paper considers the role of mathematics in the process of acquiring new knowledge in physics and astronomy. The defining of the notions of continuum and discreteness in mathematics and the natural sciences is examined. The basic forms of representing the heuristic function of mathematics at theoretical and empirical levels of knowledge are studied: deducing consequences from the axiomatic system of theory, the method of generating mathematical hypotheses, “pure” proofs for the existence of objects and processes, mathematical modelling, (...) the formation of mathematics on the basis of internal mathematical principles and the mathematical theory of experiment. (shrink)

This lecture will deal with the heuristic power of the deductive method and its contributions to the scientific task of finding new knowledge. I will argue for a new reading of the term 'deductive method.' It will be presented as an architectural scheme for the reconstruction of the processes of gaining reliable scientific knowledge. This scheme combines the activities of doing science with the activities of presenting scientific results. It combines the heuristic and the deductive side of science. (...) The heuristic side is represented, e.g., by the creative methods to find the 'best' hypotheses, to design experimental systems for empirical research in order to formulate general laws, or to create axiomatic systems. The other side consists of the production of deductive knowledge. This combination leads to a clear hierarchy: the heuristic side provides the basic presuppositions from which the deductive side takes off. The former is used to make deductions possible. The deductive method can be presented as an analysis-synthesis scheme as it can be found, e.g., in the tradition of Kant, Jakob Friedrich Fries, and Leonard Nelson. Nelson's critical philosophy can be seen as a key for understanding the philosophy behind David Hilbert's early axiomatic method. This axiomatic method is usually restricted to a non-philosophical approach to pure mathematics. But Hilbert was not an exclusive formalist; he proposed a mathesis universalis in the Cartesian-Leibnizian sense according to which mathematics is the syntactical tool for a general philosophy of science, applicable to all scientific disciplines. In this function, mathematics takes its problems from the sciences. Hilbert did not deny that mathematics should play a role in explaining the world. The analysis-synthesis scheme helps to provide a consistent interpretation of these two sides of Hilbert's attitude towards his working field. (shrink)

With the aid of the Cahiers de laboratoire, the Correspondance and, of course, the Oeuvre de Pasteur, this work reconstructs the extraordinary scientific undertakings of the great French scientist in his study of silkworm diseases. The focus of this study consists in the attempt to explain the initial perplexing behaviour of Pasteur, even in the presence of correct interpretations regarding the causes of these diseases (cfr. the results obtained by Béchamp); for a good three years he insisted on maintaining that (...) the aetiology of silkworm diseases could not be attributed to pathogenetic germs from outside. And this was in spite of the fact that previously (through fermentation and spontaneous generation) he had been able to demonstrate the importance of micro-organisms in biological processes. Finally it is intended to highlight the extraordinary methodological depth of that initial 'error', which was capable of paving the way for the future conquests of Pasteur in the field of aetiology and the prevention of infectious diseases. (shrink)

We consider a special case of heuristics, namely numeric heuristic evaluation functions, and their use in artificial intelligence search algorithms. The problems they are applied to fall into three general classes: single-agent path-finding problems, two-player games, and constraint-satisfaction problems. In a single-agent path-finding problem, such as the Fifteen Puzzle or the travelling salesman problem, a single agent searches for a shortest path from an initial state to a goal state. Two-player games, such as chess and checkers, involve an adversarial (...) relationship between two players, each trying to win the game. In a constraint-satisfaction, problem, such as the 8-Queens problem, the task is to find a state that satisfies a set of constraints. All of these problems are computationally intensive, and heuristic evaluation functions are used to reduce the amount of computation required to solve them. In each case we explain the nature of the evaluation functions used, how they are used in search algorithms, and how they can be automatically learned or acquired. (shrink)

An influential suggestion about the relationship between Bayesianism and inference to the best explanation holds that IBE functions as a heuristic to approximate Bayesian reasoning. While this view promises to unify Bayesianism and IBE in a very attractive manner, important elements of the view have not yet been spelled out in detail. I present and argue for a heuristic conception of IBE on which IBE serves primarily to locate the most probable available explanatory hypothesis to serve as a (...) working hypothesis in an agent’s further investigations. Along the way, I criticize what I consider to be an overly ambitious conception of the heuristic role of IBE, according to which IBE serves as a guide to absolute probability values. My own conception, by contrast, requires only that IBE can function as a guide to the comparative probability values of available hypotheses. This is shown to be a much more realistic role for IBE given the nature and limitations of the explanatory considerations with which IBE operates. (shrink)

The functioning of a subject in a changing environment is most effective from the point of view of survival if the subject can form, maintain and use internal representations of the external world for decision-making. These representations are also called reflection in a broad sense. Using it, one can win in reflexive games since an internal representation of the enemy allows predicting their future moves. The goal is to assess the reflexive potential of heuristic model objects – artificial neural (...) networks – in the reflexive games “Even-Odd” (or “Matching pennies”) and “Rock-Paper-Scissors”. We used homogeneous fully connected neural networks of small sizes (from 8 to 45 neurons). Games were played between neural networks with different configurations and parameters (size, step size for modifying weight coefficients). A set of reflexivity criteria is presented, corresponding to different levels of consideration: neuronal, behavioral, formal. The transitivity of formal success in the game is shown. The most successful configurations, however, may not meet other criteria of reflexivity. We hypothesize that the best compliance with the criteria and, as a consequence, universal success in reflection tasks is achievable for heterogeneous configurations with a structure in which the formation of hierarchical systems of attractors is possible. (shrink)

In this article, we explore the heuristic power of the theoretical distinction between framework and interaction theories applied to the case of General Relativity. According to the distinction, theories and theoretical elements can be classified into two different groups, each with clear ontological, epistemic and functional content. Being so, to identify the group to which a theory belongs would suffice to know a priori its prospects and limitations in these areas without going into a detailed technical analysis. We make (...) the exercise here with General Relativity, anticipate its ontological, epistemic and functional content and show afterwords that such expectations are justified in this case, being consistent with formal issues of General Relativity. With this, we attempt to make a case for the use of the distinction as a powerful tool for scientific and philosophical analysis. (shrink)

I argue that an ecologically distributed conception of instrumental rationality can and should be extended to a socially distributed conception of instrumental rationality in social environments. The argument proceeds by showing that the assumption of exogenously fixed units of activity cannot be justified; different units of activity are possible and some are better means to independently given ends than others, in various circumstances. An important social heuristic, the mirror heuristic, enables the flexible formation of units of activity in (...) game theoretic situations, including collective units where these are instrumentally effective. In effect, the mirror heuristic makes the formation of units of activity endogenous to instrumental rationality. Moreover, the mirror heuristic is a conditional metaheuristic, which depends on mind reading of the heuristics of other players rather than on predictions of their behavior. Such mind reading can be regarded as emerging from an arms race between behavioral mimicry and ever smarter behavior reading. Even though unilateral mind reading may have benefits, the mirror metaheuristic illustrates that mutual mind reading has distinctive functions in responding to the challenges of social complexity. If simple heuristics can make us smart in the right environments, then social heuristics can make us smarter still. (shrink)

The functioning of a subject in a changing environment is most effective from the point of view of survival if the subject can form, maintain and use internal representations of the external world for decision-making. These representations are also called reflection in a broad sense. Using it, one can win in reflexive games since an internal representation of the enemy allows predicting their future moves. The goal is to assess the reflexive potential of heuristic model objects – artificial neural (...) networks – in the reflexive games “Even-Odd” (or “Matching pennies”) and “Rock-Paper-Scissors”. We used homogeneous fully connected neural networks of small sizes (from 8 to 45 neurons). Games were played between neural networks with different configurations and parameters (size, step size for modifying weight coefficients). A set of reflexivity criteria is presented, corresponding to different levels of consideration: neuronal, behavioral, formal. The transitivity of formal success in the game is shown. The most successful configurations, however, may not meet other criteria of reflexivity. We hypothesize that the best compliance with the criteria and, as a consequence, universal success in reflection tasks is achievable for heterogeneous configurations with a structure in which the formation of hierarchical systems of attractors is possible. (shrink)

In this paper, we explore the literature on cognitive heuristics and biases in light of virtue epistemology, specifically highlighting the two major positions—agent-reliabilism and agent-responsibilism —as they apply to dual systems theories of cognition and the role of motivation in biases. We investigate under which conditions heuristics and biases might be characterized as vicious and conclude that a certain kind of intellectual arrogance can be attributed to an inappropriate reliance on Type 1, or the improper function of Type 2, (...) cognitive processes. By the same token, the proper intervention of Type 2 processes results in the virtuous functioning of our cognitive systems. Moreover, the role of motivation in attenuating cognitive biases and the cultivation of certain epistemic habits points to the tenets of agent-responsibilism.. (shrink)

Which rules should guide our reasoning? Human reasoners often use reasoning shortcuts, called heuristics, which function well in some contexts but lack the universality of reasoning rules like deductive implication or inference to the best explanation. Does it follow that human reasoning is hopelessly irrational? I argue: no. Heuristic reasoning often represents human reasoners reaching a local rational maximum, reasoning more accurately than if they try to implement more “ideal” rules of reasoning. I argue this is a genuine (...) rational achievement. Our ideal rational advisors would advise us to reason with heuristic rules, not more complicated ideal rules. I argue we do not need a radical new account of epistemic norms to make sense of the success of heuristic reasoning. (shrink)

Seventy-three children between 6 and 7 years of age were presented with a problem having ambiguous subgoal ordering. Performance in this task showed reliable fingerprints: a non-monotonic dependence of performance as a function of the distance between the beginning and the end-states of the problem, very high levels of performance when the first move was correct, and states in which accuracy of the first move was significantly below chance. These features are consistent with a non-Markov planning agent, with an (...) inherently inertial decision process, and that uses heuristics and partial problem knowledge to plan its actions. We applied a statistical framework to fit and test the quality of a proposed planning model. Our framework allows us to parse out independent contributions to problem-solving based on the construction of the value function and on general mechanisms of the search process in the tree of solutions. We show that the latter are correlated with children's performance on an independent measure of planning, while the former is highly domain specific. (shrink)

Some theorists, ranging from W. James to contemporary psychologists, have argued that forgetting is the key to proper functioning of memory. The authors elaborate on the notion of beneficial forgetting by proposing that loss of information aids inference heuristics that exploit mnemonic information. To this end, the authors bring together 2 research programs that take an ecological approach to studying cognition. Specifically, they implement fast and frugal heuristics within the ACT-R cognitive architecture. Simulations of the recognition heuristic, which relies (...) on systematic failures of recognition to infer which of 2 objects scores higher on a criterion value, demonstrate that forgetting can boost accuracy by increasing the chances that only 1 object is recognized. Simulations of the fluency heuristic, which arrives at the same inference on the basis of the speed with which objects are recognized, indicate that forgetting aids the discrimination between the objects' recognition speeds. (shrink)

Suppose that disgust can provide evidence of moral wrongdoing. What account of disgust might make sense of this? A recent and promising theory is the social contagion view, proposed by Alexandra Plakias. After criticizing both its descriptive and normative claims, I draw two conclusions. First, we should question the wisdom of drawing so straight a line from biological poisons and pathogens to social counterparts. Second, we don’t need to explain the evidential value of disgust by appealing to what the response (...) tracks. These lessons point toward an alternative: namely, that disgust is a moral heuristic. On the heuristic view, disgust is a trigger for the subconscious use of a particular rule: I show how this view fits with a plausible hypothesis about the social function of disgust, and then apply it to Leon Kass’s famous use of repugnance to criticize cloning. (shrink)

Insects have small brains and heuristics or ‘rules of thumb’ are proposed here to be a good model for how insects optimize the objects they make and use. Generally, heuristics are thought to increase the speed of decision making by reducing the computational resources needed for making decisions. By corollary, heuristic decisions are also deemed to impose a compromise in decision accuracy. Using examples from object optimization behaviour in insects, we will argue that heuristics do not inevitably imply a (...) lower computational burden or lower decision accuracy. We also show that heuristic optimization may be driven by certain features of the optimization problem itself: the properties of the object being optimized, the biology of the insect, and the properties of the function being optimized. We also delineate the structural conditions under which heuristic optimization may achieve accuracy equivalent to or better than more fine-grained and onerous optimization methods. (shrink)

Gigerenzer et al.'s is an extremely important book. The ecological validity of the key heuristics is strengthened by their relation to ubiquitous Poisson processes. The recognition heuristic is also used in conspecific cueing processes in ecology. Three additional classes of problem-solving heuristics are proposed for further study: families based on near-decomposability analysis, exaptive construction of functional structures, and robustness.

Gerd Gigerenzer and Thomas Sturm have recently proposed a modest form of what they describe as a normative, ecological and limited naturalism. The basic move in their argument is to infer that certain heuristics we tend to use should be used in the right ecological setting. To address this argument, we first consider the case of a concrete heuristic called Take the Best (TTB). There are at least two variants of the heuristic which we study by making explicit (...) the choice functions they induce, extending these variants of TTB beyond binary choice. We argue that the naturalistic argument can be applied to only one of the two variants of the heuristic; we also argue that the argument for the extension requires paying attention to other “rational” virtues of heuristics aside from efficacy, speed, and frugality. This notwithstanding, we show that there is a way of extending the right variant of TTB to obtain a very well behaved heuristic that could be used to offer a stronger case for the naturalistic argument (in the sense that if this heuristic is used, it is also a heuristic that we should use). The second part of the article considers attempts to extending the naturalistic argument from algorithms dealing with inference to heuristics dealing with choice. Our focus is the so-called Priority Heuristic, which we extend from risk to uncertainty. In this setting, the naturalist argument seems more difficult to formulate, if it remains feasible at all. Normativity seems in this case extrinsic to the heuristic, whose main virtue seems to be its ability to describe actual patterns of choice. But it seems that a new version of the naturalistic argument used with partial success in the case of inference is unavailable to solve the normative problem of whether we should exhibit the patterns of choice that we actually display. (shrink)

This paper provides an explication and defense of a view that many philosophers and biologists have accepted though few have understood, the idea that functional language can play an important role in biological discovery. I defend four theses in support of this view: (1) functional statements can serve as background assumptions that produce research problems; (2) functional questions can be important parts of research problems; (3) functional concepts can provide a framework for developing general theories; (4) functional statements can serve (...) as heuristics for generating hypotheses. I develop and defend these four claims by describing a taxonomy of functional discourse, providing an account of scientific discovery, and by applying this framework to some cases of successful research in biology. (shrink)

Many psychological scientists and behavioral neuroscientists affirm that “emotion” influences thinking, decision-making, actions, social relationships, well-being, and physical and mental health. Yet there is no consensus on a definition of the word “emotion,” and the present data suggest that it cannot be defined as a unitary concept. Theorists and researchers attribute quite different yet heuristic meanings to “emotion.” They show considerable agreement about emotion activation, functions, and regulation. The central goal of this article is to alert researchers, students, and (...) other consumers of “emotion” research to the multiple meanings or aspects that distinguished scientists attribute to ”emotion,” increase appreciation of its interesting and challenging complexity, and sharpen perspectives on “emotion” and the associated body of literature that is of critical significance to science and society. (shrink)

Balance and common sense are commonplace concepts used to bring an audience to a place of shared understanding. These commonplaces also function as decision-making heuristics. I argue in this paper that the commonplaces ?balance? and ?common sense? are problematic because they suggest decision-making strategies that strip associated information of complexity and value. Through an examination of theory and responses to interviews conducted in relation to an ongoing project on environmental rhetoric, I problematize these concepts and consider how awareness of (...) the interaction of these commonplaces and heuristics can benefit rhetors and agencies seeking environmental change. (shrink)

Advancement in cognitive science depends, in part, on doing some occasional ‘theoretical housekeeping’. We highlight some conceptual confusions lurking in an important attempt at explaining the human capacity for rational or coherent thought: Thagard & Verbeurgt’s computational-level model of humans’ capacity for making reasonable and truth-conducive abductive inferences (1998; Thagard, 2000). Thagard & Verbeurgt’s model assumes that humans make such inferences by computing a coherence function (f_coh), which takes as input representation networks and their pair-wise constraints and gives as (...) output a partition into accepted (A) and rejected (R) elements that maximizes the weight of satisfied constraints. We argue that their proposal gives rise to at least three difficult problems. (shrink)

There is an under-appreciated tradition of genealogical explanation that is centrally concerned with social functions. I shall refer to it as the tradition of pragmatic genealogy. It runs from David Hume (T, 3.2.2) and the early Friedrich Nietzsche (TL) through E. J. Craig (1990, 1993) to Bernard Williams (2002) and Miranda Fricker (2007). These pragmatic genealogists start out with a description of an avowedly fictional “state of nature” and end up ascribing social functions to particular building blocks of our practices (...) – such as the fact that we use a certain concept, or live by a certain virtue – which we did not necessarily expect to have such a function at all. That the seemingly archaic device of a fictional state-of-nature story should be a helpful way to get at the functions of our actual practices must seem a mystifying proposal, however; I shall therefore endeavor to demystify it in what follows. My aim in this chapter is twofold. First, by delineating the framework of pragmatic genealogy and contrasting it with superficially similar methods, I argue that pragmatic genealogies are best interpreted as dynamic models whose point is to reveal the function – and non-coincidentally often the social function – of certain practices. Second, by buttressing this framework with something it notably lacks, namely an account of the type of functionality it operates with, I argue that both the type of functional commitment and the depth of factual obligation incurred by a pragmatic genealogy depend on what we use the method for: the dynamic models of pragmatic genealogy can be used merely as heuristic devices helping us spot functional patterns, or more ambitiously as arguments grounding our ascriptions of functionality to actual practices, or even more ambitiously as bases for functional explanations of the resilience or the persistence of practices. By bringing these distinctions into view, we gain the ability to distinguish strengths and weaknesses of the method’s application from strengths and weaknesses of the method itself. (shrink)

This paper evaluates Kuipers' account of functional explanation in biology in view of an example of such an explanation taken from real biology. The example is the explanation of why electric fishes swim backwards (Lannoo and Lannoo 1993). Kuipers' account depicts the answer to a request for functional explanation as consisting only of statements that articulate a certain kind of consequence. It is argued that such an account fails to do justice to the main insight provided by the example explanation, (...) namely the insight into why backwards swimming is needed by fishes that locate their food by means of an electric radar. The paper sketches an improved account that does justice to this kind of insight. It is argued that this account is consistent with and complementary to Kuipers' insight that function attributions are established by means of a process of hypothetico-deductive reasoning guided by a heuristic principle. (shrink)

Functional explanations apply not only in cases of normal functioning, but also in the case of malfunctioning. According to a straightforward analysis, a bearer of the function to F is malfunctioning if and only if it does not F although it should do so. This makes malfunctions and malfunctionings analogous to negative causation and thus peculiarly problematic, because they seem to involve absent dispositions and absent processes. This analysis seems also to require that the function to F cannot (...) be identical with the disposition to F. Then we seem to be trapped in a dilemma: Either the realm of functions is separated from the realm of dispositions; then it seems that functions cannot be causally efficacious. Alternatively, functions are considered to be identical with dispositions; but then malfunctioning seems to be conceptually impossible. The paper defends and further develops the thesis of Röhl and Jansen that functions are not a special type of dispositions. For this purpose, it first reviews different varieties of malfunction and malfunctioning and suggests definitions of both malfunction and malfunctioning. It reviews how causal, etiological and intentional theories of functions can deal with these problems. In particular, the paper discusses the special-disposition account of the Basic Formal Ontology. Spear, Ceusters and Smith :103--128, 2016) have defended the special-disposition account of the Basic Formal Ontology by suggesting various strategies how a special-disposition account can deal with malfunctions. On the one side, the paper evaluates these strategies and indicates several problems arising from them. On the other hand, it describes how to account for the non-optionality and the causal efficacy of functions, if functions are not dispositions. While function types are not identical to disposition types, there are important interrelations between functions and dispositions, namely heuristically, from a design perspective for artefact functions, and from an evolutionary perspective for types of biological functions. (shrink)

In this essay I defend functional explanations in sociobiology against the charge that they are exercises in speculative story-telling. I distinguish proximate and ultimate biological functions, and discuss their role in functional explanations. I characterize functional explanations as a kind of "consequence explanation", and argue that sociobiologists need to justify a "functional fact" in addition to a "consequence law". Two methods used to supply evidence for functional hypotheses, the technique of optimality analyses and the comparative method, are discussed and illustrated (...) with examples. I argue that adequate evidence for hypothesis about the function of a trait can be provided by the method of comparison, but not by optimality analyses. The comparative method contains an inductive phase that provides independent warrant for, and so serves to establish the high probability of, functional hypotheses. Independent warrant cannot be provided by optimality analyses alone: the model-building approach itself mandates the sacrifice of the truth of a hypothesis to its predictive power. I conclude that while the sociobiologist may wish to employ the optimality analysis as a heuristic strategy, reliable functional explanations are better sought through the use of the comparative method. (shrink)

Many cognitive scientists, having discovered that some computational-level characterization f of a cognitive capacity φ is intractable, invoke heuristics as algorithmic-level explanations of how cognizers compute f. We argue that such explanations are actually dysfunctional, and rebut five possible objections. We then propose computational-level theory revision as a principled and workable alternative.

In this paper we describe AGATHA, a program designed to automate the process of theory construction in case based domains. Given a seed case and a number of precedent cases, the program uses a set of argument moves to generate a search space for a dialogue between the parties to the dispute. Each move is associated with a set of theory constructors, and thus each point in the space can be associated with a theory intended to explain the seed case (...) and the other cases in the domain. The space is large and so an heuristic search method is needed. This paper describes two methods based on A* and alpha/beta pruning and also a series of experiments designed to explore the appropriateness of different evaluation functions, the most useful precedents to use as seed cases and the quality of the resulting theories. (shrink)

The purpose of this paper is two-fold. First, it aims at developing a preliminary typology of subconscious, tacit mechanisms that underlie the conscious exercise of practical skills as well as the formation and functioning of conscious mental representations such as perceptual experiences, mental images, explicitly held beliefs and explanatory hypotheses. Second, it employs the typology to consider whether these tacit mechanisms can be examined and explicated by what Ryszard Wójcicki calls heuristic theorizing or heuristic reasoning , i.e., by (...) a cognitive procedure whose job is to study one\'s tacit or personal knowledge. (shrink)

Current philosophical theorizing about technical functions is mainly focused on specifying conditions under which agents are justified in ascribing functions to technical artifacts. Yet, assessing the precise explanatory relevance of such function ascriptions is, by and large, a neglected topic in the philosophy of technical artifacts and technical functions. We assess the explanatory utility of ascriptions of technical functions in the following three explanation-seeking contexts: why was artifact x produced?, why does artifact x not have the expected capacity to (...) ϕ?, how does artifact x realize its capacity to ϕ? We argue that while function ascriptions serve a mere heuristic role in the first context, they have substantial explanatory leverage in the second and third context. In addition, we assess the relevance of function ascriptions in the context of engineering redesign. Here, function ascriptions also play a relevant role: they enable normative statements of the sort that component b functions better than component a. We unpack these claims by considering philosophical theories of technical functions, in particular the ICE theory, and engineering work on function ascription and explanation. We close the paper by relating our analysis to current debates on the explanatory power of mechanistic vis-à-vis functional explanations. (shrink)

Exploring emotions, in terms of their evolutionary origin; their basic neurobiological substratum, and their functional significance in autonomous agents, we propose a model of minimal functionality of emotions. Our aim is to provide a naturalized explanation – mostly based on an interactivist model of emergent representation and appraisal theory of emotions – concerning basic aesthetic emotions in the formation of aesthetic judgment. We suggest two processes the Cognitive Variables Subsystem (CVS) which is fundamental for the accomplishment of the function (...) of heuristic learning; and Aesthetic Appraisal Subsystem (AAS) which primarily affects the elicitation of aesthetic emotional meanings. These two subsystems (CVS and AAS) are organizationally connected and affect the action readiness of the autonomous agent. More specifically, we consider the emotional outcome of these two subsystems as a functional indication that strengthens or weakens the anticipation for the resolution of the dynamic uncertainty that emerges in the particular interaction. (shrink)

We formulate the problem of permuting a matrix to block angular form as the combinatorial minimization of an objective function. We motivate the use of simulated annealing (SA) as an optimization tool. We then introduce a heuristic temperature dependent penalty function in the simulated annealing cost function, to be used instead of the real objective function being minimized. Finally we show that this temperature dependent penalty function version of simulated annealing consistently outperforms the standard (...) simulated annealing approach, producing, with smaller running times, better solutions. We believe that the use of a temperature dependent penalty function may be useful in developing SA algorithms for other combinatorial problems. -/- . (shrink)

Simple heuristics exploit basic human abilities, such as recognition memory, to make decisions based on sparse information. Based on the relative speed of recognizing two objects, the fluency heuristic infers that the one recognized more quickly has the higher value with respect to the criterion of interest. Behavioral data show that reliance on retrieval fluency enables quick inferences. Our goal with the present functional magnetic resonance imaging study was to isolate fluency-heuristic-based judgments to map the use of fluency (...) onto specific brain areas that might give a better understanding of the heuristic’s underlying processes. Activation within the claustrum for fluency heuristic decisions was found. Given that claustrum activation is thought to reflect the integration of perceptual and memory elements into a conscious gestalt, we suggest this activation correlates with the experience of fluency. (shrink)

The BankXX system models the process of perusing and gathering information for argument as a heuristic best-first search for relevant cases, theories, and other domain-specific information. As BankXX searches its heterogeneous and highly interconnected network of domain knowledge, information is incrementally analyzed and amalgamated into a dozen desirable ingredients for argument (called argument pieces), such as citations to cases, applications of legal theories, and references to prototypical factual scenarios. At the conclusion of the search, BankXX outputs the set of (...) argument pieces filled with harvested material relevant to the input problem situation.This research explores the appropriateness of the search paradigm as a framework for harvesting and mining information needed to make legal arguments. In this article, we describe how legal research fits the heuristic search framework and detail how this model is used in BankXX. We describe the BankXX program with emphasis on its representation of legal knowledge and legal argument. We describe the heuristic search mechanism and evaluation functions that drive the program. We give an extended example of the processing of BankXX on the facts of an actual legal case in BankXX's application domain — the good faith question of Chapter 13 personal bankruptcy law. We discuss closely related research on legal knowledge representation and retrieval and the use of search for case retrieval or tasks related to argument creation. Finally we review what we believe are the contributions of this research to the understanding of the diverse disciplines it addresses. (shrink)

The epoch-making revolution that has been taking place in mathematics and physics during the past hundred years is gradually changing our whole conception of reality and of the function of science in regard to it. We have discovered that the “common sense” view of the world which has become ingrained in the feeling-thought habits of Western man, especially since the seventeenth century, contains elements of serious limitation and even an illusion both from the standpoint of immediately intuited experience and (...) from that of demonstrated scientific fact. Moreover, by a long drawn out tortuous process, lasting over many centuries and involving the constant creation and correction of an enormously complicated scientific structure, we have finally arrived at an understanding of what may be the root of our difficulty. It seems that certain peculiarities of the over-all grammatical structure of those languages that have conditioned the feeling-thought world of the West have tended to lead us astray. Their correction, however, has so far been possible only through the invention of new esoteric languages, such as the symbolism of mathematics and the new logic. By means of these “languages of science” modern mathematicians and physicists have at last succeeded in freeing themselves from the shackles of their everyday speech and “common sense” concepts, at least so far as their scientific work is concerned. (shrink)

Definition is viewed in this paper as a cohesive element of theory, providing links between scientific constructs. The problem is approached first in terms of three orders--the historical, the logical, and the heuristic--in which the structure of science may be put together; a study of these is necessary if difficulties about priority of definition are to be resolved. The main part of the paper is devoted to an exercise in theory-construction which illustrates the five principal functions of definition--the grounding (...) of constructs in observation, their descriptive interrelation, the development of logico-mathematical calculi, the interpretation of these calculi, and the provision of precise, quasi-mathematical relations between the constructs themselves. Reference is made throughout to the many names for the defining process found in earlier works, and problems of contextual definition, reduction, stipulative and lexical definition, etc., are dealt with briefly. The theory thus constructed is represented diagrammatically. It is shown that the analysis may be simplified, in general terms, by the use of two new categories, "internal" and "external" definition; and that this innovation may prove helpful in clarifying some traditional obscurities, and in preserving a necessary balance between a purely logical and a purely empirical approach to the philosophy of science. (shrink)

This dissertation is devoted to dual-process theories, widely discussed in the recent literature in cognitive science. The author argues for a significantly modified version of the account suggested by Samuels (2009), replacing the distinction between ‘Systems’ with a distinction between ‘Types of processes,’ which allows a critique of both the (only) modularist accounts and the accounts describing a deep difference between two systems each having their specificities (functional, phenomenological and neurological). In the account of dual-process theories developed here, the distinction (...) between ‘Types of processes’ is considered, a priori, only as a heuristic distinction allowing to better understand the mind and to explain some of its properties. The main idea defended in this dissertation is that cognitive processes should be distinguished by their position in a multidimensional conceptual space allowing researchers to consider all of the characteristics and peculiarities attributed to a process, which is preferable to accounts forcing the process into either ‘System’ or either ‘Type’ identified in the most influential approaches (cf. Evans, 2008). Once this research program is in place, it will become possible to revise the concepts used and the categories defined to ground anew some of the notions we find in the literature (‘module,’ ‘System 1 / 2,’ etc.). The argument is made in three steps: -/- 1) The first chapter aims at a clarification of the notion of ‘module’ commonly used in cognitive science. Against the accounts aiming at a weakening of the notion in order to classify all of the mind’s processes as modular, the author – following most notably Faucher and Poirier (2009) and Samuels (2006) – casts doubt on how this notion is used by many influential authors, particularly in evolutionary psychology (e.g. Barrett, Carruthers, Cosmides, Tooby). -/- 2) The objective of the second chapter is to present, examine and criticize many dual-process theories and to suggest that no theory currently discussed is adequate to describe the architecture of mind. The accounts, especially influent or representative, suggested by Stanovich (1999; 2004; 2009), by Evans (2008; 2009), by Lieberman (2007; 2009) and by Carruthers (2006; 2009), are examined. -/- 3) In the third chapter, the author criticizes the framework developed by Samuels (2009) before developing his own account of dual-process theories and discussing some of its advantages. (shrink)

Adaptationism has for decades been the topic of sophisticated debates in philosophy of biology but methodological adaptationism has not received as much attention as the empirical and explanatory issues. In addition, adaptationism has mainly been discussed in the context of evolutionary biology and not in fields such as zoophysiology and systems biology where this heuristic is also used in design analyses of physiological traits and molecular structures. This paper draws on case studies from these fields to discuss the productive (...) and problematic aspects of this heuristic in different research practices, in functional as well as evolutionary studies on different levels of biological organization. Gould and Lewontin’s Spandrels-paper famously criticized adaptationist methodology for implying the risk of generating ‘blind spots’ with respect to non-selective effects on evolution. Some have claimed that this bias can be accommodated through the testing of evolutionary hypotheses. Although this is an important aspect of overcoming naïve adaptationism, I argue that the issue of methodological biases is broader than the question of testability. I demonstrate the productivity of adaptationist heuristics but also discuss the deeper problematic aspects associated with the methodological imperialism that is part of the strong adaptationist position. (shrink)

Modern optimisation is increasingly relying on meta-heuristic methods. This study presents a new meta-heuristic optimisation algorithm called Eurasian oystercatcher optimiser (EOO). The EOO algorithm mimics food behaviour of Eurasian oystercatcher (EO) in searching for mussels. In EOO, each bird (solution) in the population acts as a search agent. The EO changes the candidate mussel according to the best solutions to finally eat the best mussel (optimal result). A balance must be achieved among the size, calories, and energy of (...) mussels. The proposed algorithm is benchmarked on 58 test functions of three phases (unimodal, multimodal, and fixed-diminution multimodal) and compared with several important algorithms as follows: particle swarm optimiser, grey wolf optimiser, biogeography based optimisation, gravitational search algorithm, and artificial bee colony. Finally, the results of the test functions prove that the proposed algorithm is able to provide very competitive results in terms of improved exploration and exploitation balances and local optima avoidance. (shrink)

We discuss the role of linguistic metaphors as a cognitive frame for the understanding of genetic information processing. The essential similarity between language and genetic information processing has been recognized since the very beginning, and many prominent scholars have noted the possibility of considering genes and genomes as texts or languages. Most of the core terms in molecular biology are based on linguistic metaphors. The processing of genetic information is understood as some operations on text – writing, reading and editing (...) and their specification (encoding/decoding, proofreading, transcription, translation, reading frame). The concept of gene reading can be traced from the archaic idea of the equation of Life and Nature with the Book. Thus, the genetics itself can be metaphorically represented as some operations on text (deciphering, understanding, codebreaking, transcribing, editing, etc.), which are performed by scientists. At the same time linguistic metaphors portrayed gene entities also as having the ability of reading. In the case of such “bio-reading” some essential features similar to the processes of human reading can be revealed: this is an ability to identify the biochemical sequences based on their function in an abstract system and distinguish between type and its contextual tokens of the same type. Metaphors seem to be an effective instrument for representation, as they make possible a two-dimensional description: biochemical by its experimental empirical results and textual based on the cognitive models of comprehension. In addition to their heuristic value, linguistic metaphors are based on the essential characteristics of genetic information derived from its dual nature: biochemical by its substance, textual (or quasi-textual) by its formal organization. It can be concluded that linguistic metaphors denoting biochemical objects and processes seem to be a method of description and explanation of these heterogeneous properties. (shrink)

We discuss the role of linguistic metaphors as a cognitive frame for the understanding of genetic information processing. The essential similarity between language and genetic information processing has been recognized since the very beginning, and many prominent scholars have noted the possibility of considering genes and genomes as texts or languages. Most of the core terms in molecular biology are based on linguistic metaphors. The processing of genetic information is understood as some operations on text – writing, reading and editing (...) and their specification (encoding/decoding, proofreading, transcription, translation, reading frame). The concept of gene reading can be traced from the archaic idea of the equation of Life and Nature with the Book. Thus, the genetics itself can be metaphorically represented as some operations on text (deciphering, understanding, codebreaking, transcribing, editing, etc.), which are performed by scientists. At the same time linguistic metaphors portrayed gene entities also as having the ability of reading. In the case of such “bio-reading” some essential features similar to the processes of human reading can be revealed: this is an ability to identify the biochemical sequences based on their function in an abstract system and distinguish between type and its contextual tokens of the same type. Metaphors seem to be an effective instrument for representation, as they make possible a two-dimensional description: biochemical by its experimental empirical results and textual according to the cognitive models of comprehension. In addition to their heuristic value, linguistic metaphors are based on the essential characteristics of genetic information derived from its dual nature: biochemical by its substance, textual (or quasitextual) by its formal organization. It can be concluded that linguistic metaphors denoting biochemical objects and processes seem to be a method of description and explanation of these heterogeneous properties. (shrink)