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)

Social reality of a group emerges from interpersonal perceptions and beliefs put to action under a host of environmental conditions. By extending the study of fast-and-frugal heuristics, we view social perceptions as judgment tools and assert that perceptions are ecologically rational to the degree that they adapt to the social reality. We maintain that the veracity of both stereotypes and base rates, as judgment tools, can be determined solely by accuracy research.

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)

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.

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)

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)

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

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.

This article examines how the historian deals with ‘information’ broadly conceived, especially its acquisition, retention and loss. Ammianus details a complex interplay between those who control information and those who must work with an information deficit. Just as this dialogue plays out within the text, however, so too does it with respect to the author's methodology, which dances between the poles of incomplete and complete information depending on circumstance. Ammianus thus becomes an author as hard (...) to pin down as many of his characters, by turns the omniscient narrator and the dumbfounded participant. (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)

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)

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)

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)

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) {} 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 validity M |= 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)

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)

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)

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)

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)

The taxonomy proposed by Pessoa et al. should be extended to include “pathological” completion phenomena in patients with unilateral brain damage. Patients with visual field defects (hemianopias) may “complete” whole figures, while patients with parietal lobe damage may “complete” partial figures. We argue that the former may be consistent with the brain “filling-in” information, and the latter may be consistent with the brain ignoring the absence of information.

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)

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.

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)

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)

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 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)

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)

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)

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)

Some biological processes move from step to step in a way that cannot be completely understood solely in terms of causes and correlations. This paper develops a notion of mechanistic information that can be used to explain the continuities of such processes. We compare them to processes that do not involve information. We compare our conception of mechanistic information to some familiar notions including Crick’s idea of genetic information, Shannon-Weaver information, and Millikan’s biosemantic information.

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)

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)

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)

Objectives: to assess physicians’ and patients’ views in Saudi Arabia towards involving the patient versus the family in the process of diagnosis disclosure and decision-making, and to compare them with views from the USA and Japan.Design: A self-completion questionnaire was translated to Arabic and validated.Participants: Physicians from different specialties and ranks and patients in a hospital or attending outpatient clinics from 6 different regions in KSA.Results: In the case of a patient with incurable cancer, 67% of doctors and 51% of (...) patients indicated that they would inform the patient in preference to the family of the diagnosis . Assuming the family already knew, 56% of doctors and 49% of patients would tell the patient even if family objected . However, in the case of HIV infection, 59% of physicians and 81% of patients would inform the family about HIV status without the patient’s consent . With regards to withholding ventilatory support, about 50% of doctors and over 60% of patients supported the use of mechanical ventilation in a patient with advanced cancer, regardless of the wishes of the patient or the family. Finally, the majority of doctors and patients were against assisted suicide.Conclusions: Although there was more recognition for a patient’s autonomy amongst physicians, most patients preferred a family centred model of care. Views towards information disclosure were midway between those of the USA and Japan. Distinctively, however, decisions regarding life prolonging therapy and assisted suicide were not influenced to a great extent by wishes of the patient or family, but more likely by religious beliefs. (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)

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.

As far as an adequate understanding of phenomenal consciousness is concerned, representationalist theories of mind which are modelled on the information processing paradigm, are, as much as corresponding neurobiological or functionalist theories, confronted with a series of arguments based on inverted or absent qualia considerations. These considerations display the following pattern: assuming we had complete knowledge about the neural and functional states which subserve the occurrence of phenomenal consciousness, would it not still be conceivable that these neural states (...) (or states with the same causal r. (shrink)

203 surveys were considered complete and were included in the analysis. Written consent was not used by nearly 40% of the researchers.

In this paper we introduce Dynamic Epistemic Logic, which is alogic for reasoning about information change in a multi-agent system. Theinformation structures we use are based on non-well-founded sets, and canbe conceived as bisimulation classes of Kripke models. On these structures,we define a notion of information change that is inspired by UpdateSemantics (Veltman, 1996). We give a sound and complete axiomatization ofthe resulting logic, and we discuss applications to the puzzle of the dirtychildren, and to knowledge programs.

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)

A veritable cookbook for individuals or corporations seeking funding from the federal government, The Complete Writing Guide to NIH Behavioral Science Grants contains the latest in technical information on NIH grants, including the new electronic submission process. Some of the most successful grant writers in history have contributed to this volume, offering key strategies as well as tips and suggestions in areas that are normally hard to find in grant writing guides, such as budgeting, human subjects, and power (...) analysis. A "who's who" among grant reviewers, this guidebook provides "inside" information as to why some grants are scored well while others flounder during review. A must-read for both entry level grant writers making headway in the complex NIH grant system for the first time as well as more seasoned investigators who can't seem to break the barrier to funded research grants, Drs. Scheier and Dewey's comprehensive volume provides simple and clear explanations into the reasons why some grants get funded, and a step-by-step guide to writing those grants. (shrink)

We shall introduce in this paper a language whose formulas will be interpreted by games of imperfect information. Such games will be defined in the same way as the games for first-order formulas except that the players do not have complete information of the earlier course of the game. Some simple logical properties of these games will be stated together with the relation of such games of imperfect information to higher-order logic. Finally, a set of applications (...) will be outlined. (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)