The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in (...) the Open Biological and Biomedical Ontologies (OBO) Foundry library, provide a semantic structure but lack many of the necessary terms to describe biodiversity data in all its dimensions. In this paper, we describe the motivation for and ongoing development of a new Biological Collections Ontology, the Environment Ontology, and the Population and Community Ontology. These ontologies share the aim of improving data aggregation and integration across the biodiversity domain and can be used to describe physical samples and sampling processes (for example, collection, extraction, and preservation techniques), as well as biodiversity observations that involve no physical sampling. Together they encompass studies of: 1) individual organisms, including voucher specimens from ecological studies and museum specimens, 2) bulk or environmental samples (e.g., gut contents, soil, water) that include DNA, other molecules, and potentially many organisms, especially microbes, and 3) survey-based ecological observations. We discuss how these ontologies can be applied to biodiversity use cases that span genetic, organismal, and ecosystem levels of organization. We argue that if adopted as a standard and rigorously applied and enriched by the biodiversity community, these ontologies would significantly reduce barriers to data discovery, integration, and exchange among biodiversity resources and researchers. (shrink)

This paper presents the first bibliometric mapping analysis of the field of computer and information ethics (C&IE). It provides a map of the relations between 400 key terms in the field. This term map can be used to get an overview of concepts and topics in the field and to identify relations between information and communication technology concepts on the one hand and ethical concepts on the other hand. To produce the term map, a data set (...) of over thousand articles published in leading journals and conference proceedings in the C&IE field was constructed. With the help of various computer algorithms, key terms were identified in the titles and abstracts of the articles and co-occurrence frequencies of these key terms were calculated. Based on the co-occurrence frequencies, the term map was constructed. This was done using a computer program called VOSviewer. The term map provides a visual representation of the C&IE field and, more specifically, of the organization of the field around three main concepts, namely privacy, ethics, and the Internet. (shrink)

Computation and information processing are among the most fundamental notions in cognitive science. They are also among the most imprecisely discussed. Many cognitive scientists take it for granted that cognition involves computation, information processing, or both – although others disagree vehemently. Yet different cognitive scientists use ‘computation’ and ‘information processing’ to mean different things, sometimes without realizing that they do. In addition, computation and information processing are surrounded by several myths; first and foremost, that they (...) are the same thing. In this paper, we address this unsatisfactory state of affairs by presenting a general and theory-neutral account of computation and information processing. We also apply our framework by analyzing the relations between computation and information processing on one hand and classicism and connectionism on the other. We defend the relevance to cognitive science of both computation, in a generic sense that we fully articulate for the first time, and information processing, in three important senses of the term. Our account advances some foundational debates in cognitive science by untangling some of their conceptual knots in a theory-neutral way. By leveling the playing field, we pave the way for the future resolution of the debates’ empirical aspects. (shrink)

This anthology contains revised versions of selected papers presented at the fourth bi-annual international deontic logic conference, DEON’98. This volume includes our substantial introduction, and an article from me as a contributor. The volume includes papers from all four distinguished invited speakers, David Makinson, Donald Nute, Claudio Pizzi, and the founder of deontic logic, Georg Von Wright. Other notables among the authors are Dov Gabbay (co-editor of the Handbook on Philosophical Logic vols.1-4, and editor of a number of logic (...) book series); Lars Lindahl (author of Position and Change: A Study in Law and Logic); Andrew Jones (past editor of the Norwegian Journal of Philosophical Logic, and the co-author of the entry “Deontic Logic and Contrary-to-Duties” in the 2nd edition of Handbook on Philosophical Logic); and Marek Sergot (a leading researcher at the interface of deontic logic and computer science.). (shrink)

(See also the separate entry for the volume itself.) This introduction has three parts. The first providing an overview of some main lines of research in deontic logic: the emergence of SDL, Chisholm's paradox and the development of dyadic deontic logics, various other puzzles/challenges and areas of development, along with philosophical applications. The second part focus on some actual and potential fruitful interactions between deontic logic, computer science and artificial intelligence. These include applications of deontic logic to (...) AI knowledge representation in legal systems, to modelling computer systems where it is expected that sub-ideal states will emerge and require countermeasures, to norm-governed human interactions with computer systems, and to the representation of some features of multi-agent systems where different agent-like computer systems interact with one another. The third and final part briefly groups and previews the papers in the anthology. (shrink)

The subject of this study is the problem of the failure of attempts by the scientific community to come to a common understanding of what exactly information can be as something encoded into material structures and moved along with them. At the same time, the following aspects of this problem are considered in detail: what is the immediate cause of the information problem; what are the objective and subjective prerequisites for its appearance; why the unresolved nature of this (...) problem does not interfere with the creation and development of communication systems, control and other "smart" devices; is there any general guideline for finding solutions to such problems, and what is it; what role did the philosophy of information play in turning the problem of information from a private scientific problem into a problem of the ideological level. The main results of the conducted research are as follows: the immediate cause of the information problem has been identified and a comprehensively substantiated solution to this problem has been given; it has been revealed that the incompleteness of the materialistic theory of cognition has become a fertile ground for the appearance of this problem; the circumstances that prevented its completion have been identified; the natural mechanism of control and cognition has been revealed, as a result of which the materialistic theory of cognition has been further developed the source of the ideal in the material world is revealed; it is shown that the mechanistic idea of information coding made the concept of information incompatible with the presence of any objective content; it is revealed what is actually hidden behind the words about information coding and its measurement; the nature of signals and signs is revealed; a kind of bias of the philosophy of information and a general error is revealed all known concepts of information. (shrink)

