In this article, I define and then defend the principle of information closure (pic) against a sceptical objection similar to the one discussed by Dretske in relation to the principle of epistemic closure. If I am successful, given that pic is equivalent to the axiom of distribution and that the latter is one of the conditions that discriminate between normal and non-normal modal logics, a main result of such a defence is that one potentially good reason to (...) look for a formalization of the logic of “ $S$ is informed that $p$ ” among the non-normal modal logics, which reject the axiom, is also removed. This is not to argue that the logic of “ $S$ is informed that $p$ ” should be a normal modal logic, but that it could still be insofar as the objection that it could not be, based on the sceptical objection against pic, has been removed. In other word, I shall argue that the sceptical objection against pic fails, so such an objection provides no ground to abandon the normal modal logic B (also known as KTB) as a formalization of “ $S$ is informed that $p$ ”, which remains plausible insofar as this specific obstacle is concerned. (shrink)

Information processing in neural systems can be described and analysed at multiple spatiotemporal scales. Generally, information at lower levels is more fine-grained but can be coarse-grained at higher levels. However, only information processed at specific scales of coarse-graining appears to be available for conscious awareness. We do not have direct experience of information available at the scale of individual neurons, which is noisy and highly stochastic. Neither do we have experience of more macro-scale interactions, such as (...) interpersonal communications. Neurophysiological evidence suggests that conscious experiences co-vary with information encoded in coarse-grained neural states such as the firing pattern of a population of neurons. In this article, we introduce a new informational theory of consciousness: Information Closure Theory of Consciousness (ICT). We hypothesise that conscious processes are processes which form non-trivial informational closure (NTIC) with respect to the environment at certain coarse-grained scales. This hypothesis implies that conscious experience is confined due to informational closure from conscious processing to other coarse-grained scales. ICT proposes new quantitative definitions of both conscious content and conscious level. With the parsimonious definitions and a hypothesise, ICT provides explanations and predictions of various phenomena associated with consciousness. The implications of ICT naturally reconcile issues in many existing theories of consciousness and provides explanations for many of our intuitions about consciousness. Most importantly, ICT demonstrates that information can be the common language between consciousness and physical reality. (shrink)

Christoph Jäger (2004) argues that Dretske's information theory of knowledge raises a serious problem for his denial of closure of knowledge under known entailment: Information is closed under known entailment (even under entailment simpliciter); given that Dretske explains the concept of knowledge in terms of "information", it is hard to stick with his denial of closure for knowledge. Thus, one of the two basic claims of Dretske would have to go. Since giving up the denial (...) of closure would commit Dretske to skepticism, it would most probably be better to rather give up the information-theoretic account of knowledge. But that means that one of the best externalist views of knowledge has to be given up. I argue here that Jäger is mistaken and that there is no problem for Dretske. There is a rather easy way out of Jäger’s problem. (shrink)

Christoph Jäger has argued that Dretske’s information-based account of knowledge is committed to both knowledge and information closure under known entailment. However, in a reply to Jäger, Dretske defended his view on the basis of a discrepancy between the relation of information and the relation of logical implication. This paper shares Jäger’s criticism that Dretske’s externalist notion of information implies closure, but provides an analysis based on different grounds. By means of a distinction between (...) two perspectives, the mathematical perspective and the epistemological perspective, I present, in the former, a notion of logical implication that is compatible with the notion of information in the mathematical theory of information, and I show how, in the latter, Dretske’s logical reading of the closure principle is incompatible with his information-theoretic epistemological framework. (shrink)

The topic of this paper may be introduced by fast zooming in and out of the philosophy of information. In recent years, philosophical interest in the nature of information has been increasing steadily. This has led to a focus on semantic information, and then on the logic of being informed, which has attracted analyses concentrating both on the statal sense in which S holds the information that p (this is what I mean by logic of being (...) informed in the rest of this article) and on the actional sense in which S becomes informed that p. One of the consequences of the logic debate has been a renewed epistemological interest in the principle of information closure (henceforth PIC), which finally has motivated a revival of a skeptical objection against its tenability first made popular by Dretske. This is the topic of the paper, in which I seek to defend PIC against the skeptical objection. If I am successful, this means – and we are now zooming out – that the plausibility of PIC is not undermined by the skeptical objection, and therefore that a major epistemological argument against the formalization of the logic of being informed based on the axiom of distribution in modal logic is removed. But since the axiom of distribution discriminates between normal and non-normal modal logics, this means that a potentially good reason to look for a formalization of the logic of being informed among the non-normal modal logics, which reject the axiom, is also removed. And this in turn means that a formalization of the logic of being informed in terms of the normal modal logic B (also known as KTB) is still very plausible, at least insofar as this specific obstacle is concerned. In short, I shall argue that the skeptical objection against PIC fails, so it is not a good reason to abandon the normal modal logic B as a good formalization of the logic of being informed. (shrink)

