The paper considers the symmetries of a bit of information corresponding to one, two or three qubits of quantum information and identifiable as the three basic symmetries of the Standard model, U(1), SU(2), and SU(3) accordingly. They refer to “empty qubits” (or the free variable of quantum information), i.e. those in which no point is chosen (recorded). The choice of a certain point violates those symmetries. It can be represented furthermore as the choice of a privileged reference (...) frame (e.g. that of the Big Bang), which can be described exhaustively by means of 16 numbers (4 for position, 4 for velocity, and 8 for acceleration) independently of time, but in space-time continuum, and still one, 17th number is necessary for the mass of rest of the observer in it. The same 17 numbers describing exhaustively a privileged reference frame thus granted to be “zero”, respectively a certain violation of all the three symmetries of the Standard model or the “record” in a qubit in general, can be represented as 17 elementary wave functions (or classes of wave functions) after the bijection of natural and transfinite natural (ordinal) numbers in Hilbert arithmetic and further identified as those corresponding to the 17 elementary of particles of the Standard model. Two generalizations of the relevant concepts of general relativity are introduced: (1) “discrete reference frame” to the class of all arbitrarily accelerated reference frame constituting a smooth manifold; (2) a still more general principle of relativity to the general principle of relativity, and meaning the conservation of quantum information as to all discrete reference frames as to the smooth manifold of all reference frames of general relativity. Then, the bijective transition from an accelerated reference frame to the 17 elementary wave functions of the Standard model can be interpreted by the still more general principle of relativity as the equivalent redescription of a privileged reference frame: smooth into a discrete one. The conservation of quantum information related to the generalization of the concept of reference frame can be interpreted as restoring the concept of the ether, an absolutely immovable medium and reference frame in Newtonian mechanics, to which the relative motion can be interpreted as an absolute one, or logically: the relations, as properties. The new ether is to consist of qubits (or quantum information). One can track the conceptual pathway of the “ether” from Newtonian mechanics via special relativity, via general relativity, via quantum mechanics to the theory of quantum information (or “quantum mechanics and information”). The identification of entanglement and gravity can be considered also as a ‘byproduct” implied by the transition from the smooth “ether of special and general relativity’ to the “flat” ether of quantum mechanics and information. The qubit ether is out of the “temporal screen” in general and is depicted on it as both matter and energy, both dark and visible. (shrink)

Information can be considered as the most fundamental, philosophical, physical and mathematical concept originating from the totality by means of physical and mathematical transcendentalism (the counterpart of philosophical transcendentalism). Classical and quantum information, particularly by their units, bit and qubit, correspond and unify the finite and infinite. As classical information is relevant to finite series and sets, as quantum information, to infinite ones. A fundamental joint relativity of the finite and infinite, of the external (...) and internal is to be investigated. The corresponding invariance is able to define physical action and its quantity only on the basis of information and especially: on the relativity of classical and quantum information. The concept of transcendental time, an epoché in relation to the direction of time arrow can be defined. Its correlate is that information invariant to the finite and infinite, therefore unifying both classical and quantum information. (shrink)

We present an informational view of classical propositional logic that stems from a kind of informational semantics whereby the meaning of a logical operator is specified solely in terms of the information that is actually possessed by an agent. In this view the inferential power of logical agents is naturally bounded by their limited capability of manipulating “virtual information”, namely information that is not implicitly contained in the data. Although this informational semantics cannot be expressed by (...) any finitely-valued matrix, it can be expressed by a non-deterministic 3-valued matrix that was first introduced by W.V.O. Quine, but ignored by the logical community. Within the general framework presented in [21] we provide an in-depth discussion of this informational semantics and a detailed analysis of a specific infinite hierarchy of tractable approximations to classical propositional logic that is based on it. This hierarchy can be used to model the inferential power of resource-bounded agents and admits of a uniform proof-theoretical characterization that is half-way between a classical version of Natural Deduction and the method of semantic tableaux. (shrink)