Over the last four decades computers and the internet have become an intrinsic part of all our lives, but this speed of development has left related philosophical enquiry behind. Featuring the work of computer scientists and philosophers, these essays provide an overview of an exciting new area of philosophy that is still taking shape.

This volume is a collection of selected papers presented at the Second Asia-Pacific Computing and Philsosophy Conference, which was held in Bangkok, Thailand in January 2005. The conference was organized by the Center for Ethics of Science and Technology, Chulalongkorn University on behalf of the International Association of Computing and Philosophy (www.ia-cap.org). Computing have had a long relationship with philosophy, starting from the problem of how symbols being manipulated in computing bear a relation to the outside world, to those (...) of artificial intelligence, robotics, computer simulation, and so on. Moreover, as computer technologies have become thoroughly pervasive in today's environment, there are also issues concerning social and ethical impacts brought about by them. The papers in the volume represent a wide variety of concerns and various dimensions within which computing and philosophy are related. Furthermore, it also represents some of the first attempts to highlight cultural dimensions of computing and philosophy, which became prominent when the conference was held for the first time within the milieu of an Asian culture. (The First Asia-Pacific Computing and Philosophy was held in Canberra, Australia.) Hence, many of the papers in the volume address this added dimension. Apart form the usual problems of how computers and human lives are interconnected, the papers here also discuss how computers are related to human lives as lived in a specific culture. Thus the book breaks a new ground and should be of interest to a wide range of scholars and students who are interested, not only on computing and philosophy generally construed, but also on this exciting new dimension of how the cultures of Asia, the West, and others bear upon the traditional issues in computing and philosophy, and on how this dimension raises some new concerns and agenda. Among the topics discussed in this volume are: political online forums in Saudi Arabia, e-democracy and structural transformation of public sphere, the Buddhist informational person, a glance into the lives of computerized generation in Thailand, technology and journalism in the market, local approaches and global potential (?) of information ethics, computer-enhanced good life, computer teaching ethics, and many others. (shrink)

As an answer to the humanistic, socially oriented critique of the information-processing paradigms used as a conceptual frame for library information science, this article formulates a broader and less objective concept of communication than that of the information-processing paradigm. Knowledge can be seen as the mental phenomenon that documents (combining signs into text, depending on the state of knowledge of the recipient) can cause through interpretation. The examination of these “correct circumstances” is an important part of (...) information science. This article represents the following developments in the concept of information: Information is understood as potential until somebody interprets it. The objective carriers of potential knowledge are signs. Signs need interpretation to release knowledge in the form of interpretants. Interpretation is based on the total semantic network, horizons, worldviews, and experience of the person, including the emotional and social aspects. The realm of meaning is rooted in social-historical as well as embodied evolutionary processes that go beyond computational algorithmically logic. The semantic network derives a decisive aspect of signification from a person’s embodied cultural worldview, which, in turn, derives from, develops, and has its roots in undefined tacit knowledge. To theoretically encompass both the computational and the semantic aspects of document classification and retrieval, we need to combine the cybernetic functionalistic approach with the semiotic pragmatic understanding of meaning as social and embodied. For such a marriage, it is necessary to go into the constructivistic secondorder cybernetics and autopoiesis theory of von Foerster, Maturana, and Luhmann, on the one hand, and the pragmatic triadic semiotics of Peirce in the form of the embodied Biosemiotics, on the other hand. This combination is what I call Cybersemiotics. (shrink)

The introduction of computer-based information systems to be used by farmers, as in many other fields, is preceded mostly by great expectations. Some persons even tend to think that eventually the computer might take over farm management. This article tries to make an assessment of the validity of such expectations. Based upon a study among Swedish farmers, it examines the nature of farmers' decision-making. The latter is based upon an adaptive rationality, as opposed to the normative (...) models of formal rationality used by scientists. Essential to this rationality are coordination skills: the ability of farmers to arrange the many interacting factors important to the totality of a farm in a satisfactory way. What the farmer needs in this complex situation is personal communication and tacit knowledge, knowledge that cannot be reduced to facts and rules. Consequently computer-based information systems can be useful tools only in some aspects of farm management, but they will never replace farmer's decision-making. To understand the possibilities of the computer as a tool in farm management, a distinction between interpretation skills and application skills is necessary. (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)

