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

Recently, Yalcin (Epistemic modals. Mind, 116 , 983–1026, 2007) put forward a novel account of epistemic modals. It is based on the observation that sentences of the form ‘ & Might ’ do not embed under ‘suppose’ and ‘if’. Yalcin concludes that such sentences must be contradictory and develops a notion of informational consequence which validates this idea. I will show that informational consequence is inadequate as an account of the logic of epistemic modals: it cannot (...) deal with reasoning from uncertain premises. Finally, I offer an alternative way of explaining the relevant linguistic data. (shrink)

What is informal logic, is it ``logic" at all? Main contemporary approaches are briefly presented and critically commented. If the notion of consequence is at the heart of logic, does it make sense to speak about ``informal" consequence? A valid inference is truth preserving, if the premises are true, so is the conclusion. According to Prawitz two further conditions must also be satisfied in the case of classical logical consequence: (i) it is because of the logical form (...) of the sentences involved and not because of their specific content that the inference is truth preserving; (ii) it is necessary that if the premises are true, then so is the conclusion. According to the prevalent criteria of informal logic an argument is cogent if and only if (i) its premises are rationally Acceptable, (ii) its premises are Relevant to its conclusion and (iii) its premises constitute Grounds adequate for accepting the conclusion (the ``ARG" conditions according to Govier). The ARG criteria characterize a certain broad kind of consequence relation. We do not (in general) have truth preservence in cogent arguments but if the premises are acceptable and other criteria are met, then so is the conclusion. We can speak about form in a loose sense and finally, there is rational necessity of the grounding or support relation. So a certain broad notion of logical consequence emerges from this comparison. The norms of ARG are norms of elementary scientific methodology in which argument is seen as embodying reasoning within a process of inquiry or of belief formation in subject areas accessible to every informed intellectual. (shrink)

The now standard definition of logical consequence is model-theoretic. Many writers have tried to justify, or to criticise, the model-theoretic definition by arguing that it extensionally captures, or fails to capture, our intuitions about logical consequence, such as its modal character or its being truth-preservation in virtue of form. One popular means of comparing the extension of model-theoretic consequence with some intuitive notion proceeds by adapting Kreisel's squeezing argument. But these attempts get Kreisel wrong, and try to (...) achieve more than he ever intended. This suggests that the model-theoretic definition should be viewed quite differently as an explication of our intuitions about logical consequence. I introduce Kreisel's squeezing argument in Section 1. Then in Section 2, I show how it is adapted by two prominent writers on logical consequence, Etchemendy (1990) and Shapiro (2005). Finally, in Section 3, I argue that these adaptations fail. (shrink)

(1997). A rudimentary theory of information: Consequences for information science and information systems. World Futures: Vol. 49, The Quest for a Unified Theory of Information, pp. 275-286.

This paper aims to establish several interconnected points. First, a particular interpretation of the mathematical definition of information, known as the causal interpretation, is supported largely by misunderstandings of the engineering context from which it was taken. A better interpretation, which makes the definition and quantification of information relative to the function of its user, is outlined. The first half of the paper is given over to introducing communication theory and its competing interpretations. The second half explores three consequences of (...) the main thesis. First, a popular claim that the quantification of information in a signal is irrelevant for the meaning of that signal is exposed as fallacious. Second, a popular distinction between causal and semantic information is shown to be misleading, and I argue it should be replaced with a related distinction between natural and intentional signs. Finally, I argue that recent empirical work from microbiology and cognitive science drawing on resources of mathematical communication theory is best interpreted by the functional account. Overall, a functional approach is shown to be both theoretically and empirically well-supported. (shrink)

Using data from the General Social Survey and the National Organizations Survey, this study assesses the extent to which job search methods affect gender composition in a job. In contrast to past research and the popular notion that networking maximizes job search outcomes, it is found that women who use informal job search methods had jobs with more women in them compared to not using such methods. Women using formal job search methods had jobs with fewer women in them compared (...) to not using these methods. For men, job search methods were not associated with the gender composition of the job. (shrink)

In this paper we provide a formal description of what it means to be in a local or partial information-state. Starting from the notion of locality in a relational structure, we define so-called adaptive gen- erated submodels. The latter are then shown to yield an adaptive logic wherein the derivability of Pφ is naturally interpreted as a core property of being in a state in which one holds the information that φ.

Information is contained in statements and «flows» from their structure and meaning of expressions they contain. The information that flows only from the meaning of logical constants and logical structure of statements we will call logical information. In this paper we present a formal explication of this notion which is proper for sentences being Boolean combination of atomic sentences. 1 Therefore we limit ourselves to analyzing logical information flowing only from the meaning of truth-value connectives and logical structure of sentences (...) connected with these connectives. (shrink)

. We explore a connection between different ways of representing information in computer science. We show that relational databases, modules, algebraic specifications and constraint systems all satisfy the same ten axioms. A commutative semigroup together with a lattice satisfying these axioms is then called an “information algebra”. We show that any compact consequence operator satisfying the interpolation and the deduction property induces an information algebra. Conversely, each finitary information algebra can be obtained from a consequence operator in this (...) way. Finally we show that arbitrary (not necessarily finitary) information algebras can be represented as some kind of abstract relational database called a tuple system. (shrink)

Three experiments investigated the hypothesis that internally generated images and thoughts were driven by meaning complexes, a construct which reflects a synthesis of semantic meaning and personal salience . Experiments 1 and 2 contrasted the mutual inhibition between encoding words and non-words on: the frequency that thoughts and images unrelated to the task were experienced and on the intensity of images generated from long-term memory and maintained under dual task conditions, which whilst familiar were not of particular personal salience . (...) Experiment 3 examined the physiological arousal associated with the experience of TUT in a semantic encoding task. Evidence suggested that, in general, internally generated images and thoughts, irrespective of the personal salience, were suppressed by the co-ordination of information in working memory. In addition, only the experience of spontaneous images and thoughts of personal salience interfered reliably with the encoding/retrieval of semantic information from memory. Finally, in Experiment 3, physiological arousal, as indexed by mean heart rate, was associated with a high frequency of TUT. The results of all three experiments support the notion that the maintenance of spontaneously occurring images and thoughts is simultaneously influenced by both the semantic content and the personal salience of the information held in working memory. (shrink)

Stoffregen & Bardy provide grounds to suppose that specification requires global arrays and that this information is used by perceptual systems. Three conclusions follow from this supposition; (1) global specification will be taken seriously only if additional examples are discovered; (2) research into single-sense information must take global information into account, and (3) ecological psychologists must account for perceptions based upon non-specific information.

Introduction While quizzing during informed consent for research to ensure understanding has become commonplace, it is unclear whether the quizzing itself is problematic for potential participants. In this study, we address this issue in a multinational HIV prevention research trial enrolling injection drug users in China and Thailand. Methods Enrolment procedures included an informed consent comprehension quiz. An informed consent survey followed. Results 525 participants completed the informed consent survey (Heng County, China=255, Xinjiang, China=229, Chiang Mai, Thailand=41). Mean age was (...) 33 and mean educational level was 8 yrs. While quizzing was felt to be a good way to determine if a person understands the nature of clinical trial participation (97%) and participants did not generally find the quiz to be problematic, minorities of respondents felt pressured (6%); anxious (5%); bored (5%); minded (5%); and did not find the questions easy (13%). In multivariate analysis, lower educational level was associated with not minding the quizzing (6–10 yrs vs 0–5 yrs: OR=0.27, p=0.03; more than 11 yrs vs 0–5 yrs: OR=0.18, p=0.03). There were also site differences (Heng County vs Xinjiang) in feeling anxious (OR=0.07; p=<0.01), not minding (OR=0.26; p=0.03), being bored (OR=0.25; p=0.01) and not finding the questions easy (OR=0.10; p=<0.01). Conclusions Quizzing during the informed consent process can be problematic for a minority of participants. These problems may be associated with the setting in which research takes place and educational level. Further research is needed to develop, test and implement alternative methods of ensuring comprehension of informed consent. Trial Registration clinicaltrials.gov number NCT00270257. (shrink)

Stone & Wang collate the nascent research examining the mnemonic consequences associated with social media use. In particular, they highlight two important factors in understanding how social media use shapes the way individuals and groups remember the past: the type of information (personal vs. public) and the role (producer vs. consumer) individuals undertake when engaging with social media. Stone and Wang investigate those two features in relation to induced forgetting for personal information and false memories/truthiness for public information.

Integrated Information Theory (IIT) identifies consciousness with having a maximum amount of integrated information. But a thing’s having the maximum amount of anything cannot be intrinsic to it, for that depends on how that thing compares to certain other things. IIT’s consciousness, then, is not intrinsic. A mereological argument elaborates this consequence: IIT implies that one physical system can be conscious while a physical duplicate of it is not conscious. Thus, by a common and reasonable conception of intrinsicality, IIT’s (...) consciousness is not intrinsic. It is then argued that to avoid the implication that consciousness is not intrinsic, IIT must abandon its Exclusion Postulate, which prohibits overlapping conscious systems. Indeed, theories of consciousness that attribute consciousness to physical systems, should embrace the view that some conscious systems overlap. A discussion of the admittedly counterintuitive nature of this solution, along with some medical and neuroscientific realities that would seem to support it, is included. (shrink)

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ?say? something), and they have subject matter (they are ?about? something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established (...) by exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge. (shrink)

It is widely accepted among medical ethicists that competence is a necessary condition for informed consent. In this view, if a patient is incompetent to make a particular treatment decision, the decision must be based on an advance directive or made by a substitute decision-maker on behalf of the patient. We call this the competence model. According to a recent report of the United Nations (UN) High Commissioner for Human Rights, article 12 of the UN Convention on the Rights of (...) Persons with Disabilities (CRPD) presents a wholesale rejection of the competence model. The High Commissioner here adopts the interpretation of article 12 proposed by the Committee on the Rights of Persons with Disabilities. On this interpretation, CRPD article 12 renders it impermissible to deny persons with mental disabilities the right to make treatment decisions on the basis of impaired decision-making capacity and demands the replacement of all regimes of substitute decision-making by supported decision-making. In this paper, we explicate six adverse consequences of CRPD article 12 for persons with mental disabilities and propose an alternative way forward. The proposed model combines the strengths of the competence model and supported decision-making. (shrink)

This article inquires whether and to which degree some fundamental traits of the World Wide Web may encourage us to revise traditional conceptions of what constitutes scientific information and knowledge. Turning to arguments for `open access' in scientific publishing and its derivatives (open content, open archives, etc.), contemporary tendencies in `social software' and knowledge sharing, the authors project a new look on knowledge, dissociated with linear notions of cumulation, progression, and hierarchy (e.g. of scientific argument), but related to circularity, heterarchy, (...) and evolution. Arguing from a medium theoretical perspective, they illustrate their ideas with developments in library science, current debates in epistemology and theories about information architecture, with a particular focus on `unsystematic' folksonomies. (shrink)

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the (...) premise-set. This paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...) by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are tightly (...) related, and can be cleared up by adopting a particular substructural logic in place of classical logic. We then argue that our perspective can be justified via an informational semantics of contraction-free substructural logics. (shrink)

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

