Whether to do business with rights violating regimes is one of many dilemmas faced by socially responsible corporations. In this article the difficult case of Myanmar is considered. Ruled for decades by a closed and sometimes brutal military elite, the country has long been subject to informal and formal sanctions. However, as sanctions have failed to trigger political reform, it is necessary to review the policy options. The focus here is on the contribution socially responsible corporations might make to change. (...) The article sketches contextual features of the case, examines the recent history and present pattern of business links with Myanmar, and assesses whether current approaches can stimulate reform. Concluding that they cannot, it considers fresh possibilities for corporate engagement. The argument is that socially responsible corporations, committed to improving individual life chances through engagement with developing societies, should undertake collaborative and principled direct investment in Myanmar. The underlying strategy and problems of codification and implementation are all analyzed. To close, the article contends that, by doing business with Myanmar’s rights violating regime, multinational corporations can extend the frontiers of global corporate social responsibility. (shrink)

Whether to do business with rights violating regimes is one of many dilemmas faced by socially responsible corporations. In this article the difficult case of Myanmar is considered. Ruled for decades by a closed and sometimes brutal military elite, the country has long been subject to informal and formal sanctions. However, as sanctions have failed to trigger political reform, it is necessary to review the policy options. The focus here is on the contribution socially responsible corporations might make to change. (...) The article sketches contextual features of the case, examines the recent history and present pattern of business links with Myanmar, and assesses whether current approaches can stimulate reform. Concluding that they cannot, it considers fresh possibilities for corporate engagement. The argument is that socially responsible corporations, committed to improving individual life chances through engagement with developing societies, should undertake collaborative and principled direct investment in Myanmar. The underlying strategy and problems of codification and implementation are all analyzed. To close, the article contends that, by doing business with Myanmar's rights violating regime, multinational corporations can extend the frontiers of global corporate social responsibility. (shrink)

Modern scientific medicine is increasingly challenged by complementary and alternative therapies. Reviewing policy options for contemporary healthcare development, the World Health Organization's first global strategy on traditional and alternative medicine, released in May 2002, advocates integration. However, experience in East Asia, the only part of the world where state of the art modern scientific facilities are commonly found alongside thriving traditional practices, reveals that medical integration can take several forms. To clarify the available policy options, this article categorizes those forms, (...) identifying three types of integration (unification, equalization and subjugation), plus one type of non-integration (marginalization). It marks out a zone of balanced healthcare development that cuts across two of the integrationist types, and comprises non-discriminatory state treatment of separate but linked sectors of traditional and modern medicine. The article closes by exploring arguments for and against locating state policy in this zone, and holds that policy should be situated here for medical practices that can meet broadly acceptable professional standards, demonstrate an existing social demand, and generate an adequate supply of medical practitioners, possibly through some state subsidy. (shrink)

The article contributes to debates about core executive capacity by analyzing the British and Japanese cases. First it examines the historical development, contemporary structures and current operations of the two cases. Then it compares their performance in five key areas: overseeing government policy in the domestic sphere; overseeing government policy in the external sphere; managing executive relations with the legislature; overseeing public finances; and managing public relations. It finds that the performance of the two systems is variable both internally across (...) distinct areas of business and, to a lesser extent, comparatively across similar areas. Overall, however, the British core executive is shown to have considerably greater capacity for coordinating and managing policy flows through the system than the Japanese. Governing from the centre is more feasible in Britain than in Japan. (shrink)

An intro. to Didaktic (the heart of thinking about teaching/teacher educ in Germany) for English-speaking readers, drawing on a range of writings assoc. w/ this tradition. Throws light on assumptions, characteristics, & weaknesses of curriculum thought.