In lieu of an abstract, here is a brief excerpt of the content:Astrology, Computers, and the VolksgeistDenis DuttonCarroll Righter is not a name you will recognize, unless, perhaps, you’re old enough and you grew up reading the Los Angeles Times. Righter was the Times’s astrologer, and encountering his name recently brought back a couple of memories from the early 1950s. I remember finding it strange that a man (he was pictured alongside his column) was called Carroll, though he didn’t spell (...) it like the girl who lived across the street. But especially I recall the fun we had when my father would read the horoscopes out loud and we’d compare them with the day’s events. Ours was a tough family for an astrologer to please, with rather different things happening to too many Aquarians, and a robust skepticism about anything of the sort later to be called “New Age.”How could I know that while we laughed and debated, somewhere else out there in the urban sprawl, Righter’s prognostications were being subjected to subtle and portentous analysis by that kingpin of the Frankfurt School, Theodor W. Adorno? Mirabile dictu, Adorno was living in L.A. at the time, and we now have his examination of Righter in The Stars Down to Earth, and Other Essays on the Irrational in Culture, edited with an excellent introduction by Stephen Crook (Routledge, $16.95). The result seems, now in the fullness of time, of mixed value and relevance. Adorno has produced an admirably accessible rhetoric of astrology, what he terms “content analysis.” In this, he is finding out for himself about the so-called cold-reading techniques of psychic consultation, practices long known to magicians and astrologers and only really understood by psychologists since Bertram Forer’s work in the 1940s. But beyond that, Adorno uses astrology to support and exemplify his theory of authoritarian irrationalism. As you might expect, this is more questionable. [End Page 424]To be sure, there are many intriguing observations throughout this mostly readable essay. In a passage perhaps even more true today than when it was written, Adorno says that a “climate of semi-erudition is the fertile breeding ground for astrology.” He refers to people who have gone just beyond the naive acceptance of the authority of science, but who don’t know enough, or who have not sufficiently developed “the power of thinking,” that they can replace such acceptance with anything better: “The semi-erudite vaguely wants to understand and is also driven by the narcissistic wish to prove superior to the plain people but he is not in a position to carry through complicated and detached intellectual operations.” In other words, quantum mechanics is pretty tough, but astrology offers sophisticated understanding of all reality in a few easy steps. Besides, astronomy is about those remote stars and planets out there—rather cold and impersonal. In Adorno’s apt title phrase, astrology brings it all down to earth, because it’s about the single most important thing in the universe: me. In an analogy that isn’t too far-fetched, he says that to the semi-erudite individual “astrology, just as other irrational creeds like racism, provides a short-cut by bringing the complex to a handy formula and offering at the same time the pleasant gratification that he who feels excluded from educational privileges nevertheless belongs to the minority of those who are ‘in the know.’” Someone once remarked that Scientology boosts self-esteem largely by giving semi-educated, degreeless persons impressive certificates to hang on their walls, and Adorno is right that there’s a similar syndrome at work with most New Age esoterica, including astrology. (In literary theory, there are no certificates, of course—you just have to learn the jargon.)Much to his credit, Adorno independently identifies many of the features of cold reading described by Forer and later writers, such as the persistent tendency of the client to personalize the general message. Of Righter’s “Follow up that intuition of yours,” or “Display that keen mind of yours,” Adorno says, “People who have any affinity at all to occultism are usually prepared to react to the information they are craving in such a way... (shrink)

