the world of phenomena is immensely large this means we can perceive only part of the world. We see, feel and hear parts of reality, not the whole of it, and it seems that a sentence containing a verb of perception like 'John sees a house burn' is most naturally treated as saying that the subject sees an incomplete world in which the embedded sentence is true (see Barwise (1981) for this analysis). But if we want to analyse perception verbs (...) thus, we must introduce some form of incompleteness into our formal system, the.. (shrink)

We study the synchronization of complex networks by using event-sampling information. The nodes of the network are connected with event-triggered communication via multiple couplings. The couplings are split into several channels. Not all the channels are connected. Only a part of the states of each node can be communicated by the channels. An event detector is designed for each channel to independently determine the sampling moments. The couplings of the network are partial and event-triggered. Both features make that (...) less information can be used for synchronization. The pinning controllers are also designed based on the sampled information. By establishing a time-dependent Lyapunov functional and utilizing an efficient event condition, we derive less conservative criteria for the synchronization of complex networks. Finally, the effectiveness of our main results is verified by an illustrative example, and comparisons are also presented to show how much conservatism can be reduced. (shrink)

The Choquet expected utility model deals with nonadditive probabilities (or capacities). Their dependence on the information the decision-maker has about the possibility of the events is taken into account. Two kinds of information are examined: interval information (for instance, the percentage of white balls in an urn is between 60% and 100%) and comparative information (for instance, the information that there are more white balls than black ones). Some implications are shown with regard to the (...) core of the capacity and to two additive measures which can be derived from capacities: the Shapley value and the nucleolus. Interval information bounds prove to be satisfied by all probabilities in the core, but they are not necessarily satisfied by the nucleolus (when the core is empty) and the Shapley value. We must introduce the constrained nucleolus in order for these bounds to be satisfied, while the Shapley value does not seem to be adjustable. On the contrary, comparative information inequalities prove to be not necessarily satisfied by all probabilities in the core and we must introduce the constrained core in order for these inequalities be satisfied. However, both the nucleolus and the Shapley value satisfy the comparative information inequalities, and the Shapley value does it more strictly than the nucleolus. (shrink)

A predicate of personal taste occurring in a sentence in which the perspectival information is not linguistically articulated by an experiencer phrase may have two different readings. In case the speaker of a bare sentence formed with a predicate of personal taste uses the subjective predicate encoding perspectival information in one way and the hearer interprets it in another way, the agents’ acts are not coordinated. In this paper I offer an answer to the question of how a (...) hearer can strategically interact with a speaker on the intended perspectival information so that both agents can optimally solve their coordination problem. In this sense, I offer a game-theoretical account of the strategic communication with expressions referring to agents’ perspectives, communication which involves the interaction between a speaker who intends to convey some perspectival information and who chooses to utter a bare sentence formed with a predicate of personal taste, instead of a sentence in which the perspectival information is linguistically articulated by an experiencer phrase, and a hearer who has to choose between interpreting the uttered sentence in conformity with the speaker’s autocentric use of the predicate of personal taste or in conformity with the speaker’s exocentric use. (shrink)

This paper presents a new language for isomorphic representations of legalknowledge in feature structures. The language includes predefinedstructures based on situation theory for common-sense categories, andpredefined structures based on Van Kralingens frame-based conceptualmodelling language for legal rules. It is shown that the flexibility of thefeature-structure formalism can exploited to allow for structure-preservingrepresentations of non-primitive concepts, and to enable various types ofinteraction and cross- reference between language elements. A fragment of theDutch Opium Act is used to illustrate how modelling and reasoning (...) proceed in practice. (shrink)

Combining testimonial reports from independent and partially reliable information sources is an important epistemological problem of uncertain reasoning. Within the framework of Dempster–Shafer theory, we propose a general model of partially reliable sources, which includes several previously known results as special cases. The paper reproduces these results on the basis of a comprehensive model taxonomy. This gives a number of new insights and thereby contributes to a better understanding of this important application of reasoning with uncertain and incomplete (...) class='Hi'>information. (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)

