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)

The Foundational Model of Anatomy (FMA) is a map of the human body. Like maps of other sorts – including the map-like representations we find in familiar anatomical atlases – it is a representation of a certain portion of spatial reality as it exists at a certain (idealized) instant of time. But unlike other maps, the FMA comes in the form of a sophisticated ontology of its objectdomain, comprising some 1.5 million statements of anatomical relations among some 70,000 anatomical kinds. (...) It is further distinguished from other maps in that it represents not some specific portion of spatial reality (say: Leeds in 1996), but rather the generalized or idealized spatial reality associated with a generalized or idealized human being at some generalized or idealized instant of time. It will be our concern in what follows to outline the approach to ontology that is represented by the FMA and to argue that it can serve as the basis for a new type of anatomical information science. We also draw some implications for our understanding of spatial reasoning and spatial ontologies in general. (shrink)

We propose as a UCGIS research priority the topic of “Ontological Foundations for Geographic Information.” Under this umbrella we unify several interrelated research subfields, each of which deals with different perspectives on geospatial ontologies and their roles in geographic information science. While each of these subfields could be addressed separately, we believe it is important to address ontological research in a unitary, systematic fashion, embracing conceptual issues concerning what would be required to establish an exhaustive ontology of (...) the geospatial domain, issues relating to the choice of appropriate methods for formalizing ontologies, and considerations regarding the design of ontology-driven information systems. This integrated approach is necessary, because there is a strong dependency between the methods used to specify an ontology, and the conceptual richness, robustness and tractability of the ontology itself. Likewise, information system implementations are needed as testbeds of the usefulness of every aspect of an exhaustive ontology of the geospatial domain. None of the current UCGIS research priorities provides such an integrative perspective, and therefore the topic of “Ontological Foundations for Geographic Information Science” is unique. (shrink)

Broadening participation in early science, technology, engineering and math learning outside of school is important for families experiencing poverty. We evaluated variations of the Teaching Together STEM pre-kindergarten program for increasing parent involvement in STEM learning. This informal STEM, family engagement program was offered in 20 schools where 92% of students received free/reduced lunch. The core treatment included a series of family education workshops, text messages, and family museum passes. The workshops were delivered at school sites by museum outreach (...) educators. We randomly assigned schools to business-as-usual control or one of three additive treatment groups. Using an additive treatment design, we provided the core program in Treatment A, we added take-home STEM materials in Treatment B, and added materials + parent monetary rewards in Treatment C. The primary outcome was parent involvement in STEM. There were no significant impacts of any treatment on parent involvement; however, the groups that added take-home materials had larger effect sizes on parent involvement at posttest and later, kindergarten follow-up. Adding parent monetary rewards only produced short-term improvements in parent involvement that faded at follow-up. We discuss implications for other community-sponsored family engagement programs focused on informal STEM learning, including considering characteristics of families who were more versus less likely to attend. These null findings suggest that alternatives to in-person family education workshops should be considered when parents are experiencing poverty and have competing demands on their time. (shrink)

(1997). Information science as a paradigmatic instance of a problem‐based theory. World Futures: Vol. 49, The Quest for a Unified Theory of Information, pp. 251-273.

PurposeThe current study aims to review the emerging trends as revealed in masters' theses and doctoral dissertations written over the past five years (2002‐2006) in information science departments worldwide, and to examine how social and ethical issues are reflected in these research projects.Design/methodology/approachThe ProQuest digital dissertations database was used to identify the studies, and studies conducted in the Department of Information Science at Bar‐Ilan University in Israel during the same years were also added to the sample. (...) To locate these projects studies, all studies that received the subject classification of “library science” “information science” or both during those years in the ProQuest digital dissertations system were retrieved yet only studies conducted in departments of information science were included in the sample. The dissertations and theses retrieved were divided into nine categories.FindingsA clear trend can be identified in masters' theses and doctoral dissertations research conducted over the past five years in departments of information science worldwide. The social aspects of information are moving into the spotlight. It appears that the user and his/her ability to sift through the vast sea of information will be the primary research focus in the twenty‐first century.Originality/valueThe paper presents the current trends in research in the field of information science. The findings will be relevant for researchers and curriculum planners in information science. (shrink)

The rapid development of information science and technology today, its impact on culture and society, and how we should respond to this new phenomenon in our cultural undertakings is something that is probably of concern to many people. I would like to approach this question from the macro level, from the interrelationship between cultural exchange and the culture industry, linking it to the current state of international cultural exchange.