How can firms mitigate the impact of moral violations on consumer evaluations? This question has pervaded the business ethics literature. Though prior research has identified decoupling as a moral reasoning strategy where consumers separate moral judgments from evaluations, it is unclear what motivates individuals to decouple. It is the objective of this research to explore regulatory focus theory as a motivating factor for moral decoupling. Three experiments are undertaken. Study one demonstrates that with a prevention mindset as opposed to promotion (...) mindset, moral decoupling can be achieved. Specifically, those in a prevention mindset report more favorable evaluations when information about a violation explicitly lowers consequences of moral violations. However, when the violation is related to the business functionality of the brand, those in a prevention mindset report less favorable evaluations, except when consequences are lowered. This indicates an inability to decouple, and results in negative emotions. The research shows that inability to decouple for those in a prevention mindset leads to negative emotions, lowering evaluations. These results contribute to the moral reasoning literature by linking regulatory focus to decoupling strategies. Further, the research bridges literature on norm activation, moral foundation, regulatory focus, and moral decoupling to reconcile theoretical differences in judgment styles. Implications for businesses and brands are discussed. (shrink)

This paper focuses on three under-researched subjects in the corporate social responsibility literature: small businesses, small towns, and consequences of social responsibility for the business owner personally. Small businesses are the vast majority of businesses and make a significant contribution to national economic vitality. Their value to the survival of small towns, where they are often the only businesses, is even more important. Research indicates that the social performance of big and small businesses alike is dependent upon the values and (...) disposition of the top decision maker. Therefore, insight into the owner's motivations for contributing to community betterment and the consequences of that behavior for the business and the owner will add to this literature. Equally important, this knowledge can inform policies aimed at increasing good citizenship for all sizes of businesses regardless of location. (shrink)