Peter Baumann and Nicholas Shackel defend me against a serious criticism by Christoph Jäger. They argue that my account of information is consistent with my denial of closure for knowledge. Information isn’t closed under known entailment either. I think that, technically speaking, they are right. But the way they are right doesn’t help me much in my effort to answer the skeptic. I describe a way in which information, like knowledge, fails to be closed in a (...) way that makes an information-based account of knowledge an effective tool in answering the skeptic. (shrink)

According to Fred Dretske's externalist theory of knowledge a subject knows that p if and only if she believes that p and this belief is caused or causally sustained by the information that p. Another famous feature of Dretske's epistemology is his denial that knowledge is closed under known entailment. I argue that, given Dretske's construal of information, he is in fact committed to the view that both information and knowledge are closed under known entailment. Hence, if (...) it is true that, as Dretske also believes, accepting closure leads to skepticism, he must either embrace skepticism or abandon his information theory of knowledge. (shrink)

One common objection to Dretske’s Information Theoretic Account of Knowledge (ITAK) is that it violates closure. I show that it does not, and that extant arguments attempting to establish that it does rely instead on the KK thesis. That thesis does fail for ITAK. I show moreover that an interesting consequence of ITAK obeying the closure principle after all is that on this view if skepticism is false, we can have a great deal of empirical knowledge, but (...) it is in principle impossible to know that skepticism is false. In short, a proper understanding of how ITAK closes off the KK thesis shows that we can 1) take seriously the skeptic, we can 2) respond to her appropriately that we do have knowledge and we can 3) keep closure. (shrink)

In his earlier writings, Fred Dretske proposed an anti-skeptical strategy that is based on a rejection of the view that knowledge is closed under known entailment. This strategy is seemingly congenial with a sensitivity condition for knowledge, which is often associated with Dretske’s epistemology. However, it is not obvious how Dretske’s early account meshes with the information-theoretic view developed in Knowledge and the Flow of Information. One aim of this paper is to elucidate the connections between these accounts. (...) First I argue that, contrary to an objection raised by Christoph Jäger, the information-theoretic account is compatible with Dretske’s anti-skeptical strategy based on the rejection of closure. This strategy invokes the notion of channel conditions, which are roughly speaking those conditions that are necessary and jointly sufficient for a signal to carry information. I propose an interpretation of the account that is based on the idea that a signal’s carrying information requires that the channel conditions are stable. It is shown that the resulting account incorporates both a sensitivity condition and a safety condition for knowledge. Finally, I demonstrate how this proposal allows for knowledge of modally robust propositions without making its acquisition too easy, as simple safety accounts do. I end with a suggestion concerning the direction that future research should take, based on the fact that in its present form the information-theoretic account does not capture inferential knowledge. (shrink)

With the wide application of computers and digital technologies, online information searching is being integrated into students’ learning process. Improving students’ creative question generation through online information searching is an emerging research topic in the creativity and pedagogy field. Online information searching brings diversified information, but it also leads to cognitive load brought by a large amount of online information. Using online information searching to generate creative questions depends on students’ cognitive properties. However, the (...) existing literature ignores the joint influence of students’ online information searching strategies and cognitive properties on their creative question generation. This study puts forward three hypotheses: first, the two strategies of students’ online information searching will increase their creative question generation; second, the impact of “keywords” is negatively moderated by students’ need for cognitive closure ; third, the impact of “Web page exploration” is positively moderated by NFCC. The main reason is that high NFCC prevents students from obtaining diversified perspectives by using different keywords, but it helps to avoid distractions caused by a large amount of online information and promote the persistency of their reading information. Based on the data of quasi-experimental tasks completed by 90 students in Grade 7 and Grade 8, the results support the above hypothesis. The contributions of creative question generation theory and NFCC theory, as well as important issues of future study, are discussed. (shrink)

The impact of background category information on the creation of social cliques: The role of need for cognitive closure and decisiveness This article focuses on the role of need for cognitive closure in the process of mental model creation about social relations. We assumed that high need for closure participants tend to rely on background category information when forming social cliques. We predicted that this tendency to employ categorical information as a mental aid, used (...) in order to form social cliques, would be efficient in simple task structures but would lead to increased error rates in complex task structures. The results confirmed our predictions, showing especially strong effects for the decisiveness component of need for closure. The importance of individual differences in need for closure and decisiveness in social reasoning is discussed. (shrink)

K-axiom-based epistemic closure for explicit knowledge is rejected for even the most trivial cases of deductive inferential reasoning on account of the fact that the closure axiom does not extend beyond a raw consequence relation. The recognition that deductive inference concerns interaction as much as it concerns consequence allows for perspectives from logics of multi-agent information flow to be refocused onto mono-agent deductive reasoning. Instead of modeling the information flow between different agents in a communicative or (...) announcement setting, we model the information flow between different states of a single agent as that agent reasons deductively. The resource management of the database of agent states for the deductive reasoning fragment in question is covered by the residuated structure that encodes the nonassociative Lambek Calculus with permutation, bottom, and identity: NLP01. (shrink)