Many human cultural traits become increasingly beneficial as they are repeatedly transmitted, thanks to an accumulation of modifications made by successive generations. But how do later generations typically avoid modifications which revert traits to less beneficial forms already sampled and rejected by earlier generations? And how can later generations do so without direct exposure to their predecessors' behavior? One possibility is that learners are sensitive to cues of non‐random production in others' behavior, and that particular variants (e.g., those containing structural (...) regularities unlikely to occur spontaneously) have been produced deliberately and with some effort. If this non‐random behavior is attributed to an informed strategy, then the learner may infer that apparent avoidance of certain possibilities indicates that these have already been sampled and rejected. This could potentially prevent performance plateaus resulting from learners modifying inherited behaviors randomly. We test this hypothesis in four experiments in which participants, either individually or in interacting dyads, attempt to locate rewards in a search grid, guided by partial information about another individual's experience of the task. We find that in some contexts, valid inferences about another's behavior can be made from partial information, and these inferences can be used in a way which facilitates trait adaptation. However, the benefit of these inferences appears to be limited, and in many contexts—including some which have the potential to make inferring the experience of another individual easier—there appears to be no benefit at all. We suggest that inferring previous behavior from partial social information plays a minimal role in the adaptation of cultural traits. (shrink)

This paper presents logics for reasoning about extension and reduction of partial information states. This enterprise amounts to nonpersistent variations of certain constructive logics, in particular the so-called logic of constructible falsity of Nelson. We provide simple semantics, sequential calculi, completeness and decidability proofs.

We study partiality in propositional logics containing formulas with either undefined or over-defined truth-values. Undefined values are created by adding a four-place connective W termed transjunction to complete models which, together with the usual Boolean connectives is shown to be functionally complete for all partial functions. Transjunction is seen to be motivated from a game-theoretic perspective, emerging from a two-stage extensive form semantic game of imperfect information between two players. This game-theoretic approach yields an interpretation where partiality is (...) generated as a property of non-determinacy of games. Over-defined values are produced by adding a weak, contradictory negation or, alternatively, by relaxing the assumption that games are strictly competitive. In general, particular forms of extensive imperfect information games give rise to a generalised propositional logic where various forms of informational dependencies and independencies of connectives can be studied. (shrink)

Popper’s original definition of truthlikeness relied on a central insight: that truthlikeness combines truth and information, in the sense that a proposition is closer to the truth the more true consequences and the less false consequences it entails. As intuitively compelling as this definition may be, it is untenable, as proved long ago; still, one can arguably rely on Popper’s intuition to provide an adequate account of truthlikeness. To this aim, we mobilize some classical work on partial entailment (...) in defining a new measure of truthlikeness which satisfies a number of desiderata. The resulting account has some interesting and surprising connections with other accounts on the market, thus shedding new light on current attempts of systematizing different approaches to verisimilitude. (shrink)

One important role of belief systems is to allow us to represent information about a certain domain of inquiry. This paper presents a formal framework to accommodate such information representation. Three cognitive models to represent information are discussed: conceptual spaces, state-spaces, and the problem spaces familiar from artificial intelligence. After indicating their weakness to deal with partial information, it is argued that an alternative, formulated in terms of partial structures, can be provided which not (...) only captures the positive features of these models, but also accommodates the partiality of information ubiquitous in science and mathematics. (shrink)