Extract from Hofstadter's revew in Bulletin of American Mathematical Society : http://www.ams.org/journals/bull/1980-02-02/S0273-0979-1980-14752-7/S0273-0979-1980-14752-7.pdf -/- "Aaron Sloman is a man who is convinced that most philosophers and many other students of mind are in dire need of being convinced that there has been a revolution in that field happening right under their noses, and that they had better quickly inform themselves. The revolution is called "Artificial Intelligence" (Al)-and Sloman attempts to impart to others the "enlighten- ment" which he clearly regrets not (...) having experienced earlier himself. Being somewhat of a convert, Sloman is a zealous campaigner for his point of view. Now a Reader in Cognitive Science at Sussex, he began his academic career in more orthodox philosophy and, by exposure to linguistics and AI, came to feel that all approaches to mind which ignore AI are missing the boat. I agree with him, and I am glad that he has written this provocative book. The tone of Sloman's book can be gotten across by this quotation (p. 5): "I am prepared to go so far as to say that within a few years, if there remain any philosophers who are not familiar with some of the main developments in artificial intelligence, it will be fair to accuse them of professional incom- petence, and that to teach courses in philosophy of mind, epistemology, aesthetics, philosophy of science, philosophy of language, ethics, metaphysics, and other main areas of philosophy, without discussing the relevant aspects of artificial intelligence will be as irresponsible as giving a degree course in physics which includes no quantum theory." -/- (The author now regrets the extreme polemical tone of the book.). (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Astrology, Computers, and the VolksgeistDenis DuttonCarroll Righter is not a name you will recognize, unless, perhaps, you’re old enough and you grew up reading the Los Angeles Times. Righter was the Times’s astrologer, and encountering his name recently brought back a couple of memories from the early 1950s. I remember finding it strange that a man (he was pictured alongside his column) was called Carroll, though he didn’t spell (...) it like the girl who lived across the street. But especially I recall the fun we had when my father would read the horoscopes out loud and we’d compare them with the day’s events. Ours was a tough family for an astrologer to please, with rather different things happening to too many Aquarians, and a robust skepticism about anything of the sort later to be called “New Age.”How could I know that while we laughed and debated, somewhere else out there in the urban sprawl, Righter’s prognostications were being subjected to subtle and portentous analysis by that kingpin of the Frankfurt School, Theodor W. Adorno? Mirabile dictu, Adorno was living in L.A. at the time, and we now have his examination of Righter in The Stars Down to Earth, and Other Essays on the Irrational in Culture, edited with an excellent introduction by Stephen Crook (Routledge, $16.95). The result seems, now in the fullness of time, of mixed value and relevance. Adorno has produced an admirably accessible rhetoric of astrology, what he terms “content analysis.” In this, he is finding out for himself about the so-called cold-reading techniques of psychic consultation, practices long known to magicians and astrologers and only really understood by psychologists since Bertram Forer’s work in the 1940s. But beyond that, Adorno uses astrology to support and exemplify his theory of authoritarian irrationalism. As you might expect, this is more questionable. [End Page 424]To be sure, there are many intriguing observations throughout this mostly readable essay. In a passage perhaps even more true today than when it was written, Adorno says that a “climate of semi-erudition is the fertile breeding ground for astrology.” He refers to people who have gone just beyond the naive acceptance of the authority of science, but who don’t know enough, or who have not sufficiently developed “the power of thinking,” that they can replace such acceptance with anything better: “The semi-erudite vaguely wants to understand and is also driven by the narcissistic wish to prove superior to the plain people but he is not in a position to carry through complicated and detached intellectual operations.” In other words, quantum mechanics is pretty tough, but astrology offers sophisticated understanding of all reality in a few easy steps. Besides, astronomy is about those remote stars and planets out there—rather cold and impersonal. In Adorno’s apt title phrase, astrology brings it all down to earth, because it’s about the single most important thing in the universe: me. In an analogy that isn’t too far-fetched, he says that to the semi-erudite individual “astrology, just as other irrational creeds like racism, provides a short-cut by bringing the complex to a handy formula and offering at the same time the pleasant gratification that he who feels excluded from educational privileges nevertheless belongs to the minority of those who are ‘in the know.’” Someone once remarked that Scientology boosts self-esteem largely by giving semi-educated, degreeless persons impressive certificates to hang on their walls, and Adorno is right that there’s a similar syndrome at work with most New Age esoterica, including astrology. (In literary theory, there are no certificates, of course—you just have to learn the jargon.)Much to his credit, Adorno independently identifies many of the features of cold reading described by Forer and later writers, such as the persistent tendency of the client to personalize the general message. Of Righter’s “Follow up that intuition of yours,” or “Display that keen mind of yours,” Adorno says, “People who have any affinity at all to occultism are usually prepared to react to the information they are craving in such a way... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Astrology, Computers, and the VolksgeistDenis DuttonCarroll Righter is not a name you will recognize, unless, perhaps, you’re old enough and you grew up reading the Los Angeles Times. Righter was the Times’s astrologer, and encountering his name recently brought back a couple of memories from the early 1950s. I remember finding it strange that a man (he was pictured alongside his column) was called Carroll, though he didn’t spell (...) it like the girl who lived across the street. But especially I recall the fun we had when my father would read the horoscopes out loud and we’d compare them with the day’s events. Ours was a tough family for an astrologer to please, with rather different things happening to too many Aquarians, and a robust skepticism about anything of the sort later to be called “New Age.”How could I know that while we laughed and debated, somewhere else out there in the urban sprawl, Righter’s prognostications were being subjected to subtle and portentous analysis by that kingpin of the Frankfurt School, Theodor W. Adorno? Mirabile dictu, Adorno was living in L.A. at the time, and we now have his examination of Righter in The Stars Down to Earth, and Other Essays on the Irrational in Culture, edited with an excellent introduction by Stephen Crook (Routledge, $16.95). The result seems, now in the fullness of time, of mixed value and relevance. Adorno has produced an admirably accessible rhetoric of astrology, what he terms “content analysis.” In this, he is finding out for himself about the so-called cold-reading techniques of psychic consultation, practices long known to magicians and astrologers and only really understood by psychologists since Bertram Forer’s work in the 1940s. But beyond that, Adorno uses astrology to support and exemplify his theory of authoritarian irrationalism. As you might expect, this is more questionable. [End Page 424]To be sure, there are many intriguing observations throughout this mostly readable essay. In a passage perhaps even more true today than when it was written, Adorno says that a “climate of semi-erudition is the fertile breeding ground for astrology.” He refers to people who have gone just beyond the naive acceptance of the authority of science, but who don’t know enough, or who have not sufficiently developed “the power of thinking,” that they can replace such acceptance with anything better: “The semi-erudite vaguely wants to understand and is also driven by the narcissistic wish to prove superior to the plain people but he is not in a position to carry through complicated and detached intellectual operations.” In other words, quantum mechanics is pretty tough, but astrology offers sophisticated understanding of all reality in a few easy steps. Besides, astronomy is about those remote stars and planets out there—rather cold and impersonal. In Adorno’s apt title phrase, astrology brings it all down to earth, because it’s about the single most important thing in the universe: me. In an analogy that isn’t too far-fetched, he says that to the semi-erudite individual “astrology, just as other irrational creeds like racism, provides a short-cut by bringing the complex to a handy formula and offering at the same time the pleasant gratification that he who feels excluded from educational privileges nevertheless belongs to the minority of those who are ‘in the know.’” Someone once remarked that Scientology boosts self-esteem largely by giving semi-educated, degreeless persons impressive certificates to hang on their walls, and Adorno is right that there’s a similar syndrome at work with most New Age esoterica, including astrology. (In literary theory, there are no certificates, of course—you just have to learn the jargon.)Much to his credit, Adorno independently identifies many of the features of cold reading described by Forer and later writers, such as the persistent tendency of the client to personalize the general message. Of Righter’s “Follow up that intuition of yours,” or “Display that keen mind of yours,” Adorno says, “People who have any affinity at all to occultism are usually prepared to react to the information they are craving in such a way... (shrink)

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, (...) particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines. (shrink)

This paper presents the first bibliometric mapping analysis of the field of computer and information ethics (C&IE). It provides a map of the relations between 400 key terms in the field. This term map can be used to get an overview of concepts and topics in the field and to identify relations between information and communication technology concepts on the one hand and ethical concepts on the other hand. To produce the term map, a data set (...) of over thousand articles published in leading journals and conference proceedings in the C&IE field was constructed. With the help of various computer algorithms, key terms were identified in the titles and abstracts of the articles and co-occurrence frequencies of these key terms were calculated. Based on the co-occurrence frequencies, the term map was constructed. This was done using a computer program called VOSviewer. The term map provides a visual representation of the C&IE field and, more specifically, of the organization of the field around three main concepts, namely privacy, ethics, and the Internet. (shrink)

Computing and information, and their philosophy in the broad sense, play a most important scientific, technological and conceptual role in our world. This book collects together, for the first time, the views and experiences of some of the visionary pioneers and most influential thinkers in such a fundamental area of our intellectual development.

The emerging contemporary natural philosophy provides a common ground for the integrative view of the natural, the artificial, and the human-social knowledge and practices. Learning process is central for acquiring, maintaining, and managing knowledge, both theoretical and practical. This paper explores the relationships between the present advances in understanding of learning in the sciences of the artificial (deep learning, robotics), natural sciences (neuroscience, cognitive science, biology), and philosophy (philosophy of computing, philosophy of mind, natural philosophy). The question is, what (...) at this stage of the development the inspiration from nature, specifically its computational models such as info-computation through morphological computing, can contribute to machine learning and artificial intelligence, and how much on the other hand models and experiments in machine learning and robotics can motivate, justify, and inform research in computational cognitive science, neurosciences, and computing nature. We propose that one contribution can be understanding of the mechanisms of ‘learning to learn’, as a step towards deep learning with symbolic layer of computation/information processing in a framework linking connectionism with symbolism. As all natural systems possessing intelligence are cognitive systems, we describe the evolutionary arguments for the necessity of learning to learn for a system to reach human-level intelligence through evolution and development. The paper thus presents a contribution to the epistemology of the contemporary philosophy of nature. (shrink)

In the twenty-first century, there has been a resurgence of ecologically conscious art among artists using new technologies. Like Eco-art, this recent movement, which might be called Eco-media, is interdisciplinary. Eco-media is heavily influenced by developments in environmental science, in particular developments in remote imaging and other kinds of remote Earth sensing (for example, the widespread use of satellite imaging and GPS) and developments in computer modelling (for example, detailed global models of climate that not only model (...) the physics of the Earth and solar system, but also explore the chemistry and biology of the Earth). This article will discuss developments in media art related to the computerized interpretation of complex data sets describing and modelling the natural world. It will explore work that has historically straddled artistic and scientific development, specifically Marey's work in the nineteenth century in photography and motion pictures and give examples of artists who are working in the area in-between art and science today. It will also discuss connections between this work and the historical Romantic sublime and the political dimension of this work as advocating for the preservation of the natural world, and give examples of some of the author's artworks in this area. (shrink)

The emerging contemporary natural philosophy provides a common ground for the integrative view of the natural, the artificial, and the human-social knowledge and practices. Learning process is central for acquiring, maintaining, and managing knowledge, both theoretical and practical. This paper explores the relationships between the present advances in understanding of learning in the sciences of the artificial, natural sciences, and philosophy. The question is, what at this stage of the development the inspiration from nature, specifically its computational models such as (...) info-computation through morphological computing, can contribute to machine learning and artificial intelligence, and how much on the other hand models and experiments in machine learning and robotics can motivate, justify, and inform research in computational cognitive science, neurosciences, and computing nature. We propose that one contribution can be understanding of the mechanisms of ‘learning to learn’, as a step towards deep learning with symbolic layer of computation/information processing in a framework linking connectionism with symbolism. As all natural systems possessing intelligence are cognitive systems, we describe the evolutionary arguments for the necessity of learning to learn for a system to reach humanlevel intelligence through evolution and development. The paper thus presents a contribution to the epistemology of the contemporary philosophy of nature. (shrink)

A number of themes have been on my mind in recent months, and I have made them centerpieces of a number of things I have written lately. In a Ubiquity essay Durbin (ACM Ubiquity 8(45):26, 2007a), I said that I am happy that there are computer professionals who are activists, joining with others to solve the technosocial problems that vex our society, including problems of the computer and information professions. I here moved beyond that to make a (...) new claim about needed changes. (shrink)

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues (...) of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management. (shrink)

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problems and quite a few end-of-section exercises that will help readers consolidate their understanding of the material. This textbook is essential reading (...) for anyone interested in the logical foundations of Informatics, Computer Science, Data Science, Artificial Intelligence, and other related areas. Written with undergraduate students in these disciplines in mind, this book can very well serve the needs of interested and curious readers who wish to get a grasp of the logical principles upon which these fields are built. This book does not require readers to possess math skills beyond those learned in high school. (shrink)

Computer and information ethics, as well as other fields of applied ethics, need ethical theories which coherently unify deontological and consequentialist aspects of ethical analysis. The proposed theory of just consequentialism emphasizes consequences of policies within the constraints of justice. This makes just consequentialism a practical and theoretically sound approach to ethical problems of computer and information ethics.

The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and different (...) approaches to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

Since the cognitive revolution, it has become commonplace that cognition involves both computation and information processing. Is this one claim or two? Is computation the same as information processing? The two terms are often used interchangeably, but this usage masks important differences. In this paper, we distinguish information processing from computation and examine some of their mutual relations, shedding light on the role each can play in a theory of cognition. We recommend that theorists of cognition be (...) explicit and careful in choosing notions of computation and information and connecting them together.Keywords: Computation; Information processing; Computationalism; Computational theory of mind; Cognitivism. (shrink)

Hubert L. Dreyfus's engagement with other thinkers has always been driven by his desire to understand certain basic questions about ourselves and our world. The philosophers on whom his teaching and research have focused are those whose work seems to him to make a difference to the world. The essays in this volume reflect this desire to "make a difference"—not just in the world of academic philosophy, but in the broader world. Dreyfus has helped to create a culture of (...) reflection—of questioning the deep premises that inform and shape work in artificial intelligence and cognitive science. He has also been the primary introducer and interpreter of Martin Heidegger's work to the world of information technology. The essays in this volume represent the fruitful application of deep philosophical analysis to the concerns of our modern technological world. The sections are Coping and Intentionality; Computers and Cognitive Science; and "Applied Heidegger." In addition to cognitive science and artificial intelligence, topics include everyday skills, religion, business practices, and medical care. The book concludes with Dreyfus's responses to the essays. Contributors Daniel Andler, Patricia Benner, Albert Borgmann, Harry Collins, George Downing, Fernando Flores, Sean Kelly, Joseph Rouse, Theodore R. Schatzki, John Searle, Robert C. Solomon, Charles Spinosa, David Stern, Charles Taylor, Terry Winograd, Mark Wrathall. (shrink)

Hubert L. Dreyfus's engagement with other thinkers has always been driven by his desire to understand certain basic questions about ourselves and our world. The philosophers on whom his teaching and research have focused are those whose work seems to him to make a difference to the world. The essays in this volume reflect this desire to "make a difference"--not just in the world of academic philosophy, but in the broader world.Dreyfus has helped to create a culture of reflection--of (...) questioning the deep premises that inform and shape work in artificial intelligence and cognitive science. He has also been the primary introducer and interpreter of Martin Heidegger's work to the world of information technology. The essays in this volume represent the fruitful application of deep philosophical analysis to the concerns of our modern technological world.The sections are Coping and Intentionality; Computers and Cognitive Science; and "Applied Heidegger." In addition to cognitive science and artificial intelligence, topics include everyday skills, religion, business practices, and medical care. The book concludes with Dreyfus's responses to the essays.Contributors : Daniel Andler, Patricia Benner, Albert Borgmann, Harry Collins, George Downing, Fernando Flores, Sean Kelly, Joseph Rouse, Theodore R. Schatzki, John Searle, Robert C. Solomon, Charles Spinosa, David Stern, Charles Taylor, Terry Winograd, Mark Wrathall. (shrink)

There are currently considerable confusion and disarray about just how we should view computationalism, connectionism and dynamicism as explanatory frameworks in cognitive science. A key source of this ongoing conflict among the central paradigms in cognitive science is an equivocation on the notion of computation simpliciter. ‘Computation’ is construed differently by computationalism, connectionism, dynamicism and computational neuroscience. I claim that these central paradigms, properly understood, can contribute to an integrated cognitive science. Yet, before this claim can be (...) defended, a better understanding of ‘computation’ is required. ‘Digital computation’ is an ambiguous concept. It is not just the classical dichotomy between analogue and digital computation that is the basis for the equivocation on ‘computation’ simpliciter in cognitive science, but also the diversity of extant accounts of digital computation. There are many answers on what it takes for a system to perform digital computation. Answers to this problem range from Turing machine computation, through the formal manipulation of symbols, the execution of algorithms and others, to the strong-pancomputational thesis, according to which every physical system computes every Turing-computable function. Despite some overlap among them, extant accounts of concrete digital computation are non-equivalent, thus, rendering ‘digital computation’ ambiguous. The objective of this dissertation is twofold. First, it is to promote a clearer understanding of concrete digital computation. Accordingly, my main thesis is that not only are extant accounts of concrete digital computation non-equivalent, but most of them are inadequate. I show that these accounts are not just intensionally different (this is quite trivially the case), but also extensionally distinct. In the course of examining several key accounts of concrete digital computation, I propose the instructional information processing account, according to which digital computation is the processing of discrete data in accordance with finite instructional information. The second objective is to establish the foundational role of computation in cognitive science whilst rejecting the purported representational nature of computation. (shrink)

This book features papers from CEPE-IACAP 2015, a joint international conference focused on the philosophy of computing. Inside, readers will discover essays that explore current issues in epistemology, philosophy of mind, logic, and philosophy of science from the lens of computation. Coverage also examines applied issues related to ethical, social, and political interest. -/- The contributors first explore how computation has changed philosophical inquiry. Computers are now capable of joining humans in exploring foundational issues. Thus, we can ponder machine-generated (...) explanation, thought, agency, and other quite fascinating concepts. The papers are also concerned with normative aspects of the computer and information technology revolution. They examine technology-specific analyses of key challenges, from Big Data to autonomous robots to expert systems for infrastructure control and financial services. -/- The virtue of a collection that ranges over philosophical questions, such as this one does, lies in the prospects for a more integrated understanding of issues. These are early days in the partnership between philosophy and information technology. Philosophers and researchers are still sorting out many foundational issues. They will need to deploy all of the tools of philosophy to establish this foundation. This volume admirably showcases those tools in the hands of some excellent scholars. -/- . (shrink)

This Guide provides an ambitious state-of-the-art survey of the fundamental themes, problems, arguments and theories constituting the philosophy of computing.

Academia is a competitive environment. Early Career Researchers (ECRs) are limited in experience and resources and especially need achievements to secure and expand their careers. To help with these issues, this book offers a new approach for conducting research using the combination of mindsponge innovative thinking and Bayesian analytics. This is not just another analytics book. 1. A new perspective on psychological processes: Mindsponge is a novel approach for examining the human mind’s information processing mechanism. This conceptual framework is (...) used to construct models in studies. The framework is highly flexible and widely applicable for many different types of information processes. The mindsponge approach can help researchers discover interesting ideas or even formulate their very own theories when investigating psychosocial phenomena. This approach brings a fresh wind to the current landscape of social sciences and humanities (SSH). 2. Easy-to-follow analysis protocol: The Bayesian Mindsponge Framework (BMF analytics) is useful in terms of computing and visualizing power but also easy to learn and apply. Contrary to being intimidating, the Bayesian analytics section of this book is presented in a reader-friendly manner with a detailed yet clear step-by-step procedure. Examples are from published BMF articles, allowing readers to immediately practice the method and quickly create their own applications. With educational purposes in mind, the book is very suitable for ECRs who are looking to innovate their research methods. 3. Advocating for low-cost, high-quality research: Doing science can be very costly. Mindsponge innovative thinking and BMF analytics help produce impactful studies using openly available data on online repositories. This is based on the authors’ previous works and experiences. The book presents examples of employing the open R package bayesvl on secondary data from different sources. With less financial constraints, researchers can have more freedom of thought to pursue their curiosity and creativity. ECRs in low- and middle-income countries may find this aspect crucial in their careers. 4. Support and collaboration: The authors share their insights from experiences in the academic publishing system to help readers get through the processes of manuscript writing and peer-reviewing more easily. The authors are also ready to support other researchers with further inquiries and collaboration opportunities at the following website, mindsponge(dot)info. This book is for: a) ECRs whose only abundant resources are their innovation capacity and strength of will; b) Researchers in SSH who want to explore a novel approach to thinking and study conducting; c) Low- and middle-income countries’ researchers looking for a cost-effective research protocol; and, d) Innovative thinkers who want to turn their interesting thoughts into good publications. (shrink)