This paper describes a tentative model for how discrete memories transform into an interconnected conceptual network, or worldview, wherein relationships between memories are forged by way of abstractions. The model draws on Kauffman’s theory of how an information-evolving system could emerge through the formation and closure of an autocatalytic network. Here, the information units are not catalytic molecules, but memories and abstractions, and the process that connects them is not catalysis but reminding events (i.e. one memory evokes (...) another). The result is a worldview that both structures, and is structured by, self-triggered streams of thought. (shrink)

This paper presents a speculative model of the cognitive mechanisms underlying the transition from episodic to mimetic (or memetic) culture with the arrival of Homo erectus, which Donald [1991] claims paved the way for the unique features of human culture. The model draws on Kauffman's [1993] theory of how an information-evolving system emerges through the formation of an autocatalytic network. Though originally formulated to explain the origin of life, this theory also provides a plausible account of how discrete episodic (...) memories become woven into an internal model of the world, or worldview, that both structures, and is structured by, self-triggered streams of thought. Social interaction plays a role in (and may be critical to) this process. Implications for cognitive development are explored. (shrink)

This article aims to provide a structural analysis of the problems related to the easy knowledge problem. The easy knowledge problem is well known. If we accept that we can have basic knowledge via a source without having any prior knowledge about the reliability or accuracy of this source, then we can acquire knowledge about the reliability or accuracy of this source too easily via information delivered by the source. Rejecting any kind of basic knowledge, however, leads into an (...) infinite regress and, plausibly, to skepticism. The article argues that the third alternative, accepting basic knowledge but rejecting easy knowledge, entails closure failure. This is obviously the case for deductive bootstrapping, but, notably, the problem also arises for inductive bootstrapping. Hence, the set of problems related to the easy knowledge problem has the structure of a trilemma. We are forced to accept easy knowledge, closure failure, or skepticism. (shrink)

Abstract: Luciano Floridi has impressively applied the concept of information to problems in semantics and epistemology, among other areas. In this essay, I briefly review two areas where I think one may usefully raise questions about some of Floridi's conclusions. One area is in the project to naturalize semantics and Floridi's use of the derived versus nonderived notion of semantic content. The other area is in the logic of information and knowledge and whether knowledge based on information (...) necessarily supports closure, in every instance. I suggest that it does not and, thereby, raise a challenge to Floridi's logic of being informed. (shrink)

In this paper, we study the method of closure games, a game-theoretic valuation method for languages of self-referential truth developed by the author. We prove two theorems which jointly establish that the method of closure games characterizes all 3- and 4-valued strong Kleene fixed points in a novel, informative manner. Among others, we also present closure games which induce the minimal and maximal intrinsic fixed point of the strong Kleene schema.

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically (...) stable. Aboutness-preservation models the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

ObjectiveTo assess the impact of the closure of group-based cardiac rehabilitation training during the first COVID-19 lockdown in spring 2020 on patients’ physical activity, cardiorespiratory fitness, and cardiovascular risk, and to describe the patient experience of lockdown and home-based exercise training during lockdown.DesignMixed methods study. Prospectively collected post-lockdown measurements were compared to pre-lockdown medical record data. Quantitative measurements were supplemented with qualitative interviews about the patient experience during lockdown.SettingOutpatient CR centre in Salzburg, Austria.ParticipantsTwenty-seven patients [six female, mean age 69 (...) years] who attended weekly CR training sessions until the first COVID-19 lockdown in March 2020.Outcome MeasureQuantitative: exercise capacity, cardiovascular risk. Qualitative: individual semi-structured interviews.ResultsExercise capacity had significantly reduced from pre- to post-lockdown: mean power in maximal ergometry 165 vs. 151, p < 0.001; submaximal ergometer training 99 vs. 97, p = 0.038. There was no significant difference in Framingham risk score and other cardiovascular risk factors. Qualitative data showed that almost all patients had kept physically active during lockdown, but 17 said they had been unable to maintain their exercise levels, and 15 felt their cardiorespiratory fitness had deteriorated. Many patients missed the weekly CR training and the motivation and sense of community from training together with others. Several patients stated that without professional supervision they had felt less confident to carry out home-based exercise training at high intensity.ConclusionThis study highlights the importance of group-based supervised exercise training for patients who engage well in such a setting, and the detrimental impact of disruption to this type of CR service on physical activity levels and exercise capacity. Additionally, learning from the COVID-19 pandemic may inform the development and implementation of remote CR modalities going forward. (shrink)

Need for closure and cognitive structuring among younger and older adults The paper reported two correlational studies. The aim of the Study 1 was to examine the hypothesis that age moderates the relationship between need for closure and cognitive structuring. Results of the study revealed that aging with increased need for closure was associated with better recognition of irrelevant information than schema-relevant items, in testing hypotheses about the target person. These findings are interpreted as demonstrating the (...) age-associated failure of cognitive abilities, reducing tendency to behave according to the level of epistemic motivation. The results of Study 2 demonstrated that older participants are characterized by higher NFC but by lower EFNC than young participants. These results are consistent with the conclusion that the negative relationships between NFC and cognitive structuring demonstrated by the older participants in Study 1 can be attributed to their lower level of EFNC. (shrink)

