We examine the paradox of the surprise examination using dynamic epistemic logic. This logic contains means of expressing epistemic facts as well as the effects of learning new facts, and is therefore a natural framework for representing the puzzle. We discuss a number of different interpretations of the puzzle in this context, and show how the failure of principle of success, that states that sentences, when learned, remain to be true and come to be believed, plays a central role in (...) understanding the puzzle. (shrink)

In this paper we introduce Dynamic Epistemic Logic, which is alogic for reasoning about information change in a multi-agent system. Theinformation structures we use are based on non-well-founded sets, and canbe conceived as bisimulation classes of Kripke models. On these structures,we define a notion of information change that is inspired by UpdateSemantics (Veltman, 1996). We give a sound and complete axiomatization ofthe resulting logic, and we discuss applications to the puzzle of the dirtychildren, and to knowledge programs.

Many logical systems today describe intelligent interacting agents over time. Frameworks include Interpreted Systems (IS, Fagin et al. [8]), Epistemic-Temporal Logic (ETL, Parikh & Ramanujam [22]), STIT (Belnap et al. [5]), Process Algebra and Game Semantics (Abramsky [1]). This variety is an asset, as different modeling tools can be fine-tuned to specific applications. But it may also be an obstacle, when barriers between paradigms and schools go up. This paper takes a closer look at one particular interface, between two systems (...) that both address the dynamics of knowledge and information flow in multi-agent systems. One is IS/ETL (IS and ETL are, from a technical point of view, the same up to model transformations, cf. [20]), which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. These models provide a Grand Stage where histories of some process unfold constrained by a protocol, and a matching epistemic-temporal language describes what happens. The other framework is Dynamic Epistemic Logic (DEL, [10, 4, 34]) that describes interactive processes in terms of epistemic event models which may occur inside modalities of the language. Temporal evolution is then computed from some initial epistemic model through a process of successive ‘product updates’. It has long been unclear how to best compare IS/ETL and DEL. Various aspects have been investigated in [10, 30, 32], but in this paper, we study the interface in a more systematic way. Often, DEL and ETL are presented as alternative ways of adding dynamics to multi-agent epistemic models. In this paper, we rather focus on how merging the two different modeling choices leads to interesting new questions. Our leading interest here will be a view of informational processes as evolving over time. To see what we mean, consider the simplest version of DEL, viz. the logic of public announcements PAL ([23]) which adds a very specific type of communicative 1 action to epistemic models: a public announcement.. (shrink)

A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event (...) models which may occur inside modalities of the language. This paper systematically and rigorously relates the DEL framework with the ETL framework. The precise relationship between DEL and ETL is explored via a new representation theorem characterizing the largest class of ETL models corresponding to DEL protocols in terms of notions of Perfect Recall , No Miracles , and Bisimulation Invariance . We then focus on new issues of completeness . One contribution is an axiomatization for the dynamic logic of public announcements constrained by protocols, which has been an open problem for some years, as it does not fit the usual ‘reduction axiom’ format of DEL. Finally, we provide a number of examples that show how DEL suggests an interesting fine-structure inside ETL. (shrink)

A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event (...) models which may occur inside modalities of the language. This paper systematically and rigorously relates the DEL framework with the ETL framework. The precise relationship between DEL and ETL is explored via a new representation theorem characterizing the largest class of ETL models corresponding to DEL protocols in terms of notions of Perfect Recall, No Miracles, and Bisimulation Invariance. We then focus on new issues of completeness. One contribution is an axiomatization for the dynamic logic of public announcements constrained by protocols, which has been an open problem for some years, as it does not fit the usual ‘reduction axiom’ format of DEL. Finally, we provide a number of examples that show how DEL suggests an interesting fine-structure inside ETL. (shrink)

Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...) logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods. (shrink)

