We consider measurements, described by a positive-operator-valued measure (POVM), whose outcome probabilities determine an arbitrary pure state of a D-dimensional quantum system. We call such a measurement a pure-state informationally complete (PS I-complete) POVM. We show that a measurement with 2D−1 outcomes cannot be PS I-complete, and then we construct a POVM with 2D outcomes that suffices, thus showing that a minimal PS I-complete POVM has 2D outcomes. We also consider PS I-complete POVMs that have only rank-one POVM elements and (...) construct an example with 3D−2 outcomes, which is a generalization of the tetrahedral measurement for a qubit. The question of the minimal number of elements in a rank-one PS I-complete POVM is left open. (shrink)

In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder R, its rough set-based Nelson algebra can be obtained by applying Sendlewski’s well-known construction. We prove that if the set of all R-closed elements, which may be viewed as the set of completely defined objects, is cofinal, then the rough set-based Nelson algebra determined by the quasiorder R forms (...) an effective lattice, that is, an algebraic model of the logic E 0, which is characterised by a modal operator grasping the notion of “to be classically valid”. We present a necessary and sufficient condition under which a Nelson algebra is isomorphic to a rough set-based effective lattice determined by a quasiorder. (shrink)

In the domain of information systems ontologies, the notion of completeness refers to ontological contents by demanding that they be exhaustive with respect to the domain that the ontology aims to represent. The purpose of this paper is to analyze such a notion, by distinguishing different varieties of completeness and by questioning its consistency with the open-world assumption, which formally assumes the incompleteness of conceptualizations on information systems ontologies.

There is a good deal of biomedical research that does not produce scientifically useful data because it fails to recruit a sufficient number of subjects. This fact is typically not disclosed to prospective subjects. In general, the guidance about consent concerns the information required to make intelligent self-interested decisions and ignores some of the information required for intelligent altruistic decisions. Bioethics has worried about the ‘therapeutic misconception’, but has ignored the ‘completion misconception’. This article argues that, other things being (...) equal, prospective subjects should be informed about the possibility of non-completion as part of the standard consent process if it is or should be anticipatable that there is a non-trivial possibility of non-completion and that information is likely to be relevant to a prospective subject's decision to consent. The article then considers several objections to the argument, including the objection that disclosing non-completion information would make recruitment even more difficult. (shrink)

The logical consequence relations η▹η provide a very attractive way of inferring new facts from inconsistent knowledge bases without compromising standards of credibility. In this short note we provide proof theories and completeness theorems for these consequence relations which may have some applicability in small examples.

Volume 19, Issue 5, May 2019, Page 27-28.

In a trio of recent articles, Johnson and Nado defend a form of metasemantic dispositionalism, arguing for a novel approach to the “error”-problem, based on speakers’ dispositional states under what they call a state of “full information”. In this article, I argue that their brand of dispositionalism fails to solve the “error”-problem, because of what I think of as counterexamples to it. In the final sections, I propose a way to amend the theory to shield it from some of the (...) counterexamples, based on the idea that what determines meaning is not only dispositions to apply words under full information, but also dispositions to evaluate one’s prior usage, under full information. (shrink)

Background and PurposeMany critically ill patients in intensive care units (ICUs) are unable to communicate their wishes about goals of care, particularly about the use of life-sustaining treatments. Surrogates and clinicians struggle with medical decisions because of a lack of clarity regarding patients’ preferences, leading to prolonged hospitalizations and increased costs. This project focused on the development and implementation of a tool to facilitate a better communication process by (1) assuring the early identification of a surrogate if indicated on admission (...) and (2) clarifying the decision-making standards that the surrogate was to use when participating in decision making. Before introducing the tool into the admissions routine, the staff were educated about its use and value to the decision-making process.Project and MethodsThe study was to determine if early use of a simple method of identifying a patient’s surrogate and treatment preferences might impact length of stay (LOS) and total hospital charges. A pre- and post-intervention study design was used. Nurses completed the surrogacy information tool for all patients upon admission to the neuroscience ICU. Subjects (total N=203) were critically ill patients who had been on a mechanical ventilator for 96 hours or longer, or in the ICU for seven days or longer. The project included staff education on biomedical ethics, critical communication skills, early identification of families and staff in crisis, and use of a simple tool to document patients’ surrogates and previously expressed care wishes. Data on hospital LOS and hospital charges were collected through a retrospective review of medical records for similar four-month time frames pre- and post-implementation of the assessment tool.ResultsSignificant differences were found between pre- and post-groups in terms of hospital LOS (F=6.39, p=.01) and total hospital charges (F=7.03, p=.009).ConclusionsProject findings indicate that the use of a simple admission assessment tool, supported by staff education about its completion, use, and available resources, can decrease LOS and lower total hospital charges. The reasons for the difference between the pre- and post-intervention groups remain unclear. Further research is needed to evaluate if the quality of communications between patients, their legally authorized representatives, and clinicians—as suggested in the literature—may have played a role in decreasing LOS and total hospital charges. (shrink)