Mechanistic information is used in the field of risk assessment in order to clarify two controversial methodological issues, the selection of inference guides and the definition of standards of evidence. In this paper we present an analysis of the concept of mechanistic information in risk assessment by recurring to previous philosophical analyses of mechanistic explanation. Our conclusion is that the conceptual analysis of mechanistic explanation facilitates a better characterization of the concept of mechanistic information. However, it also (...) shows that the use of this kind of information in risk assessment is heavily influenced by pragmatic factors, which have not been sufficiently taken into account in philosophical analysis. Mechanistic models are like hypothesis that have to be validated empirically. Due to their dependence on the standards of evidence, they are subject to the same pragmatic factors. Therefore, recurring to mechanistic information does not lead to closure of the methodological controversies in risk assessment. (shrink)

In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this category is taken to be at least compact closed, and more often, dagger compact, enforcing a certain self-duality, whereby preparation processes (roughly, states) are interconvertible with processes of registration (roughly, measurement outcomes). This is in contrast to the more concrete “operational” approach, in which the states and (...) measurement outcomes associated with a physical system are represented in terms of what we here call a convex operational model: a certain dual pair of ordered linear spaces–generally, not isomorphic to one another. On the other hand, state spaces for which there is such an isomorphism, which we term weakly self-dual, play an important role in reconstructions of various quantum-information theoretic protocols, including teleportation and ensemble steering. In this paper, we characterize compact closure of symmetric monoidal categories of convex operational models in two ways: as a statement about the existence of teleportation protocols, and as the principle that every process allowed by that theory can be realized as an instance of a remote evaluation protocol—hence, as a form of classical probabilistic conditioning. In a large class of cases, which includes both the classical and quantum cases, the relevant compact closed categories are degenerate, in the weak sense that every object is its own dual. We characterize the dagger-compactness of such a category (with respect to the natural adjoint) in terms of the existence, for each system, of a symmetric bipartite state, the associated conditioning map of which is an isomorphism. (shrink)

The connections between nonmonotonic reasoning and belief revision are well-known. A central problem in the area of nonmonotonic reasoning is the problem of default entailment, i.e., when should an item of default information representing “if θ is true then, normally, φ is true” be said to follow from a given set of items of such information. Many answers to this question have been proposed but, surprisingly, virtually none have attempted any explicit connection to belief revision. The aim of (...) this paper is to give an example of how such a connection can be made by showing how the lexicographic closure of a set of defaults may be conceptualised as a process of iterated revision by sets of sentences. Specifically we use the revision method of Nayak. (shrink)

This collection of essays examines the ways in which disputes and controversies about the application of scientific knowledge are resolved. Four concrete examples of public controversy are considered in detail: the efficacy of Laetrile, the classification of homosexuality as a disease, the setting of safety standards in the workplace, and the utility of nuclear energy as a source of power. The essays in this volume show that debates about these cases are not confined to matters of empirical fact. Rather, as (...) is seen with most scientific and technical controversies, they focus on and are structured by complex ethical, economic, and political interests. Drs. Engelhardt and Caplan have brought together a distinguished group of scholars from the sciences and humanities, who sketch a theory of scientific controversy and attempt to provide recommendations about the ways in which both scientists and the public ought to seek more informed resolutions of highly contentious issues in science and technology. Scientific Controversies is offered as a contribution to the better understanding of the roles of both science and nonscientific interests in disputes and controversies pertaining to science and technology. (shrink)

A set of qubit channels has a classical representation when it is isomorphic to the convex closure of a group of classical channels. From Crowder and Martin (Proceedings of Quantum Physics and Logic, Electronic Notes in Theoretical Computer Science, 2009), we know that up to isomorphism there are five such sets, each corresponding to either a subgroup of the alternating group on four letters, or a subgroup of the symmetric group on three letters. In this paper, we show that (...) the classical representation of a qubit channel also carries its information theoretic data—in particular, both the Holevo capacity and the scope of a unital qubit channel can be completely calculated from a systematically determined classical channel. (shrink)