We use the system of p-adic numbers for the description of information processes. Basic objects of our models are so-called transformers of information, basic processes are information processes and statistics are information statistics (thus we present a model of information reality). The classical and quantum mechanical formalisms on information p-adic spaces are developed. It seems that classical and quantum mechanical models on p-adic information spaces can be applied for the investigation of (...) flows of information in cognitive and social systems, since a p-adic metric gives a quite natural description of the ability to form associations. (shrink)

El presente artículo busca ofrecer un análisis conceptual de la noción de información, a partir del modo en que es definida por las teorías formales de Claude Shannon y de Benjamin Schumacher. Contra la postura según la cual existen dos tipos de información de naturalezas diferentes, una información clásica y una información cuántica, aquí argumentamos que no hay razones suficientes para sostener la existencia de la información cuántica como un nuevo tipo sustancialmente distinto de información. Afirmamos así que existe un (...) único tipo de información que puede ser codificado de diversas maneras, en particular, mediante sistemas clásicos o sistemas cuánticos. Esta posición nos conducirá a concebir un concepto unificado y abstracto de información, en un contexto donde la teoría de Shannon resulta neutral e independiente de las teorías físicas utilizadas para describir las partes involucradas en el proceso de transmitir información, y la teoría de Schumacher no define un nuevo tipo de entidad informacional, sino una manera alternativa de codificar la información mediante estados cuánticos. The aim of this article is to offer a conceptual analysis of the notion of information, on the basis of the way in which it is defined by the theories of Claude Shannon and of Benjamin Schumacher. Against the position according to which there are two kinds of information of different natures, a classical information and a quantum information, here we argue that there are not sufficient reasons to maintain the existence of quantum information as a new and substantially different kind of information. So we claim that there is only one kind of information, which can be encoded in different ways, in particular, by means of classical or quantum systems. This position will lead us to conceive an unified and abstract concept of information in a context where Shannon's theory is neutral and independent from the physical theories used to describe the stages involved in the process of transmitting information, and Schumacher's theory does not define a new kind of informational entity, but a alternative way of coding information by means of quantum states. (shrink)

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences and distinguishability and is formalized using the distinctions of a partition. All the definitions of simple, joint, conditional and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose (...) of this paper is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates that are distinguished by the measurement. Both the classical and quantum versions of logical entropy have simple interpretations as “two-draw” probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states. (shrink)

Semantics connected to some information based metaphor are well-known in logic literature: a paradigmatic example is Kripke semantic for Intuitionistic Logic. In this paper we start from the concrete problem of providing suitable logic-algebraic models for the calculus of attribute dependencies in Formal Contexts with information gaps and we obtain an intuitive model based on the notion of passage of information showing that Kleene algebras, semi-simple Nelson algebras, three-valued ukasiewicz algebras and Post algebras of order three are, (...) in a sense, naturally and directly connected to partially defined information systems. In this way wecan provide for these logic-algebraic structures a raison dêetre different from the original motivations concerning, for instance, computability theory. (shrink)

Dynamical activities within living eukaryotic cells are organized by microtubules, main structural components of the cytoskeleton and cylindrical polymers of the protein tubulin. Evidence and theoretical models suggest that states of tubulin may play the role of “bits” in classical microtubule computational automata. The advent of quantum information devices, key roles played by quantum processes in protein dynamics, and coherent ordering in the cell cytoplasm further suggest that microtubules may function as quantum computational devices, and that mesoscopic and (...) macroscopic quantum states are characteristic of living systems. In this paper new results from molecular dynamics simulation based on recently obtained atomic structure of tubulin are presented which provide support for classical and quantum modes of microtubule information processing. (shrink)

