This paper demonstrates the practical and philosophical strengths of adopting Luciano Floridi’s “general definition of information” (GDI) for use in the information sciences (IS). Many definitions of information have been proposed, but little work has been done to determine which definitions are most coherent or useful. Consequently, doubts have been cast on the necessity and possibility of finding a definition. In response to these doubts, the paper shows how items and events central to IS are adequately described by Floridi’s conception (...) of information, and demonstrates how it helps clarify the muddy theoretical framework resulting from the many previous definitions. To this end, it analyzes definitions, popular in IS, that conceive of information as energy, processes, knowledge, and physical objects. The paper finds that each of these definitions produces problematic or counterintuitive implications that the GDI suitably accounts for. It discusses the role of truth in IS, notes why the GDI is preferable to its truth-requiring variant, and ends with comments about the import of such a theory for IS research and practice. (shrink)

In this short paper, we show that a popular view in information science, information-as-thing, fails to account for a common example of information that seems physical. We then demonstrate how the distinction between types and tokens, recently used to analyse Shannon information, can account for this same example by viewing information as abstract, and discuss existing definitions of information that are consistent with this approach. -/- Dans ce court article nous montrons qu'une vision populaire en sciences de l'information, l'information en (...) tant qu’une chose, échoue à rendre compte d'un exemple commun d'information qui semble physique. Nous démontrons ensuite comment la distinction type/token, utilisée récemment pour analyser l'information de Shannon, peut rendre compte de ce même exemple en considérant l'information comme abstraite, et nous discutons des définitions existantes de l’information qui sont compatibles avec cette approche. (shrink)

Les disciplines historiques, littéraires et philosophiques font un emploi abondant des catégories historiographiques. Parmi celles-ci, les termes en ismes sont très fréquents pour référer à une doctrine, un courant artistique, une idéologie ou des événements spécifiques. On fait cependant remarquer que ces désignations posent de nombreux problèmes d’interprétation. En particulier, que l’origine exacte d’une catégorie est souvent méconnue et que sa signification est plus équivoque qu’on ne le croit habituellement. La formation d’un terme en isme s’explique souvent dans un contexte (...) polémique et sert à condamner ou critiquer plutôt qu’à comprendre une pensée, un mouvement ou des faits historiques. Les catégories d’athéisme, de classicisme ou de féminisme en sont de bons exemples. Le présent volume vise à contribuer à l’étude critique des catégories historiographiques et des notions en isme en s’attardant à l’époque moderne (XVI e XVIII e siècles). Il s’agit d’un moment clef de l’histoire européenne pendant laquelle nombre de ces notions apparaissent ou pour laquelle l’historiographie en a fait un emploi abondant. Les chapitres en examinent la valeur théorique par rapport à une origine ou des usages, et déterminent de quelles manières elles contribuent à l’interprétation de l’histoire, de la littérature ou de la philosophie, de la Renaissance jusqu’à la Révolution française. (shrink)

How should you decide what to do when you’re uncertain about basic normative principles? A natural suggestion is to follow some "second-order:" norm: e.g., obey the most probable norm or maximize expected choiceworthiness. But what if you’re uncertain about second-order norms too—must you then invoke some third-order norm? If so, any norm-guided response to normative uncertainty appears doomed to a vicious regress. This paper aims to rescue second-order norms from the threat of regress. I first elaborate and defend the claim (...) some philosophers have made that the regress problem forces us to accept normative externalism, the view that at least one norm is incumbent on all agents regardless of their normative beliefs. But, I then argue, we need not accept externalism about first-order norms, thus closing off any question of how agents should respond to normative uncertainty. Rather, we can head off the threat of regress by ascribing external force to a single second-order norm: the enkratic principle. (shrink)

The goal of this paper is to introduce a new Gentzen formulation of the modal logic S5. The history of this problem goes back to the fifties where a counter-example to cut-elimination was given for an otherwise natural and straightforward formulation of S5. Since then, several cut-free Gentzen style formulations of S5 have been given. However, all these systems are technically involved, and furthermore, they differ considerably from Gentzen's original formulation of classical logic. In this paper we give a new (...) sequent system for S5 which is a straightforward and technically simple extension of Gentzen's original sequent system for classical logic. A characteristic feature is the notion of a connection in a proof. The new system satisfies cut-elimination as well as the subformula property. Cut-elimination is proved by giving an algorithm for eliminating cuts. The fact that we give an algorithm for eliminating cuts makes it clear that our system is susceptible to a formulae-as-types computational interpretation. (shrink)

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model. This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems (...) for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems for a spectrum of different hybrid logics. (shrink)