ABSTRACT:Demands have been growing upon firms to take actions in the interests of workers, the environment, local communities, and others. Firms sometimes have felt they could best discharge such responsibilities by cooperating with other firms. This, however, is suspect from the point of view of a purely economic interpretation of competition law, since interfirm agreements may raise prices and thus lower welfare for consumers. Should competition law remain focused on competition enhancing economic welfare, or be reformed to allow for acts (...) of cooperation that are socially beneficial? To answer this question, the article provides a philosophical reevaluation of the deep-seated view that firms are merely private actors. It argues that demands of political legitimacy should also be addressed at firms cooperating together, and that standard views of democratic accountability should be broadened, introducing a model of delegated, sequential decision making which allows regulatory agencies and parliaments to control interfirm agreements. (shrink)

We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic epistemic logic to reason about information change ? and in particular, the effect of communication acts ? in such a game of imperfect information. We show how this framework allows for the formulation of specific assumptions in pragmatics of communication, as well as the formulation of general results about the (...) value of information. (shrink)

While no classicist would deny that Quintilian’s “Institutio oratoria” is the most complete handbook of rhetoric transmitted from Antiquity, the work is usually mined for its information on both the Roman educational system and technical aspects of the art of speaking. The “Institutio” may be useful as a guide to eloquence, but its author frequently hints to higher aspirations. This article focuses on the literary merits of the “Institutio”, arguing that it deliberately competes with the poetical works of Horace, Vergil, (...) and, possibly, Statius. (shrink)

Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...) logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods. (shrink)

This contribution offers an introduction to the Special Issue 'Rethinking the European Social Market Economy'. It places the Special Issue against the background of the debate on free markets versus social protection in the European Union and the inclusion of the notion of 'social market economy' in the Treaty on European Union. It sketches the meaning and development of the social market economy concept, and introduces the key questions underlying this Special Issue and the contributions included in it.

Recent studies indicate that mammalian chromosomes contain discretecis‐acting loci that control replication timing, mitotic condensation, and stability of entire chromosomes. Disruption of the large non‐coding RNA gene ASAR6 results in late replication, an under‐condensed appearance during mitosis, and structural instability of human chromosome 6. Similarly, disruption of the mouse Xist gene in adult somatic cells results in a late replication and instability phenotype on the X chromosome. ASAR6 shares many characteristics with Xist, including random mono‐allelic expression and asynchronous replication timing. (...) Additional “chromosome engineering” studies indicate that certain chromosome rearrangements affecting many different chromosomes display this abnormal replication and instability phenotype. These observations suggest that all mammalian chromosomes contain “inactivation/stability centers” that control proper replication, condensation, and stability of individual chromosomes. Therefore, mammalian chromosomes contain four types ofcis‐acting elements, origins, telomeres, centromeres, and “inactivation/stability centers”, all functioning to ensure proper replication, condensation, segregation, and stability of individual chromosomes. (shrink)

This article offers a synthesis of and conclusion to the contributions included in the Special Issue 'Rethinking the European Social Market Economy'. Based on different understandings of citizenship in the European Union and the roles of the EU and its member states in providing social protection arrangements, it develops a typology of four models of the EU's role in social protection. It then discusses the contributions to this Special Issue in light of this typology and draws a number of overarching (...) conclusions. (shrink)

European competition law is predominantly focused on maximizing consumer welfare. This overarching purpose (which is supported by economic theory) leaves little place for safeguarding non-economic values, such as sustainability. This makes it difficult to allow cooperation between companies to contribute to such non-economic goals. In this article we explore whether it is possible to establish a different normative framework, in which such goals can be taken into account and can be balanced against the economic goal of consumer welfare. To answer (...) this question, we take four steps. First, we discuss current EU competition law and the difficulty of fitting non-economic goals into the dominant interpretation of that law. Second, we propose a different normative framework, based on the capability approach advanced by philosopher Martha Nussbaum and economist Amartya Sen. Third, we argue that there are good principled reasons to incorporate non-economic goals into competition law. Fourth, we apply both the capability approach and the consumer welfare approach to three (illustrative) cases in which non-economic goals are at stake. Overall, we argue that the capability framework, although not without difficulties of its own, may provide a more legitimate theory for the interpretation of European competition law. (shrink)