The paper investigates the understanding of quantum indistinguishability after quantum information in comparison with the “classical” quantum mechanics based on the separable complex Hilbert space. The two oppositions, correspondingly “distinguishability / indistinguishability” and “classical / quantum”, available implicitly in the concept of quantum indistinguishability can be interpreted as two “missing” bits of classical information, which are to be added after teleportation of quantum information to be restored the initial state unambiguously. That new understanding of (...) quantum indistinguishability is linked to the distinction of classical (Maxwell-Boltzmann) versus quantum (either Fermi-Dirac or Bose-Einstein) statistics. The latter can be generalized to classes of wave functions (“empty” qubits) and represented exhaustively in Hilbert arithmetic therefore connectible to the foundations of mathematics, more precisely, to the interrelations of propositional logic and set theory sharing the structure of Boolean algebra and two anti-isometric copies of Peano arithmetic. (shrink)

Quantum Information Theory and the Foundations of Quantum Mechanics is a conceptual analysis of one of the most prominent and exciting new areas of physics, providing the first full-length philosophical treatment of quantum information theory and the questions it raises for our understanding of the quantum world. -/- Beginning from a careful, revisionary, analysis of the concepts of information in the everyday and classical information-theory settings, Christopher G. Timpson argues for an ontologically deflationary account of (...) the nature of quantum information. Against what many have supposed, quantum information can be clearly defined (it is not a primitive or vague notion) but it is not part of the material contents of the world. Timpson's account sheds light on the nature of nonlocality and information flow in the presence of entanglement and, in particular, dissolves puzzles surrounding the remarkable process of quantum teleportation. In addition it permits a clear view of what the ontological and methodological lessons provided by quantum information theory are; lessons which bear on the gripping question of what role a concept like information has to play in fundamental physics. Topics discussed include the slogan 'Information is Physical', the prospects for an informational immaterialism (the view that information rather than matter might fundamentally constitute the world), and the status of the Church-Turing hypothesis in light of quantum computation. -/- With a clear grasp of the concept of information in hand, Timpson turns his attention to the pressing question of whether advances in quantum information theory pave the way for the resolution of the traditional conceptual problems of quantum mechanics: the deep problems which loom over measurement, nonlocality and the general nature of quantum ontology. He marks out a number of common pitfalls to be avoided before analysing in detail some concrete proposals, including the radical quantum Bayesian programme of Caves, Fuchs, and Schack. One central moral which is drawn is that, for all the interest that the quantum information-inspired approaches hold, no cheap resolutions to the traditional problems of quantum mechanics are to be had. (shrink)

We examine the problem of the existence (in classical and/or quantum physics) of longitudinal limitations of measurability, defined as limitations preventing the measurement of a given quantity with arbitrarily high accuracy. We consider a measuring device as a generalized communication system, which enables us to use methods of information theory. As a direct consequence of the Shannon theorem on channel capacity, we obtain an inequality which limits the accuracy of a measurement in terms of the average power necessary (...) to transmit the information content of the measurement itself. This inequality holds in a classical as well as in a quantum framework. (shrink)

The surprising aspects of quantum information are due to two distinctly non-classical features of the quantum world: first, different quantum states need not be orthogonal and, second, quantum states may be entangled. Non-orthogonality leads to the blurring of classical distinctions. On the other hand, entanglement leads via non-locality to teleportation and other ``entanglement-assisted'' forms of communication that go beyond what is classically possible. In this article we attempt to understand these new possibilities via an analysis of the (...) significance of entanglement for the basic physical concepts of a ``particle'' and a ``localized physical system''. Classical particles can be individuated on the basis of qualitative differences in their sets of properties. But in entangled states the ``particle labels'' of the quantum formalism usually do not pick out such sets of individuating particle properties. It is sometimes nevertheless possible to think in terms of individual particles, which may be localized; but we argue that in general the structure of quantum mechanics is at odds with such a particle interpretation. This finally leads us to the conclusion that quantum mechanics is best seen as not belonging to the category of space-time theories, in which physical quantities are functions on space-time points. The resulting picture of the quantum world is relevant for our understanding of the way in which quantum theory is non-local, and it sheds light on the novel aspects of quantum information. (shrink)

