Human and automated tutors attempt to choose pedagogical activities that will maximize student learning, informed by their estimates of the student's current knowledge. There has been substantial research on tracking and modeling student learning, but significantly less attention on how to plan teaching actions and how the assumed student model impacts the resulting plans. We frame the problem of optimally selecting teaching actions using a decision-theoretic approach and show how to formulate teaching as a partially observable Markov decision process planning (...) problem. This framework makes it possible to explore how different assumptions about student learning and behavior should affect the selection of teaching actions. We consider how to apply this framework to concept learning problems, and we present approximate methods for finding optimal teaching actions, given the large state and action spaces that arise in teaching. Through simulations and behavioral experiments, we explore the consequences of choosing teacher actions under different assumed student models. In two concept-learning tasks, we show that this technique can accelerate learning relative to baseline performance. (shrink)

The connection between brain and mind is an important scientific and philosophical question that we are still far from completely understanding. A crucial point to our work is noticing that thermodynamics provides a convenient framework to model brain activity, whereas cognition can be modeled in information-theoretical terms. In fact, several models have been proposed so far from both approaches. A second critical remark is the existence of deep theoretical connections between thermodynamics and information theory. In fact, some well-known authors claim (...) that the laws of thermodynamics are nothing but principles in information theory. Unlike in physics or chemistry, a formalization of the relationship between information and energy is currently lacking in neuroscience. In this paper we propose a framework to connect physical brain and cognitive models by means of the theoretical connections between information theory and thermodynamics. Ultimately, this article aims at providing further insight on the formal relationship between cognition and neural activity. (shrink)

Climatology is a paradigmatic complex systems science. Understanding the global climate involves tackling problems in physics, chemistry, economics, and many other disciplines. I argue that complex systems like the global climate are characterized by certain dynamical features that explain how those systems change over time. A complex system's dynamics are shaped by the interaction of many different components operating at many different temporal and spatial scales. Examining the multidisciplinary and holistic methods of climatology can help us better understand the nature (...) of complex systems in general. -/- Questions surrounding climate science can be divided into three rough categories: foundational, methodological, and evaluative questions. "How do we know that we can trust science?" is a paradigmatic foundational question (and a surprisingly difficult one to answer). Because the global climate is so complex, questions like "what makes a system complex?" also fall into this category. There are a number of existing definitions of `complexity,' and while all of them capture some aspects of what makes intuitively complex systems distinctive, none is entirely satisfactory. Most existing accounts of complexity have been developed to work with information-theoretic objects (signals, for instance) rather than the physical and social systems studied by scientists. -/- Dynamical complexity, a concept articulated in detail in the first third of the dissertation, is designed to bridge the gap between the mathematics of contemporary complexity theory (in particular the formalism of "effective complexity" developed by Gell-Mann and Lloyd [2003]) and a more general account of the structure of science generally. Dynamical complexity provides a physical interpretation of the formal tools of mathematical complexity theory, and thus can be used as a framework for thinking about general problems in the philosophy of science, including theories, explanation, and lawhood. -/- Methodological questions include questions about how climate science constructs its models, on what basis we trust those models, and how we might improve those models. In order to answer questions about climate modeling, it's important to understand what climate models look like and how they are constructed. Climate model families are significantly more diverse than are the model families of most other sciences (even sciences that study other complex systems). Existing climate models range from basic models that can be solved on paper to staggeringly complicated models that can only be analyzed using the most advanced supercomputers in the world. I introduce some of the central concepts in climatology by demonstrating how one of the most basic climate models might be constructed. I begin with the assumption that the Earth is a simple featureless blackbody which receives energy from the sun and releases it into space, and show how to model that assumption formally. I then gradually add other factors (e.g. albedo and the greenhouse effect) to the model, and show how each addition brings the model's prediction closer to agreement with observation. After constructing this basic model, I describe the so-called "complexity hierarchy" of the rest of climate models, and argue that the sense of "complexity" used in the climate modeling community is related to dynamical complexity. -/- With a clear understanding of the basics of climate modeling in hand, I then argue that foundational issues discussed early in the dissertation suggest that computation plays an irrevocably central role in climate modeling. "Science by simulation" is essential given the complexity of the global climate, but features of the climate system--the presence of non-linearities, feedback loops, and chaotic dynamics--put principled limits on the effectiveness of computational models. This tension is at the root of the staggering pluralism of the climate model hierarchy, and suggests that such pluralism is here to stay, rather than an artifact of our ignorance. Rather than attempting to converge on a single "best fit" climate model, we ought to embrace the diversity of climate models, and view each as a specialized tool designed to predict and explain a rather narrow range of phenomena. Understanding the climate system as a whole requires examining a number of different models, and correlating their outputs. This is the most significant methodological challenge of climatology. -/- Climatology's role contemporary political discourse raises an unusually high number of evaluative questions for a physical science. The two leading approaches to crafting policy surrounding climate change center on mitigation (i.e. stopping the changes from occurring) and adaptation (making post hoc changes to ameliorate the harm caused by those changes). Crafting an effective socio-political response to the threat of anthropogenic climate change, however, requires us to integrate multiple perspectives and values: the proper response will be just as diverse and pluralistic as the climate models themselves, and will incorporate aspects of both approaches. I conclude by offering some concrete recommendations about how to integrate this value pluralism into our socio-political decision making framework. (shrink)