Purpose. The research is aimed at finding out the grounds, forms and essence of the correlation between the projects of information philosophy and transhumanism from the point of view of the problematics of philosophical anthropology. Attention is focused on the status of the knowing subject and the transformations of the forms of its activity within the specified correlation. Theoretical basis. Insufficient thinking on the issue of the functioning of traditional cognitive models, in particular Kant’s transcendental questioning, which formed the (...) basis of modern rationality and classical science, in the new sociocultural reality led the authors to problematize the forms and essence of interaction and operating with knowledge and communication in the information sphere of human existence and communication. A comparative consideration of the worldviews in the information philosophy and transhumanism projects, made on the basis of a study of current scientific literature, provided an opportunity to assume the probability of implicit elimination of the problems of philosophical anthropology from the horizon of meanings of modern science through the blurring of essentially anthropological analytics. Originality. The article proves the ambivalent nature of the correlation between the projects of philosophy and transhumanism information that are externally close on the subject and problematics, and for the first time in the domestic literature, they have been compared. The content of the powerful potential of information philosophy for the development of philosophical anthropology approaches to the phenomena of the human world determined by the technological nature of civilization and the powerful sociocultural issues of modernity have been clarified. The threats of the dehumanization of the problem field in the modern science and spheres of applied digital technologies associated with transhumanism, interpreted as an ideology, are underlined. Conclusions. The analysis of theoretical positions relevant for the philosophy of information and transhumanism resulted in a number of conclusions, central among which is the statement of the "blurring" situation, the hidden elimination in the content of problematics of philosophical anthropology and its humanistic pathos within the limits of modern forms of correlation and existence in the scientific discourse of the philosophemes and ideologemes in the information philosophy and transhumanism. Epistemological phenomena of "cognitive closure" and a man as a "blind spot" in the thinking on the science and technology development, primarily communication, indicate the relevance of a full comprehensive consideration of the problems of philosophical anthropology in projects of the information philosophy and transhumanism. (shrink)

Need for closure is a construct that describes a motivational tendency to quickly select and prioritize information in the environment. Such tendencies can affect the process of negotiations, and so the quality of their outcome. The rigidity that accompanies high need for closure can lead to less openness to proposals that benefit one’s partner, and to solutions that are less optimal. We conducted a study in which 34 pairs of individuals negotiated. Pairs were matched in terms of (...) need for closure and gender. We found that need for closure affected subjective evaluations of certain aspects of the negotiation process. Participants with low need for closure were more likely to indicate that they and their partners sought win-win solutions during the negotiation. This led to a greater sense of process fairness for the negotiation. These results can be taken into consideration when teaching negotiations, and when planning real-life negotiations. (shrink)

In this paper I look at Fred Dretske’s account of information and knowledge as developed in Knowledge and The Flow of Information. In particular, I translate Dretske’s probabilistic definition of information to a modal logical framework and subsequently use this to explicate the conception of information and its flow which is central to his account, including the notions of channel conditions and relevant alternatives. Some key products of this task are an analysis of the issue of (...) information closure and an investigation into some of the logical properties of Dretske’s account of information flow. (shrink)

from non-conscious components by positing that consciousness is a universal primitive. For example, the double aspect theory of information holds that infor- mation has a phenomenal aspect. How then do you get from phenomenal infor- mation to human consciousness? This paper proposes that an entity is conscious to the extent it amplifies information, first by trapping and integrating it through closure, and second by maintaining dynamics at the edge of chaos through simul- taneous processes of divergence and (...) convergence. The origin of life through autocatalytic closure, and the origin of an interconnected worldview through conceptual closure, induced phase transitions in the degree to which informa- tion, and thus consciousness, is locally amplified. Divergence and convergence of cognitive information may involve phenomena observed in light e.g. focusing, interference, and resonance. By making information flow inward- biased, clo- sure shields us from external consciousness; thus the paucity of consciousness may be an illusion. (shrink)

During sudden school closures in spring 2020 due to the COVID-19 pandemic, teachers had to move to distance teaching. This unprecedented situation could be expected to influence teacher well-being and schools as organizations. This article reports a qualitative study that aims at understanding how changes in teachers’ professional lives that were related to school closure affected Swiss primary teachers’ professional well-being. In semi-structured online-interviews, 21 teachers from 15 schools sampled by snowball method reported their experiences during school closure (...) and distance teaching and how this situation influenced their professional well-being. Results showed that medium to high levels of teacher well-being could accompany a general negative evaluation of the move to distance teaching. Factors such as high work-load, social distancing and feelings of lack of competence and self-efficacy were among the most aversive aspects of distance teaching and associated with deteriorating professional well-being. Among a plethora of factors that supported teachers in maintaining their well-being, contextual work-related aspects such as school resources, collegial support or leadership support along with individual aspects such as resilience, coping strategies, and clear work structures were important. Additionally, it was found that teacher well-being was nourished by positive experiences with the new forms of distance teaching and feelings of professional mastery. Despite methodological limitations, the findings of this study could inform schools and authorities about what is needed to support teacher well-being and might help to develop organizational strategies that aim at preventing harmful declines in teacher well-being during challenging and difficult times such as a pandemic. (shrink)