We present the consequences of the assumption of the classical and quantum nature of information storing and processing in the brain. These assumptions result in different behaviours of consciousness under a hypothetical brain copy experiment. The subject is important in the context of ‘mind uploading’ considerations.

Typically, a logic consists of a formal or informal language together with a deductive system and/or a model-theoretic semantics. The language is, or corresponds to, a part of a natural language like English or Greek. The deductive system is to capture, codify, or simply record which inferences are correct for the given language, and the semantics is to capture, codify, or record the meanings, or truth-conditions, or possible truth conditions, for at least part of the language.

One major fault line in foundational theories of cognition is between the so-called “representational” and “non-representational” theories. Is it possible to formulate an intermediate approach for a foundational theory of cognition by defining a conception of representation that may bridge the fault line? Such an account of representation, as well as an account of correspondence semantics, is offered here. The account extends previously developed agent-based pragmatic theories of semantic information, where meaning of an information state is defined by (...) its interface role, to a theory that accommodates a notion of representation and correspondence semantics. It is argued that the account can be used to develop an intermediate approach to cognition, by showing that the major sources of tension between “representational” and “non-representational” theories may be eased. (shrink)

One major fault line in foundational theories of cognition is between the so-called “representational” and “non-representational” theories. Is it possible to formulate an intermediate approach for a foundational theory of cognition by defining a conception of representation that may bridge the fault line? Such an account of representation, as well as an account of correspondence semantics, is offered here. The account extends previously developed agent-based pragmatic theories of semantic information, where meaning of an information state is defined by (...) its interface role, to a theory that accommodates a notion of representation and correspondence semantics. It is argued that the account can be used to develop an intermediate approach to cognition, by showing that the major sources of tension between “representational” and “non-representational” theories may be eased. (shrink)

Information may be extracted from a quantum–mechanical system only by means of inference. For this reason, the observer, although not required as such for obtaining an eigenstate of the measured observable on a given system, is necessary for obtaining information.

This book celebrates and expands on J. Michael Dunn’s work on informational interpretations of logic. Dunn, in his Ph.D. thesis, introduced a semantics for first-degree entailments utilizing the idea that a sentence can provide positive or negative information about a topic, possibly supplying both or neither. He later published a related interpretation of the logic R-mingle, which turned out to be one of the first relational semantics for a relevance logic. An incompatibility relation between information states lends itself (...) to a definition of negation and it has figured into Dunn's comprehensive investigations into representations of various negations. The informational view of semantics is also a prominent theme in Dunn’s research on other logics, such as quantum logic and linear logic, and led to the encompassing theory of generalized Galois logics. Dunn’s latest work addresses informational interpretations of the ternary accessibility relation and the very nature of information. The book opens with Dunn’s autobiography, followed by a list of his publications. It then presents a series of papers written by respected logicians working on different aspects of information-based logics. The topics covered include the logic R-mingle, which was introduced by Dunn, and its applications in mathematical reasoning as well as its importance in obtaining results for other relevance logics. There are also interpretations of the accessibility relation in the semantics of relevance and other non-classical logics using different notions of information. It also presents a collection of papers that develop semantics for various logics, including certain modal and many-valued logics. The publication of this book is well timed, since we are living in an "information age.” Providing new technical findings, intellectual history and careful expositions of intriguing ideas, it appeals to a wide audience of scholars and researchers. (shrink)

I take 'informal logic' to be the (descriptive and normative) study of 'real arguments'-arguments which are or have been used with the aim of convincing others of a point of view. I argue that the informal logic tradition thus conceived (i) lends strong support to something like Quine's view that our beliefs really support one another like the filaments in a spider's web--and thus that the traditional view that implication is an asymmetric relation is false; (ii) suggests that the classic (...) division of arguments into deductive and inductive has distorted our thinking about the evaluation of real arguments; and (iii) implies that naturalised epistemology is on the right track. (shrink)