First, I offer a short overview on the classical occidental philosophy as propounded by the ancient Greeks and the natural philosophies of the last 2000 years until the dawn of the empiricist logic of science in the twentieth century, which wanted to delimitate classical metaphysics from empirical sciences. In contrast to metaphysical concepts which didn’t reflect on the language with which they tried to explain the whole realm of entities empiricist logic of science initiated the end of metaphysical theories by (...) reflecting on the preconditions for foundation and justification of sentences about objects of investigation, i.e. a coherent definition of language in general, which was not the aim of classical metaphysics. Unexpectedly empiricist logic of science in the linguistic turn failed in the physical and mathematical reductionism of language and its use in communication, as will be discussed below in further detail. Nevertheless, such reflection on language and communication also introduced this vocabulary into biology. Manfred Eigen and bioinformatics, later on biolinguistics, used ‘language’ applied linguistic turn thinking to biology coherent to the logic of science and its formalisable aims. This changed significantly with the birth of biosemiotics and biohermeneutics. At the end of this introduction it will be outlined why and how all these approaches reproduced the deficiencies of the logic of science and why the biocommunicative approach avoids their abstractive fallacies. (shrink)

1. Was ist ein Homunkulus-Fehlschluß? 2. Analyse des Mentalen und Naturalisierung der Intentionalität 3. Homunkulismus in Theorien der visuellen Wahrnehmung 4. Homunkulismus und Repräsentationalismus 5. Der homunkulare Funktionalismus 6. Philosophische Sinnkritik und empirische Wissenschaft Literatur .

The monitoring role performed by the board of directors is an important corporate governance control mechanism, especially in countries where external mechanisms are less well developed. The gender composition of the board can affect the quality of this monitoring role and thus the financial performance of the firm. This is part of the “business case” for female participation on boards, though arguments may also be framed in terms of ethical considerations. While the issue of board gender diversity has attracted growing (...) research interest in recent years, most empirical results are based on U.S. data. This article adds to a growing number of non-U.S. studies by investigating the link between the gender diversity of the board and firm financial performance in Spain, a country which historically has had minimal female participation in the workforce, but which has now introduced legislation to improve equality of opportunities. We investigate the topic using panel data analysis and find that gender diversity – as measured by the percentage of women on the board and by the Blau and Shannon indices – has a positive effect on firm value and that the opposite causal relationship is not significant. Our study suggests that investors in Spain do not penalise firms which increase their female board membership and that greater gender diversity may generate economic gains. (shrink)

The technique of minimizing information (infomin) has been commonly employed as a general method for both choosing and updating a subjective probability function. We argue that, in a wide class of cases, the use of infomin methods fails to cohere with our standard conception of rational degrees of belief. We introduce the notion of a deceptive updating method and argue that non-deceptiveness is a necessary condition for rational coherence. Infomin has been criticized on the grounds that there are no higher (...) order probabilities that ‘support’ it, but the appeal to higher order probabilities is a substantial assumption that some might reject. Our elementary arguments from deceptiveness do not rely on this assumption. While deceptiveness implies lack of higher order support, the converse does not, in general, hold, which indicates that deceptiveness is a more objectionable property. We offer a new proof of the claim that infomin updating of any strictly-positive prior with respect to conditional-probability constraints is deceptive. In the case of expected-value constraints, infomin updating of the uniform prior is deceptive for some random variables but not for others. We establish both a necessary condition and a sufficient condition (which extends the scope of the phenomenon beyond cases previously considered) for deceptiveness in this setting. Along the way, we clarify the relation which obtains between the strong notion of higher order support, in which the higher order probability is defined over the full space of first order probabilities, and the apparently weaker notion, in which it is defined over some smaller parameter space. We show that under certain natural assumptions, the two are equivalent. Finally, we offer an interpretation of Jaynes, according to which his own appeal to infomin methods avoids the incoherencies discussed in this paper. (shrink)