This paper focuses on three under‐researched subjects in the corporate social responsibility literature: small businesses, small towns, and consequences of social responsibility for the business owner personally. Small businesses are the vast majority of businesses and make a significant contribution to national economic vitality. Their value to the survival of small towns, where they are often the only businesses, is even more important. Research indicates that the social performance of big and small businesses alike is dependent upon the values and (...) disposition of the top decision maker. Therefore, insight into the owner's motivations for contributing to community betterment and the consequences of that behavior for the business and the owner will add to this literature. Equally important, this knowledge can inform policies aimed at increasing good citizenship for all sizes of businesses regardless of location. (shrink)

Informational conceptions of logic are barely novel. We find them in the work of John Corcoran, in several papers on substructural and constructive logics by Heinrich Wansing, and in the interpretation of the Routley-Meyer semantics for relevant logics in terms of Barwises and Perrys theory of situations. Allo & Mares [2] present an informational account of logical consequence that is based on the content-nonexpantion platitude, but that also relies on a double inversion of the standard direction of (...) explanation (in- formation doesnt depend on a prior notion of meaning, but is used to naturalize meaning, and informational content is not defined relative to a pre-existing logical space, but that space is constructed relative to the level of abstraction at which information is assessed). In this paper I focus directly on one of the main ideas introduced in that paper, namely the contrast between logical discrimination and deductive strength, and use this contrast to (1) illustrate a number of open problems for an informational conception of logical consequence, (2) review its connection with the dynamic turn in logic, and (3) situate it relative to the research agenda of the philosophy of information. (shrink)

