Online research in philosophy

Epistemology is the study of knowledge and justified belief. Belief is thus central to epistemology. It comes in a qualitative form, as when Sophia believes that Vienna is the capital of Austria, and a quantitative form, as when Sophia's degree of belief that Vienna is the capital of Austria is at least twice her degree of belief that tomorrow it will be sunny in Vienna. Formal epistemology, as opposed to mainstream epistemology (Hendricks 2006), is epistemology done in a formal way, that is, by employing tools from logic and mathematics. The goal of this entry is to give the reader an overview of the formal tools available to epistemologists for the representation of belief. A particular focus will be the relation between formal representations of qualitative belief and formal representations of quantitative degrees of belief.

Much philosophy of logic is shaped, explicitly or implicitly, by the thought that logic is distinctively formal and abstracts from material content. The distinction between formal and material does not appear to coincide with the more familiar contrasts between a priori and empirical, necessary and contingent, analytic and synthetic—indeed, it is often invoked to explain these. Nor, it turns out, can it be explained by appeal to schematic inference patterns, syntactic rules, or grammar. What does it mean, then, to say that logic is distinctively formal?

Information is often modelled as a set of relevant possibilities, treated as logically possible worlds. However, this has the unintuitive consequence that the logical consequences of an agent's information cannot be informative for that agent. There are many scenarios in which such consequences are clearly informative for the agent in question. Attempts to weaken the logic underlying each possible world are misguided. Instead, I provide a genuinely psychological notion of epistemic possibility and show how it can be captured in a formal model, which I call a fan. I then show how to use fans to build formal models of being informed, as well as knowledge, belief and information update.

The purpose of this paper is to show that the standard notion of informed choice is unacceptable and must be replaced. To do so, I examine Foucault's analysis of people in contemporary society, drawing attention to the ways power relations act upon us, and to the possibility of resistance. I show how feminist moral theory can be enriched by Foucault's analysis. Applying this new understanding of people and moral theory to an analysis of informed choice, I claim that the standard notion of informed choice is unacceptable, in part because it relies on a false conception of people. Its necessary features—intention, understanding, and absence of controlling influences—are much more difficult, if not impossible, to obtain than proponents of the standard notion believe. I end by offering direction for creating a new, Foucault-inspired, feminist theory of informed choice.

Judaic logic: A Formal Analysis of Biblical, Talmudic and Rabbinic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them.

Machine generated contents note: 1. Introduction: why focus on informed consent?; 2. Deciding who decides: capacity and consent; 3. Putting the informed into 'informed consent': information and decision-making; 4. Freedom of expression: the voluntary nature of consent; 5. A patient's prerogative? The continuing nature of consent; 6. Concluding words about consent; Index.

Informed consent, decision-making styles and the role of patient-physician relationships are imperative aspects of clinical medicine worldwide. We present the case of a 74-year-old woman afflicted with advanced liver cancer whose attending physician, per request of the family, did not inform her of her true diagnosis. In our analysis, we explore the differences in informed-consent styles between patients who hold an "independent" and "interdependent" construal of the self and then highlight the possible implications maintained by this position in the context of international clinical ethics. Finally, we discuss the need to reassess informed-consent styles suitable to the needs of each patient regardless of whether he or she resides in the United States or in Japan.

In this paper, we offer an analysis of ‘group intentions.’ On our proposal, group intentions should be understood as a state of equilibrium among the beliefs of the members of a group. Although the discussion in this paper is non-technical, the equilibrium concept is drawn from the formal theory of interactive epistemology due to Robert Aumann. The goal of this paper is to provide an analysis of group intentions that is informed by important work in economics and formal epistemology.

Abstract: Luciano Floridi has impressively applied the concept of information to problems in semantics and epistemology, among other areas. In this essay, I briefly review two areas where I think one may usefully raise questions about some of Floridi's conclusions. One area is in the project to naturalize semantics and Floridi's use of the derived versus nonderived notion of semantic content. The other area is in the logic of information and knowledge and whether knowledge based on information necessarily supports closure, in every instance. I suggest that it does not and, thereby, raise a challenge to Floridi's logic of being informed.

Various conceptual approaches to the notion of information can currently be traced in the literature in logic and formal epistemology. A main issue of disagreement is the attribution of truthfulness to informational data, the so called Veridicality Thesis (Floridi 2005). The notion of Epistemic Constructive Information (Primiero 2007) is one of those rejecting VT. The present paper develops a formal framework for ECI. It extends on the basic approach of Artemov’s logic of proofs (Artemov 1994), representing an epistemic logic based on dependent justifications, where the definition of information relies on a strict distinction from factual truth. The definition obtained by comparison with a Normal Modal Logic translates a constructive logic for “becoming informed”: its distinction from the logic of “being informed”—which internalizes truthfulness—is essential to a general evaluation of information with respect to truth. The formal disentanglement of these two logics, and the description of the modal version of the former as a weaker embedding into the latter, allows for a proper understanding of the Veridicality Thesis with respect to epistemic states defined in terms of information.