This paper is an attempt to present disclosive ethics as a framework for computer and information ethics – in line with the suggestions by Brey, but also in quite a different manner. The potential of such an approach is demonstrated through a disclosive analysis of facial recognition systems. The paper argues that the politics of information technology is a particularly powerful politics since information technology is an opaque technology – i.e. relatively closed to scrutiny. It presents the (...) design of technology as a process of closure in which design and use decisions become black-boxed and progressively enclosed in increasingly complex socio-technical networks. It further argues for a disclosive ethics that aims to disclose the nondisclosure of politics by claiming a place for ethics in every actual operation of power – as manifested in actual design and use decisions and practices. It also proposes that disclosive ethics would aim to trace and disclose the intentional and emerging enclosure of politics from the very minute technical detail through to social practices and complex social-technical networks. The paper then proceeds to do a disclosive analysis of facial recognition systems. This analysis discloses that seemingly trivial biases in recognition rates of FRSs can emerge as very significant political acts when these systems become used in practice. (shrink)

Comprehension and recall of informed consent was assessed after the study closure in the parents/guardians of a birth cohort of children participating in an intensive three-year diarrhoeal surveillance. A structured questionnaire was administered by field workers who had not participated in the study's follow-up protocol. Of 368 respondents, 329 (89.4 per cent) stated that the study was adequately explained during enrolment, but only 159 (43.2 per cent) could recall that it was on diarrhoea. Nearly half (45.9 per cent) of (...) the respondents stated that they would not have participated if free medical treatment was not provided, although the free medical clinic was not offered at enrolment. Spousal approval (82.9 per cent) was the most important factor in the decision to participate. In the multivariate analysis, maternal education was associated with increased awareness about the disease under study: mothers without any formal education had the lowest awareness (OR = 3.47, 95 per cent CI = 1.60–7.51). Despite a high compliance with the study protocol, retention of understanding about the research study was low over a long period of time. Although the local government provides free healthcare in the study area, respondents cited free healthcare as an important reason for participation, highlighting the need for true health equity before meaningful informed consent can be obtained. (shrink)

This paper examines the ethical dimensions of the closure process of an English large long-stay institution for people with learning difficulties during the last quarter of the twentieth century. It does this primarily through an analysis of oral historical interview data stemming from those managers who implemented rundown. The paper illustrates the ways in which their testimonies indicate the presence of a morally infused dominant rhetoric, which was based upon the therapeutic benefits of closure, informed by the ideas (...) of normalisation and social role valorisation. However, the paper argues that this principled managerial perspective had unfortunate ethical consequences, in that it under-acknowledged, marginalised and discredited staff viewpoints which raised pertinent issues relating to the downsizing of this particular hospital. (shrink)

Comprehension and recall of informed consent was assessed after the study closure in the parents/guardians of a birth cohort of children participating in an intensive three-year diarrhoeal surveillance. A structured questionnaire was administered by field workers who had not participated in the study's follow-up protocol. Of 368 respondents, 329 stated that the study was adequately explained during enrolment, but only 159 could recall that it was on diarrhoea. Nearly half of the respondents stated that they would not have participated (...) if free medical treatment was not provided, although the free medical clinic was not offered at enrolment. Spousal approval was the most important factor in the decision to participate. In the multivariate analysis, maternal education was associated with increased awareness about the disease under study: mothers without any formal education had the lowest awareness. Despite a high compliance with the study protocol, retention of understanding about the research study was low over a long period of time. Although the local government provides free healthcare in the study area, respondents cited free healthcare as an important reason for participation, highlighting the need for true health equity before meaningful informed consent can be obtained. (shrink)

The notion of the rational closure of a positive knowledge base K of conditional assertions θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document} |∼ φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document} (standing for if θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document} then normally φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document}) was first introduced by Lehmann (1989) and developed by Lehmann and (...) Magidor (1992). Following those authors we would also argue that the rational closure is, in a strong sense, the minimal information, or simplest, rational consequence relation satisfying K. In practice, however, one might expect a knowledge base to consist not just of positive conditional assertions, θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document} |∼ φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document}, but also negative conditional assertions, θi φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document} (standing for not if θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document} then normally φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document}. Restricting ourselves to a finite language we show that the rational closure still exists for satisfiable knowledge bases containing both positive and negative conditional assertions and has similar properties to those exhibited in Lehmann and Magidor (1992). In particular an algorithm in Lehmann and Magidor (1992) which constructs the rational closure can be adapted to this case and yields, in turn, completeness theorems for the conditional assertions entailed by such a mixed knowledge base. (shrink)