The state of computing science and, particularly, software engineering and knowledge engineering is generally considered immature. The best starting point for achieving a mature engineering discipline is a solid scientific theory, and the primary reason behind the immaturity in these fields is precisely that computing science still has no such agreed upon underlying theory. As theories in other fields of science do, this paper formally establishes the fundamental elements and postulates making up a first attempt at (...) a theory in this field, considering the features and peculiarities of computing science. The fundamental elements of this approach are informons and holons, and it is a general and comprehensive theory of software engineering and knowledge engineering that related disciplines (e.g., information systems) can particularise and/or extend to take benefit from it (Lakatos’ concepts of core theory and protective belt theories). (shrink)

In this paper, we focus attention on the role of computer system complexity in ascribing responsibility. We begin by introducing the notion of technological moral action (TMA). TMA is carried out by the combination of a computer system user, a system designer (developers, programmers, and testers), and a computer system (hardware and software). We discuss three sometimes overlapping types of responsibility: causal responsibility, moral responsibility, and role responsibility. Our analysis is informed by the well-known accounts provided by (...) Hart and Hart and Honoré. While these accounts are helpful, they have misled philosophers and others by presupposing that responsibility can be ascribed in all cases of action simply by paying attention to the free and intended actions of human beings. Such accounts neglect the part played by technology in ascriptions of responsibility in cases of moral action with technology. For both moral and role responsibility, we argue that ascriptions of both causal and role responsibility depend on seeing action as complex in the sense described by TMA. We conclude by showing how our analysis enriches moral discourse about responsibility for TMA. (shrink)