Vaesen infers unique properties of mind from the appearance of specific cultural innovation – a correlation without causal direction. Shifts in habitat, population density, and group dynamics are the only independently verifiable incentives for changes in cultural practices. The transition from Acheulean to Late Stone Age technologies requires that we consider how population and social dynamics affect cultural innovation and mental function.

The first English translation of Fichte’s second set of 1804 lectures on the Wissenschaftslehre.

Orthologic is defined by weakening the axioms and rules of inference of the classical propositional calculus. The resulting Lindenbaum-Tarski quotient algebra is an orthoimplication algebra which generalizes the author's implication algebra. The associated order structure is a semi-orthomodular lattice. The theory of orthomodular lattices is obtained by adjoining a falsity symbol to the underlying orthologic or a least element to the orthoimplication algebra.

This new edition of Law and Medical Ethics continues to chart the ever-widening field that the topics cover. The interplay between the health caring professions and the public during the period intervening since the last edition has, perhaps, been mainly dominated by wide-ranging changes in the administration of the National Health Service and of the professions themselves but these have been paralleled by important developments in medical jurisprudence.

The purpose of this text is to draw attention to eight forgotten heroes: William C. Bagley, Charles DeGarmo, David Felmley, William Torrey Harris, Isaac L. Kandel, Charles McMurry, William C. Ruediger, and Edward Austin Sheldon. They have been marginalized from our profession, and drawing upon their legacy is the best hope for restoring the profession of teaching today. This work also includes a chapter at the end of the book entitled "John Dewey's Forgotten Essays." The audience for this book includes: (...) 1) classroom teachers, 2) school administrators, 3) teacher educators, 4) deans and other university administrators, 5) college and university presidents, 6) legislators, 7) historians of education, 8) curriculum specialists, 9) specialists in teacher training, and 10) the general public. (shrink)

Scientists and laypeople alike use the sense of understanding that an explanation conveys as a cue to good or correct explanation. Although the occurrence of this sense or feeling of understanding is neither necessary nor sufficient for good explanation, it does drive judgments of the plausibility and, ultimately, the acceptability, of an explanation. This paper presents evidence that the sense of understanding is in part the routine consequence of two well-documented biases in cognitive psychology: overconfidence and hindsight. In light of (...) the prevalence of counterfeit understanding in the history of science, I argue that many forms of cognitive achievement do not involve a sense of understanding, and that only the truth or accuracy of an explanation make the sense of understanding a valid cue to genuine understanding. (shrink)

What are words? What makes two token words tokens of the same word-type? Are words abstract entities, or are they (merely) collections of tokens? The ontology of words tries to provide answers to these, and related questions. This article provides an overview of some of the most prominent views proposed in the literature, with a particular focus on the debate between type-realist, nominalist, and eliminativist ontologies of words.

Knowledge, like other things of value, can be faked. According to Hawley (2011), know-how is harder to fake than knowledge-that, given that merely apparent propositional knowledge is in general more resilient to our attempts at successful detection than are corresponding attempts to fake know-how. While Hawley’s reasoning for a kind of detection resilience asymmetry between know-how and know-that looks initially plausible, it should ultimately be resisted. In showing why, we outline different ways in which know-how can be faked even when (...) a given performance is successful; and in doing so, we distinguish how know-how can be faked (no less than know-that) via upstream and downstream indicators of its presence, and within each of these categories, we’ll distinguish (in connection with detection resilience) both faking symptoms and (various kinds of) criteria. The unappreciated resilience of faked knowledge-how to successful detection highlights a largely overlooked dimension of social-epistemic risk – risk we face not just in our capacity as recipients of testimony, but in our capacity as both (would-be) apprentices and clients of knowledge-how. (shrink)

