There is a long history of cryptographic hash functions, i.e. functions mapping variable-length strings to fixed-length strings, and such functions are also expected to enjoy certain security properties. Hash functions can be effected via modular arithmetic, permutation-based schemes, chaotic mixing, and so on. Herein we introduce the notion of an artificial-life (ALife) hash function (ALHF), whereby the requisite mixing action of a good hash function is accomplished via ALife rules that give rise to complex (...) evolution of a given system. Various security tests have been run, and the results reported for examples of ALHFs. (shrink)

We show how to formalize approximate counting via hash functions in subsystems of bounded arithmetic, using variants of the weak pigeonhole principle. We discuss several applications, including a proof of the tournament principle, and an improvement on the known relationship of the collapse of the bounded arithmetic hierarchy to the collapse of the polynomial-time hierarchy.

Disjunctivism, as a theory of visual experience, claims that the mental states involved in a “good case” experience of veridical perception and a “bad case” experience of hallucination differ, even in those cases in which the two experiences are indistinguishable for their subject. Consider the veridical perception of a bar stool and an indistinguishable hallucination; both of these experiences might be classed together as experiences (as) of a bar stool or experiences of seeming to see a bar stool. This might (...) lead us to think that the experiences we undergo in the two cases must be of the same kind, the difference being that the former, but not the latter, is connected to the world in the right kind of way. Such a conjecture has been called a “highest common factor” or “common kind” assumption. At heart, disjunctivism consists in the rejection of this assumption. According the disjunctivist, veridical experiences and hallucinations do not share a common component. There are a host of interesting questions surrounding disjunctivism including: What is involved in the claims that good case and bad case experiences differ? Why might one might want to be a disjunctivist? What kinds of claims can the disjunctivist make about hallucination and illusion? These questions, and problems for the thesis, will be discussed as we proceed. (shrink)

In company with its sister volume, Arts-Based Research Across Textual Media in Education explores arts-based approaches to research across media, including film and comics-related material, from a variety of geographic locations and across a range of sub-disciplines within the field of education. This first volume takes a textual focus, capturing process, poetic, and dramaturgical approaches. The authors aim to highlight some of the approaches that are not always centered in arts-based research. The contributors represent a variety of arts-based practices and (...) methods, and they weave this marrying of artistic and scientific expertise and experience into the fabric of the chapters themselves. Authors from international contexts speak to the importance of utilizing artistic approaches for research processes. From multimodal field notes to poetic forms to the dramaturgical, chapters in this book represent steps forward in educational inquiry to bringing together both the creative and credible. The book includes multiple images and rich descriptions shared from the field. This first volume covers amongst other topics: co-created narratives; creative fiction in research; analytic portraits; dramatic representation, and critical poetic inquiry. It would be suitable for graduate students and scholars interested in qualitative inquiry and arts-based methods, in Education and the social sciences. (shrink)

Legal information certification and secured storage combined with documents electronic signature are of great interest when digital documents security and conservation are in concern. Therefore, these new and evolving technologies offer powerful abilities, such as identification, authentication and certification. The latter contribute to increase the global security of legal digital archives conservation and access. However, currently used cryptographic and hash coding concepts cannot intrinsically enclose cognitive information about both the signer and the signed content. Indeed, an evolution of these (...) technologies may be necessary to achieve full text researches within hundreds or thousands of electronically signed documents. This article aims at describing a possible model along with associated processes to create and make use of these new electronic signatures called “meaningful electronic signatures” as opposed to traditional electronic signatures based on bit per bit computation. (shrink)

This paper introduces and describes new protocols for proving knowledge of secrets without giving them away: if the verifier does not know the secret, he does not learn it. This can all be done while only using one-way hash functions. If also the use of encryption is allowed, these goals can be reached in a more efficient way. We extend and use the GNY authentication logic to prove correctness of these protocols.

The use of wireless sensor networks and the Internet of things to detect forest fire outbreaks may help to reduce the response time and avoid natural disasters. This work proposes the deployment of WSN to enhance the real-time monitoring of dynamic variables such as polluting gases, temperature or the presence of fire flames by infrared. In addition, the activation of forest fire alerts if environmental status may involve evidence of a recent fire outbreak. A fuzzy-based controller is implemented to manage (...) the uncertainty related to estimating forest fire occurrence and dynamic update of fuzzy sets is developed to distinguish usual and unusual environmental conditions of every monitored forest area. Merkle trees, AES and hash functions are considered to protect the integrity of environmental data. (shrink)