In recent years, semantical partiality has emerged as an important explanatory concept in philosophical logic as well as in the study of natural language semantics. Despite the many applications, however, a number of mathematically intriguing questions associated with this concept have received only very limited attention. ;The present dissertation aims to present a systematic study of certain types of partiality in the area of basic model theory. Two types of issues are given special attention: Introducing partially defined models, there are (...) many ways to generalize the classical truth definition for sentences of a simple first order language relative to standard, complete models. Different interpretations of the formal framework motivate conflicting truth definitions between language and partial models: A partial model can be taken to represent a part of the world, or a partial information set. The truth of a sentence can be supported directly by a part of the world, but can also follow indirectly from an information set. These notions are related, and the relation motivates a comparison between various weaker and stronger alternative truth definitions. Results are obtained about the extent to which these truth definitions differ, and a number of characterization results are deduced. ;Among other conditions that are not expressible in the framework of standard, complete model theory, a condition of monotonicity or persistence of truth relative to partial models is argued to follow under both the given interpretations of the formal framework. The final chapter investigates the relation between such conditions and expressibility properties in general. These discussions culminate with a combined Lindstrom and persistence characterization theorem. (shrink)

Research showed that action real-time strategy gaming experience is related to cognitive and neural plasticity, including visual selective attention and working memory, executive control, and information processing. This study explored the relationship between ARSG experience and information transmission in the auditory channel. Using an auditory, two-choice, go/no-go task and lateralized readiness potential as the index to partial information transmission, this study examined information transmission patterns in ARSG experts and amateurs. Results showed that experts had a (...) higher accuracy rate than amateurs. More importantly, experts had a smaller stimulus-locked LRP component than amateurs on no-go trials, while the response-locked LRP component on go trials did not differ between groups. Thus, whereas amateurs used an asynchronous information transmission pattern, experts used a reduced asynchronous information transmission pattern or a synchronous pattern where most of processing occurred prior to response execution – an information transmission pattern that supports rapid, error-free performance. Thus, experts and amateurs may use different information transmission patterns in auditory processing. In addition, the information transmission pattern used by experts is typically observed only after long-term auditory training according to past research. This study supports the relationship between ARSG experience and the development of information processing patterns. (shrink)

Is consciousness independent of the general-purpose information processes known as ‘cognitive access’? The dominantmethodology for supporting this independence hypothesis appeals to partial report experiments as evidence for perceptual consciousness in the absence of cognitive access. Using a standard model of evidential support, and reviewing recent elaborations of the partial report paradigm, this article argues that the paradigm has the wrong structure to support the independence hypothesis. Like reports in general, a subject’s partial report is evidence that (...) she is conscious of information only where that information is cognitively accessed. So partial report experiments could dissociate consciousness from cognitive access only if there were uncontroversial evidence forconsciousness which did not imply reportability. There is no such evidence. An alternative, broadly Marrian methodology for supporting the independence hypothesis is suggested, and some challenges to it outlined. This methodology does not require experimental evidence for consciousness in the absence of cognitive access. Instead it focuses on a function of perceptual consciousness when a stimulus is cognitively accessed. If the processes best suited to implement this function exclude cognitive access, the independence hypothesis will be supported. One relevant function of consciousness may be reflected in reason-based psychological explanations of a subject’s behaviour. (shrink)

Deception in research is contentious, as ethical codes stress informed consent, yet complete disclosure may jeopardise validity. Indian Council for Medical Research (ICMR) guidelines classify deception into active, incomplete, and authorised forms. This study explores the ethical justification for incomplete (partial disclosure), permissible instances, and the dilemma faced by ethics committees in balancing scientific rigour and participant protection. The qualitative, non-experimental cross-sectional research, using in-depth interviews, identifies themes through thematic analysis. Findings reveal challenges for ethics committees, as incomplete (...) class='Hi'>information hampers understanding, amongst others. The paper proposes an ethics committee framework, urging researchers to minimise or avoid partial deception and recommending institutional awareness campaigns and standard operating procedures for minimal-harm studies using partial disclosure. Therefore, it proposes that partial disclosure should be justified by the 3Vs—value, validity, and veracity to preserve research integrity. (shrink)