This chapter describes the conceptual foundations of cognitive science during its establishment as a science in the 20th century. It is organized around the core ideas of individual agency as its basic explanans and information-processing as its basic explanandum. The latter consists of a package of ideas that provide a mathematico-engineering framework for the philosophical theory of materialism.

Floridi’s Theory of Strongly Semantic Information posits the Veridicality Thesis. One motivation is that it can serve as a foundation for information-based epistemology being an alternative to the tripartite theory of knowledge. However, the Veridicality thesis is false, if ‘information’ is to play an explanatory role in human cognition. Another motivation is avoiding the so-called Bar-Hillel/Carnap paradox. But this paradox only seems paradoxical, if ‘information’ and ‘informativeness’ are synonymous, logic is a theory of inference, or validity suffices for rational inference; (...) a, b, and c are false. (shrink)

Western science claims to provide unique, objective information about the world. This is supported by the observation that peoples across cultures will agree upon a common description of the physical world. Further, the use of scientific instruments and mathematics is claimed to enable the objectification of science. In this work, carried out by reviewing the scientific literature, the above claims are disputed systematically by evaluating the definition of physical reality and the scientific method, showing that empiricism relies ultimately upon the (...) human senses for the evaluation of scientific theories and that measuring instruments cannot replace the human sensory system. Nativist and constructivist theories of human sensory development are reviewed, and it is shown that nativist claims of core conceptual knowledge cannot be supported by the findings in the literature, which shows that perception does not simply arise from a process of maturation. Instead, sensory function requires a long process of learning through interactions with the environment. To more rigorously define physical reality and systematically evaluate the stability of perception, and thus the basis of empiricism, the development of the method of dimension analysis is reviewed. It is shown that this methodology, relied upon for the mathematical analysis of physical quantities, is itself based upon empiricism, and that all of physical reality can be described in terms of the three fundamental dimensions of mass, length and time. Hereafter the sensory modalities that inform us about these three dimensions are systematically evaluated. The following careful analysis of neuronal plasticity in these modalities shows that all the relevant senses acquire from the environment the capacity to apprehend physical reality. It is concluded that physical reality is acquired rather than given innately, and leads to the position that science cannot provide unique results. Rather, those it can provide are sufficient for a particular environmental setting. (shrink)

We present a dynamic model of the evolution of communication in a Lewis signaling game while systematically varying the degree of common interest between sender and receiver. We show that the level of common interest between sender and receiver is strongly predictive of the amount of information transferred between them. We also discuss a set of rare but interesting cases in which common interest is almost entirely absent, yet substantial information transfer persists in a *cheap talk* regime, and offer a (...) diagnosis of how this may arise. -/- . (shrink)

Recent developments in pure mathematics and in mathematical logic have uncovered a fundamental duality between "existence" and "information." In logic, the duality is between the Boolean logic of subsets and the logic of quotient sets, equivalence relations, or partitions. The analogue to an element of a subset is the notion of a distinction of a partition, and that leads to a whole stream of dualities or analogies--including the development of new logical foundations for information theory parallel to Boole's development of (...) logical finite probability theory. After outlining these dual concepts in mathematical terms, we turn to a more metaphysical speculation about two dual notions of reality, a fully definite notion using Boolean logic and appropriate for classical physics, and the other objectively indefinite notion using partition logic which turns out to be appropriate for quantum mechanics. The existence-information duality is used to intuitively illustrate these two dual notions of reality. The elucidation of the objectively indefinite notion of reality leads to the "killer application" of the existence-information duality, namely the interpretation of quantum mechanics. (shrink)

Christopher G. Timpson provides the first full-length philosophical treatment of quantum information theory and the questions it raises for our understanding of the quantum world. He argues for an ontologically deflationary account of the nature of quantum information, which is grounded in a revisionary analysis of the concepts of information.

Big historians are attempting to construct a general holistic narrative of human origins enabling an approach to studying the emergence of complexity, the relation between evolutionary processes, and the modern context of human experience and actions. In this paper I attempt to explore the past and future of cosmic evolution within a big historical foundation characterized by physical, biological, and cultural eras of change. From this analysis I offer a model of the human future that includes an addition and/or reinterpretation (...) of technological singularity theory with a new theory of biocultural evolution focused on the potential birth of technological life: the theory of atechnogenesis. Furthermore, I explore the potential deep futures of technological life and extrapolate towards two hypothetical versions of an ‘Omega Civilization’: expansion and compression. (shrink)