Integration information theories posit that the integration of information is necessary and/or sufficient for consciousness. In this paper, we focus on three of the most prominent information integration theories: Information Integration Theory, Global Workspace Theory, and Attended Intermediate-Level Theory. We begin by explicating each theory and key concepts they utilize. We then argue that the current evidence indicates that the integration of information is neither necessary nor sufficient for consciousness. Unlike GWT and AIR, IIT maintains that conscious experience is both (...) necessary and sufficient for consciousness. We present empirical evidence indicating that simple features are experienced in the absence of feature integration and argue that it challenges IIT’s necessity claim. In addition, we challenge IIT’s sufficiency claim by presenting evidence from hemineglect cases and amodal completion indicating that contents may be integrated and yet fail to give rise to subjective experience. Moreover, we present empirical evidence from subjects with frontal lesions who are unable to carry out simple instructions and argue that they are irreconcilable with GWT. Lastly, we argue that empirical evidence indicating that patients with visual agnosia fail to identify objects they report being conscious of present a challenge to AIR’s necessity claim. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

Information is a basic structure of the world, while computation is a process of the dynamic change of information. This book provides a cutting-edge view of world's leading authorities in fields where information and computation play a central role. It sketches the contours of the future landscape for the development of our understanding of information and computation, their mutual relationship and the role in cognition, informatics, biology, artificial intelligence, and information technology. -/- This book is an utterly enjoyable and engaging (...) read which gives readers an opportunity to understand and relate phenomena seemingly unrelated in a completely new light — especially the connections between information, computation, cognition and life. -/- Contents: Cybersemiotics and the Question of Knowledge (Søren Brier) Information Dynamics in a Categorical Setting (Mark Burgin) Mathematics as a Biological Process (G J Chaitin) Information, Causation and Computation (John Collier) From Descartes to Turing: The Computational Content of Supervenience (S Barry Cooper) A Dialogue Concerning Two World Systems: Info-Computational vs Mechanistic (Gordana Dodig-Crnkovic & Vincent C Müller) Does Computing Embrace Self-Organization? (Wolfgang Hofkirchner) Analysis of Information and Computation in Physics Explains Cognitive Paradigms: From Full Cognition to Laplace Determinism to Statistical Determinism to Modern Approach (Vladik Kreinovich, Roberto Araiza & Juan Ferret) Bodies — Both Informed and Transformed Embodied Computation and Information Processing (Bruce J MacLennan) Computation on Information, Meaning and Representations: An Evolutionary Approach (Christophe Menant) Interior Grounding, Reflection, and Self-Consciousness (Marvin Minsky) A Molecular Dynamic Network: Minimal Properties and Evolutionary Implications (Walter Riofrio) Super-recursive Features of Evolutionary Processes and the Models for Computational Evolution (Darko Roglic) Towards a Modeling View of Computing (Oron Shagrir) What's Information, for an Organism or Intelligent Machine? How can a Machine or Organism Mean? (Aaron Sloman) Inconsistent Knowledge as a Natural Phenomenon: The Ranking of Reasonable Inferences as a Computational Approach to Naturally Inconsistent (Legal) Theories (Kees (CNJ) de Vey Mestdagh & Jaap Henk (JH) Hoepman) On the Algorithmic Nature of the World (Hector Zenil & Jean-Paul Delahaye) . (shrink)

Obtaining a sufficient amount of measurable and reliable results of student surveys has always posed a challenge for university teams tasked with the provision of the quality of education. This is especially visible at faculties where education is based on the classic classroom-based model, which then transfers to clinical units, hospital wards, and specialist laboratories. The highly unpredictable pandemic situation caused by the SARS-CoV-2 virus raises the bar for the evaluation of didactics. Fortunately, the continuous technological progress in the area (...) of Artificial Intelligence makes it possible to design the implementation of tools that would improve the position of systems for the management of courses of studies. The evaluation survey for didactic classes, as one of the last output data obtained during the process, may finally become a fully recognized source of information about the conducted classes and the teachers themselves. On the other hand, it may become a tool for those surveyed to influence the quality of classes, express their opinion, present suggestions and propositions generally pertaining to changes in the process of education. New information technologies not only make it possible to improve the effectiveness of reaching the recipients, but also provide completely new, very reliable methods of acquisition of credible behaviour, used as integration data in solutions based on machine communication. Using Artificial Intelligence coupled with data may make it possible to use intelligent communication for effective management of the process of surveying – a solution that has so far been used in business, in the form of the so-called bots. As a result, this would lead to an ongoing, fully quantitative and qualitative, assessment of classes. (shrink)

