The Logic of Information


Book Description

Luciano Floridi presents an innovative approach to philosophy, conceived as conceptual design. He explores how we make, transform, refine, and improve the objects of our knowledge. His starting point is that reality provides the data, to be understood as constraining affordances, and we transform them into information, like semantic engines. Such transformation or repurposing is not equivalent to portraying, or picturing, or photographing, or photocopying anything. It is more like cooking: the dish does not represent the ingredients, it uses them to make something else out of them, yet the reality of the dish and its properties hugely depend on the reality and the properties of the ingredients. Models are not representations understood as pictures, but interpretations understood as data elaborations, of systems. Thus, he articulates and defends the thesis that knowledge is design and philosophy is the ultimate form of conceptual design. Although entirely independent of Floridi's previous books, The Philosophy of Information (OUP 2011) and The Ethics of Information (OUP 2013), The Logic of Information both complements the existing volumes and presents new work on the foundations of the philosophy of information.




Logic and the Organization of Information


Book Description

Logic and the Organization of Information closely examines the historical and contemporary methodologies used to catalogue information objects—books, ebooks, journals, articles, web pages, images, emails, podcasts and more—in the digital era. This book provides an in-depth technical background for digital librarianship, and covers a broad range of theoretical and practical topics including: classification theory, topic annotation, automatic clustering, generalized synonymy and concept indexing, distributed libraries, semantic web ontologies and Simple Knowledge Organization System (SKOS). It also analyzes the challenges facing today’s information architects, and outlines a series of techniques for overcoming them. Logic and the Organization of Information is intended for practitioners and professionals working at a design level as a reference book for digital librarianship. Advanced-level students, researchers and academics studying information science, library science, digital libraries and computer science will also find this book invaluable.







Logic and Information Flow


Book Description

The logic of information flow has applications in both computer science and natural language processing and is a growing area within mathematical and philosophical logic.




The Logic of Knowledge Bases


Book Description

This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge—a knowledge base. The system is not programmed for specific tasks; rather, it is told what it needs to know and expected to infer the rest. This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it.




Information Flow


Book Description

Information is a central topic in computer science, cognitive science and philosophy. In spite of its importance in the 'information age', there is no consensus on what information is, what makes it possible, and what it means for one medium to carry information about another. Drawing on ideas from mathematics, computer science and philosophy, this book addresses the definition and place of information in society. The authors, observing that information flow is possible only within a connected distribution system, provide a mathematically rigorous, philosophically sound foundation for a science of information. They illustrate their theory by applying it to a wide range of phenomena, from file transfer to DNA, from quantum mechanics to speech act theory.




Epistemic Logic


Book Description

Epistemic logic is the branch of philosophical thought that seeks to formalize the discourse about knowledge. Its object is to articulate and clarify the general principles of reasoning about claims to and attributions of knowledge. This comprehensive survey of the topic offers the first systematic account of the subject as it has developed in the journal literature over recent decades. Rescher gives an overview of the discipline by setting out the general principles for reasoning about such matters as propositional knowledge and interrogative knowledge. Aimed at graduate students and specialists, Epistemic Logic elucidates both Rescher's pragmatic view of knowledge and the field in general.




Information: A Very Short Introduction


Book Description

We live an information-soaked existence - information pours into our lives through television, radio, books, and of course, the Internet. Some say we suffer from 'infoglut'. But what is information? The concept of 'information' is a profound one, rooted in mathematics, central to whole branches of science, yet with implications on every aspect of our everyday lives: DNA provides the information to create us; we learn through the information fed to us; we relate to each other through information transfer - gossip, lectures, reading. Information is not only a mathematically powerful concept, but its critical role in society raises wider ethical issues: who owns information? Who controls its dissemination? Who has access to information? Luciano Floridi, a philosopher of information, cuts across many subjects, from a brief look at the mathematical roots of information - its definition and measurement in 'bits'- to its role in genetics (we are information), and its social meaning and value. He ends by considering the ethics of information, including issues of ownership, privacy, and accessibility; copyright and open source. For those unfamiliar with its precise meaning and wide applicability as a philosophical concept, 'information' may seem a bland or mundane topic. Those who have studied some science or philosophy or sociology will already be aware of its centrality and richness. But for all readers, whether from the humanities or sciences, Floridi gives a fascinating and inspirational introduction to this most fundamental of ideas. ABOUT THE SERIES: The Very Short Introductions series from Oxford University Press contains hundreds of titles in almost every subject area. These pocket-sized books are the perfect way to get ahead in a new subject quickly. Our expert authors combine facts, analysis, perspective, new ideas, and enthusiasm to make interesting and challenging topics highly readable.




Logic for Information Technology


Book Description

This introduction to logic as it applies to information technology is written specifically from the point of view of computer science students. The author's approach adheres to imparting the canonical logic theories--propositional calculus and first-order predicate calculus. The text first introduces a wide range of general logic concepts that are applicable to any variety of logic, followed by detailed clear exposition of the propositional and predicate calculuses and their proof theories. Different methods of validating propositional inferences, as well as the means of determining the adequacy of such methods, are discussed. Algorithmic aspects are stressed, as is the deductive character of logic. The author takes pains throughout the text to eradicate a number of common confusions and misunderstandings, including those between the material conditional (if/then) and logical implication; between syntactical and semantical consequence relations (deducibility vs entailment); and between Use and Mention. All variables used in the predicate calculus are bound by quantifiers, thus avoiding the cumbersome use of variable assignments.




Uncovering the Logic of English: A Common-Sense Solution to America's Literacy Crisis


Book Description

"English is so illogical!" It is generally believed that English is a language of exceptions. For many, learning to spell and read is frustrating. For some, it is impossible... especially for the 29% of Americans who are functionally illiterate. But what if the problem is not the language itself, but the rules we were taught? What if we could see the complexity of English as a powerful tool rather than a hindrance? --Denise Eide Uncovering the Logic of English challenges the notion that English is illogical by systematically explaining English spelling and answering questions like "Why is there a silent final E in have, large, and house?" and "Why is discussion spelled with -sion rather than -tion?" With easy-to-read examples and anecdotes, this book describes: - the phonograms and spelling rules which explain 98% of English words - how English words are formed and how this knowledge can revolutionize vocabulary development - how understanding the reasons behind English spelling prevents students from needing to guess The author's inspiring commentary makes a compelling case that understanding the logic of English could transform literacy education and help solve America's literacy crisis. Thorough and filled with the latest linguistic and reading research, Uncovering the Logic of English demonstrates why this systematic approach should be as foundational to our education as 1+1=2.