The quantum information introduced by quantum mechanics is equivalent to a certain generalization of classical information: from finite to infinite series or collections. The quantity of information is the quantity of choices measured in the units of elementary choice. The “qubit”, can be interpreted as that generalization of “bit”, which is a choice among a continuum of alternatives. The axiom of choice is necessary for quantum information. The coherent state is transformed into a well-ordered series of results in time after (...) measurement. The quantity of quantum information is the transfinite ordinal number corresponding to the infinity series in question. The transfinite ordinal numbers can be defined as ambiguously corresponding “transfinite natural numbers” generalizing the natural numbers of Peano arithmetic to “Hilbert arithmetic” allowing for the unification of the foundations of mathematics and quantum mechanics. (shrink)

Einstein’s razor, a corollary of Ockham’s razor, is often paraphrased as follows: make everything as simple as possible, but not simpler. This rule of thumb describes the challenge that designers of a legal system face—to craft simple laws that produce desired ends, but not to pursue simplicity so far as to undermine those ends. Complexity, simplicity’s inverse, taxes cognition and increases the likelihood of suboptimal decisions. In addition, unnecessary legal complexity can drive a misallocation of human capital toward comprehending and (...) complying with legal rules and away from other productive ends. While many scholars have offered descriptive accounts or theoretical models of legal complexity, most empirical research to date has been limited to simple measures of size, such as the number of pages in a bill. No extant research rigorously applies a meaningful model to real data. As a consequence, we have no reliable means to determine whether a new bill, regulation, order, or precedent substantially effects legal complexity. In this paper, we begin to address this need by developing a proposed empirical framework for measuring relative legal complexity. This framework is based on “knowledge acquisition”, an approach at the intersection of psychology and computer science, which can take into account the structure, language, and interdependence of law. We then demonstrate the descriptive value of this framework by applying it to the U.S. Code’s Titles, scoring and ranking them by their relative complexity. We measure various features of a title including its structural size, the net flow of its intra-title citations and its linguistic entropy. Our framework is flexible, intuitive, and transparent, and we offer this approach as a first step in developing a practical methodology for assessing legal complexity. (shrink)

Whether collective agency is a coherent concept depends on the theory of agency that we choose to adopt. We argue that the enactive theory of agency developed by Barandiaran, Di Paolo and Rohde (2009) provides a principled way of grounding agency in biological organisms. However the importance of biological embodiment for the enactive approach might lead one to be skeptical as to whether artificial systems or collectives of individuals could instantiate genuine agency. To explore this issue we contrast the concept (...) of collective agency with multi-agent systems and multi-system agents, and argue that genuinely collective agents instantiate agency at both the collective level and at the level of the component parts. Developing the enactive model, we propose understanding agency – both at the level of the individual and of the collective – as spectra that are constituted by dimensions that vary across time. Finally, we consider whether collectives that are not merely metaphorically ‘agents’ but rather are genuinely agentive also instantiate subjectivity at the collective level. We propose that investigations using the perceptual crossing paradigm suggest that a shared lived perspective can indeed emerge but this should not be conflated with a collective first-person perspective, for which material integration in a living body may be required. (shrink)

DNA possesses a double nature: it is both an analog chemical compound and a digital carrier of information. By distinguishing these two aspects, this paper aims to reevaluate the legally and politically influential idea that the human genome forms part of the common heritage of mankind, an idea which is thought to conflict with the practice of patenting DNA. The paper explores the lines of reasoning that lead to the common heritage idea, articulates and motivates what emerges as the most (...) viable version of it, and assesses the extent to which this version conflicts with gene-patenting practices as exemplified by the U.S. regime. It concludes that the genome is best thought of as a repository of information to which humanity has a fiduciary relationship, and that on this view, the perceived conflict with gene-patenting largely dissolves. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2015 Heft: 207 Seiten: 327-368.

We derive a probabilistic account of the vagueness and context-sensitivity of scalar adjectives from a Bayesian approach to communication and interpretation. We describe an iterated-reasoning architecture for pragmatic interpretation and illustrate it with a simple scalar implicature example. We then show how to enrich the apparatus to handle pragmatic reasoning about the values of free variables, explore its predictions about the interpretation of scalar adjectives, and show how this model implements Edgington’s Vagueness: a reader, 1997) account of the sorites paradox, (...) with variations. The Bayesian approach has a number of explanatory virtues: in particular, it does not require any special-purpose machinery for handling vagueness, and it is integrated with a promising new approach to pragmatics and other areas of cognitive science. (shrink)