Informed consent is ethically incomplete and should be redefined as empowered consent. This essay challenges theoretical assumptions of the value of informed consent in light of substantial evidence of its failure in clinical practice and questions the continued emphasis on autonomy as the primary ethical justification for the practice of consent in health care. Human dignity—rather than autonomy—is advanced from a nursing ethics perspective as a preferred justification for consent practices in health care. The adequacy of an ethic of obligation (...) (namely, principlism) as the dominant theoretical lens for recognising and responding to persistent problems in consent practices is also reconsidered. A feminist empowerment framework is adopted as an alternative ethical theory to principlism and is advanced as a more practical and complete lens for examining the concept and context of consent in health care. To accomplish this, the three leading conceptions of informed consent are overviewed, followed by a feminist critique to reveal practical problems with each of them. The need for a language change from informed to empowered consent is strongly considered. Implications for consent activities in clinical practice are reviewed with focused discussion on the need for greater role clarity for all involved in consent—beyond and inclusive of the patient‐physician dyad, as the practice and improvement of consent is necessarily a transdisciplinary endeavour. Specific concrete and practical recommendations for leveraging nursing expertise in this space are presented. Perhaps what is most needed in the discourse and practice of consent in health care is nursing. (shrink)

Informed consent is the legal instrument that purports to protect an individual's autonomy and defends against medical arbitrariness. Informed Consent and Health highlights that possession of complete information about all relevant aspects of a proposed treatment is integral to the ability of a patient to make an informed choice. With patient choice at both legislative and judicial levels rising to greater levels of prominence, this timely book examines how the tensions between the rights of patients to make choices and the (...) duties of doctors to provide health care are managed.This illuminating book investigates our evolving understanding of informed consent from a range of comparative and international perspectives, demonstrating the diversity of its interpretations around the world. Chapters offer a nuanced analysis of the problems that impede the understanding and implementation of the concept of informed consent and explore the contemporary challenges that continue to hinder both the patient and the medical community.Containing an in-depth discussion on this fundamental right, this thought-provoking book will be of value to academics and practitioners alike. Providing fascinating insight into new solutions and interpretations, this book will also prove a key resource for clinicians and health care workers. (shrink)

Consider the following. The first is a one-premise argument; the second has two premises. The question sign marks the conclusions as such. -/- Matthew, Mark, Luke, and John wrote Greek. ? Every evangelist wrote Greek. -/- Matthew, Mark, Luke, and John wrote Greek. Every evangelist is Matthew, Mark, Luke, or John. ? Every evangelist wrote Greek. -/- The above pair of premise-conclusion arguments is of a sort familiar to logicians and philosophers of science. In each case the first premise is (...) logically equivalent to the set of four atomic propositions: “Matthew wrote Greek”, “Mark wrote Greek”, “Luke wrote Greek”, and “John wrote Greek”. The universe of discourse is the set of evangelists. We presuppose standard first-order logic. -/- As many logic texts teach, the first of these two premise-conclusion arguments—sometimes called a complete enumerative induction— is invalid in the sense that its conclusion does not follow from its premises. To get a counterargument, replace ‘Matthew’, ‘Mark’, ‘Luke’, and ‘John’ by ‘two’,’four’, ‘six’ and ‘eight’; replace ‘wrote Greek’ by ‘are even’; and replace ‘evangelist’ by ‘number’. This replacement converts the first argument into one having true premises and false conclusion. -/- But the same replacement performed on the second argument does no such thing: it converts the second premise into the falsehood “Every number is two, four, six, or eight”. As many logic texts teach, there is no replacement that converts the second argument into one with all true premises and false conclusion. The second is valid; its conclusion is deducible from its two premises using an instructive natural deduction. -/- This paper “does the math” behind the above examples. The theorem could be stated informally: the above examples are typical. (shrink)

By a counter-example, we show that the set of the three spin components Sx, Sy, Sz of spin-1 systems is not informationally complete.

In this report I motivate and develop a type-free logic with predicate quantifiers within the general ontological framework of properties, relations, and propositions. In Part I, I present the major ideas of the system informally and discuss its philosophical significance, especially with regard to Russell's paradox. In Part II, I prove the soundness, consistency, and completeness of the logic.