There is an extensive literature in social choice theory studying the consequences of weakening the assumptions of Arrow's Impossibility Theorem. Much of this literature suggests that there is no escape from Arrow-style impossibility theorems unless one drastically violates the Independence of Irrelevant Alternatives (IIA). In this paper, we present a more positive outlook. We propose a model of comparing candidates in elections, which we call the Advantage-Standard (AS) model. The requirement that a collective choice rule (CCR) be rationalizable by the (...) AS model is in the spirit of but weaker than IIA; yet it is stronger than what is known in the literature as weak IIA (two profiles alike on x, y cannot have opposite strict social preferences on x and y). In addition to motivating violations of IIA, the AS model makes intelligible violations of another Arrovian assumption: the negative transitivity of the strict social preference relation P. While previous literature shows that only weakening IIA to weak IIA or only weakening negative transitivity of P to acyclicity still leads to impossibility theorems, we show that jointly weakening IIA to AS rationalizability and weakening negative transitivity of P leads to no such impossibility theorems. Indeed, we show that several appealing CCRs are AS rationalizable, including even transitive CCRs. (shrink)

Reasoning about what other people know is an important cognitive ability, known as epistemic reasoning, which has fascinated psychologists, economists, and logicians. In this paper, we propose a computational model of humans’ epistemic reasoning, including higher-order epistemic reasoning—reasoning about what one person knows about another person’s knowledge—that we test in an experiment using a deductive card game called “Aces and Eights”. Our starting point is the model of perfect higher-order epistemic reasoners given by the framework of dynamic epistemic logic. We (...) modify this idealized model with bounds on the level of feasible epistemic reasoning and stochastic update of a player’s space of possibilities in response to new information. These modifications are crucial for explaining the variation in human performance across different participants and different games in the experiment. Our results demonstrate how research on epistemic logic and cognitive models can inform each other. (shrink)

There is a prevailing conviction that if traditional medicine (TRM) or complementary and alternative medicine (CAM) are integrated into healthcare systems, modern scientific medicine (MSM) should retain its principal status. This paper contends that this position is misguided in medical contexts where TRM is established and remains vibrant. By reflecting on the Chinese policy on three entrenched forms of TRM (Tibetan, Mongolian and Uighur medicines) in western regions of China, the paper challenges the ideology of science that lies behind the (...) demand that all traditional forms of medicine be evaluated and reformed according to MSM standards. Tibetan medicine is used as a case study to indicate the falsity of a major premise of the scientific ideology. The conclusion is that the proper integrative system for TRM and MSM is a dual standard based system in which both TRM and MSM are free to operate according to their own medical standards. (shrink)

(2013). Brandom and Gadamer on the Hermeneutical (Il)legitimacy of Rational Reconstruction. International Journal of Philosophical Studies. ???aop.label???

Brouwer's views on the foundations of mathematics have inspired the study of intuitionistic logic, including the study of the intuitionistic propositional calculus and its extensions. The theory of these systems has become an independent branch of logic with connections to lattice theory, topology, modal logic and other areas. This paper aims to present a modern account of semantics for intuitionistic propositional systems. The guiding idea is that of a hierarchy of semantics, organized by increasing generality: from the least general Kripke (...) semantics on through Beth semantics, topological semantics, Dragalin semantics, and finally to the most general algebraic semantics. While the Kripke, topological, and algebraic semantics have been extensively studied, the Beth and Dragalin semantics have received less attention. We bring Beth and Dragalin semantics to the fore, relating them to the concept of a nucleus from pointfree topology, which provides a unifying perspective on the semantic hierarchy. (shrink)

This article identifies a prevalent strand of feminist writing on beauty and aesthetic surgery and explores some of the contradictions and inconsistencies inscribed within it. In particular, we concentrate on three central feminist claims: that living in a misogynist culture produces aesthetic surgery as an issue predominantly concerning women; that pain - both physical and psychic - is a central conceptual frame through which aesthetic surgery should be viewed; and that aesthetic surgery is inherently a normalizing technology. Engaging with these (...) ‘myths’, we explore the tensions uncovered through a historical analysis of the practices of aesthetic surgery as well as the challenges to feminist claims offered by post-feminism. In particular we seek to destabilize the connection in feminist writing between beauty and passivity. We argue that through aesthetic references to denigrated black and working-class bodies, young women may mobilize aesthetic surgeries to reinscribe active sexuality on the feminine body. (shrink)