According to a prominent thought, in one’s practical reasoning one should rely only on what one knows. Yet for many choices, the relevant information is uncertain. This has led Schiffer to the following objection: oftentimes, we are fully rational in reasoning from uncertain premises which we do not know. For example, we may decide to take an umbrella based on a 0.4 credence that it will rain. There are various ways proponents of a knowledge norm for practical reasoning can (...) respond. One option is to say that the right way of dealing with uncertain information requires knowledge of probabilities. Another option is to say that credences can be knowledge because they really are beliefs with an unusual kind of content that consists of a set of probability spaces. Mixed accounts are possible as well. On neither of the accounts in the literature, however, can reasoning from uncertain premises be taken as reasoning based on a graded attitude, a credence, toward an ordinary proposition. To make room for this possibility, I argue that reliance comes in degrees. The knowledge norm is only plausible when taken to be concerned with full reliance.Partial reliance, on the other hand, goes hand in hand with credence. (shrink)

Clinical experience suggests that adult survivors of childhood trauma arrive at their memories in a number of ways, with varying degrees of associated distress and uncertainty and, in some cases, after memory lapses of varying duration and extent. Among those patients who enter psychotherapy as a result of early abuse, three general patterns of traumatic recall are identified: relatively continuous and complete recall of childhood abuse experiences coupled with changing interpretations of these experiences, partial amnesia for abuse events, accompanied (...) by a mixture of delayed recall and delayed understanding, and delayed recall following a period of profound and pervasive amnesia. These patterns are represented by three composite clinical vignettes. Variations among them suggest that the phenomena underlying traumatic recall are continuous not dichotomous. Future research into the nature of traumatic memory should be informed by clinical observation. (shrink)

If is a random sequence, then the sequence is clearly not random; however, seems to be “about half random”. L. Staiger [Kolmogorov complexity and Hausdorff dimension, Inform. and Comput. 103 159–194 and A tight upper bound on Kolmogorov complexity and uniformly optimal prediction, Theory Comput. Syst. 31 215–229] and K. Tadaki [A generalisation of Chaitin’s halting probability Ω and halting self-similar sets, Hokkaido Math. J. 31 219–253] have studied the degree of randomness of sequences or reals by measuring their “degree (...) of compression”. This line of study leads to various definitions of partial randomness. In this paper we explore some relations between these definitions. Among other results we obtain a characterisation of Σ1-dimension in terms of strong Martin-Löf ε-tests , and we show that ε-randomness for ε is different than the classical 1-randomness. (shrink)

This paper reflects on the notion of partial ambiguity. Using a framework decomposing ambiguity into distinct layers of analysis, among which are risk and model uncertainty, and allowing for different attitudes toward these layers, I show that partial ambiguity may prove less desirable than full ambiguity, even under ambiguity aversion. This observation poses difficulties for interpreting the notion of partial ambiguity in relation to the partial information available to determine the potential compositions of an ambiguous (...) urn. Two Ellsberg-style thought experiments are described to challenge the meaning of partial ambiguity further, and an alternative interpretation, based on a more ambiguous relation, is discussed. (shrink)