We consider exponentially large finite relational structures (with the universe {0.1}ⁿ) whose basic relations are computed by polynomial size (nO(1)) circuits. We study behaviour of such structures when pulled back by P/poly maps to a bigger or to a smaller universe. In particular, we prove that: 1. If there exists a P/poly map g: {0.1} → {0.1}m, n < m, iterable for a proof system then a tautology (independent of g) expressing that a particular size n set is dominating in (...) a size 2ⁿ tournament is hard for the proof system. 2. The search problem WPHP, decoding RSA or finding a collision in a hashing function can be reduced to finding a size m homogeneous subgraph in a size 22m graph. Further we reduce the proof complexity of a concrete tautology (expressing a Ramsey property of a graph) in strong systems to the complexity of implicit proofs of implicit formulas in weak proof systems. (shrink)

Parallel attribute reduction is one of the most important topics in current research on rough set theory. Although some parallel algorithms were well documented, most of them are still faced with some challenges for effectively dealing with the complex heterogeneous data including categorical and numerical attributes. Aiming at this problem, a novel attribute reduction algorithm based on neighborhood multigranulation rough sets was developed to process the massive heterogeneous data in the parallel way. The MapReduce-based parallelization method for attribute reduction was (...) proposed in the framework of neighborhood multigranulation rough sets. To improve the reduction efficiency, the hashing Map/Reduce functions were designed to speed up the positive region calculation. Thereafter, a quick parallel attribute reduction algorithm using MapReduce was developed. The effectiveness and superiority of this parallel algorithm were demonstrated by theoretical analysis and comparison experiments. (shrink)

A method for sharing private data through personalized searches is described. This method enables users to retrieve access-controlled private data as well as publicly available data by submitting a single query to a conventional search engine. Seamless integration of the method into current search services through a prototype on the Mozilla Firefox web browser, without any changes to existing search functions, such as crawling, indexing, and matching, is also described. Evaluations showed that the additional storage requirement is only 10% and (...) that the system implementing the method responds in 10 s with 1,000 dummy results for anonymization. (shrink)

All the schools of the world -- Unpacking classrooms -- How the 'brain' learns -- Charting the space between demons and angels -- History of the world in a child -- From one-world classroom to one learning sequence -- Conclusion, exercising the educational imagination.

This paper argues that proper functions are proximal functions. In other words, it rejects the notion that there are distal biological functions – strictly speaking, distal functions are not functions at all, but simply beneficial effects normally associated with a trait performing its function. Once we rule out distal functions, two further positions become available: dysfunctions are simply failures of proper function, and pathological conditions are dysfunctions. Although elegant and seemingly intuitive, this simple view has had surprisingly little (...) uptake in the literature. Indeed, our position departs from that of almost every theorist who has engaged with the issue at any depth. We start by presenting three arguments for the position that proper functions are proximal: one from the specificity of functions, one from their relation to intervention, and one from their relation to pathology. We then consider two case studies evidencing the trouble that accepting distal functions causes for philosophical reflection on the nature of pathological conditions. Finally, we anticipate and respond to three objections: that there can be failure of function without dysfunction; that our account is unacceptably revisionary in respect of normal function-talk; and that our thesis over-generalises from a narrow set of cases. (shrink)

In this paper, I identify a central problem for conceptual engineering: the problem of showing concept-users why they should recognise the authority of the concepts advocated by engineers. I argue that this authority problem cannot generally be solved by appealing to the increased precision, consistency, or other theoretical virtues of engineered concepts. Outside contexts in which we anyway already aim to realise theoretical virtues, solving the authority problem requires engineering to take a functional turn and attend to the functions of (...) concepts. But this then presents us with the problem of how to specify a concept’s function. I argue that extant solutions to this function specification problem are unsatisfactory for engineering purposes, because the functions they identify fail to reliably bestow authority on concepts, and hence fail to solve the authority problem. What is required is an authoritative notion of conceptual function: an account of the functions of concepts which simultaneously shows why concepts fulfilling such functions should be recognised as having authority. I offer an account that meets this combination of demands by specifying the functions of concepts in terms of how they tie in with our present concerns. (shrink)

The etiological account of teleological function is beset by several difficulties, which I propose to solve by grafting onto the etiological theory a subordinated goal-contribution clause. This approach enables us to ascribe neither too many teleofunctions nor too few; to give a unitary, one-clause analysis that works just as well for teleological functions derived from Darwinian evolution, as for those derived from human intention; and finally, to save the etiological theory from falsification, by explaining how, in spite of appearances, (...) the theory can allow for evolutionary function loss. (shrink)