Introduction -- Evidence from children -- Evidence form infants and non-human animals -- Evidence from neuroimaging and neuropsychology -- Evidence from adults -- The cognitive basis of mindreading -- Elaborating and applying the theory.

In days past, epistemologists expended a good deal of effort trying to analyze the basing relation—the relation between a belief and its basis. No satisfying account was offered, and the project was largely abandoned. Younger epistemologists, however, have begun to yearn for an adequate theory of basing. I aim to deliver one. After establishing some data and arguing that traditional accounts of basing are unsatisfying, I introduce a novel theory of the basing relation: the dispositional theory. It begins with the (...) pedestrian observation that beliefs stand or fall with their bases. The theory I offer is an elucidation and refinement of this thought. (shrink)

Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the fact that agents do (...) not always believe, let alone know, the consequences of what they know—a fact that raises the “problem of logical omniscience” that has been central in epistemic logic. This paper, part I of II, is a study of epistemic closure from the perspective of epistemic logic. First, I introduce models for epistemic logic, based on Lewis’s models for counterfactuals, that correspond closely to the pictures of the relevant alternatives and subjunctivist theories of knowledge in epistemology. Second, I give an exact characterization of the closure properties of knowledge according to these theories, as formalized. Finally, I consider the relation between closure and higher-order knowledge. The philosophical repercussions of these results and results from part II, which prompt a reassessment of the issue of closure in epistemology, are discussed further in companion papers. As a contribution to modal logic, this paper demonstrates an alternative approach to proving modal completeness theorems, without the standard canonical model construction. By “modal decomposition” I obtain completeness and other results for two non-normal modal logics with respect to new semantics. One of these logics, dubbed the logic of ranked relevant alternatives, appears not to have been previously identified in the modal logic literature. More broadly, the paper presents epistemology as a rich area for logical study. (shrink)

In traditional semantics for classical logic and its extensions, such as modal logic, propositions are interpreted as subsets of a set, as in discrete duality, or as clopen sets of a Stone space, as in topological duality. A point in such a set can be viewed as a "possible world," with the key property of a world being primeness—a world makes a disjunction true only if it makes one of the disjuncts true—which classically implies totality—for each proposition, a world either (...) makes the proposition true or makes its negation true. This chapter surveys a more general approach to logical semantics, known as possibility semantics, which replaces possible worlds with possibly partial "possibilities." In classical possibility semantics, propositions are interpreted as regular open sets of a poset, as in set-theoretic forcing, or as compact regular open sets of an upper Vietoris space, as in the recent theory of "choice-free Stone duality." The elements of these sets, viewed as possibilities, may be partial in the sense of making a disjunction true without settling which disjunct is true. We explain how possibilities may be used in semantics for classical logic and modal logics and generalized to semantics for intuitionistic logics. The goals are to overcome or deepen incompleteness results for traditional semantics, to avoid the nonconstructivity of traditional semantics, and to provide richer structures for the interpretation of new languages. (shrink)