Some physicists seem to believe that quantum information theory requires a new concept of information (Jozsa, 1998, Quantum information and its properties. In: Hoi-Kwong Lo, S. Popescu, T. Spiller (Eds.), Introduction to Quantum Computation and Information, World Scientific, Singapore, (pp. 49-75); Deutsch & Hayden, 1999, Information flow in entangled quantum subsystems, preprint quant-ph/9906007). I will argue that no new concept is necessary. Shannon's concept of information is sufficient for quantum information theory. Properties that (...) are cited to contrast quantum information and classical information (i.e., Shannon information) actually point to differences in our ability to manipulate, access, and transfer information depending on whether quantum systems, opposed to classical systems, are used in a communication system. I also demonstrate that conceptually puzzling phenomena in quantum information theory, such as dense coding, teleportation, and Schumacher coding, all of which are cited as evidence that a new concept of information is required, do not have to be regarded as such. (shrink)

This book addresses the fascinating cross-disciplinary field of quantum information theory applied to the study of brain function. It offers a self-study guide to probe the problems of consciousness, including a concise but rigorous introduction to classical and quantum information theory, theoretical neuroscience, and philosophy of the mind. It aims to address long-standing problems related to consciousness within the framework of modern theoretical physics in a comprehensible manner that elucidates the nature of the mind-body relationship. The reader (...) also gains an overview of methods for constructing and testing quantum informational theories of consciousness. (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)

Some physicists seem to believe that quantum information theory requires a new concept of information , Introduction to Quantum Computation and Information, World Scientific, Singapore, ; Deutsch & Hayden, 1999, Information flow in entangled quantum subsystems, preprint quant-ph/9906007). I will argue that no new concept is necessary. Shannon's concept of information is sufficient for quantum information theory. Properties that are cited to contrast quantum information and classical information actually point to differences (...) in our ability to manipulate, access, and transfer information depending on whether quantum systems, opposed to classical systems, are used in a communication system. I also demonstrate that conceptually puzzling phenomena in quantum information theory, such as dense coding, teleportation, and Schumacher coding, all of which are cited as evidence that a new concept of information is required, do not have to be regarded as such. (shrink)

Informational semantics were first developed as an interpretation of the model-theory of substructural (and especially relevant) logics. In this paper we argue that such a semantics is of independent value and that it should be considered as a genuine alternative explication of the notion of logical consequence alongside the traditional model-theoretical and the proof-theoretical accounts. Our starting point is the content-nonexpansion platitude which stipulates that an argument is valid iff the content of the conclusion does not exceed the combined content (...) of the premises. We show that this basic platitude can be used to characterise the extension of classical as well as non-classical consequence relations. The distinctive trait of an informational semantics is that truth-conditions are replaced by information-conditions. The latter leads to an inversion of the usual order of explanation: Considerations about logical discrimination (how finely propositions are individuated) are conceptually prior to considerations about deductive strength. Because this allows us to bypass considerations about truth, an informational semantics provides an attractive and metaphysically unencumbered account of logical consequence, non-classical logics, logical rivalry and pluralism about logical consequence. (shrink)

The environment is a continuous source of matter and energy, which dynamizes the adaptive processes of biological systems, so that these systems emerge, persist or are extinguished as a consequence of their reactions to the environment. This perspective, forged from classical physics, gives way to multiple ecological theories, with evolution being the most prominent one. In all these cases, information would be both dependent and subsequent to matter and energy. Thus, the emergence and dynamics of genetic material or (...) ecological attributes such as abundance, richness or diversity depend mainly on the interaction of these two fundamental states. However, recent approaches from quantum physics and complexity views put forward the notion that information can be independent and prior to matter and energy, which allows us to see ecological processes from another perspective, i.e., as including complex biological systems as capable of showing emergent properties such as cognition. We proposed here a set of postulates and ideas that suggests how the ability to manipulate (internalize, integrate, store and generate) information can be developed by those systems, which would directly and non-randomly influence ecological attributes and their dynamics; i.e., how this property can possibly help replacing the notion of the environment as the ultimate cause of changes. Besides fully detailing the sources of knowledge and our rationale in this sense, we have also discussed how these thoughts and possibilities can be employed in devising better and more comprehensive approaches for biological conservation strategies. (shrink)