Informal political representation—the phenomenon of speaking or acting on behalf of others although one has not been elected or selected to do so by means of a systematized election or selection procedure—plays a crucial role in advancing the interests of groups. Sometimes, those who emerge as informal political representatives (IPRs) do so willingly (voluntary representatives). But, often, people end up being IPRs, either in their private lives or in more public political forums, over their own protests (unwilling representatives) or even (...) without their knowledge (unwitting representatives)—that is, they are conscripted. None of the few theories of informal political representation extant accommodate conscripted IPRs. The account detailed here introduces the phenomenon of conscripted informal political representation and explains its place in a complete theory of informal political representation. Conscripted IPRs can, like their voluntary counterparts, come to have significant power to influence how various audiences regard those for whom the conscripted IPRs speak or act. Upon attaining such power to influence, conscripted IPRs, like their voluntary counterparts, come to have pro tanto duties to those they represent—duties that arise despite IPRs’ unwittingness or unwillingness. Understanding the phenomenon of conscripted informal political representation allows us to surface essential normative questions about informal political representation that are otherwise occluded. (shrink)

Viruses are major drivers of global biogeochemistry and the etiological agents of many diseases. They are also the winners in the game of life: there are more viruses on the planet than cellular organisms and they encode most of the genetic diversity on the planet. In fact, it is reasonable to view life as a viral incubator. Nevertheless, most ecological and evolutionary theories were developed, and continue to be developed, without considering the virosphere. This means these theories need to be (...) to reinterpreted in light of viral knowledge or we need to develop new theory from the viral point-of-view. Here we briefly introduce our viral planet and then address a major outstanding question in biology: why is most of life viral? A key insight is that during an infection cycle the original virus is completely broken down and only the associated information is passed on to the next generation. This is different for cellular organisms, which must pass on some physical part of themselves from generation to generation. Based on this premise, it is proposed that the thermodynamic consequences of physical information (e.g., Landauer’s principle) are observed in natural viral populations. This link between physical and genetic information is then used to develop the Viral Information Hypothesis, which states that genetic information replicates itself to the detriment of system energy efficiency (i.e., is viral in nature). Finally, we show how viral information can be tested, and illustrate how this novel view can explain existing ecological and evolutionary theories from more fundamental principles. (shrink)

The construction of a secure and safe society using information and communication technology is recognised as an urgent issue in Japan. This recognition is based on public fear about crime related to manufactured risk caused by modernisation or industrial civilisation. This fear has created a social atmosphere that has led to the rapid development and implementation of security systems using ICT, such as security cameras, smart IC cards and mobile phones, to establish security and safety in Japanese society. However, the (...) never-ending quest for social security and safety with ICT will inevitably cause further manufactured risk, which could lead to serious problems in the future. We have to recognise such risk and control it appropriately. (shrink)

In his 1802 article for the Critical Journal, “Relationship of Skepticism to Philosophy,” Hegel attempts to articulate a form of skepticism that is “at one with every true philosophy.” Focusing on the priority that Hegel gives to ancient skepticism over its modern counterpart, Michael Forster and other commentators suggest that it is Pyrrhonism that Hegel views as one with philosophy. Since Hegel calls attention to the persistence of dogmatism even in the work of Sextus Empiricus, however, I argue that it (...) is only a sublated form of Pyrrhonism, what in the Phenomenology of Spirit he calls “self-completing skepticism,” that Hegel takes to be part of genuine philosophical cognition. In this way, I hope to show that the insight that motivates Hegel’s engagement with skepticism in the 1802 essay comes to inform the philosophical itinerary of the Phenomenology of Spirit. (shrink)

We provide a sound and complete proof system for an extension of Kleene’s ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of “is defined” is extended to terms and formulas via a straightforward recursive algorithm. The “is defined” formulas are constructed so that they themselves are always defined. The completeness proof relies on the Henkin construction. For each formula, precisely one of the (...) formula, its negation, and the negation of its “is defined” formula is true on the constructed model. Many other ternary logics in the literature can be reduced to ours. Partial functions are ubiquitous in computer science and even in (in)equation solving at schools. Our work was motivated by an attempt to precisely explain, in terms of logic, typical informal methods of reasoning in such applications. (shrink)

The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite sets. (...) However, only Henkin's proposition equivalent to an internal position to infinity is consistent . This can be retraced back to set theory and its axioms, where that of choice is a key. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that some essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, these phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or " observer'' , or "user" to infinity implied by Henkin's proposition as the only consistent ones as to infinity. An essential area of contemporary knowledge may be synthesized from a single viewpoint. (shrink)