The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this article, we describe a choice-free topological representation of Boolean algebras. This representation uses a subclass of the spectral spaces that Stone used in his representation of distributive lattices via compact open sets. It also takes advantage of Tarski’s observation that the regular open sets of any topological space form a Boolean (...) algebra. We prove without choice principles that any Boolean algebra arises from a special spectral space X via the compact regular open sets of X; these sets may also be described as those that are both compact open in X and regular open in the upset topology of the specialization order of X, allowing one to apply to an arbitrary Boolean algebra simple reasoning about regular opens of a separative poset. Our representation is therefore a mix of Stone and Tarski, with the two connected by Vietoris: the relevant spectral spaces also arise as the hyperspace of nonempty closed sets of a Stone space endowed with the upper Vietoris topology. This connection makes clear the relation between our point-set topological approach to choice-free Stone duality, which may be called the hyperspace approach, and a point-free approach to choice-free Stone duality using Stone locales. Unlike Stone’s representation of Boolean algebras via Stone spaces, our choice-free topological representation of Boolean algebras does not show that every Boolean algebra can be represented as a field of sets; but like Stone’s representation, it provides the benefit of a topological perspective on Boolean algebras, only now without choice. In addition to representation, we establish a choice-free dual equivalence between the category of Boolean algebras with Boolean homomorphisms and a subcategory of the category of spectral spaces with spectral maps. We show how this duality can be used to prove some basic facts about Boolean algebras. (shrink)

Using data from a survey of certified organic or in-transition to organic vegetable and dairy producers in Canada, we seek to understand a farmer’s decision to convert to organic production by exploring the motives, problems and challenges, and benefits of transition to organic. Results suggest that health and safety concerns and environmental issues are the predominant motives for conversion, while economic motives are of lesser importance. In contrast to the extant literature, results suggest that the motives underlying transition have not (...) changed overtime in Canada. Problems experienced during transition relate to lack of governmental and institutional support, negative pressure from other farmers and farm groups, and lack of physical and financial capital. Reduced exposure to chemicals and improved food quality were highly ranked benefits, while economic related benefits were scored among the lowest of the listed benefits. To prosper, the Canadian organic sector must overcome fundamental marketing problems and challenges. Promulgation of the Canada Organic standard may help address some marketing issues by providing more information to consumers. (shrink)

We prove that the generalized cancellation axiom for incomplete comparative probability relations introduced by Rios Insua and Alon and Lehrer is stronger than the standard cancellation axiom for complete comparative probability relations introduced by Scott, relative to their other axioms for comparative probability in both the finite and infinite cases. This result has been suggested but not proved in the previous literature.

A well-known open problem in epistemic logic is to give a syntactic characterization of the successful formulas. Semantically, a formula is successful if and only if for any pointed model where it is true, it remains true after deleting all points where the formula was false. The classic example of a formula that is not successful in this sense is the “Moore sentence” p ∧ ¬BOXp, read as “p is true but you do not know p.” Not only is the (...) Moore sentence unsuccessful, it is self-refuting, for it never remains true as described. We show that in logics of knowledge and belief for a single agent (extended by S5), Moorean phenomena are the source of all self-refutation; moreover, in logics for an introspective agent (extending KD45), Moorean phenomena are the source of all unsuccessfulness as well. This is a distinctive feature of such logics, for with a non-introspective agent or multiple agents, non-Moorean unsuccessful formulas appear. We also consider how successful and self-refuting formulas relate to the Cartesian and learnable formulas, which have been discussed in connection with Fitch’s “paradox of knowability.” We show that the Cartesian formulas are exactly the formulas that are not eventually self-refuting and that not all learnable formulas are successful. In an appendix, we give syntactic characterizations of the successful and the self-refuting formulas. (shrink)

This paper studies connections between two alternatives to the standard probability calculus for representing and reasoning about uncertainty: imprecise probability andcomparative probability. The goal is to identify complete logics for reasoning about uncertainty in a comparative probabilistic language whose semantics is given in terms of imprecise probability. Comparative probability operators are interpreted as quantifying over a set of probability measures. Modal and dynamic operators are added for reasoning about epistemic possibility and updating sets of probability measures.

A survey of Euclid's Elements, this text provides an understanding of the classical Greek conception of mathematics and its similarities to modern views as well as its differences. It focuses on philosophical, foundational, and logical questions — rather than strictly historical and mathematical issues — and features several helpful appendixes.