We present an information-theoretic interpretation of quantum formalism based on a Bayesian framework and devoid of any extra axiom or principle. Quantum information is construed as a technique for analyzing a logical system subject to classical constraints, based on a question-and-answer procedure. The problem is posed from a particular batch of queries while the constraints are represented by the truth table of a set of Boolean functions. The Bayesian inference technique consists in assigning a probability distribution within (...) a real-valued probability space to the joint set of queries in order to satisfy the constraints. The initial query batch is not unique and alternative batches can be considered at will. They are enabled mechanically from the initial batch, quite simply by transcribing the probability space into an auxiliary Hilbert space. It turns out that this sole procedure leads to exactly rediscover the standard quantum information theory and thus provides an information-theoretic rationale to its technical rules. In this framework, the great challenges of quantum mechanics become simple platitudes: Why is the theory probabilistic? Why is the theory linear? Where does the Hilbert space come from? In addition, most of the paradoxes, such as uncertainty principle, entanglement, contextuality, nonsignaling correlation, measurement problem, etc., become straightforward features. In the end, our major conclusion is that quantum information is nothing but classical information processed by a mature form of Bayesian inference technique and, as such, consubstantial with Aristotelian logic. (shrink)

This paper investigates the link between informational consequence and credence. I first suggest a natural constraint, namely that informational consequence should preserve certainty: on any rational credence distribution, when the premises of an informational inferences have credence 1, the conclusion also has credence 1. Then I show that the certainty‐preserving constraint leads to triviality. In particular, the following three claims are incompatible: (i) informational consequence is extensionally distinct from classical consequence; (ii) informational inferences preserve certainty; (iii) credences obey (a (...) subset of) classical Bayesian constraints. The proof is straightforward, but the theoretical implications are substantial. Informational theorists need to either give up the idea that credence applies to epistemic discourse, or develop a nonclassical theory of credence and credal update. Moreover, the result also suggests that there is a connection between informational consequence and triviality results, including classical triviality results like Lewis's. (shrink)

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

In this paper, I analyze the physical content of the main information concepts in the history of physics of the last seven decades. I argue that this physical character should be evaluated not by appealing to analytical-linguistic confusion (Timpson 2013) or to the usefulness of its applicability (Lombardi et al. 2016), but properly from its capacity to allow us to acquire significant knowledge about the physical world. After systematically employing this epistemic criterion of physical significance I will conclude by (...) rejecting the main strategies of ontological inflation and physical content of the main information concepts in the classical thermal physics literature. (shrink)

In this brief overview paper, we analyse information flow in the brain. Although Shannon’s information concept, in its pure algebraic form, has made a number of valuable contributions to neuroscience, information dynamics within the brain is not fully captured by its classical description. These additional dynamics consist of self-organisation, interplay of stability/instability, timing of sequential processing, coordination of multiple sequential streams, circular causality between bottom-up and top-down operations, and information creation. Importantly, all of these processes (...) are dynamic, hierarchically nested and correspond to continuous brain state change, even if the external environment remains constant. This is where metastable coordination comes into play. In a metastable regime of brain functioning, as a result of the simultaneous co-existence of tendencies for independence and cooperation, information is continuously created, preserved for some time and then dissipated through the formation of dynamical and nested spatio-temporal coalitions among simple neuronal assemblies and larger coupled conglomerates of them—so-called delocalised operational modules. (shrink)