Searching for information is critical in many situations. In medicine, for instance, careful choice of a diagnostic test can help narrow down the range of plausible diseases that the patient might have. In a probabilistic framework, test selection is often modeled by assuming that people's goal is to reduce uncertainty about possible states of the world. In cognitive science, psychology, and medical decision making, Shannon entropy is the most prominent and most widely used model to formalize probabilistic uncertainty (...) and the reduction thereof. However, a variety of alternative entropy metrics (Hartley, Quadratic, Tsallis, Rényi, and more) are popular in the social and the natural sciences, computer science, and philosophy of science. Particular entropy measures have been predominant in particular research areas, and it is often an open issue whether these divergences emerge from different theoretical and practical goals or are merely due to historical accident. Cutting across disciplinary boundaries, we show that several entropy and entropy reduction measures arise as special cases in a unified formalism, the Sharma–Mittal framework. Using mathematical results, computer simulations, and analyses of published behavioral data, we discuss four key questions: How do various entropy models relate to each other? What insights can be obtained by considering diverse entropy models within a unified framework? What is the psychological plausibility of different entropy models? What new questions and insights for research on human information acquisition follow? Our work provides several new pathways for theoretical and empirical research, reconciling apparently conflicting approaches and empirical findings within a comprehensive and unified information-theoretic formalism. (shrink)