ABSTRACT Introduction: Informed consent has been recognized as an important component of research protocols and procedures of disclosure and consent in collaborative research have been criticized, as they may not be in keeping with cultural norms of developing countries. This study, which is part of a larger project funded by the United States National Bioethics Advisory Commission, explores the opinions of developing country researchers regarding informed consent in collaborative research. Methods: A survey of developing country researchers, involved in human subject (...) research, was conducted by distributing a questionnaire with 169 questions, which included questions relating to informed consent. In addition, six focus group discussions, eight in‐depth interviews and 78 responses to open‐ended questions in the questionnaire provided qualitative data. Results: 203 surveys were considered complete and were included in the analysis. Written consent was not used by nearly 40% of the researchers in their most recent studies. A large proportion of respondents recommended that human subject regulations should allow more flexibility in ways of documenting informed consent. 84% of researchers agreed that a mechanism to measure understanding should be incorporated in research studies as part of the process of informed consent. Discussion: This paper is an empirical step in highlighting the ethical issues concerning disclosure. Health researchers in developing countries are well aware of the importance of consent in health research, and equally value the significance of educating human subjects regarding study protocols and associated risks and benefits. However, respondents emphasize the need for modifying ethical regulations in collaborative research. (shrink)

Purpose. The research is devoted to the analysis of the urgent problem of the information society: the overload of a person with information and, as a result, the impossibility of adequate formation and development of the personality; as well as the problem of "digitization" of human existence and the formation of a new reality of dataism. Theoretical basis. A lot of modern scientific works are devoted to the analysis of the information society, its problems and features. The information society is (...) a logical continuation of the scientific and technological revolution, which led to the rapid growth of scientific knowledge and the technology development. In the 20th century, technologies have touched the sphere of knowledge and information, as a result of which the formation and development of the information society, or "knowledge society", takes place. Information becomes the main resource in it, and, one way or another, a person’s life is inextricably connected with the information space. With the information society formation, the problem of information search and processing becomes one of the most urgent. It turns out that despite the abundance and availability of information, it is very difficult to determine its relevance. A lot of effort is spent on developing information retrieval algorithms. Another problem is related to the person’s inability to process large amounts of data. This situation begins to influence not only the education process and professional activity, but also the formation of a person’s personality. A person is "lost" in the information space and gradually loses his/her "I". Algorithms for data analysis come to the rescue, but gradually, instead of giving a person material for thought, they begin to make decisions on their own, and therefore, live life instead of a person. With the advent of Big Data processing algorithms, a new ideological paradigm appears – dataism, which predicts the merger of a person with the general data flow. Originality. The authors make assumptions that the dataistic future is "natural". A lot of works, including in the framework of philosophy, are focused on the problem of "dissolving" a person in the information space and finding ways to overcome it. But, in our opinion, this process is a completely logical continuation of human evolution. Conclusions. Existence of a person as a data flow is not a problem and a threat, but a new dimension of his/her being, and, therefore, requires a careful study and formulation of the main principles of this form of existence. (shrink)

Informed consent is an essential step in helping patients be aware of consequences of their treatment decisions. With surgery, it is vitally important for patients to understand the risks and benefits of the procedure and decide accordingly. We explored whether a written IC form was provided to patients; whether they read and signed it; whether they communicated orally with the physician; whether these communications influenced patient decisions. Adult postsurgical patients in nine general hospitals of Italy’s Campania Region were interviewed via (...) a structured questionnaire between the second and seventh day after the surgery at the end of the first surgical follow up visit. Physicians who were independent from the surgical team administered the questionnaire. The written IC form was given to 84.5% of those interviewed. All recipients of the form signed it, either personally or through a delegate; however, 13.9% did not know/remember having done so; 51.8% said that they read it thoroughly. Of those who reported to have read it, 90.9% judged it to be clear. Of those receiving the written consent form, 52.0% had gotten it the day before the surgery at the earliest 41.1% received it some hours or immediately before the procedure. The written IC form was explained to 65.6% of the patients, and 93.9% of them received further oral information that deemed understandable. Most attention was given to the diagnosis and the type of surgical procedure, which was communicated respectively to 92.8 and 88.2% of the patients. Almost one in two patients believed that the information provided some emotional relief, while 23.2% experienced increased anxiety. Younger patients and patients with higher levels of education were more likely to read the written IC form. The written IC form is not sufficient in assuring patients and making them fully aware of choices they made for their health; pre-operative information that was delivered orally better served the patients’ needs. To improve the quality of communication we suggest enhancing physicians’ communication skills and for them to use structured conversation to ensure that individuals are completely informed before undergoing their procedures. (shrink)