What is the biological function of perception? I hold perception, especially visual perception in humans, has the biological function of accurately representing the environment. Tyler Burge argues this cannot be so in Origins of Objectivity (Oxford, 2010), for accuracy is a semantical relationship and not, as such, a practical matter. Burge also provides a supporting example. I rebut the argument and the example. Accuracy is sometimes also a practical matter if accuracy partly explains how perception contributes to survival (...) and reproduction. (shrink)

But what are functions? Here, 15 leading scholars of philosophy of psychology and philosophy of biology present new essays on functions.

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)

Piccinini and Craver (Synthese 183:283–311, 2011) argue for the surprising view that psychological explanation, properly understood, is a species of mechanistic explanation. This contrasts with the ‘received view’ (due, primarily, to Cummins and Fodor) which maintains a sharp distinction between psychological explanation and mechanistic explanation. The former is typically construed as functional analysis, the analysis of some psychological capacity into an organized series of subcapacities without specifying any of the structural features that underlie the explanandum capacity. The latter idea, of (...) course, sees explanation as a matter of describing structures that maintain (or produce) the explanandum capacity. In this paper, I defend the received view by criticizing Piccinini and Craver’s argument for the claim that psychological explanation is not distinct from mechanistic explanation, and by showing how psychological explanations can possess explanatory force even when nothing is known about the underlying neurological details. I conclude with a few brief criticisms about the enterprise of mechanistic explanation in general. (shrink)

The question of the function of reasoning is drawing increased attention. One suggestion is that the function of reasoning is argumentative: to find arguments to convince others and to evaluate others’ arguments. Darmstadter offers an alternative. According to this pragmatic theory the function of reasoning is to minimally adjust our beliefs so that they remain sound guides for action. This theory is similar to the classical view, which sees reasoning as a way of improving the reasoner's beliefs (...) and decisions. The pragmatic theory shares the classical view's flaws as a theory of the function of reasoning: it does not define reasoning strictly enough, it does not offer a convincing evolutionary rationale for reasoning's existence, it does not make predictions based on this rationale, and it does not properly test these predictions. Darmstadter also points out the importance of the phenomenon of deliberation failures. While I argue that documented deliberation failures are compatible with the argumentative theory of reasoning, Darmstadter's work usefully draws attention to the importance of studying reasoning outside the laboratory and in particular in argumentative situations. (shrink)

The goal of this paper is to answer the following question: When we have mental states that represent certain things as being colored, what properties are our mental states representing these things as having?

Representations are not only used in our folk-psychological explanations of behaviour, but are also fruitfully postulated, for example, in cognitive science. The mainstream view in cognitive science maintains that our mind is a representational system. This popular view requires an understanding of the nature of the entities they are postulating. Teleosemantic theories face this challenge, unpacking the normativity in the relation of representation by appealing to the teleological function of the representing state. It has been argued that, if intentionality (...) is to be explained in teleological terms, then the function of a state cannot depend on its phylogenetical history, given the metaphysical possibility of a duplicate of an intentional being that lacks an evolutionary history. In this paper, I present a method to produce, according to our current knowledge in genetic engineering, human-like individuals who are not the product of natural selection in the required sense. This variation will be used to shed light on the main replies that have been offered in the literature to the Swampman thought experiment. I argue that these replies are not satisfactory: representations should better not depend on natural selection. I conclude that a non-etiological notion of function is to be preferred for characterizing the relation of representation. (shrink)

Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, (...) roles, and dispositions, to help provide the potential for more detailed classification, and to shed light on BFO’s general make-up and use. (shrink)

Starting from the idea that functions are formally similar to actions in that they are described and explained in a similar way, so that both admit of an accordion effect, I turn to Anscombe’s insight that the point of practical reasoning is to render explicit the relation between the different descriptions of an action generated by the accordion effect. The upshot is, roughly, that an item has a function if what it does can be accounted for by functional reasoning. (...) Put differently, a part of a system has a function if what it does is a functional part of what the system does. (shrink)

A common kind of explanation in cognitive neuroscience might be called functiontheoretic: with some target cognitive capacity in view, the theorist hypothesizes that the system computes a well-defined function (in the mathematical sense) and explains how computing this function constitutes (in the system’s normal environment) the exercise of the cognitive capacity. Recently, proponents of the so-called ‘new mechanist’ approach in philosophy of science have argued that a model of a cognitive capacity is explanatory only to the extent that (...) it reveals the causal structure of the mechanism underlying the capacity. If they are right, then a cognitive model that resists a transparent mapping to known neural mechanisms fails to be explanatory. I argue that a functiontheoretic characterization of a cognitive capacity can be genuinely explanatory even absent an account of how the capacity is realized in neural hardware. (shrink)