The influence of historical-causal theories of reference developed in the late sixties and early seventies by Donnellan, Kripke, Putnam and Devitt has been so strong that any semantic theory that has the consequence of assigning disjunctive representational content to the mental states of twins (e.g. [H2O or XYZ]) has been thereby taken to refute itself. Similarly, despite the strength of pre-theoretical intuitions that exact physical replicas like Davidson's Swampman have representational mental states, people have routinely denied that they have (...) any intentional/representational states. I want to focus on a particular brand of causal theory that is not historical, the so-called pure informational or nomic covariance theories, and examine how they propose to handle twin cases and replicas like Swampman. In particular, I will take up Fodor. (shrink)

This is a title on the foundations of defeasible logic, which explores the formal properties of everyday reasoning patterns whereby people jump to conclusions, reserving the right to retract them in the light of further information. Although technical in nature the book contains sections that outline basic issues by means of intuitive and simple examples. This book is primarily targeted at philosophers interested in the foundations of defeasible logic, logicians, and specialists in artificial intelligence and theoretical computer science.

People in extraordinary situations are vulnerable. As research participants, they are additionally threatened by abuse or exploitation and the possibility of harm through research. To protect people against these threats, informed consent as an instrument of self-determination has been introduced. Self-determination requires autonomous persons, who voluntarily make decisions based on their values and morals. However, in nursing research, this requirement cannot always be met. Advanced age, chronic illness, co-morbidity and frailty are reasons for dependencies. These in turn lead to limited (...) abilities or opportunities for decision-making and self-determination. Exclusion of vulnerable people from research projects would disadvantage them by not covering their needs, which would violate the ethical principles of justice and beneficence. Commonly, vulnerability is attributed to social groups. The consequence for individuals, attributed as belonging to such a vulnerable group, is that the principles of respect for autonomy, justice and beneficence are subordinated to the principle of non-maleficence, understood as avoiding the risk to cause more harm than good. In addition, group-specific attribution could lead to stigmatizing because labelling a person as deviation from a norm violates integrity. For clinical nursing research, the question arises how the protection of vulnerable people could be granted without compromising ethical principles. The concept of relational ethics provides a possible approach. It defines vulnerability as the relation between a person’s health status and the extent to which this person is dependent on the researcher and the research context. Vulnerability is not attributed solely to a person but to a situation, meaning the person is viewed in context. By combining vulnerability as a context-related and situational concept with existing approaches of informed consent, the different ethical principles can be balanced and preserved at every step of the research process. (shrink)

Information Centrism is the view that contexts consist of information that can be characterized in terms of the propositional attitudes of the conversational participants. Furthermore, it claims that this notion of context is the only one needed for linguistic theorizing about context-sensitive languages. We argue that Information Centrism is false, since it cannot account correctly for facts about truth and reference in certain cases involving indexicals and demonstratives. Consequently, contexts cannot be construed simply as collections of shared information.