Epistemic modals have peculiar logical features that are challenging to account for in a broadly classical framework. For instance, while a sentence of the form ‘p, but it might be that not p’ appears to be a contradiction, 'might not p' does not entail 'not p', which would follow in classical logic. Likewise, the classical laws of distributivity and disjunctive syllogism fail for epistemic modals. Existing attempts to account for these facts generally either under- or over-correct. Some theories predict that (...) 'p and might not p', a so-called epistemic contradiction, is a contradiction only in an etiolated sense, under a notion of entailment that does not allow substitution of logical equivalents; these theories underpredict the infelicity of embedded epistemic contradictions. Other theories savage classical logic, eliminating not just rules that intuitively fail, like distributivity and disjunctive syllogism, but also rules like non-contradiction, excluded middle, De Morgan’s laws, and disjunction introduction, which intuitively remain valid for epistemic modals. In this paper, we aim for a middle ground, developing a semantics and logic for epistemic modals that makes epistemic contradictions genuine contradictions and that invalidates distributivity and disjunctive syllogism but that otherwise preserves classical laws that intuitively remain valid. We start with an algebraic semantics, based on ortholattices instead of Boolean algebras, and then propose a more concrete possibility semantics, based on partial possibilities related by compatibility. Both semantics yield the same consequence relation, which we axiomatize. Then we show how to extend our semantics to explain parallel phenomena involving probabilities and conditionals. The goal throughout is to retain what is desirable about classical logic while accounting for the non-classicality of epistemic vocabulary. (shrink)

This chapter argues that epistemologists should replace a “standard alternatives” picture of knowledge, assumed by many fallibilist theories of knowledge, with a new “multipath” picture of knowledge. The chapter first identifies a problem for the standard picture: fallibilists working with this picture cannot maintain even the most uncontroversial epistemic closure principles without making extreme assumptions about the ability of humans to know empirical truths without empirical investigation. The chapter then shows how the multipath picture, motivated by independent arguments, saves fallibilism (...) from this problem. The multipath picture is based on taking seriously the idea that there can be multiple paths to knowing some propositions about the world. An overlooked consequence of fallibilism is that these multiple paths to knowledge may involve ruling out different sets of alternatives, which should be represented in a fallibilist picture of knowledge. The chapter concludes by considering inductive knowledge and strong epistemic closure from this multipath perspective. (shrink)

An expanded & revised version of Religion in an Age of Science. Three new chapters on physics & metaphysics in the 18th century and biology & theology in the 19th century. Other new sections included.

In "A Problem in Possible-World Semantics," David Kaplan presented a consistent and intelligible modal principle that cannot be validated by any possible world frame (in the terminology of modal logic, any neighborhood frame). However, Kaplan's problem is tempered by the fact that his principle is stated in a language with propositional quantification, so possible world semantics for the basic modal language without propositional quantifiers is not directly affected, and the fact that on careful inspection his principle does not target the (...) world part of possible world semantics—the atomicity of the algebra of propositions—but rather the idea of propositional quantification over a complete Boolean algebra of propositions. By contrast, in this paper we present a simple and intelligible modal principle, without propositional quantifiers, that cannot be validated by any possible world frame precisely because of their assumption of atomicity (i.e., the principle also cannot be validated by any atomic Boolean algebra expansion). It follows from a theorem of David Lewis that our logic is as simple as possible in terms of modal nesting depth (two). We prove the consistency of the logic using a generalization of possible world semantics known as possibility semantics. We also prove the completeness of the logic (and two other relevant logics) with respect to possibility semantics. Finally, we observe that the logic we identify naturally arises in the study of Peano Arithmetic. (shrink)