Braüner, Blackburn and Polyanskaya relate children’s being deceived to their theory of mind skills. Second‐order false‐belief tasks are often used to test children’s second‐order theory of mind development. The article gives a logical analysis of the reasoning needed to solve four types of second‐order false belief tasks, distinguished on whether a story character is deceived, and on whether the story hinges on facts in the world changing. The principle of inertia plays an important role. [74].

Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first constructive version of hybrid logic, thereby showing that it is possible to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well-motivated version of intuitionistic hybrid logic and prove essential proof-theoretical results for a natural deduction formulation of it. Our natural deduction system is also extended with additional inference (...) rules corresponding to conditions on the accessibility relations expressed by so-called geometric theories. Thus, we give natural deduction systems in a uniform way for a wide class of constructive hybrid logics. This shows that constructive hybrid logics are a viable enterprise and opens up the way for future applications. (shrink)

This is a companion paper to Braüner where a natural deduction system for propositional hybrid logic is given. In the present paper we generalize the system to the first-order case. Our natural deduction system for first-order hybrid logic can be extended with additional inference rules corresponding to conditions on the accessibility relations and the quantifier domains expressed by so-called geometric theories. We prove soundness and completeness and we prove a normalisation theorem. Moreover, we give an axiom system first-order hybrid logic.

In the paper (Braüner, 2001) we gave a minimal condition for the existence of a homophonic theory of truth for a modal or tense logic. In the present paper we generalise this result to arbitrary modal logics and we also show that a modal logic permits the existence of a homophonic theory of truth if and only if it permits the definition of a socalled master modality. Moreover, we explore a connection between the master modality and hybrid logic: We show (...) that if attention is restricted to bidirectional frames, then the expressive power of the master modality is exactly what is needed to translate the bounded fragment of first-order logic into hybrid logic in a truth preserving way. We believe that this throws new light on Arthur Prior's fourth grade tense logic. (shrink)

Decision-making under normative uncertainty requires an agent to aggregate the assessments of options given by rival normative theories into a single assessment that tells her what to do in light of her uncertainty. But what if the assessments of rival theories differ not just in their content but in their structure -- e.g., some are merely ordinal while others are cardinal? This paper describes and evaluates three general approaches to this "problem of structural diversity": structural enrichment, structural depletion, and multi-stage (...) aggregation. All three approaches have notable drawbacks, but I tentatively defend multi-stage aggregation as least bad of the three. (shrink)

The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called false-belief tasks in cognitive psychology, thereby investigating the interplay between cognition and logical reasoning about belief. We consider two different versions of the Smarties task, involving respectively a shift of perspective to another person and to another time. Our formalizations disclose that despite this difference, the two versions of the Smarties task have exactly the same underlying logical structure. (...) We also consider the Sally-Anne task, having a more complicated logical structure, presupposing a “principle of inertia” saying that a belief is preserved over time, unless there is belief to the contrary. (shrink)

The standard medical case report often reduces patients and caregivers to complexes of medical facts and clinical decisions. Restructuring the genre itself to acknowledge the human dimensions of both patients and physicians allows questions of human values to regain their stature as integral components of the discourse.

The perception of meaningful patterns in random arrangements and unrelated events takes place in our everyday lives, coined apophenia, synchronicity, or the experience of meaningful coincidences. However, we do not know yet what predicts this phenomenon. To investigate this, we re-analyzed a combined data set of two daily diary studies with a total of N = 169 participants (mean age 29.95 years; 54 men). We investigated if positive or negative affect (PA, NA) predicts the number of meaningful coincidences on the (...) following day (or vice versa). By means of a cross-lagged multilevel modelling approach (Bayesian estimation) we evaluated with which of two theoretical assumptions the data are more in line. First, if meaningful coincidences are facilitated by a broader and more flexible thinking style, PA should positively predict meaningful coincidences at the following day. However, if the experience of meaningful coincidences signifies a strategy to cope with negative feeling states, NA should predict the experience of meaningful coincidences during the following day. In favour of a more flexible thinking style, we found that PA predicted the number of perceived coincidences the following day. We did not find any effect for NA, and therefore, no evidence arguing for the coping mechanism hypothesis of meaningful coincidences. (shrink)

What kind of animals are human beings? And how do our visions of the human shape our theories of social action and institutions? In Moral, Believing Animals>, Christian Smith advances a creative theory of human persons and culture that offers innovative, challenging answers to these and other fundamental questions in sociological, cultural, and religious theory. Smith suggests that human beings have a peculiar set of capacities and proclivities that distinguishes them significantly from other animals on this planet. Despite the (...) vast differences in humanity between cultures and across history, no matter how differently people narrate their lives and histories, there remains an underlying structure of human personhood that helps to order human culture, history, and narration. Drawing on important recent insights in moral philosophy, epistemology, and narrative studies, Smith argues that humans are animals who have an inescapable moral and spiritual dimension. They cannot avoid a fundamental moral orientation in life and this, says Smith, has profound consequences for how sociology must study human beings. (shrink)