For too long, a majority of economic stories speak of perfectly informed, fully rational optimisation within a purely materialistic world – leaving a lack of evidence and explanation regarding human decision makers and entrepreneurs revolutionising the decision space. Strands like game theory and institutional economics have already adopted a more practical view. Evolutionary and behavioural economics were finally able to establish the necessary links to other disciplines – like psychology and informational science. This paper recaps selected parts of (...) the literature that favour a conceptional view of computational agents. Firstly, we invite economic modellers to question the microfoundation of their assumptions with regard to the individual or to an aggregate level of human behaviour that they truly refer to. Secondly, we illustrate the potential, as well as the limitations, that computational agents exhibit – with regard to the incorporation of creativity as the main source of innovative behaviour. Thirdly, this rather superficial collection of ideas serves as a position paper for future approaches. (shrink)

A classic source for understanding the connections between information theory and physics, this text was written by one of the giants of 20th-century physics and is appropriate for upper-level undergraduates and graduate students. Topics include the principles of coding, coding problems and solutions, the analysis of signals, a summary of thermodynamics, thermal agitation and Brownian motion, and thermal noise in an electric circuit. A discussion of the negentropy principle of information introduces the author's renowned examination of Maxwell's demon. (...) Concluding chapters explore the associations between information theory, the uncertainty principle, and physical limits of observation, in addition to problems related to computing, organizing information, and inevitable errors. 1962 ed. 81 figures. 14 tables. (shrink)