Ernst Tugendhat’s critique of Martin Heidegger’s conception of truth is an ongoing topic in Heideggerian scholarship. In this paper, I contribute to the ongoing exchange between defenders of Heidegger and those who are in agreement with Tugendhat. Specifically, I contend that Tugendhat’s criticisms fail to situate Heidegger’s account of truth within his broader phenomenological–hermeneutic project. In the end, Tugendhat’s critique is grounded upon philosophical assumptions that Heidegger is bringing under question by rethinking the concept of truth. I suggest that thinking (...) through Tugendhat’s critique and attempting to formulate an adequate Heideggerian response gives us a richer understanding of both Heidegger’s account of truth and his general philosophical project. (shrink)

In this paper, we explore semantics for comparative epistemic modals that avoid the entailment problems shown to result from Kratzer’s (1991) semantics by Yalcin (2006, 2009, 2010). In contrast to the alternative semantics presented by Yalcin and Lassiter (2010, 2011), based on finitely additive probability measures, we introduce semantics based on qualitatively additive measures, as well as semantics based on purely qualitative orderings, including orderings on propositions derived from orderings on worlds in the tradition of Kratzer (1991). All of these (...) semantics avoid the entailment problems that result from Kratzer’s semantics. Our discussion focuses on methodological issues concerning the choice between different semantics. (shrink)

Kant conceived of 'critique' as a kind of winnowing exercise, with the aim of separating the wheat of good metaphysics from the chaff of bad. He used a less familiar metaphor to make this point, namely, that of 'the fiery test of critique'-not a medieval ordeal of trial by fire, but rather a metallurgical assay, or cupellation, a procedure in which ore samples are tested for their precious-metal content. When seen in this light, critique has a positive, investigatory side: it (...) seeks not merely to eliminate bad, 'dogmatic' metaphysics but also to uncover what of philosophical value might be contained in traditional speculative metaphysics. In this comprehensive study of the Transcendental Dialectic in Kant's Critique of Pure Reason, Proops argues that Kant uncovered two nuggets of value: the indirect proof of Transcendental Idealism afforded by the resolution of the Antinomies, and a defence of theoretically grounded 'doctrinal beliefs' in a wise and great originator, on the one hand, and in an afterlife, on the other. This examination of critique engages with Kant's views on a number of central problems in philosophy and meta-philosophy: the explanation of the enduring human impulse towards metaphysics, the correct philosophical method, the limits of self-knowledge, the possibility of human freedom, the resolution of metaphysical paradox, the justification of faith, the nature of scepticism, and the role of 'as if' reasoning in natural science. (shrink)

This chapter provides a brief introduction to propositional epistemic logic and its applications to epistemology. No previous exposure to epistemic logic is assumed. Epistemic-logical topics discussed include the language and semantics of basic epistemic logic, multi-agent epistemic logic, combined epistemic-doxastic logic, and a glimpse of dynamic epistemic logic. Epistemological topics discussed include Moore-paradoxical phenomena, the surprise exam paradox, logical omniscience and epistemic closure, formalized theories of knowledge, debates about higher-order knowledge, and issues of knowability raised by Fitch’s paradox. The references (...) and recommended readings provide gateways for further exploration. (shrink)

Most contemporary theorists regard the traditional thesis that perception is essentially conscious as just another armchair edict to be abandoned in the wake of empirical discovery. Here I reconsider this dramatic departure from tradition. My aim is not to recapture our prelapsarian confidence that perception is inevitably conscious (though much I say might be recruited to that cause). Instead, I want to problematize the now ubiquitous belief in unconscious perception. The paper divides into two parts. Part One is more purely (...) philosophical. It explains how standard arguments for unconscious perception rely on contentious background assumptions concerning the relation between ordinary perception and the explanatory constructs of scientific psychology. Part Two, in contrast, offers detailed engagement with relevant empirical work. It exposes how, even setting aside the concerns identified in Part One, a dilemma confronts the believer in unconscious perception. This dilemma arises because ordinary perception is an individual-level state or occurrence, yet criteria sufficiently stringent to guarantee that a putatively perceptual state is unconscious vitiate the grounds for its attribution to the individual. The dilemma foments a hypothesis, namely that the conditions for genuine, individual-level perception are sufficient conditions for perceptual consciousness. The viability of this hypothesis should unnerve anyone who thinks unconscious perception is simply an empirical given. (shrink)