This paper analyses the relations between philosophy of information (PI), library and information science (LIS) and social epistemology (SE). In the first section, it is argued that there is a natural relation between philosophy and LIS but that SE cannot provide a satisfactory foundation for LIS. SE should rather be seen as sharing with LIS a common ground, represented by the study of information, to be investigated by a new discipline, PI. In the second section, the (...) nature of PI is outlined as the philosophical area that studies the conceptual nature of information, its dynamics and problems. In the third section, LIS is defined as a form of applied PI. The hypothesis supported is that PI should replace SE as the philosophical discipline that can best provide the conceptual foundation for LIS. In the conclusion, it is suggested that the 'identity' crisis undergone by LIS has been the natural outcome of a justified but precocious search for a philosophical counterpart that has emerged only recently: namely, PI. The development of LIS should not rely on some borrowed, pre-packaged theory. As applied PI, LIS can fruitfully contribute to the growth of basic theoretical research in PI itself and thus provide its own foundation. (shrink)

The concept of information and its relation to biosemiotics is a major area of contention among biosemioticians. Biosemioticians influenced by von Uexküll, Sebeok, Bateson and Peirce are critical of the way the concept as developed in information science has been applied to biology, while others believe that for biosemiotics to gain acceptance it will have to embrace information science and distance biosemiotics from Peirce’s philosophical work. Here I will defend the influence of Peirce on biosemiotics, (...) arguing that information science and biosemiotics as these were originally formulated are radically opposed research traditions. Failure to appreciate this will undermine the challenge of biosemiotics and other anti-reductionist traditions to mainstream science with its reductionist ambition to explain everything through physics. However, for this challenge to be successful, it will be necessary to respond to criticisms of Peircian ideas, jettisoning ideas that are no longer defensible and integrating ideas allied to his anti-reductionist agenda. Here I will argue that the natural philosophy of Gilbert Simondon, offering a searching critique of the application of the new concept of information and cybernetics to the life and human sciences, provides the means to defend and advance Peirce’s core ideas and thereby defend post-reductionist biosemiotics. (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.

Aesthetic responsivity and the phenomenology of arts processes reflect integrative self-world engagements, and are informative about the nature of the world and our biology in ways that are often not be made evident through scientific research. Akins’ and Hahn’s research regarding human trichromatic visual perception brings together the art of photography, neuroscience, and psychophysics, along with analyses of perspectives on vision in science and philosophy, to invoke anti-reductive, holistic understandings of how we see colour. We bring aesthetics and the (...) phenomenology of arts processes to bear in exploring creaturely re-sponsivity to the complex inter-relational dynamics of light perception, and o˙er reflective metaphors for human engagements that challenge Darwinian utilitarian conceptions. We argue that attending to aesthetic and phenomenological aspects of experiences is essential to understanding how the shared circuits of cognition and sensory-motor engagement shape our perceptive responsive interactions. (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)

PurposeThe purpose of this paper is to introduce readers to the social and ethnical dimensions of information science.Design/methodology/approachThe paper provides a literature survey on the concept of information science and its history. It describes the different developments involved in the development of information science as a research field. It present various definitions and domains of the field that represent different stages of information science evolution.FindingsThis paper presents an updated image of information (...) science as a research field that takes into consideration a user centered approach and social and ethical issues that are involved in the information processes.Originality/valueThe paper describes the contribution of information science to social and ethical aspects of the information age such as: individual empowerment, education toward information awareness, information needs, the problem of decision making, manipulation of search result on the web and the role of the information professionals in diminishing digital divide. (shrink)

Recent developments regarding the pharmacology of psychoactive substances are significant for treating depressions or opioid addictions. Current theories, hypotheses, and models of drug effects assume a cause–effect narrative, which is based on a stimulus/response mechanism. These narratives prioritize effects rather than conscious experiences. In this sense, drug experiences are quickly subsumed into common categories and codes of biological determinism. If subjective experiences are in the focus of the research, it quickly becomes a link to mystical, spiritual, or transcendental narratives. These (...) classifications lead to epistemological doublets (Gadamer). In this article, psychedelic experiences of drug users are analyzed in the frame of the pharmaco-analysis by Deleuze/Guattari. These framed psychedelic experiences are interpreted by means of a non-philosophical approach through philo-fictions (Laruelle), i.e., contradictory assumptions and hyperspeculations. In this respect, the aim of this article is to bring philo-fictions in relation to psychedelic experiences and to discuss them with models of information science, quantum mechanics, new materialism, and the philosophy of immanence. The result will be an open synthesis, with the assumption of further reflections on the agency, immanence, and the wholeness of matter. (shrink)

This paper demonstrates the practical and philosophical strengths of adopting Luciano Floridi’s “general definition of information” (GDI) for use in the information sciences (IS). Many definitions of information have been proposed, but little work has been done to determine which definitions are most coherent or useful. Consequently, doubts have been cast on the necessity and possibility of finding a definition. In response to these doubts, the paper shows how items and events central to IS are adequately described (...) by Floridi’s conception of information, and demonstrates how it helps clarify the muddy theoretical framework resulting from the many previous definitions. To this end, it analyzes definitions, popular in IS, that conceive of information as energy, processes, knowledge, and physical objects. The paper finds that each of these definitions produces problematic or counterintuitive implications that the GDI suitably accounts for. It discusses the role of truth in IS, notes why the GDI is preferable to its truth-requiring variant, and ends with comments about the import of such a theory for IS research and practice. (shrink)

We undeniably live in an information age—as, indeed, did those who lived before us. After all, as the cultural historian Robert Darnton pointed out: ‘every age was an age of information, each in its own way’ (Darnton 2000: 1). Darnton was referring to the news media, but his insight surely also applies to the sciences. The practices of acquiring, storing, labeling, organizing, retrieving, mobilizing, and integrating data about the natural world has always been an enabling aspect of scientific (...) work. Natural history and its descendant discipline of biological taxonomy are prime examples of sciences dedicated to creating and managing systems of ordering data. In some sense, the idea of biological taxonomy as an information science is commonplace. Perhaps it is because of its self-evidence that the information science perspective on taxonomy has not been a major theme in the history and philosophy of science. The botanist Vernon Heywood once pointed out that historians of biology, in their ‘preoccupation with the development of the sciences of botany and zoology… [have] diverted attention from the role of taxonomy as an information science’ (Heywood 1985: 11). More specifically, he argued that historians had failed to appreciate how principles and practices that can be traced to Linnaeus constituted ‘a change in the nature of taxonomy from a local or limited folk communication system and later a codified folk taxonomy to a formal system of information science [that] marked a watershed in the history of biology’ (ibid.). A similar observation could be made about twentieth-century philosophy of biology, which mostly skipped over practical and epistemic questions about information management in taxonomy. The taxonomic themes that featured in the emerging philosophy of biology literature in the second half of the twentieth century were predominantly metaphysical in orientation. This is illustrated by what has become known as the ‘essentialism story’: an account about the essentialist nature of pre- Darwinian taxonomy that used to be accepted by many historians and philosophers, and which stimulated efforts to document and interpret shifts in the metaphysical understanding of species and (natural) classification (Richards 2010; Winsor 2003; Wilkins 2009). Although contemporary debates in the philosophy of taxonomy have moved on, much discussion continues to focus on conceptual and metaphysical issues surrounding the nature of species and the principles of classification. Discussions centring on whether species are individuals, classes, or kinds have sprung up as predictably as perennials. Raucous debates have arisen even with the aim of accommodating the diversity of views: is monism, pluralism, or eliminativism about the species category the best position to take? In addition to these, our disciplines continue to interrogate what is the nature of these different approaches to classification: are they representational or inferential roles of different approaches to classification (evolutionary taxonomy, phenetics, phylogenetic systematics)? While there is still much to learn from these discussions—in which we both actively participate—our aim with this topical collection has been to seek different entrypoints and address underexposed themes in the history and philosophy of taxonomy. We believe that approaching taxonomy as an information science prompts new questions and can open up new philosophical vistas worth exploring. A twenty-first century information science turn in the history and philosophy of taxonomy is already underway. In scientific practice and in daily life it is hard to escape the imaginaries of Big Data and the constant threats of being ‘flooded with data’. In the life sciences, these developments are often associated with the socalled bioinformatics crisis that can hopefully be contained by a new, interdisciplinary breed of bioinformaticians. These new concepts, narratives, and developments surrounding the centrality of data and information systems in the biological and biomedical sciences have raised important philosophical questions about their challenges and implications. But historical perspectives are just as necessary to judge what makes our information age different from those that preceded us. Indeed, as the British zoologist Charles Godfray has often pointed out, the piles of data that are being generated in contemporary systematic biology have led to a second bioinformatics crisis, the first being the one that confronted Linnaeus in the mid-18th century (Godfray 2007). Although our aim is to clear a path for new discussions of taxonomy from an information science-informed point of view, we continue where others in the history, philosophy, and sociology of science have already trod. We believe that an appreciation of biological taxonomy as an information science raises many questions about the philosophical, theoretical, material, and practical aspects of the use and revision of biological nomenclatures in different local and global communities of scientists and citizen scientists. In particular, conceiving of taxonomy as an information science directs attention to the temporalities of managing an accumulating data about classified entities that are themselves subject to revision, to the means by which revision is accomplished, and to the semantic, material, and collaborative contexts that mediate the execution of revisions. (shrink)

This landmark work traces the heritage of thought, from the beginnings of modern science in the seventeenth century, until today, that has influenced the profession of library and information science.

"This work is a valuable casebook, specifically for library and information science professionals, that presents numerous case studies that combine theories of ...