(NOTE: This is a transcript of the class. FOR THE FULL PAPER, please click on "Maxson J. McDowell".) A complete transcript of an experiment performed within a class on dream interpretation. Knowing only the dreamers age and gender, we interpreted his dream from its text. Our interpretation included predictions about the dreamer's psychological issues, and about his defenses. It also identified a series of jokes within the dream which would tend to penetrate the dreamer's defenses. When we had finished our (...) 'blind' interpretation, the bringer of the dream gave us more information about the dreamer against which we tested the accuracy of our predictions. A paper on this experiment has been submitted for publication. A link to an AUDIO-RECORDING of this class is given on the first page of this transcript. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

Luciano Floridi’s informational structural realism takes a constructionist attitude towards the problems of epistemology and metaphysics, but the question of the nature of the semantical component of his view remains vexing. In this paper, I propose to dispense with the semantical component of ISR completely. I outline a Syntactical version of ISR. The unified entropy-based framework of information has been adopted as the groundwork of SISR. To establish its realist component, SISR should be able to dissolve the latching problem. (...) We have to be able to account for the informational structures–reality relationship in the absence of the standard semantical resources. The paper offers a pragmatic solution to the latching problem. I also take pains to account for the naturalistic plausibility of this solution by grounding it in the recent computational neuroscience of the predictive coding and the free energy principle. (shrink)

Isaac Levi's new book develops further his pioneering work in formal epistemology, focusing on the problem of belief contraction, or how rationally to relinquish old beliefs. Levi offers the most penetrating analysis to date of this key question in epistemology, offering a completely new solution and explaining its relation to his earlier proposals. He mounts an argument in favor of the thesis that contracting a state of belief by giving up specific beliefs is to be evaluated in terms of the (...) value of the information lost by doing so. The rationale aims to be thoroughly decision theoretic. Levi spells out his goals and shows that certain types of recommendations are obtained if one seeks to promote these goals. He compares his approach to his earlier account of inductive expansion. The recommendations are for "mild contractions." These are formally the same as the "severe withdrawals" considered by Pagnucco and Rott. The rationale, however, is different. A critical part of the book concerns the elaboration of these differences. The results are relevant to accounts of the conditions under which it is legitimate to cease believing and to accounts of conditionals. Mild Contraction will be of great interest to all specialists in belief revision theory and to many students of formal epistemology, philosophy of science, and pragmatism. (shrink)

Three different types of interdependence between pieces of information, or "secrets", are discussed and compared. Two of them, functional dependence and non-deducibility, have been studied and axiomatized before. This article introduces a third type of interdependence and provides a complete and decidable axiomatization of this new relation.

This work fulfills the need for a conceptual and technical framework to improve understanding of Information Quality (IQ) and Information Quality standards. The meaning and practical implementation of IQ are addressed, as it is relevant to any field where there is a need to handle data and issues such as accessibility, accuracy, completeness, currency, integrity, reliability, timeliness, usability, the role of metrics and so forth are all a part of Information Quality. -/- In order to support the cross-fertilization of theory (...) and practice, the latest research is presented in this book. The perspectives of experts from beyond the origins of IQ in computer science are included: library and information science practitioners and academics, philosophers of information, of engineering and technology, and of science are all contributors to this volume. -/- The chapters in this volume are based on the work of a collaborative research project involving the Arts and Humanities Research Council and Google and led by Professor Luciano Floridi, University of Oxford. -/- This work will be of interest to anyone handling data, including those from commercial, public, governmental and academic organizations. The expert editors’ contributions introduce issues of interest to scientists, database curators and philosophers, even though the issues may be disguised in the language and examples common to a different discipline. (shrink)

In a previous article on cosmological arguments, I have put forward a few examples of complete infinite and circular explanations, and argued that complete non-wellfounded explanations such as these might explain the present state of the world better than their well-founded theistic counterparts (Billon, 2021). Although my aim was broader, the examples I gave there implied merely causal explanations. In this article, I would like to do three things: • Specify some general informative conditions for complete and incomplete non-wellfounded causal (...) explanations that can be used to assess candidate explanations and to generate new examples of complete non-wellfounded explanations. • Show that these conditions, which concern chains of causal explanations, easily generalize to chains of metaphysical, grounding explanations and even to chains involving other “determination relations” such as supervenience. • Apply these general conditions to the recent debates against the existence of nonwellfounded chains of grounds and show, with a couple of precise examples, that the latter can be complete, and that just like in the case of causal explanations, non-wellfoundedness can in fact be an aset rather than a liability. (shrink)