In this paper I develop a theory of 'function' and function as a deontic modal word and phenomenon. Kratzer’s account of the semantics for the deontic modals is invoked and using her approach a formal schema for the semantics of 'function'-sentences is proposed. My account of function is a modalized and extended version of Cummins’ systems-type account of function. In the biological and physical sciences, on this account, function is a complex empirical deontic modal (...) property. It is built on the property of X’s doing Y well enough to enable Z, which is implicitly deontic because of the evaluative but nonetheless empirical in its biological and physical applications. This account of function resolves many of the traditional puzzles about biological and physical function, and extends naturally to include the other types of function. With a variant treatment of the semantics, this account is argued also to apply to mathematical function, where it is shown to be interestingly related to Frege’s account of function. (shrink)

Diagnoses are central to the practice of medicine, where they serve a variety of functions for clinicians, patients, and society. They aid communication, explain symptoms, inform predictions, guide therapeutic interventions, legitimize sickness, and authorize access to resources. Insofar as psychiatry is a discipline whose practice is shaped by medical conventions, its diagnoses are sometimes presented as if they serve the same sorts of function as diagnoses in bodily medicine. However, there are philosophical problems that cast doubt on whether the (...) functions of psychiatric diagnoses can legitimately be considered to be equivalent to those of medical diagnoses. The aim of this chapter is to explicate some of these problems, particularly conceptual and epistemological problems pertaining to the roles of diagnoses as explanations. I begin with an overview of the various functions that medical diagnoses normally serve and suggest that many of these functions receive justificatory support from the explanatory roles of the diagnoses. I then present issues regarding the epistemic functions of psychiatric diagnoses and how these issues have featured in the arguments of prominent critics of psychiatry. (shrink)

This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results.

Philosophers of evolutionary biology favor the so-called etiological concept of function according to which the function of a trait is its evolutionary purpose, defined as the effect for which that trait was favored by natural selection. We term this the selected effect (SE) analysis of function. An alternative account of function was introduced by Robert Cummins in a non-evolutionary and non-purposive context. Cummins''s account has received attention but little support from philosophers of biology. This paper will (...) show that a similar non-purposive concept of function, which we term causal role (CR) function, is crucial to certain research programs in evolutionary biology, and that philosophical criticisms of Cummins''s concept are ineffective in this scientific context. Specifically, we demonstrate that CR functions are a vital and ineliminable part of research in comparative and functional anatomy, and that biological categories used by anatomists are not defined by the application of SE functional analysis. Causal role functions are non-historically defined, but may themselves be used in an historical analysis. Furthermore, we show that a philosophical insistence on the primary of SE functions places practicing biologists in an untenable position, as such functions can rarely be demonstrated (in contrast to CR functions). Biologists who study the form and function of organismal design recognize that it is virtually impossible to identify the past action of selection on any particular structure retrospectively, a requirement for recognizing SE functions. (shrink)

The culturally pervasive tendency to identify aspects of the body as aesthetically imperfect harms individuals and scaffolds injustice related to disability, race, gender, LGBTQ+ identities, and fatness. But abandoning the notion of imperfection may not respect people’s reasonable understandings of their own bodies. I examine the prospects for a practice of aesthetic assessment grounded in a notion of the body’s function. I argue that functional aesthetic assessment, to be respectful, requires understanding the body’s functions as complex, malleable, and determined (...) by the projects and interests of the person whose body it is. Aesthetically relevant functions, on this account, are determined neither by the body’s status as organism nor by cultural assumptions about how bodies should function or be used. (shrink)

Confirmation bias is one of the most widely discussed epistemically problematic cognitions, challenging reliable belief formation and the correction of inaccurate views. Given its problematic nature, it remains unclear why the bias evolved and is still with us today. To offer an explanation, several philosophers and scientists have argued that the bias is in fact adaptive. I critically discuss three recent proposals of this kind before developing a novel alternative, what I call the ‘reality-matching account’. According to the account, confirmation (...) bias evolved because it helps us influence people and social structures so that they come to match our beliefs about them. This can result in significant developmental and epistemic benefits for us and other people, ensuring that over time we don’t become epistemically disconnected from social reality but can navigate it more easily. While that might not be the only evolved function of confirmation bias, it is an important one that has so far been neglected in the theorizing on the bias. (shrink)