This paper considers two novel Bayesian responses to a well-known skeptical paradox. The paradox consists of three intuitions: first, given appropriate sense experience, we have justification for accepting the relevant proposition about the external world; second, we have justification for expanding the body of accepted propositions through known entailment; third, we do not have justification for accepting that we are not disembodied souls in an immaterial world deceived by an evil demon. The first response we consider rejects the third intuition (...) and proposes an explanation of why we have a faulty intuition. The second response, which we favor, accommodates all three intuitions; it reconciles the first and the third intuition by the dual component model of justification, and defends the second intuition by distinguishing two principles of epistemic closure. (shrink)

In the last decade, formal concept analysis in a fuzzy setting has received more attention for knowledge processing tasks in various fields. The hierarchical order visualisation of generated formal concepts is a major concern for the practical application of FCA. In this process, a major issue is the huge number of formal concepts generated from ‘a large context’, and another problem is their ‘storage’ complexity. To deal with these issues a method is proposed in this paper based on Shannon entropy (...) and Huffman coding. The proposed method is illustrated using crisply generated concepts such that the changes between obtained concepts can be measured using Levenshtein distance. The analysis derived from the proposed method is illustrated with an example for FCA in a fuzzy setting. (shrink)

Natural information refers to the information carried by natural signs such as that smoke is thought to carry natural information about fire. A number of influential philosophers have argued that natural information can also be utilized in a theory of mental content. The most widely discussed account of natural information holds that it results from an extremely strong relation between sign and signified. Critics have responded that it is doubtful that there are many strong relations of this sort in the (...) natural world due to variability between signs and signified. In light of this observation, a promising suggestion is that much of the interesting natural information carried by natural signs is really information with a probabilistic content. However, Dretske’s theory cannot account for this information because it would require implausible second order objective probabilities. Given the most plausible understanding of the probabilities involved here, I argue that it is only sequences of traditional natural signs that carry this probabilistic information. Several implications of this idea will be explored. (shrink)

As historian Henning Schmidgen notes, the scientific study of the nervous system would have been “unthinkable” without the industrialization of communication in the 1830s. Historians have investigated extensively the way nerve physiologists have borrowed concepts and tools from the field of communications, particularly regarding the nineteenth-century work of figures like Helmholtz and in the American Cold War Era. The following focuses specifically on the interwar research of the Cambridge physiologist Edgar Douglas Adrian, and on the technology that led to his (...) Nobel-Prize-winning research, the thermionic vacuum tube. Many countries used the vacuum tube during the war for the purpose of amplifying and intercepting coded messages. These events provided a context for Adrian's evolving understanding of the nerve fiber in the 1920s. In particular, they provide the background for Adrian's transition around 1926 to describing the nerve impulse in terms of “information,” “messages,” “signals,” or even “codes,” and for translating the basic principles of the nerve, such as the all-or-none principle and adaptation, into such an “informational” context. The following also places Adrian's research in the broader context of the changing relationship between science and technology, and between physics and physiology, in the first few decades of the twentieth century. (shrink)

Philosophers and social scientists of diverse orientations have suggested that the pragmatics of semiosis is germane to a dynamic account of meaning as process. Semiosis, the central focus of C. S. Peirce's pragmatic philosophy, may hold a key to perennial problems regarding meaning. Indeed, Peirce's thought should be deemed seminal when placed within the cognitive sciences, especially with respect to his concept of the sign. According to Peirce's pragmatic model, semiosis is a triadic, time-bound, context-sensitive, interpreter-dependent, materially extended dynamic process. (...) Semiosis involves inter-relatedness and inter-action between signs, their objects, acts and events in the world, and the semiotic agents who are in the process of making and taking them. (shrink)

Examples of successful linguistic communication give rise to two important insights: (1) it should be understood most fundamentally in terms of the pragmatic success of each individual utterance, and (2) linguistic conventions need to be understood as on a par with the non-linguistic regularities that competent language users rely upon to refer. Syntax and semantics are part of what Barwise and Perry call the context of the utterance, contributing to the pragmatics of the utterance. This full and distributed multichannel context (...) determines meaning if anything does. On the standard account of context, context disambiguates the meaning of language, but it is at least as apt in many situations to say that language disambiguates context. In practice, the two work together, sometimes with more emphasis on one than the other. Reference should be understood in pragmatic terms (it is an act) and, since success is often achieved in non-standard, creative ways, any formalisation of pragmatics can only be partial. The need for such an inventive approach to referring traces back to the need for language to be highly efficient, with expressions underdetermining their interpretation. Next, the shared semantic and syntactic regularities, which might seem to be independent of the context of an utterance, should be understood as also being part of that context. Past usage underdetermines how terms can be used since it allows for multiple projections. Successful reference with novel uses that are disambiguated by context can become the ground for new conventions. (shrink)