People enroll in medical research for many reasons ranging from decisions regarding their own or family members' health situation to broader considerations including access to health and financial resources. In socially vulnerable communities the choice to participate is often based on a risk-benefit assessment that goes beyond the medical aspects of the research, and considers the benefits received. In this qualitative study, we examined the motivations of Rwandan women to participate in a non-commercial collaborative research study examining the safety, acceptability, (...) and adherence of a contraceptive vaginal ring in Rwanda juxtaposed with the perceptions of the research within the community. 351 women attended the screening visit, four were excluded because they were not able to complete the assessment of understanding. The remaining participants' ages ranged from 17 to 38 and 80% had primary level of education or below. 120 were enrolled. Findings highlighted motivations for joining the study that were relayed both formally by the clinic and informally by the community including the positive aspects of the ring. There were also some negative rumors circulating regarding the research site, likely from excluded participants who faced potential stigma based on that exclusion. It was understood by most participants that they were enrolled in a research study and participants actively sought out enrollment in the research for a variety of reasons. The experiences demonstrate that although inequalities in access to health care may create conflicting situations around the study, it is possible to form partnerships between a research center and participants/their partners, for research about reproductive health. (shrink)

A key component of research on human sentence processing is to characterize the processing difficulty associated with the comprehension of words in context. Models that explain and predict this difficulty can be broadly divided into two kinds, expectation‐based and memory‐based. In this work, we present a new model of incremental sentence processing difficulty that unifies and extends key features of both kinds of models. Our model, lossy‐context surprisal, holds that the processing difficulty at a word in context is proportional to (...) the surprisal of the word given a lossy memory representation of the context—that is, a memory representation that does not contain complete information about previous words. We show that this model provides an intuitive explanation for an outstanding puzzle involving interactions of memory and expectations: language‐dependent structural forgetting, where the effects of memory on sentence processing appear to be moderated by language statistics. Furthermore, we demonstrate that dependency locality effects, a signature prediction of memory‐based theories, can be derived from lossy‐context surprisal as a special case of a novel, more general principle called information locality. (shrink)

Perceptual completion fills the gap for discrete perception to become continuous. Similarly, dynamic perceptual completion provides an experience of dynamic continuity. Our recent discovery of the ‘happening’ element of DPC completes the total experience for dynamism in the flow of time. However, a phenomenological explanation for these experiences is essential. The Snapshot Hypotheses especially the Dynamic Snapshot View provides the most comprehensive explanation. From that understanding the ‘two times’ problem can be addressed. The static time of spacetime cosmologies (...) has been irreconcilable with the dynamic FOT. Dismissing the FOT as an illusion is unsatisfactory. Therefore, we provide four hypotheses for the TTP.1) Since cosmological static time demands that all events are discrete, DPC elements for dynamism should likewise be expected to be discrete and accounted for by a snapshot phenomenology such as the DSV. 2) If temporality can be demonstrated to be similar to apparent motion by being a snapshot phenomenon and not demanding temporal extension it would confirm the DSV and permit reconciliation with static time. 3) If the ‘present moment’ is subjective as static time theories suggest, it should be possible experimentally for an observer to choose his own ‘present’ by moving to various points in the past with the aid of virtual reality. 4) If dynamism e.g. motion can be precluded without significant information loss or violating physics principles it is a cognitive add-on, thereby contradicting non-static time theories which suggest that time is ‘real.’ We confirm those hypotheses. (shrink)

The scientific study of consciousness emerged as an organized field of research only a few decades ago. As empirical results have begun to enhance our understanding of consciousness, it is important to find out whether other factors, such as funding for consciousness research and status of consciousness scientists, provide a suitable environment for the field to grow and develop sustainably. We conducted an online survey on people’s views regarding various aspects of the scientific study of consciousness as a field of (...) research. 249 participants completed the survey, among which 80% were in academia, and around 40% were experts in consciousness research. Topics covered include the progress made by the field, funding for consciousness research, job opportunities for consciousness researchers, and the scientific rigor of the work done by researchers in the field. The majority of respondents (78%) indicated that scientific research on consciousness has been making progress. However, most participants perceived obtaining funding and getting a job in the field of consciousness research as more difficult than in other subfields of neuroscience. Overall, work done in consciousness research was perceived to be less rigorous than other neuroscience subfields, but this perceived lack of rigor was not related to the perceived difficulty in finding jobs and obtaining funding. Lastly, we found that, overall, the global workspace theory was perceived to be the most promising (around 28%), while most non-expert researchers (around 22% of non-experts) found the integrated information theory (IIT) most promising. We believe the survey results provide an interesting picture of current opinions from scientists and researchers about the progresses made and the challenges faced by consciousness research as an independent field. They will inspire collective reflection on the future directions regarding funding and job opportunities for the field. (shrink)

Inquisitive first order logic is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers. It is not known whether is recursively axiomatizable, even though an axiomatization has been found for fragments of the logic. In this paper we define the \—classical antecedent—fragment, together with an axiomatization and a proof of its strong completeness. This result extends the ones presented in the literature and introduces a new approach to study the axiomatization problem (...) for fragments of the logic. (shrink)