Even the simplest cell exhibits a high degree of functional differentiation (FD) realized through several mechanisms and devices contributing differently to its maintenance. Searching for the origin of FD, we briefly argue that the emergence of the respective organizational complexity cannot be the result of either natural selection (NS) or solely of the dynamics of simple self-maintaining (SM) systems. Accordingly, a highly gradual and cumulative process should have been necessary for the transition from either simple self-assembled or self-maintaining systems of (...) functionless structural components to systems with FD. We follow results of recent in vitro experiments with respect to competition among protocells, where a primitive type of selection begins to operate among them accompanied by a parallel evolution of their functional domain. We argue that minimal forms of FD should be established within the evolution of SM processes in protocells as they undergo a simpler selection process for stability and persistence in a prebiotic environment. We then suggest the concept of closure of constraints (CoC) as a way to identify and describe minimal FD in a far-from-equilibrium SM organization. We show in detail how the concept of CoC together with the conditions for its fulfillment can be applied in the case of a simple protocellular system that begins to couple internal chemical reactions with the formation of its membrane components. Finally, we discuss how such SM systems can evolve towards significantly higher levels of FD, suggesting this is mainly the result of functional recombination (formation of mechanisms) in the context of a modular SM organization. (shrink)

Function talk is a constant across different life sciences. From macro-evolution to genetics, functions are mentioned everywhere. For example, a limb’s function is to allow movement and RNA polymerases’ function is to transcribe DNA. Biochemistry is not immune from such a characterization; the biochemical world seems to be a chemical world embedded within biological processes. Specifically, biochemists commonly ascribe functions to biomolecules and classify them accordingly. This has been noticed in the recent philosophical literature on biochemical kinds. (...) But while a lot has been written on biological and psychological functions, little has been said explicitly about biochemical fuctions. Here, I explore functional attribution to biochemical molecules. I argue that if we accept this attribution, then biochemical functions are constituted by chemical dispositional properties that causally contribute to selected biological processes. In section 2, I discuss the controversy concerning the characterization of biochemical functions. In section 3, I consider whether a biological or a chemical under- standing of function can be applied to biochemical functions, illustrating the account with the example of vitamin B12. The result is that none of the theories on their own provides an adequate characterization. In section 4, I present an account of biochemical functions. In section 5, I assess this account taking into consideration common requirements for a theory of functions and an objection. (shrink)

Recently, Piccinini and Craver have stated three theses concerning the relations between functional analysis and mechanistic explanation in cognitive sciences: No Distinctness: functional analysis and mechanistic explanation are explanations of the same kind; Integration: functional analysis is a kind of mechanistic explanation; and Subordination: functional analyses are unsatisfactory sketches of mechanisms. In this paper, I argue, first, that functional analysis and mechanistic explanations are sub-kinds of explanation by scientific (idealized) models. From that point of view, we must take into account (...) the tradeoff between the representational/explanatory goals of generality and precision that govern the practice of model-building. In some modeling scenarios, it is rational to maximize explanatory generality at the expense of mechanistic precision. This tradeoff allows me to put forward a problem for the mechanist position. If mechanistic modeling endorses generality as a valuable goal, then Subordination should be rejected. If mechanists reject generality as a goal, then Integration is false. I suggest that mechanists should accept that functional analysis can offer acceptable explanations of cognitive phenomena. (shrink)

Mental and behavioral disorders represent a significant portion of the public health burden in all countries. The human cost of these disorders is immense, yet treatment options for sufferers are currently limited, with many patients failing to respond sufficiently to available interventions and drugs. High quality ontologies facilitate data aggregation and comparison across different disciplines, and may therefore speed up the translation of primary research into novel therapeutics. Realism-based ontologies describe entities in reality and the relationships between them in such (...) a way that – once formulated in a suitable formal language – the ontologies can be used for sophisticated automated reasoning applications. Reference ontologies can be applied across different contexts in which different, and often mutually incompatible, domain-specific vocabularies have traditionally been used. In this contribution we describe the Mental Functioning Ontology (MF) and Mental Disease Ontology (MD), two realism-based ontologies currently under development for the description of humanmental functioning and disease. We describe the structure and upper levels of the ontologies and preliminary application scenarios, and identify some open questions. (shrink)

Recently something close to a consensus about the best way to naturalize the notion of biological function appears to be emerging. Nonetheless, teleological notions in biology remain controversial. In this paper we provide a naturalistic analysis for the notion of natural design. Many authors assume that natural design should be assimilated directly to function. Others find the notion problematic because it suggests that evolution is a directed process. We argue that both of these views are mistaken. Our naturalistic (...) account does not simply equate design with function. We argue that the distinction between function and design is important for understanding the evolution of the physical and behavioral traits of organisms. (shrink)