The hermeneutical tradition represented by Yorck, Heidegger, and Gadamer has distrusted Dilthey as suffering from the two sins of modernism: scientific “positivism” and individualistic and aesthetic “romanticism.” On the one hand, Dilthey’s epistemology is deemed scientistic in accepting the priority of the empirical, the ontic, and consequently scientific inquiry into the physical, biological, and human worlds; on the other hand, his personalist ethos and Goethean humanism, and his pluralistic life- and worldview philosophy are considered excessively aesthetic, culturally liberal, relativistic, and (...) subjective. This essay involves two tasks in response to this negative evaluation of Dilthey that has shaped our current understanding of his philosophical project; first, an interpretation of the issues at stake in Heidegger’s reception of and struggles with Dilthey. These issues touch upon language, historicity, and the nature of hermeneutics. Second, by pursuing this task in light of Guignon’s interpretation of Dilthey and Heidegger, I hope to question and challenge the “overcoming” of Dilthey’s epistemic and life-philosophical hermeneutics in the “ontological” or “philosophical” hermeneutics of Heidegger. (shrink)

In signaling games, a sender has private access to a state of affairs and uses a signal to inform a receiver about that state. If no common association of signals and states is initially available, sender and receiver must coordinate to develop one. How do players divide coordination labor? We show experimentally that, if players switch roles at each communication round, coordination labor is shared. However, in games with fixed roles, coordination labor is divided: Receivers adjust their mappings more frequently, (...) whereas senders maintain the initial code, which is transmitted to receivers and becomes the common code. In a series of computer simulations, player and role asymmetry as observed experimentally were accounted for by a model in which the receiver in the first signaling round has a higher chance of adjusting its code than its partner. From this basic division of labor among players, certain properties of role asymmetry, in particular correlations with game complexity, are seen to follow. (shrink)

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...) logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (shrink)

The logical basis for information theory is the newly developed logic of partitions that is dual to the usual Boolean logic of subsets. The key concept is a "distinction" of a partition, an ordered pair of elements in distinct blocks of the partition. The logical concept of entropy based on partition logic is the normalized counting measure of the set of distinctions of a partition on a finite set--just as the usual logical notion of probability based on the Boolean logic (...) of subsets is the normalized counting measure of the subsets (events). Thus logical entropy is a measure on the set of ordered pairs, and all the compound notions of entropy (join entropy, conditional entropy, and mutual information) arise in the usual way from the measure (e.g., the inclusion-exclusion principle)--just like the corresponding notions of probability. The usual Shannon entropy of a partition is developed by replacing the normalized count of distinctions (dits) by the average number of binary partitions (bits) necessary to make all the distinctions of the partition. (shrink)

This inaugural handbook documents the distinctive research field that utilizes history and philosophy in investigation of theoretical, curricular and pedagogical issues in the teaching of science and mathematics. It is contributed to by 130 researchers from 30 countries; it provides a logically structured, fully referenced guide to the ways in which science and mathematics education is, informed by the history and philosophy of these disciplines, as well as by the philosophy of education more generally. The first handbook to cover the (...) field, it lays down a much-needed marker of progress to date and provides a platform for informed and coherent future analysis and research of the subject. -/- The publication comes at a time of heightened worldwide concern over the standard of science and mathematics education, attended by fierce debate over how best to reform curricula and enliven student engagement in the subjects There is a growing recognition among educators and policy makers that the learning of science must dovetail with learning about science; this handbook is uniquely positioned as a locus for the discussion. -/- The handbook features sections on pedagogical, theoretical, national, and biographical research, setting the literature of each tradition in its historical context. Each chapter engages in an assessment of the strengths and weakness of the research addressed, and suggests potentially fruitful avenues of future research. A key element of the handbook’s broader analytical framework is its identification and examination of unnoticed philosophical assumptions in science and mathematics research. It reminds readers at a crucial juncture that there has been a long and rich tradition of historical and philosophical engagements with science and mathematics teaching, and that lessons can be learnt from these engagements for the resolution of current theoretical, curricular and pedagogical questions that face teachers and administrators. (shrink)