Volume II of Classical Recursion Theory describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. The first half of the book provides a detailed picture of the computable sets from the perspective of Theoretical Computer Science. Besides giving a detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity classes, ranging from (...) small time and space bounds to the elementary functions, with a particular attention to polynomial time and space computability. It also deals with primitive recursive functions and larger classes, which are of interest to the proof theorist. The second half of the book starts with the classical theory of recursively enumerable sets and degrees, which constitutes the core of Recursion or Computability Theory. Unlike other texts, usually confined to the Turing degrees, the book covers a variety of other strong reducibilities, studying both their individual structures and their mutual relationships. The last chapters extend the theory to limit sets and arithmetical sets. The volume ends with the first textbook treatment of the enumeration degrees, which admit a number of applications from algebra to the Lambda Calculus. The book is a valuable source of information for anyone interested in Complexity and Computability Theory. The student will appreciate the detailed but informal account of a wide variety of basic topics, while the specialist will find a wealth of material sketched in exercises and asides. A massive bibliography of more than a thousand titles completes the treatment on the historical side. (shrink)

In the chapter “Information and Content” of their Impossible Worlds, Berto and Jago provide us with a semantic account of information in deductive reasoning such that we have an explanation for why some, but not all, logical deductions are informative. The framework Berto and Jago choose to make sense of the above-mentioned idea is a semantic interpretation of Sequent Calculus rules of inference for classical logic. I shall argue that although Berto and Jago’s idea and framework are (...) hopeful, their definitions do not capture what is intended. This is so because the definitions are solely based on the logical complexity of an argument and they fail to capture the richness of the non- logical content of that argument. Then I will suggest some amendments to address this problem. Finally, I will extend the application of the definitions to first-order logic. It shall be observed that in some classical deductions, applying contraction may lead to hiding some epistemic impossibilities. This happens when formulae which contribute different propositions to the proof get contracted at the quantified level. (shrink)

The brain is composed of electrically excitable neuronal networks regulated by the activity of voltage-gated ion channels. Further portraying the molecular composition of the brain, however, will not reveal anything remotely reminiscent of a feeling, a sensation or a conscious experience. In classical physics, addressing the mind–brain problem is a formidable task because no physical mechanism is able to explain how the brain generates the unobservable, inner psychological world of conscious experiences and how in turn those conscious experiences steer (...) the underlying brain processes toward desired behavior. Yet, this setback does not establish that consciousness is non-physical. Modern quantum physics affirms the interplay between two types of physical entities in Hilbert space: unobservable quantum states, which are vectors describing what exists in the physical world, and quantum observables, which are operators describing what can be observed in quantum measurements. Quantum no-go theorems further provide a framework for studying quantum brain dynamics, which has to be governed by a physically admissible Hamiltonian. Comprising consciousness of unobservable quantum information integrated in quantum brain states explains the origin of the inner privacy of conscious experiences and revisits the dynamic timescale of conscious processes to picosecond conformational transitions of neural biomolecules. The observable brain is then an objective construction created from classical bits of information, which are bound by Holevo’s theorem, and obtained through the measurement of quantum brain observables. Thus, quantum information theory clarifies the distinction between the unobservable mind and the observable brain, and supports a solid physical foundation for consciousness research. (shrink)

Informed consent is the single most important concept for understanding decision-making capacity. There is a steady pull in the clinical world to transform capacity into a technical concept that can be tested objectively, usually by calling for a psychiatric consult. This is a classic example of medicalization. In this article I argue that is a mistake, not just unnecessary but wrong, and explain how to normalize capacity assessment.Returning the locus of capacity assessment to the attending, the primary care doctor, and (...) even to ethics consultation in today's environment will require a substantial effort to undo a strong but illusory impression of capacity assessment. Hospital attorneys as well as clinical ethicists with a sophisticated understanding of health law can be in the vanguard of this reorientation. (shrink)

An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and principles useful in solving them, and (...) it develops algorithmic methods for certain classes of such problems. The results are then applied to classical number theory, in particular, to questions concerning possible refinements of the 1931 Gödel Axiom Set, e.g. whether any of its axioms can be analyzed into “informational atoms”. Two propositions are “informationally unconnected” [with each other] if no informative (nontautological) consequence of one also follows from the other. A proposition is an “informational atom” if it is informative but no information can be dropped from it without rendering it uninformative (tautological). Presentation, employment, and investigation of these two new concepts are prominent features of this paper. (shrink)