Landauer's principle, often regarded as the basic principle of the thermodynamics of information processing, holds that any logically irreversible manipulation of information, such as the erasure of a bit or the merging of two computation paths, must be accompanied by a corresponding entropy increase in non-information-bearing degrees of freedom of the information-processing apparatus or its environment. Conversely, it is generally accepted that any logically reversible transformation of information can in principle be accomplished by an appropriate (...) physical mechanism operating in a thermodynamically reversible fashion. These notions have sometimes been criticized either as being false, or as being trivial and obvious, and therefore unhelpful for purposes such as explaining why Maxwell's Demon cannot violate the second law of thermodynamics. Here I attempt to refute some of the arguments against Landauer's principle, while arguing that although in a sense it is indeed a straightforward consequence or restatement of the Second Law, it still has considerable pedagogic and explanatory power, especially in the context of other influential ideas in nineteenth and twentieth century physics. Similar arguments have been given by Jeffrey Bub. (shrink)

This article responds to two unresolved and crucial problems of cognitive science: (1) What is actually accomplished by functions of the nervous system that we ordinarily describe in the intentional idiom? and (2) What makes the information processing involved in these functions semantic? It is argued that, contrary to the assumptions of many cognitive theorists, the computational approach does not provide coherent answers to these problems, and that a more promising start would be to fall back on mathematical (...) communication theory and, with the help of evolutionary biology and neurophysiology, to attempt a characterization of the adaptive processes involved in visual perception. Visual representations are explained as patterns of cortical activity that are enabled to focus on objects in the changing visual environment by constantly adjusting to maintain levels of mutual information between pattern and object that are adequate for continuing perceptual control. In these terms, the answer proposed to (1) is that the intentional functions of vision are those involved in the establishment and maintenance of such representations, and to (2) that semantic features are added to the information processes of vision with the focus on objects that these representations accomplish. The article concludes with proposals for extending this account of intentionality to the higher domains of conceptualization and reason, and with speculation about how semantic information-processing might be achieved in mechanical systems. (shrink)