What is the purpose of perception? And how might the answer to this question help distinguish perception from other mental processes? Block’s landmark book, The.

Philosophers have lately seized upon Sperling's partial report technique and subsequent work on iconic memory in support of controversial claims about perceptual experience, in particular that phenomenology overflows cognitive access. Drawing on mounting evidence concerning postdictive perception, I offer an interpretation of Sperling's data in terms of cue-sensitive experience which fails to support any such claims. Arguments for overflow based on change-detection paradigms (e.g. Landman et al., 2003; Sligte et al., 2008) cannot be blocked in this way. However, such paradigms (...) are fundamentally different from Sperling's and, for rather different reasons, equally fail to establish controversial claims about perceptual experience. (shrink)

Religion and Science is a comprehensive examination of the major issues between science and religion in today's world. With the addition of three new historical chapters to the nine chapters (freshly revised and updated) of Religion in an Age of Science, winner of the Academy of Religion Award for Excellence in 1991, Religion and Science is the most authoritative and readable book on the subject, sure to be used by science and religion courses and discussion groups and to become the (...) introduction of choice for general readers. (shrink)

Epistemic modal predicate logic raises conceptual problems not faced in the case of alethic modal predicate logic : Frege’s “Hesperus-Phosphorus” problem—how to make sense of ascribing to agents ignorance of necessarily true identity statements—and the related “Hintikka-Kripke” problem—how to set up a logical system combining epistemic and alethic modalities, as well as others problems, such as Quine’s “Double Vision” problem and problems of self-knowledge. In this paper, we lay out a philosophical approach to epistemic predicate logic, implemented formally in Melvin (...) Fitting’s First-Order Intensional Logic, that we argue solves these and other conceptual problems. Topics covered include: Quine on the “collapse” of modal distinctions; the rigidity of names; belief reports and unarticulated constituents; epistemic roles; counterfactual attitudes; representational vs. interpretational semantics; ignorance of co-reference vs. ignorance of identity; two-dimensional epistemic models; quantification into epistemic contexts; and an approach to multi-agent epistemic logic based on centered worlds and hybrid logic. (shrink)

A great achievement makes one’s life go better independently of its results, but what makes an achievement great? A simple answer is—its difficulty. I defend this view against recent, pressing objections by interpreting difficulty in terms of competitiveness. Difficulty is determined not by how hard the agent worked for the end but by how hard others would need to do in order to compete. Successfully reaching a goal is a valuable achievement because it is difficult, and it is difficult because (...) it is competitive. Hence, both virtuosic performances and lucky successes can be valuable achievements. (shrink)

According to the Principle of the Fixity of the Past (FP), no one can now do anything that would require the past to have unfolded differently than it actually did, for the past is fixed, over and done with. Why might doing something in the future require the past to be different? Because if determinism is true—if the laws of nature and the initial conditions of the Big Bang determined a unique future for our universe—then doing anything other than what (...) you are determined to do would require one of two things: either a miracle, a violation of the actual laws of nature, or a different past, all the way back to the Big Bang or beyond. Which would it be? Those who reject miracles accept a Backtracking Principle (BT), according to which the past would (have to) be different. If this is correct, then it follows by (FP) that you cannot now do anything other than what you are determined to do. The conclusion of this much-discussed argument is that the freedom to do otherwise is incompatible with determinism. In order to break a stalemate between incompatibilists and compatibilists in the debate over (FP), this article presents a new Action-Type Argument for (FP). The aim is to refute Backtracking Compatibilism, the view that (BT) is true and yet the freedom to do otherwise is compatible with determinism. The form of the Action-Type Argument for (FP) also leads to a Simple Argument for incompatibilism, which does not assume (BT). What the Simple Argument does assume is a “governing” view of laws of nature, a view of laws as more than mere regularities that turn out to be exceptionless over all time. Incompatibilism follows. (shrink)