In management research, theory testing confronts a paradox described by Meehl in which designing studies with greater methodological rigor puts theories at less risk of falsification. This paradox exists because most management theories make predictions that are merely directional, such as stating that two variables will be positively or negatively related. As methodological rigor increases, the probability that an estimated effect will differ from zero likewise increases, and the likelihood of finding support for a directional prediction boils down to a (...) coin toss. This paradox can be resolved by developing theories with greater precision, such that their propositions predict something more meaningful than deviations from zero. This article evaluates the precision of theories in management research, offers guidelines for making theories more precise, and discusses ways to overcome barriers to the pursuit of theoretical precision. (shrink)

The philosophical literature on sport and games has had little to say about boredom beyond presuming that sports and games can be important ways of overcoming or preventing it. But boredom is an interesting and often misunderstood phenomenon with overlooked implications in this context. Boredom has significant human value and motivates play in ways that contribute to well-being and culture, often through encouraging engaged agency and exploration of novelty. Understanding boredom can also help to clarify problems and tendencies in sports (...) and games that qualify them as havens from boredom. (shrink)

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

In this era of increased polarization of opinion and contentious disagreement, CRITICAL REASONING presents a cooperative approach to critical thinking and formation of beliefs. CRITICAL REASONING emphasizes the importance of developing and applying analytical skills in real life contexts. This book is unique in providing multiple, diverse examples of everyday arguments, both textual and visual, including hard to find long argument passages from real-life sources. The book provides clear, step-by-step procedures to help you decide for yourself what to believe--to be (...) a consumer of information in our contemporary "world of experts.". (shrink)

Human brain organoids (HBOs) are novel entities that may exhibit unique forms of cognitive potential. What moral status, if any, do they have? Several authors propose that consciousness may hold the answer to this question. Others identify various _kinds of_ consciousness as crucially important for moral consideration, while leaving open the challenge of determining whether HBOs have them. This paper aims to make progress on these questions in two ways. First, it proposes a framework for thinking about the moral status (...) of entities other than paradigmatic persons. This framework identifies four qualities that ground moral status: evaluative stance, self-directedness, agency, and other-directedness. Second, we speculate on ways in which these qualities are relevant to dimensions of conscious experience that have been, or could be, identified in nonhuman animals. We further explore how these approaches could be adapted for use in HBOs, and argue that such studies, or something similar to them, will have to be performed if we wish to have empirical indications that HBOs have consciousness of a morally significant kind. We end by proposing that in our current scientific and epistemic situation, it is too soon to attribute any moral status to HBOs, but that this might change in the future. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

The philosophical significance of attitudinal autonomy—viz., the autonomy of attitudes such as beliefs—is widely discussed in the literature on moral responsibility and free will. Within this literature, a key debate centres around the following question: is the kind of attitudinal autonomy that’s relevant to moral responsibility at a given time determined entirely by a subject’s present mental structure at that time? Internalists say ‘yes’, externalists say ’no’. In this essay, I motivate a kind of distinctly epistemic attitudinal autonomy, attitudinal autonomy (...) that is relevant to knowledge. I argue that regardless of whether we are externalists or internalists about the kind of attitudinal autonomy that is relevant for moral responsibility, we should be externalists about the kind of autonomy that a belief must have to qualify as knowledge. (shrink)

Epistemic relativists often appeal to an epistemic incommensurability thesis. One notable example is the position advanced by Wittgenstein in On certainty (1969). However, Ian Hacking’s radical denial of the possibility of objective epistemic reasons for belief poses, we suggest, an even more forceful challenge to mainstream meta-epistemology. Our central objective will be to develop a novel strategy for defusing Hacking’s line of argument. Specifically, we show that the epistemic incommensurability thesis can be resisted even if we grant the very insights (...) that lead Hacking to claim that epistemic reasons are always relative to a style of reasoning. Surprisingly, the key to defusing the argument is to be found in recent mainstream work on the epistemic state of objectual understanding. (shrink)