This article aims to explore the attitudes and behaviors of persons with intellectual and developmental disabilities related to their information privacy when using information technology. Six persons with IDD were recruited to participate to a series of 3 semistructured focus groups. Data were analyzed following a hybrid thematic analysis approach. Only 2 participants reported using IT every day. However, they all perceived IT use benefits, such as an increased autonomy. Participants demonstrated awareness of privacy concerns, but not in situations involving (...) the use of technology; their awareness is not transferred to the abstract context of IT use. Privacy breaches were revealed to be a major risk for persons with IDD, who did not seem to understand how their personal information was used. Most protection mechanisms and tools reported were those suggested and implemented by caregivers and close relatives who had a great influence on the participants’ attitudes and behaviors toward IT and privacy. Our findings suggest that when using IT, persons with IDD often experience the consequences of a trade-off between autonomy and privacy. Further research and action is needed to support persons with IDD to understand and balance the benefits of IT use and the inherent threats to information privacy. (shrink)

The purpose of this paper is to (a) show that the received view of the problem of quantificational subordination (QS) is incorrect, and that, consequently, existing solutions do not succeed in explaining the facts, and (b) provide a new account of QS. On the received view of QS within dynamic semantic frameworks, determiners treated as universal quantifiers (henceforth universal determiners) such as all, every, and each behave as barriers to inter-sentential anaphora yet allow anaphoric accessibility in a number of situations. (...) We argue that universal determiners are not intrinsic anaphora barriers and that anaphoric accessibility under them is enabled factors including lexicon information and discourse effects of universal determiners. In support of this viewpoint, we first provide a data survey on the phenomena of QS and its interactions with plurals, rhetorical relations, and adverbial quantification. The results of the survey show that judgments of (naive) native English speakers on the QS examples are quite different from what is claimed in the literature. We argue that the various solutions in the literature, which in general accept that universal determiners are intrinsic anaphora barriers, fail to account for the facts from the survey data. We then describe the approach we adopt, which denies that universal determiners are anaphora barriers and reconstructs their semantics so that information in their scope can be released for anaphora. The constraints on QS noted in the literature we model in Segmented Discourse Representation Theory (SDRT) as conditions on the discourse relations which can hold between subordinated constituents. We show that this approach accounts for the QS data. (shrink)

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

Quantum information science is a source of task-related axioms whose consequences can be explored in general settings encompassing quantum mechanics, classical theory, and more. Quantum states are compendia of probabilities for the outcomes of possible operations we may perform on a system: ''operational states.'' I discuss general frameworks for ''operational theories'' (sets of possible operational states of a system), in which convexity plays key role. The main technical content of the paper is in a theorem that any such theory naturally (...) gives rise to a ''weak effect algebra'' when outcomes having the same probability in all states are identified and in the introduction of a notion of ''operation algebra'' that also takes account of sequential and conditional operations. Such frameworks are appropriate for investigating what things look like from an ''inside view,'' i.e., for describing perspectival information that one subsystem of the world can have about another. Understanding how such views can combine, and whether an overall ''geometric'' picture (''outside view'') coordinating them all can be had, even if this picture is very different in structure from the perspectives within it, is the key to whether we may be able to achieve a unified, ''objective'' physical view in which quantum mechanics is the appropriate description for certain perspectives, or whether quantum mechanics is truly telling us we must go beyond this ''geometric'' conception of physics. (shrink)

Our aim is to expand the regulative ideal governing consent. We argue that consent should not only be informed but also based on rational beliefs. We argue that holding true beliefs promotes autonomy. Information is important insofar as it helps a person to hold the relevant true beliefs. But in order to hold the relevant true beliefs, competent people must also think rationally. Insofar as information is important, rational deliberation is important. Just as physicians should aim to provide relevant information (...) regarding the medical procedures prior to patients consenting to have those procedures, they should also assist patients to think more rationally. We distinguish between rational choice/action and rational belief. While autonomous choice need not necessarily be rational, it should be based on rational belief. The implication for the doctrine of informed consent and the practice of medicine is that, if physicians are to respect patient autonomy and help patients to choose and act more rationally, not only must they provide information, but they should care more about the theoretical rationality of their patients. They should not abandon their patients to irrationality. They should help their patients to deliberate more effectively and to care more about thinking rationally. We illustrate these arguments in the context of Jehovah's Witnesses refusing life-saving blood transfusions. Insofar as Jehovah's Witnesses should be informed of the consequences of their actions, they should also deliberate rationally about these consequences. (shrink)