Barbieri introduced and developed the concept of organic codes. The most basic of them is the genetic code, a set of correspondence rules between otherwise unrelated sequences: strings of nucleotides on the one hand, polypeptidic chains on the other hand. Barbieri noticed that it implies ‘coding by convention’ as arbitrary as the semantic relations a language establishes between words and outer objects. Moreover, the major transitions in life evolution originated in new organic codes similarly involving conventional rules. Independently, dealing with (...) heredity as communication over time and relying on information theory, we asserted that the conservation of genomes over the ages demands that error-correcting codes make them resilient to casual errors. Moreover, the better conservation of very old parts of the genome demands that they result from combining successively established nested codes such that the older an information, the more numerous component codes protect it. Barbieri’s concept of organic code and that of genomic error-correcting code may seem unrelated. We show however that organic codes actually entail error-correcting properties. Error-correcting, in general, results from constraints being imposed on a set of sequences. Mathematical equalities are conveniently used in communication engineering for expressing constraints but error correction only needs that constraints exist. Biological sequences are similarly endowed with error-correcting ability by physical-chemical or linguistic constraints, thus defining ‘soft codes’. These constraints are moreover presumably efficient for correcting errors. Insofar as biological sequences are subjected to constraints, organic codes necessarily involve soft codes, and their successive onset results in the nested structure we hypothesized. Organic codes are generated and maintained by means of molecular ‘semantic feedback loops’. Each of these loops involves genes which code for proteins, the enzymatic action of which controls a function needed for the protein assembly. Taken together, thus, they control the assembly of their own structure as instructed by the genome and, once closed, these loops ensure their own conservation. However, the semantic feedback loops do not prevent the genome lengthening. It increases both the redundancy of the genome and the information quantity it bears, thus improving the genome reliability and the specificity of the enzymes, which enables further evolution. (shrink)

The set of design features developed by Charles Hockett in the 1950s and 1960s remains probably the most influential means of juxtaposing animal communication with human language. However, the general theoretical perspective of Hockett is largely incompatible with that of modern language evolution research. Consequently, we argue that his classificatory system—while useful for some descriptive purposes—is of very limited use as a theoretical framework for evolutionary linguistics. We see this incompatibility as related to the ontology of language, i.e. deriving from (...) Hockett’s interest in language as a product rather than a suite of sensorimotor, cognitive and social abilities that enable the use but also acquisition of language by biological creatures. After a reconstruction of Hockett’s views on design features, we raise two criticisms: focus on the means at the expense of content and focus on the code itself rather than the cognitive abilities of its users. Finally, referring to empirical data, we illustrate some of the problems resulting from Hockett’s approach by addressing three specific points—namely arbitrariness and semanticity, cultural transmission, and displacement—and show how the change of perspective allows to overcome those difficulties. (shrink)

What is data? That question is the fundamental investigation of this dissertation. I have developed a methodology from social-scientific processes to explore how different people understand the concept of data, rather than to rely on my own philosophical intuitions or thought experiments about the “nature” of data. The evidence I have gathered as to different individuals' constructions of data can be used to inform further inquiry of data and the design of information systems. My research demonstrates that people have different (...) constructions of data. The methodology of the SDFN, created for this dissertation, has proven able to probe those understandings. The SDFN, loosely based on a DFD and combined with ideas from SNA, provides a way of discovering practical definitions of hard-to-operationalize terms like data. The process of repeatedly categorizing various items as data allows the methodology to explore how participants actually use the term, rather than relying on theoretical dictionary-based definitions. Analysis of the interviews found three different constructions of data: data as communications, a container for meaning; data as subjective observations, sense-impressions filtered by knowledge; and data as objective facts, measurements revealing the relationships of reality. (shrink)

In 2002, Luciano Floridi published a paper called What is the Philosophy of Information?, where he argues for a new paradigm in philosophical research. To what extent should his proposal be accepted? Is the Philosophy of Information actually a new paradigm, in the Kuhninan sense, in Philosophy? Or is it only a new branch of Epistemology? In our discussion we will argue in defense of Floridi’s proposal. We believe that Philosophy of Information has the types of features had by other (...) areas already acknowledge as authentic in Philosophy. By way of an analogical argument we will argue that since Philosophy of Information has its own topics, method and problems it would be counter-intuitive not to accept it as a new philosophical area. To strengthen our position we present and discuss main topics of Philosophy of Information. (shrink)

