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)

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].

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)

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)

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)

A substantial guide providing an overview of both physicalism and metaphysical naturalism, reviewing both questions of formulation and justification for both doctrines. Includes a diagnostic strategy for understanding talk of naturalism as a metaphysical thesis.

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

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)

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

This chapter explores the debate between contemporary projectivists or expressivists, and the advocates of sensibility theory. Both positions are best viewed as forms of sentimentalism — the theory that evaluative concepts must be explicated by appeal to the sentiments. It argues that the sophisticated interpretation of such notions as “true” and “objective” that are offered by defenders of these competing views ultimately undermines the significance of their meta-ethical disputes over “cognitivism” and “realism” about value. Their fundamental disagreement lies in moral (...) psychology; it concerns how best to understand the emotions to which sentimentalist theories must appeal. (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.

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.

Inside What Would Plato Do?, you'll find the basics of philosophy, written in an easy, digestible way we can all understand, along with questions to help you apply these important theories to your own life. So, after you've learned about a philosophical concept, you'll then be challenged to test yourself and see how the results can impact your daily life. For instance, after learning about Kant's theory of morality and the importance of intention you're challenged with questions like: Can good (...) people do bad things? Was there a time when you intended to do something helpful that ended up being hurtful? Does that make you a good person (because you intended to do good) or a bad person (because the results were bad)? What Would Plato Do? will not only help you better understand some of the greatest thinkers ever but will also help you think of the world around you in a whole new way! (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)

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)

A hybrid logic is obtained by adding to an ordinary modal logic further expressive power in the form of a second sort of propositional symbols called nominals and by adding so-called satisfaction operators. In this paper we consider hybridized versions of S5 (“the logic of everywhere”) and the modal logic of inequality (“the logic of elsewhere”). We give natural deduction systems for the logics and we prove functional completeness results.

This is primarily a conceptual paper. The goal of the paper is to put into perspective the proof-theory of hybrid logic and in particular, try to give an answer to the following question: Why does the proof-theory of hybrid logic work so well compared to the proof-theory of ordinary modal logic?Roughly, there are two different kinds of proof systems for modal logic: Systems where the formulas involved in the rules are formulas of the object language, that is, ordinary modal-logical formulas, (...) and systems where the formulas involved in the rules are metalingustic formulas obtained by attaching labels representing possible worlds to ordinary modal-logical formulas. Systems of the second kind often also involve an explicit representation of the accessibility relation. From a proof-theoretic point of view, modal-logical systems of the first kind are less well-behaved than systems of the second kind.It turns out that this can be remedied by hybridization, that is, hybridization of modal logics enables the formulation of well-behaved proof systems without involving metalinguistic machinery. What has happened is that the metalinguistic machinery has been internalized in the object language. This gives an answer to the initial question, which is that the proof-theory of hybrid logic works so well because the metalinguistic semantic machinery has been internalized in the object language. (shrink)

We are immersed within an odorous sea of chemical currents that we parse into individual odors with complex structures. Odors have been posited as determined by the structural relation between the molecules that compose the chemical compounds and their interactions with the receptor site. But, naturally occurring smells are parsed from gaseous odor plumes. To give a comprehensive account of the nature of odors the chemosciences must account for these large distributed entities as well. We offer a focused review of (...) what is known about the perception of odor plumes for olfactory navigation and tracking, which we then connect to what is known about the role odorants play as properties of the plume in determining odor identity with respect to odor quality. We end by motivating our central claim that more research needs to be conducted on the role that odorants play within the odor plume in determining odor identity. (shrink)