There are aspects of privacy theory that are analogous to quantum theory. In particular one can define distillable key and key cost in parallel to distillable entanglement and entanglement cost. We present here classical privacy theory as a particular case of information theory with adversaries, where similar general laws hold as in entanglement theory. We place the result of Renner and Wolf—that intrinsic information is lower bound for key cost—into this general formalism. Then we show that the (...) question of whether intrinsic information is equal to key cost is equivalent to the question of whether Alice and Bob can create a distribution product with Eve using I M bits of secret key. We also propose a natural analogue of relative entropy of entanglement in privacy theory and show that it is equal to the intrinsic information. We also provide a formula analogous to the entanglement of formation for classical distributions. (shrink)

Explores the gamut of social theory Classical and Contemporary Social Theory: Investigation and Application, 1/e, is the most comprehensive, informative social theory book on the market. The title covers multiple schools of thought and applies their ideas to society today. Readers will learn the origins of social theory and understand the role of myriad social revolutions that shaped the course of societies around the world. MySearchLab is a part of the Delaney program. Research and writing tools, including access to (...) academic journals, help students explore social theory in even greater depth. To provide students with flexibility, students can download the eText to a tablet using the free Pearson eText app. This title is available in a variety of formats - digital and print. Pearson offers its titles on the devices students love through Pearson's MyLab products, CourseSmart, Amazon, and more. (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)

As one may have noticed, the title of this paper is somewhat provocative. We found Roman Krzanowski’s (2020a,b,c; 2022) proposed approach to the problem of information very intriguing. Our aim here is to highlight some advantages when it comes to answering some fundamental questions in the philosophy of physics and metaphysics, as well as the philosophy of information and computer science. This issue is of great importance, so we propose that the introduction of some subtle distinctions between ontological (...) and epistemological information can be regarded as being analogous to G.F.R. Ellis’s analyses of the passage of time in his concept of the Crystallizing Block Universe (Ellis and Goswami, 2012). This analogy could be useful when further studying the relations between different types of information. We also suggest some subjects for further study, ones where Krzanowski’s proposal could serve as a very solid foundation for examining traditional metaphysical issues by combining classical philosophical doctrines with the new approach. (shrink)

This is a survey paper. Contents: 1 Introduction ― 2 Preliminary remarks on information, truth and mind - 2.1 Remarks on information and truth - 2.2 Some clues from the philosophy of mind - 2.3 Functionalism as applied to belief revision - 2.4 Filling in the parameters ― 3 Belief change = revision + reflection - 3.1 Foundationalism - 3.2 Coherentism ― 4 Inference operations for simple change operations: three examples - 4.1 Example 1: flat data bases - (...) 4.2 Example 2: up-sets in prioritized data bases - 4.3 Example 3: maximal-consistent sets in prioritized data bases ― 5 Representing coherentist belief change by operations on prioritized data bases - 5.1 Moderate revision - 5.2 Revision by comparison ― 6 A very brief history of belief revision - 6.1 The 1980s: AGM's classical model - 6.2 The 1990s: iteration - 6.3 The 2000s: merging ― 7 Conclusion. (shrink)

Situation theory, and channel theory in particular, have been used to provide motivational accounts of the ternary relation semantics of relevant, substructural, and various non-classical logics. Among the constraints imposed by channel-theory, we must posit a certain existence criterion for situations which result from the composites of multiple channels (this is used in modeling information flow). In associative non-classical logics, it is relatively easy to show that a certain such condition is met, but the problem is trickier (...) in non-associative logics. Following Tedder (2017), where it was shown that the conjunction-conditional fragment of the logic B admits the existence of composite channels, I present a generalised ver- sion of the previous argument, appropriate to logics with disjunction, in the neighbourhood ternary relation semantic framework. I close by suggesting that the logic BB+(^I), which falls between Lavers' system BB+ and B+ , satisfies the conditions for the general argument to go through (and prove that it satisfies all but one of those conditions). (shrink)