Many philosophers are skeptical about the scientific value of the concept of biological information. However, several have recently proposed a more positive view of ascribing information as an exercise in scientific modeling. I argue for an alternative role: guiding empirical data collection for the sake of theorizing about the evolution of semantics. I clarify and expand on Bergstrom and Rosvall’s suggestion of taking a “diagnostic” approach that defines biological information operationally as a procedure for collecting empirical cases. The more recent (...) modeling-based accounts still perpetuate a theory-centric view of scientific concepts, which motivated philosophers’ misplaced skepticism in the first place. (shrink)

In this paper I argue that, according to a particular physicalist conception of information, information is both alethically neutral or non-alethic, and is intrinsically semantic. The conception of information presented is physicalist and reductionist, and is contrary to most current pluralist and non-reductionist philosophical opinion about the nature of information. The ontology assumed for this conception of information is based upon physicalist non-eliminative ontic structural realism. However, the argument of primary interest is that information so construed is intrinsically semantic on (...) a reductionist and non-alethic basis where semantic content is constituted by indication along causal pathways. Similar arguments have been presented by philosophers with respect to representation. I suggest the conception of information that I present is correct by the lights of the best applied mathematical and scientific theories of information. If so, there is no need for any separate theory of semantic information. Thus I present a theory of intrinsically semantic information which also constitutes an informational theory of truth where truth reduces to information. In the last section I discuss weakly and strongly semantic information, and reject them in favour of alethically neutral intrinsically semantic information. (shrink)

I present and defend a novel version of the homeostatic property cluster account of natural kinds. The core of the proposal is a development of the notion of co-occurrence, central to the HPC account, along information-theoretic lines. The resulting theory retains all the appealing features of the original formulation, while increasing its explanatory power, and formal perspicuity. I showcase the theory by applying it to the problem of reconciling the thesis that biological species are natural kinds with the fact that (...) many such species are polymorphic. (shrink)

The goal of philosophy of information is to understand what information is, how it operates, and how to put it to work. But unlike ‘information’ in the technical sense of information theory, what we are interested in is meaningful information. To understand the nature and dynamics of information in this sense we have to understand meaning. What we offer here are simple computational models that show emergence of meaning and information transfer in randomized arrays of neural nets. These we take (...) to be formal instantiations of a tradition of theories of meaning as use. What they offer, we propose, is a glimpse into the origin and dynamics of at least simple forms of meaning and information transfer as properties inherent in behavioral coordination across a community. (shrink)

This note addresses 3 issues that seem to pervade much of economic thought about individual decisions among uncertain alternatives: (1) Restricting primitives to just orderings of first-order gambles and not admitting, e.g., compound acts or joint receipt of consequences and gambles. (2) Great resistance to experimental findings that strongly suggest that most current theories fail descriptively. (3) Taking for granted the innocence of some assumptions when, in fact, they are not innocent, e.g., that constant acts are idempotent. My conclusion is (...) that these restrictions have greatly inhibited developments in utility theory. (shrink)

The computational paradigm, which has dominated psychology and artificial intelligence since the cognitive revolution, has been a source of intense debate. Recently, several cognitive scientists have argued against this paradigm, not by objecting to computation, but rather by objecting to the notion of representation. Our analysis of these objections reveals that it is not the notion of representation per se that is causing the problem, but rather specific properties of representations as they are used in various psychological theories. Our analysis (...) suggests that all theorists accept the idea that cognitive processing involves internal information-carrying states that mediate cognitive processing. These mediating states are a superordinate category of representations. We discuss five properties that can be added to mediating states and examine their importance in various cognitive models. Finally, three methodological lessons are drawn from our analysis and discussion. (shrink)

A systematic theory of naturalism, bridging metaphysics and the science of complexity and emergence.

Skyrms, building on the work of Dretske, has recently developed a novel information-theoretic account of propositional content in simple signalling systems. Information-theoretic accounts of content traditionally struggle to accommodate the possibility of misrepresentation, and I show that Skyrms’s account is no exception. I proceed to argue, however, that a modified version of Skyrms’s account can overcome this problem. On my proposed account, the propositional content of a signal is determined not by the information that it actually carries, but by the (...) information that it would carry at the nearest separating equilibrium of the underlying evolutionary dynamics. I show that this amended account yields reasonable ascriptions of false propositional content in a well-known formal model of the evolution of communication , and close with a discussion of the serious but perhaps not insuperable difficulties we face in applying the account to examples of signalling in the real world. (shrink)