The majority of the women who campaigned to save the Vane Tempest Colliery from closure in 1993 were involved because of their political understanding and allegiances rather than as a consequence of their practical involvement in mining life. Even those women who were married to miners did not conform to the stereotypical conception of ‘miner's wife’. However, the supporting labour movement and the media persisted in conceptualizing the Women's Vigil through romantic and masculinist discourses of miners and mining communities (...) which could only locate the women as ‘wives’, which confined the campaign within historical stereotypes no longer appropriate to the actual situation and which persistently set the idea of socialism against that of feminism. This not only situated the women's campaign as secondary and subject to that of the NUM but it also subverted the possibilities of the women fully articulating their own experience and understanding within the campaign. The situation was further complicated by memories of the miners’ strike of 1984–5 in which women played such an important role. One aspect of this role, that of maintaining mining families in the face of hardship, continued to inform understanding of the women's role in the fight to prevent closure, although it was no longer appropriate. The Women's Vigil engaged with a much wider set of concerns and with a wider range of individuals and groups than did that of the miners themselves. There were serious possibilities for broadening the political campaign around the women's slogan of ‘Jobs, community and environment’ which were never fully exploited because of the difficulties of admitting that women could inhabit any position other than that of ‘miners’ wives’. This experience of the Vane Tempest Vigil indicates the significance and the centrality of gender issues within class based political action. (shrink)

Temporal logic can be used to describe processes: their behaviour ischaracterized by a set of temporal models axiomatized by a temporaltheory. Two types of models are most often used for this purpose: linearand branching time models. In this paper a third approach, based onsocalled joint closure models, is studied using models which incorporateall possible behaviour in one model. Relations between this approach andthe other two are studied. In order to define constructions needed torelate branching time models, appropriate algebraic notions (...) are defined(in a category theoretical manner) and exploited. In particular, thenotion of joint closure is used to construct one model subsuming a setof models. Using this universal algebraic construction we show that aset of linear models can be merged to a unique branching time model.Logical properties of the described algebraic constructions are studied.The proposed approach has been successfully aplied to obtain anappropriate semantics for non-monotonic reasoning processes based ondefault logic. References are discussed that show the details of theseapplications. (shrink)

In recent years an increasing amount of information leaves no doubt that the costs to the victims of plant closures are more than economic. The stress occasioned by job loss often results in ill health. These findings aside, little systematic research has been done of the consequences of unemployment for the spouses of the unemployed. In this article, a comparison is made between the effects of a closure on unemployed male employees and their wives. It is found that (...) both groups suffer a high degree of anxiety over future job prospects and both experience a high level of stress as a result of the closure. However, for wives, anxiety, but not general stress, leads to ill health. For men, neither appears to have health implications: post-closure illness is related to illness prior to the shutdown. In one sense, two months after the closure, it can be argued that the impact of the shutdown was greater on wives than unemployed former employees. (shrink)

In this paper we relax the assumption that the logical constants of ordinary first-order logic be linearly ordered. As a consequence, we shall have formulas involving not only partially ordered quantifiers, but also partially ordered connectives. The resulting language, called the language of informational independence will be given an interpretation in terms of games of imperfect information. The II-logic will be seen to have some interesting properties: It is very natural to define in this logic two negations, weak negation (...) as failure to verify a sentence, and strong negation as the existence of a falsifying strategy: One can express in this logic complete problems of finite structures, like the non-connectedness and 3-colorability of finite graphs, the satisfiability problem for Boolean circuits built up from NAND-gates, etc. (shrink)

Functional information means an encoded network of functions in living organisms from molecular signaling pathways to an organism’s behavior. It is represented by two components: code and an interpretation system, which together form a self-sustaining semantic closure. Semantic closure allows some freedom between components because small variations of the code are still interpretable. The interpretation system consists of inference rules that control the correspondence between the code and the function (phenotype) and determines the shape of the fitness (...) landscape. The utility factor operates at multiple time scales: short-term selection drives evolution towards higher survival and reproduction rate within a given fitness landscape, and long-term selection favors those fitness landscapes that support adaptability and lead to evolutionary expansion of certain lineages. Inference rules make short-term selection possible by shaping the fitness landscape and defining possible directions of evolution, but they are under control of the long-term selection of lineages. Communication normally occurs within a set of agents with compatible interpretation systems, which I call communication system. Functional information cannot be directly transferred between communication systems with incompatible inference rules. Each biological species is a genetic communication system that carries unique functional information together with inference rules that determine evolutionary directions and constraints. This view of the relation between utility and inference can resolve the conflict between realism/positivism and pragmatism. Realism overemphasizes the role of inference in evolution of human knowledge because it assumes that logic is embedded in reality. Pragmatism substitutes usefulness for truth and therefore ignores the advantage of inference. The proposed concept of evolutionary pragmatism rejects the idea that logic is embedded in reality; instead, inference rules are constructed within each communication system to represent reality, and they evolve towards higher adaptability on a long time scale. (shrink)

Although long touted as an ethical and legal requirement, some clinicians still seem to offer less than fully adequate informed consent processes; similarly the counseling of patients and families, particularly about post-intervention scenarios, is often perfunctory at best. Keyed to a narrative of a patient's experience with surgery for a deviated septum, this article reflects on why such less than adequate clinician behaviors tend to occur and what might be done about them. Certain legal misconceptions about informed consent are highlighted (...) in this reflection, as well as why certain clinicians seem to take such a narrow view of their responsibilities to patients. Further reference in this regard is also made to a recently constructed module on informed consent for medical residents. In it, though legal requirements for informed consent are reviewed, the basic perspective taken regards informed consent as a clinical intervention that pursues certain basic goods and values, only one of which lies in determining when legal closure for such processes has occurred. (shrink)