Information is the fuel of cognition. At its most basic level, information is a matter of structures interacting under laws. The notion of information thus reflects the (relational) fact that a structure is created by the impact of another structure. The impacted structure is an encoding, in some concrete form, of the interaction with the impacting structure. Information is, essentially, the structural trace in some system of an interaction with another system; it is also, as a consequence, the structural (...) fuel which drives the impacted system's subsequent processes and behavior. Information takes various forms because the world has many levels of compositional and functional complexity, under different constraints. The key constraints that matter in the understanding of information are natural patterns of organization, or types, and systematic correlations among types, or laws. These level- sensitive constraints, in the form of types and laws, shape the very form in which information is tokened in some structure, that is, the very form in which it is encoded. As a result, the information-producing interactions bring about different sorts of structures, with various sorts of causal effects and functions, whence so many ways in which information is coded and utilized. (shrink)

Alex Worsnip argues in favor of what he describes as a particularly robust version of fallibilism: subjects can sometimes know things that are, for them, possibly false (in the epistemic sense of 'possible'). My aim in this paper is to show that Worsnip’s argument is inconclusive for a surprising reason: the existence of possibly false knowledge turns on how we ought to model entailment or consequence relations among sentences in natural language. Since it is an open question how we (...) ought to think about consequence in natural language, it is an open question whether there is possibly false knowledge. I close with some reflections on the relation between possibly false knowledge and fallibilism. I argue that there is no straightforward way to use linguistic data about natural language epistemic modals to either verify or refute the fallibilist thesis. (shrink)

This article aims to explore the attitudes and behaviors of persons with intellectual and developmental disabilities (IDD) related to their information privacy when using information technology (IT). Six persons with IDD were recruited to participate to a series of 3 semistructured focus groups. Data were analyzed following a hybrid thematic analysis approach. Only 2 participants reported using IT every day. However, they all perceived IT use benefits, such as an increased autonomy. Participants demonstrated awareness of privacy concerns, but not in (...) situations involving the use of technology; their awareness is not transferred to the abstract context of IT use. Privacy breaches were revealed to be a major risk for persons with IDD, who did not seem to understand how their personal information was used. Most protection mechanisms and tools reported were those suggested and implemented by caregivers and close relatives who had a great influence on the participants’ attitudes and behaviors toward IT and privacy. Our findings suggest that when using IT, persons with IDD often experience the consequences of a trade-off between autonomy and privacy. Further research and action is needed to support persons with IDD to understand and balance the benefits of IT use and the inherent threats to information privacy. (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)

In this overview article, we first explain what we take informal logic to be, discussing misconceptions and distinguishing our conception of it from competing ones; second, we briefly catalogue recent informal logic research, under 14 headings; third, we suggest four broad areas of problems and questions for future research; fourth, we describe current scholarly resources for informal logic; fifth, we discuss three implications of informal logic for philosophy in particular, and take note ofpractical consequences of a more general sort.

Convicted offenders face a host of so-called “collateral” consequences: formal measures such as legal restrictions on voting, employment, housing, or public assistance, as well as informal consequences such as stigma, family tensions, and financial insecurity. These consequences extend well beyond an offender’s criminal sentence itself and are frequently more burdensome than the sentence. This essay considers two respects in which collateral consequences may be relevant to the question of what the state should, or may, criminalize. First, they may be relevant (...) according to specific accounts of criminalization, including plausible versions of the harm principle and legal moralism. Second, they may be relevant to the legitimacy of state criminalization more generally. Thus for legal theorists concerned with the issue of legitimate criminalization, normative questions raised by collateral consequences are of central importance. (shrink)

One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistemic (EL) and doxastic logic (DL), which formalises the relation “a is informed that p” (Iap) satisfactorily. In this paper, the problem is solved by arguing that the axiom schemata of the normal modal logic (NML) KTB (also known as B or Br or Brouwer’s system) are well suited to formalise the relation of “being informed”. After having shown that IL (...) can be constructed as an informational reading of KTB, four consequences of a KTB-based IL are explored: information overload; the veridicality thesis (Iap → p); the relation between IL and EL; and the Kp → Bp principle or entailment property, according to which knowledge implies belief. Although these issues are discussed later in the article, they are the motivations behind the development of IL. (shrink)