Each time patients and their families are asked to make a decision about resuscitation, they are also asked to engage the political, social, and cultural concerns that have shaped its history. That history is exemplified in the career of Claude S. Beck, arguably the most influential researcher and teacher of resuscitation in the twentieth century. Careful review of Beck’s work discloses that the development and popularization of the techniques of resuscitation proceeded through a multiplication of definitions of death. CPR consequently (...) remains unique among medical treatments, because it is indicated precisely when a person dies, depending always on how each event of death becomes defined practically by patients, families, and medical professionals present at the time. It is therefore as an occasion to manage a surplus of definitions of death, and not as an occasion to determine the physiological efficacy of resuscitation, that one should approach analysis of contemporary challenges in decision-making about resuscitation. (shrink)

The principle that rational agents should maximize expected utility or choiceworthiness is intuitively plausible in many ordinary cases of decision-making under uncertainty. But it is less plausible in cases of extreme, low-probability risk (like Pascal's Mugging), and intolerably paradoxical in cases like the St. Petersburg and Pasadena games. In this paper I show that, under certain conditions, stochastic dominance reasoning can capture most of the plausible implications of expectational reasoning while avoiding most of its pitfalls. Specifically, given sufficient background uncertainty (...) about the choiceworthiness of one's options, many expectation-maximizing gambles that do not stochastically dominate their alternatives "in a vacuum" become stochastically dominant in virtue of that background uncertainty. But, even under these conditions, stochastic dominance will not require agents to accept options whose expectational superiority depends on sufficiently small probabilities of extreme payoffs. The sort of background uncertainty on which these results depend looks unavoidable for any agent who measures the choiceworthiness of her options in part by the total amount of value in the resulting world. At least for such agents, then, stochastic dominance offers a plausible general principle of choice under uncertainty that can explain more of the apparent rational constraints on such choices than has previously been recognized. (shrink)

The medical record, as a managerial, historic, and legal document, serves many purposes. Although its form may be well established and many of the cases documented in it routine in medical experience, what is written in the medical record nevertheless records decisions and actions of individuals. Viewed as an interpretive text, it can itself become the object of interpretation. This essay applies literary theory and methodology to the structure, content, and writing style(s) of an actual medical record for the purpose (...) of exploring the relationship between the forms and language of medical discourse and the daily decisions surrounding medical treatment. The medical record is shown to document not only the absence of a consistent treatment plan for the patient studied but also a breakdown in communication between different health professionals caring for that patient. The paper raises questions about the kind of education being given to house staff in this instance. The essay concludes with a consideration of how such situations might be more generally avoided. (shrink)

If I am aware that p, say, that it is raining, is it the case that I must be aware that I am aware that p? Does introspective or object-awareness entail the apprehension of mental states as being of some kind or another: self-monitoring or intentional? That is, are cognitive events implicitly self-aware or is “self-awareness” just another term for metacognition? Not surprisingly, intuitions on the matter vary widely. This paper proposes a novel solution to this classical debate by reframing (...) the problem of self-knowledge in terms of the relation between phenomenal concepts and phenomenal knowledge. Concepts of consciousness such as “introspective awareness” and “reflexive self-awareness” are grounded in phenomenal experiences rather than physical events and processes. As such they yield a different kind of self-knowledge than what can be gained by applying externalist conceptual schemas to understanding the mind. I argue that Dharmakīrti’s theory of content can be seen as endorsing the efficacy of phenomenal experience as a vehicle for self-knowledge. (shrink)

Our aim in this survey article is to provide an accessible overview of some key results and questions in the theory of judgment aggregation. We omit proofs and technical details, focusing instead on concepts and underlying ideas.

We present an axiom system for basic hybrid logic extended with propositional quantifiers (a second-order extension of basic hybrid logic) and prove its (basic and pure) strong completeness with respect to general models.

In a study involving 62 Danish children with autism spectrum disorder, we obtained results showing that the mastery of linguistic recursion is a significant predictor of success in second-order false belief tasks. The same study also showed that the mastery of linguistic recursion was not significantly correlated with success in a task involving three heavily used Danish discourse particles. This calls for further explanation, as the reasoning involved in both types of tasks seems similar. In this paper, we discuss second-order (...) false belief reasoning, the reasoning underlying the use of the three Danish discourse particles, say what we know about them experimentally, and discuss what they do have in common. (shrink)

Many different methodological approaches have been proposed to infer the presence of consciousness in non-human systems. In this paper, a version of the theory-heavy approach is defended. Theory-heavy approaches rely heavily on considerations from theories of consciousness to make inferences about non-human consciousness. Recently, the theory-heavy approach has been critiqued in the form of Birch's (Noûs, 56(1): 133-153, 2022) dilemma of demandingness and Shevlin's (Mind & Language, 36(2): 297-314, 2021) specificity problem. However, both challenges implicitly assume an inapt characterization of (...) the theory-heavy approach. I argue that an alternative characterization of the approach, what I call a credence-based theory-heavy approach, avoids these challenges. Theorists can generate interpretations of their theory, at different levels of generality, and operationalize these into theory-informed markers. These theory-informed are assigned a likelihood and are used to assess the probability that a target system is conscious. In providing this characterization, and mapping out the possible ways in which a credence-based theory-heavy approach can be fleshed out, the aim is to situate the theory-heavy approach as a more compelling approach than it is currently being perceived as. Our attention, then, needs to towards remaining challenges such as the consensus problem and the problem of calibrating the likelihoods associated with theory-informed markers. I also explore methodological pluralism and assess how the credence-based theory-heavy approach can benefit from other methodological approaches. (shrink)

In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom systems can be extended with additional rules corresponding to conditions on the accessibility relation expressed by so-called geometric theories. In the classical case other axiomatisations than ours can be found in the literature but in the intuitionistic case no axiomatisations have been published. We consider plain intuitionistic hybrid logic as well as a hybridized version of the constructive and paraconsistent logic N4.

Nudge is a popular public policy tool that harnesses well-known biases in human judgement to subtly guide people’s decisions, often to improve their choices or to achieve some socially desirable outcome. Thanks to recent developments in artificial intelligence (AI) methods new possibilities emerge of how and when our decisions can be nudged. On the one hand, algorithmically personalized nudges have the potential to vastly improve human daily lives. On the other hand, blindly outsourcing the development and implementation of nudges to (...) “black box” AI systems means that the ultimate reasons for why such nudges work, that is, the underlying human cognitive processes that they harness, will often be unknown. In this paper, we unpack this concern by considering a series of examples and case studies that demonstrate how AI systems can learn to harness biases in human judgment to reach a specified goal. Drawing on an analogy in a philosophical debate concerning the methodology of economics, we call for the need of an interdisciplinary oversight of AI systems that are tasked and deployed to nudge human behaviours. (shrink)

This article presents a case study of a facilitator-lead “shared reading” group with participants suffering from mental health problems. We argue that the text is the most important agent in creating a reading experience which is both subjective and shared. And we point to relatedness as a function of text agency, and to the role of facilitation in creating text-reader relations. The article also presents a new methodological framework combining physiological data of heart rate variability and linguistic, observational and subjective (...) data. By integrating these distinct data points in our analysis we demonstrate the ways in which the text functions as an agent driving processes of individuation and synchronization respectively. On the basis of linguistic analysis of readers’ responses and interactions we point to the cognitive process of mentalization underlying both individual readings and collective meaning making. At the end we discuss the relation of mentalization to diagnosis and argue that “shared reading” may function as an intervention form with a potential for modifying way of thinking; knowing when to read into and when not, and mode of thought; shifting from explanation to experience. (shrink)

In this paper various branching time semantics are compared with the aim of clarifying the role of true futures of counterfactual moments, that is, true futures of moments outside the true chronicle. First we give an account of Arthur Prior’s Ockhamistic semantics where truth of a formula is relative to a moment and a chronicle. We prove that this is equivalent to a version of a semantics put forward by Thomason and Gupta where truth is relative to a moment and (...) what is called a chronicle function which assigns a chronicle to each moment. Later we discuss how a semantic theory considered by Belnap and Green may be formalised. It comes about by assuming a chronicle function to be given once and for all. However, this semantics invalidates an intuitively valid formula, so we present an alternative semantics where the formula in question is valid. Furthermore, we shall exhibit an intuitively invalid formula which is invalid in our alternative semantics, but which is valid in Prior’s Ockhamistic semantics. So we can conclude that Prior’s Ockhamistic validity does not imply validity in the alternative semantics. On the other hand, the converse implication does hold, as we shall prove. Summary of mathematical results: We have proved that Prior’s Ockhamistic semantics has the same valid formulas as Thomason and Gupta’s semantics, and we have proved that Prior’s Ockhamistic semantics has strictly more valid formulas than the alternative semantics. (shrink)

This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic systems: Natural deduction systems, Gentzen sequent systems and tableau systems. We point out major results and we discuss a couple of striking facts, in particular that nonlabelled hybrid-logical natural deduction systems are analytic, but this is not proved in the usual way via step-by-step normalization of derivations.