he best arguments are distinguished by more than logical validity, successful rhetorical persuasion, or satisfactory dialectical closure. Argument appraisal has to look beyond the premises, inferences, and conclusions; it must consider more than just the objections and replies, and resolutions that satisfy the arguers might not satisfy outside critics. Arguers and their contexts can be important factors for assessing arguments. This conclusion is reached by considering several scenarios in which similar arguments—up to and including complete word-for-word identity—merit different critical (...) responses. (shrink)

he best arguments are distinguished by more than logical validity, successful rhetorical persuasion, or satisfactory dialectical closure. Argument appraisal has to look beyond the premises, inferences, and conclusions; it must consider more than just the objections and replies, and resolutions that satisfy the arguers might not satisfy outside critics. Arguers and their contexts can be important factors for assessing arguments. This conclusion is reached by considering several scenarios in which similar arguments—up to and including complete word-for-word identity—merit different critical (...) responses. (shrink)

This paper analyses whistleblowing from the perspective of Floridi’s information ethics. Although there is a vast body of literature on whistleblowing using micro-ethical or meso-ethical frameworks, whistleblowing has previously not been researched using a macro-ethical or ecopoietic framework. This paper is the first to explicitly do so. Empirical research suggests whistleblowing is a process rather than a single decision and action. I argue this process evolves depending on how whistleblowing is facilitated throughout that process, i.e. responding to whistleblowers and (...) providing information about whistleblowing activity. The paper develops a typology of whistleblowing facilitation to complement Floridi’s IE. The findings suggest that for whistleblowing to be beneficial to the informational environment, facilitation must filter out untrue whistleblowing, and achieve closure with the whistleblower, especially when whistleblowing is mistaken or deliberately false. I also find that publishing information about whistleblowing activity can be beneficial for the informational environment, but only if all organizations or all regulators do so. (shrink)

As they are conventionally formulated, Boolean games assume that players make their choices in ignorance of the choices being made by other players – they are games of simultaneous moves. For many settings, this is clearly unrealistic. In this paper, we show how Boolean games can be enriched by dependency graphs which explicitly represent the informational dependencies between variables in a game. More precisely, dependency graphs play two roles. First, when we say that variable x depends on variable y, then (...) we mean that when a strategy assigns a value to variable x, it can be informed by the value that has been assigned to y. Second, and as a consequence of the first property, they capture a richer and more plausible model of concurrency than the simultaneous-action model implicit in conventional Boolean games. Dependency graphs implicitly define a partial ordering of the run-time events in a game: if x is dependent on y, then the assignment of a value to y must precede the assignment of a value to x; if x and y are independent, however, then we can say nothing about the ordering of assignments to these variables—the assignments may occur concurrently. We refer to Boolean games with dependency graphs as partial-order Boolean games. After motivating and presenting the partial-order Boolean games model, we explore its properties. We show that while some problems associated with our new games have the same complexity as in conventional Boolean games, for others the complexity blows up dramatically. We also show that the concurrency in partial-order Boolean games can be modelled using a closure-operator semantics, and conclude by considering the relationship of our model to Independence-Friendly logic. (shrink)

What is the minimal algebraic structure to reason about information flow? Do we really need the full power of Boolean algebras with co-closure and de Morgan dual operators? How much can we weaken and still be able to reason about multi-agent scenarios in a tidy compositional way? This paper provides some answers.

The study of information based on the approach of Shannon was detached from problems of meaning. Also, it did not allow analysis of the structural characteristics of information, nor describe the way structures carry information. An outline of a different theory of information, including its semantics, was earlier proposed by the author. This theory was using closure spaces to model information. In the present paper, structures (called syllogistics) underlying syllogistic reasoning as well as ethnoscientific (...) classifications are identified together with the conditions for the lattice of closed subsets describing information to allow its existence. The structures can be used for logical analysis outside of language at the more general level of information, which in turn can be applied to the description of semantic relations in the context of information. (shrink)

We consider a simple modal logic whose nonmodal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure operators. Despite absence of negation and implication, and of axioms corresponding to the characteristic axioms of _T_, _S4_, and _S5_, such logics are useful, as shown in previous work by Baltag, Coecke, and the first author, for encoding and reasoning about information and misinformation in multiagent systems. For the propositional-only fragment (...) of such a dynamic epistemic logic, we present an algebraic semantics, using lattices with agent-indexed families of adjoint pairs of operators, and a cut-free sequent calculus. The calculus exploits operators on sequents, in the style of “nested” or “tree-sequent” calculi; cut-admissibility is shown by constructive syntactic methods. The applicability of the logic is illustrated by reasoning about the muddy children puzzle, for which the calculus is augmented with extra rules to express the facts of the muddy children scenario. (shrink)