We introduce new algebraic and topological semantics for inquisitive logic. The algebraic semantics is based on special Heyting algebras, which we call inquisitive algebras, with propositional valuations ranging over only the ¬¬-fixpoints of the algebra. We show how inquisitive algebras arise from Boolean algebras: for a given Boolean algebra B, we define its inquisitive extension H(B) and prove that H(B) is the unique inquisitive algebra having B as its algebra of ¬¬-fixpoints. We also show that inquisitive algebras determine Medvedev’s logic (...) of finite problems. In addition to the algebraic characterization of H(B), we give a topological characterization of H(B) in terms of the recently introduced choice-free duality for Boolean algebras using so-called upper Vietoris spaces (UV-spaces). In particular, while a Boolean algebra B is realized as the Boolean algebra of compact regular open elements of a UV-space dual to B, we show that H(B) is realized as the algebra of compact open elements of this space. This connection yields a new topological semantics for inquisitive logic. (shrink)

First published 1966 Includes index Includes bibliographical references Campion Collection.

In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...) This result raises the question: For which normal modal logics. (shrink)

Block () highlights two experimental studies of neglect patients which, he contends, provide ‘dramatic evidence’ for unconscious seeing. In Block's hands this is the highly non-trivial thesis that seeing of the same fundamental kind as ordinary conscious seeing can occur outside of phenomenal consciousness. Block's case for it provides an excellent opportunity to consider a large body of research on clinical syndromes widely held to evidence unconscious perception. I begin by considering in detail the two studies of neglect to which (...) Block appeals. I show why their interpretation as evidence of unconscious seeing faces a series of local difficulties. I then explain how, even bracketing these issues, a long-standing but overlooked problem concerning our criterion for consciousness problematizes the appeal to both studies. I explain why this problem is especially pressing for Block given his view that phenomenal consciousness overflows access consciousness. I further show that it is epidemic—not only affecting all report-based studies of unconscious seeing in neglect, but also analogous studies of the condition most often alleged to show unconscious seeing, namely blindsight. (shrink)

In this article, we tell a story about incompleteness in modal logic. The story weaves together an article of van Benthem, “Syntactic aspects of modal incompleteness theorems,” and a longstanding open question: whether every normal modal logic can be characterized by a class of completely additive modal algebras, or as we call them, ${\cal V}$-baos. Using a first-order reformulation of the property of complete additivity, we prove that the modal logic that starred in van Benthem’s article resolves the open question (...) in the negative. In addition, for the case of bimodal logic, we show that there is a naturally occurring logic that is incomplete with respect to ${\cal V}$-baos, namely the provability logic $GLB$. We also show that even logics that are unsound with respect to such algebras do not have to be more complex than the classical propositional calculus. On the other hand, we observe that it is undecidable whether a syntactically defined logic is ${\cal V}$-complete. After these results, we generalize the Blok Dichotomy to degrees of ${\cal V}$-incompleteness. In the end, we return to van Benthem’s theme of syntactic aspects of modal incompleteness. (shrink)

Why save endangered species without clear aesthetic, economic, or ecosystemic value? This book takes on this challenging question through an account of the intrinsic goods of species. Ian A. Smith argues that a species’ intrinsic value stems from its ability to flourish—its organisms continuing to reproduce successfully and it avoiding extinction—which helps to demonstrate a further claim, that humans ought to preserve species that we have endangered. He shows our need to exercise humility in our relations with endangered species through (...) the preservation of their intrinsic goods, which in turn rectifies our degradation of their importance. Unique in its appeal to virtue ethics and to species concepts, _The Intrinsic Value of Endangered Species_ is an important resource for scholars working in environmental ethics and the philosophy of biology. (shrink)