We show the completeness of a Hilbert-style system LK defined by M. Valiev involving the knowledge operator K dedicated to the reasoning with incomplete information. The completeness proof uses a variant of Makinson's canonical model construction. Furthermore we prove that the theoremhood problem for LK is co-NP-complete, using techniques similar to those used to prove that the satisfiability problem for propositional S5 is NP-complete.

We consider probabilistic theories in which the most elementary system, a two-dimensional system, contains one bit of information. The bit is assumed to be contained in any complete set of mutually complementary measurements. The requirement of invariance of the information under a continuous change of the set of mutually complementary measurements uniquely singles out a measure of information, which is quadratic in probabilities. The assumption which gives the same scaling of the number of degrees of freedom with the dimension as (...) in quantum theory follows essentially from the assumption that all physical states of a higher dimensional system are those and only those from which one can post-select physical states of two-dimensional systems. The requirement that no more than one bit of information (as quantified by the quadratic measure) is contained in all possible post-selected two-dimensional systems is equivalent to the positivity of density operator in quantum theory. (shrink)

We define a complete measurement of a quantum observable (POVM) as a measurement of the maximally refined (rank-1) version of the POVM. Complete measurements give information on the multiplicities of the measurement outcomes and can be viewed as state preparation procedures. We show that any POVM can be measured completely by using sequential measurements or maximally refinable instruments. Moreover, the ancillary space of a complete measurement can be chosen to be minimal.

Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. Also, we (...) show that the universal canonical model of $$\mathsf{PDL}$$ lacks the property of modal harmony, the analogue of the Truth lemma for modal operators. (shrink)

We enrich intuitionistic logic with a lax modal operator ○ and define a corresponding intensional enrichment of Kripke models M = (W, ⊑, V) by a function T giving an effort measure T(w, u) ∈ \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $${\mathbb{N}} \cup$$ \end{document} {∞} for each ⊑-related pair (w, u). We show that ○ embodies the abstraction involved in passing from “ϕ true up to bounded effort” to “ϕ true outright”. We then introduce a refined (...) notion of intensional validityM |= p : ϕ and present a corresponding intensional calculus iLC-h which gives a natural extension by lax modality of the well-known G: odel/dummett logic LC of (finite) linear Kripke models. Our main results are that for finite linear intensional models L the intensional theory iTh(L) = {p : ϕ | L |= p : ϕ} characterises L and that iLC-h generates complete information about iTh(L).Our paper thus shows that the quantitative intensional information contained in the effort measure T can be abstracted away by the use of ○ and completely recovered by a suitable semantic interpretation of proofs. (shrink)

This article develops a model of informed consent for fresh oöcyte donation for stem cell research, during in vitro fertilisation (IVF), by building on the importance of patients’ embodied experience. Informed consent typically focuses on the disclosure of material information. Yet this approach does not incorporate the embodied knowledge that patients acquire through lived experience. Drawing on interview data from 35 patients and health professionals in an IVF clinic in Australia, our study demonstrates the uncertainty of IVF treatment, and the (...) tendency for patients to overestimate their chances of success prior to the experience of treatment. Once in active treatment, however, patients identify their oöcytes as both precious and precarious. We argue that it is necessary to formally include embodied experience as a source of knowledge in informed consent procedures, both for gratuitous donation and for egg-sharing regimes. We recommend that at least one full cycle of IVF be completed before approaching women to divert eggs away from their own fertility treatment. (shrink)

In the paper ‘Genetic information, insurance, and a pluralistic approach to justice’, Jonathan Pugh1 develops an argument from unresolved pluralism in our theories of justice, via the pluralism this occasions in relation to the specific question of the use of genetic test results in insurance underwriting, to the conclusion that the UK regulatory approach in relation to the use of GTRs in insurance is broadly correct.1 Pugh’s argument is wide-ranging and I cannot provide a complete critique of it in this (...) short comment, but I will gesture towards some strands of the argument that are potentially problematic. The first potential problem in the argument is that Pugh bases his argument on a very extensive range of accounts of justice, including pure maximising consequentialism, strict egalitarianism and libertarianism, among many others. If these are all accounts of justice, it is not strange that there is pluralism of conclusions in relation to a specific question of justice or discrimination, such as the use of GTRs in the underwriting of specific kinds of insurance contracts. Pugh’s range, for instance, includes accounts of justice that deny the direct importance of distributive concerns as well as accounts that see distributive concerns as crucial. These accounts disagree not only about the answer to Pugh’s question but also about …. (shrink)