We introduce two new belief revision axioms: partial monotonicity and consequence correctness. We show that partial monotonicity is consistent with but independent of the full set of axioms for a Gärdenfors belief revision sytem. In contrast to the Gärdenfors inconsistency results for certain monotonicity principles, we use partial monotonicity to inform a consistent formalization of the Ramsey test within a belief revision system extended by a conditional operator. We take this to be a technical dissolution of the (...) well-known Gärdenfors dilemma.In addition, we present the consequential correctness axiom as a new measure of minimal revision in terms of the deductive core of a proposition whose support we wish to excise. We survey several syntactic and semantic belief revision systems and evaluate them according to both the Gärdenfors axioms and our new axioms. Furthermore, our algebraic characterization of semantic revision systems provides a useful technical device for analysis and comparison, which we illustrate with several new proofs. (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 φ.

This paper focuses on the self-knowledge of emotions. I first argue that several of the leading theories of self-knowledge, including the transparency method (see, e.g., Byrne 2018) and neo-expressivism (see, e.g., Bar-On 2004), have difficulties explaining how we authoritatively know our own emotions (even though they may plausibly account for sensation, belief, intention, and desire). I next consider Barrett’s (2017a) empirically informed theory of constructed emotion. While I agree with her that we ‘give meaning to [our] present sensations’ (2017a, p.26), (...) I disagree with her that we construct our emotions, as this has some unwelcome implications. I then draw upon recent data from the science of emotions literature to advance a view I call partial first-person authority. According to this view, first-person authority with respect to our emotions is only partial: we can introspect and authoritatively know our own sensations, and beliefs, in ways others cannot; but we still need to interpret those sensations and beliefs, to know our emotions. Finally, I consider self-interpretational accounts of self-knowledge by Carruthers (2011) and Cassam (2014). I argue that while these accounts are implausible when applied to beliefs, desires, and intentions, they are more plausible when applied to our emotions. (shrink)

Individuals’ unverified information sharing on social media, namely, sharing information without verification, is a major cause of the widespread misinformation amid the COVID-19 pandemic. The association between perceived information overload and unverified information sharing has been well documented in the cognitive overload approach. However, little is known about the underlying mechanism of this process. This study aims to explore the mediating role of anxiety and the moderating role of perceived herd between perceived information overload and (...) unverified information sharing on WeChat. Anxiety demonstrates people’s emotional response to the pandemic, whereas perceived herd describes a willingness to share certain information if it has been shared by many. The results of an online survey in China showed that perceived information overload was positively associated with unverified information sharing. In addition, this relationship was partially mediated by anxiety. Moreover, perceived herd positively moderated the link between anxiety and unverified information sharing, such that the indirect effect of perceived information overload on unverified information sharing via anxiety was significant in conditions where the level of perceived herd was high, whereas the indirect effect was not significant in conditions where the level of perceived herd was low. The moderated mediation model extends the cognitive overload approach and indicates that unverified information sharing is not only an individual strategy to cope with information overload but also a herding behavior to manage anxiety. Practical implications for curbing people’s tendencies toward unverified information sharing on social media are discussed. (shrink)

The spontaneous organization of collective activities in animal groups and societies has attracted a considerable amount of attention over the last decade. This kind of coordination often permits group‐living species to achieve collective tasks that are far beyond single individuals' capabilities. In particular, a key benefit lies in the integration of partial knowledge of the environment at the collective level. In this contribution, we discuss various self‐organization phenomena in animal swarms and human crowds from the point of view of (...) information exchange among individuals. In particular, we provide a general description of collective dynamics across species and introduce a classification of these dynamics not only with respect to the way information is transferred among individuals but also with regard to the knowledge processing at the collective level. Finally, we highlight the fact that the individual’s ability to learn from past experiences can have a feedback effect on the collective dynamics, as experienced with the development of behavioral conventions in pedestrian crowds. (shrink)

Motivated by constraint satisfaction problems, Feder and Vardi (SIAM Journal of Computing, 28, 57–104, 1998) set out to search for fragments of satisfying the dichotomy property: every problem definable in is either in P or else NP-complete. Feder and Vardi considered in this connection two logics, strict NP (or SNP) and monadic, monotone, strict NP without inequalities (or MMSNP). The former consists of formulas of the form , where is a quantifier-free formula in a relational vocabulary; and the latter is (...) the fragment of SNP whose formulas involve only negative occurrences of relation symbols, only monadic second-order quantifiers, and no occurrences of the equality symbol. It remains an open problem whether MMSNP enjoys the dichotomy property. In the present paper, SNP and MMSNP are characterized in terms of partially ordered connectives. More specifically, SNP is characterized using the logic D of partially ordered connectives introduced in Blass and Gurevich (Annals of Pure and Applied Logic, 32, 1–16, 1986), Sandu and Väänänen (Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 38, 361–372 1992), and MMSNP employing a generalization C of D introduced in the present paper. (shrink)

The standard account of informed consent has recently met serious criticism, focused on the mismatch between its implications and widespread intuitions about the permissibility of conducting research and providing treatment under conditions of partial knowledge. Unlike other critics of the standard account, we suggest an account of the relations between autonomy, ignorance, and valid consent that avoids these implausible implications while maintaining the standard core idea, namely, that the primary purpose of the disclosure requirement of informed consent is to (...) prevent autonomy-undermining ignorance. The problem with the standard account, we argue, is that it fails to distinguish between different forms of ignorance–in particular, error and suspending ignorance–that have very different effects on individuals’ ability to provide valid consent. While error often undermines our ability to provide valid consent, suspending ignorance, we argue, does not. Once the moral weight of this distinction is appreciated, it becomes apparent that valid informed consent requires far less knowledge than suggested by the standard account. (shrink)

We propose a sheaf-theoretic framework for the representation of a quantum observable structure in terms of Boolean information sieves. The algebraic representation of a quantum observable structure in the relational local terms of sheaf theory effectuates a semantic transition from the axiomatic set-theoretic context of orthocomplemented partially ordered sets, la Birkhoff and Von Neumann, to the categorical topos-theoretic context of Boolean information sieves, la Grothendieck. The representation schema is based on the existence of a categorical adjunction, which is (...) used as a theoretical platform for the development of a functorial formulation of information transfer, between quantum observables and Boolean localisation devices in typical quantum measurement situations. We also establish precise criteria of integrability and invariance of quantum information transfer by cohomological means. (shrink)

In this paper it is shown how a partial semantics for presuppositions can be given which is empirically more satisfactory than its predecessors, and how this semantics can be integrated with a technically sound, compositional grammar in the Montagovian fashion. Additionally, it is argued that the classical objection to partial accounts of presupposition projection, namely that they lack “flexibility,” is based on a misconception. Partial logics can give rise to flexible predictions without postulating any ad hoc ambiguities. (...) Finally, it is shown how the partial foundation can be combined with a dynamic system of common-ground maintenance to account for accommodation. (shrink)

This paper examines the ethical conundrum between a hospital's ethos of relieving distress, investigation and treatment, and its concurrent duties under English law to administer tests of decision-making capacity and safeguarding protection where it believes the patient may lack this capacity. Delirium, characterised by a precipitous decline in mental functioning exhibiting the shared symptomology of recoverable depressive disorders and terminal dementia, is not uncommon after emergency admission of elderly patients into acute medical hospital wards. The use of functional capacity testing (...) as a benchmark for decision-making capacity for post-discharge residence has been criticised as outdated, conceptually floored, subjective, lacking central guidance, transparent process, and accountability. A study of patient experience demonstrates the potential for hospital misuse of capacity testing, the failure of functional testing to differentiate decision making capacity from the disability of partial cognitive impairment, and how hospital capacity processes can interact and amplify patient pathology thereby decreasing recovery prospects. Prioritisation of mental capacity obligations above thorough investigation of emergent mental pathology and relief of patient anguish, results in extended detention in medical wards lacking bespoke facilities. Further understanding of patient experience is needed to inform policy with interventions tailored to avoid harm and increase wellbeing. (shrink)

This paper suggests an epistemic interpretation of Belnap’s branching space-times theory based on Everett’s relative state formulation of the measurement operation in quantum mechanics. The informational branching models of the universe are evolving structures defined from a partial ordering relation on the set of memory states of the impersonal observer. The totally ordered set of their information contents defines a linear “time” scale to which the decoherent alternative histories of the informational universe can be referred—which is quite necessary (...) for assigning them a probability distribution. The “historical” state of a physical system is represented in an appropriate extended Hilbert space and an algebra of multi-branch operators is developed. An age operator computes the informational depth of historical states and its standard deviation can be used to provide a universal information/energy uncertainty relation. An information operator computes the encoding complexity of historical states, the rate of change of its average value accounting for the process of correlation destruction inherent to the branching dynamics. In the informational branching models of the universe, the asymmetry of phenomena in nature appears as a mere consequence of the subject’s activity of measuring, which defines the flow of time-information. (shrink)