It is widely held that the influence of risk on rational decisions is not entirely explained by the shape of an agent’s utility curve. Buchak (Erkenntnis, 2013, Risk and rationality, Oxford University Press, Oxford, in press) presents an axiomatic decision theory, risk-weighted expected utility theory (REU), in which decision weights are the agent’s subjective probabilities modified by his risk-function r. REU is briefly described, and the global applicability of r is discussed. Rabin’s (Econometrica 68:1281–1292, 2000) calibration theorem (...) strongly suggests that plausible levels of risk aversion cannot be fully explained by concave utility functions; this provides motivation for REU and other theories. But applied to the synchronic preferences of an individual agent, Rabin’s result is not as problematic as it may first appear. Theories that treat outcomes as gains and losses (e.g. prospect theory and cumulative prospect theory) account for risk sensitivity in a way not available to REU. Reference points that mark the difference between gains and losses are subject to framing, many instances of which cannot be regarded as rational. However, rational decision theory may recognize the difference between gains and losses, without endorsing all ways of fixing the point of reference. In any event, REU is a very interesting theory. (shrink)

There is a theorem that shows that it is impossible for an algorithm to jointly satisfy the statistical fairness criteria of Calibration and Equalised Odds non-trivially. But what about the recently advocated alternative to Calibration, Base Rate Tracking? Here, we show that Base Rate Tracking is strictly weaker than Calibration, and then take up the question of whether it is possible to jointly satisfy Base Rate Tracking and Equalised Odds in non-trivial scenarios. We show that it (...) is not, thereby establishing an even more general impossibility theorem. (shrink)

In this paper we calibrate the exact proof-theoretic strength of Kruskal's theorem, thereby giving, in some sense, the most elementary proof of Kruskal's theorem. Furthermore, these investigations give rise to ordinal analyses of restricted bar induction.

From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication. I have not included anything on entailment, al though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have included material that might (...) be of interest to the intuitionist mathematician. Originally, I intended to include more material in that spirit but I decided against it. There is no coherent body of material to include that builds naturally on the present book. There are some serious results on topological models, second order Beth and Kripke models, theories of types, etc., but it would require further research to be able to present a general theory, possibly using sheaves. That would have postponed pUblication for too long. I would like to dedicate this book to my colleagues, Professors G. Kreisel, M.O. Rabin and D. Scott. I have benefited greatly from Professor Kreisel's criticism and suggestions. Professor Rabin's fun damental results on decidability and undecidability provided the powerful tools used in obtaining the majority of the results reported in this book. Professor Scott's approach to non-classical logics and especially his analysis of the Scott consequence relation makes it possible to present Heyting's logic as a beautiful, integral part of non-classical logics. (shrink)

Recent impossibility theorems for fair risk assessment extend to the domain of epistemic justice. We translate the relevant model, demonstrating that the problems of fair risk assessment and just credibility assessment are structurally the same. We motivate the fairness criteria involved in the theorems as also being appropriate in the setting of testimonial justice. Any account of testimonial justice that implies the fairness/justice criteria must be abandoned, on pain of triviality.

Let $V_\propto$ be a fixed, fully effective, infinite dimensional vector space. Let $\mathscr{L}(V_\propto)$ be the lattice consisting of the recursively enumerable (r.e.) subspaces of $V_\propto$ , under the operations of intersection and weak sum (see § 1 for precise definitions). In this article we examine the algebraic properties of $\mathscr{L}(V_\propto)$ . Early research on recursively enumerable algebraic structures was done by Rabin [14], Frolich and Shepherdson [5], Dekker [3], Hamilton [7], and Guhl [6]. Our results are based upon the (...) more recent work concerning vector spaces of Metakides and Nerode [12], Crossley and Nerode [2], Remmel [15], [16], and Kalantari [8]. In the main theorem below, we extend a result of Lachlan from the lattice E of r.e. sets to $\mathscr{L}(V_\propto)$ . We define hyperhypersimple vector spaces, discuss some of their properties and show if $A, B \in \mathscr{L}(V_\propto)$ , and A is a hyperhypersimple subspace of B then there is a recursive space C such that A + C = B. It will be proven that if $V \in \mathscr{L}(V_\propto)$ and the lattice of superspaces of V is a complemented modular lattice then V is hyperhypersimple. The final section contains a summary of related results concerning maximality and simplicity. (shrink)

Four important arguments for probabilism—the Dutch Book, representation theorem, calibration, and gradational accuracy arguments—have a strikingly similar structure. Each begins with a mathematical theorem, a conditional with an existentially quantified consequent, of the general form: if your credences are not probabilities, then there is a way in which your rationality is impugned.Each argument concludes that rationality requires your credences to be probabilities.I contend that each argument is invalid as formulated. In each case there is a mirror-image (...) class='Hi'>theorem and a corresponding argument of exactly equal strength that concludes that rationality requires your credences not to be probabilities. Some further consideration is needed to break this symmetry in favour of probabilism. I discuss the extent to which the original arguments can be buttressed.1. Introduction2. The Dutch Book Argument2.1. Saving the Dutch Book argument2.2. ‘The Dutch Book argument merely dramatizes an inconsistency in the attitudes of an agent whose credences violate probability theory’3. Representation Theorem-based Arguments4. The Calibration Argument5. The Gradational Accuracy Argument6. Conclusion. (shrink)

Objective Bayesian epistemology invokes three norms: the strengths of our beliefs should be probabilities, they should be calibrated to our evidence of physical probabilities, and they should otherwise equivocate sufficiently between the basic propositions that we can express. The three norms are sometimes explicated by appealing to the maximum entropy principle, which says that a belief function should be a probability function, from all those that are calibrated to evidence, that has maximum entropy. However, the three norms of objective Bayesianism (...) are usually justified in different ways. In this paper we show that the three norms can all be subsumed under a single justification in terms of minimising worst-case expected loss. This, in turn, is equivalent to maximising a generalised notion of entropy. We suggest that requiring language invariance, in addition to minimising worst-case expected loss, motivates maximisation of standard entropy as opposed to maximisation of other instances of generalised entropy. Our argument also provides a qualified justification for updating degrees of belief by Bayesian conditionalisation. However, conditional probabilities play a less central part in the objective Bayesian account than they do under the subjective view of Bayesianism, leading to a reduced role for Bayes’ Theorem. (shrink)

We will apply the methods developed in the field of ‘proof mining’ to the Bolzano-Weierstraß theorem BW and calibrate the computational contribution of using this theorem in proofs of combinatorial statements. We provide an explicit solution of the Gödel functional interpretation as well as the monotone functional interpretation of BW for the product space Πi ∈ℕ[–ki, ki] . This results in optimal program and bound extraction theorems for proofs based on fixed instances of BW, i.e. for BW applied (...) to fixed sequences in Πi ∈ℕ[–ki, ki]. (shrink)

In a series of formal studies and less formal applications, Hong and Page offer a ‘diversity trumps ability’ result on the basis of a computational experiment accompanied by a mathematical theorem as explanatory background (Hong & Page 2004, 2009; Page 2007, 2011). “[W]e find that a random collection of agents drawn from a large set of limited-ability agents typically outperforms a collection of the very best agents from that same set” (2004, p. 16386). The result has been extremely influential (...) as an epistemic justification for diversity policy initiatives. Here we show that the ‘diversity trumps ability’ result is tied to the particular random landscape used in Hong and Page’s simulation. We argue against interpreting results on that random landscape in terms of ‘ability’ or ‘expertise.’ These concepts are better modeled on smother and more realistic landscapes, but keeping other parameters the same those are landscapes on which it is groups of the best performing that do better. Smoother landscapes seem to vindicate both the concept and the value of expertise. Change in other parameters, however, also vindicates diversity. With an increase in the pool of available heuristics, diverse groups again do better. Group dynamics makes a difference as well; simultaneous ‘tournament’ deliberation in a group in place of the ‘relay’ deliberation in Hong and Page’s original model further emphasizes an advantage for diversity. ‘Tournament’ 2 dynamics particularly shows the advantage of mixed groups that include both experts and non-experts. As a whole, our modeling results suggest that relative to problem characteristics and conceptual resources, the wisdom of crowds and the wisdom of the few each have a place. We regard ours as a step toward attempting to calibrate their relative virtues in different modelled contexts of intellectual exploration. (shrink)

Computable model theory, also called effective or recursive model theory, studies algorithmic properties of mathematical structures, their relations, and isomorphisms. These properties can be described syntactically or semantically. One of the major tasks of computable model theory is to obtain, whenever possible, computability-theoretic versions of various classical model-theoretic notions and results. For example, in the 1950's, Fröhlich and Shepherdson realized that the concept of a computable function can make van der Waerden's intuitive notion of an explicit field precise. This led (...) to the notion of a computable structure. In 1960, Rabin proved that every computable field has a computable algebraic closure. However, not every classical result “effectivizes”. Unlike Vaught's theorem that no complete theory has exactly two nonisomorphic countable models, Millar's and Kudaibergenov's result establishes that there is a complete decidable theory that has exactly two nonisomorphic countable models with computable elementary diagrams. In the 1970's, Metakides and Nerode [58], [59] and Remmel [71], [72], [73] used more advanced methods of computability theory to investigate algorithmic properties of fields, vector spaces, and other mathematical structures. (shrink)

Using the concept of progress measure, we give a new proof of Rabin's fundamental result that the languages defined by tree automata are closed under complementation. To do this we show that for certain infinite games based on tree automata, an immediate determinacy property holds for the player who is trying to win according to a Rabin acceptance condition. Immediate determinancy is stronger than the forgetful determinacy of Gurevich and Harrington, which depends on more information about the past, (...) but applies to another class of games. Next, we show a graph theoretic duality theorem for winning conditions. Finally, we present an extended version of Safra's determinization construction. Together, these ingredients and the determinacy of Borel games yield a straightforward recipe for complementing tree automata. Our construction is almost optimal, i.e. the state space blow-up is essentially exponential- thus roughly the same as for automata on finite or infinite words. To our knowledge, no prior constructions have been better than double exponential. (shrink)

This volume is a tribute by his peers, and by younger scholars of the next generation, to Harvey M. Friedman, perhaps the most profound foundationalist since Kurt Godel. Friedman's researches, beginning precociously in his mid-teens, have fundamentally shaped our contemporary understanding of set theory, recursion theory, model theory, proof theory and metamathematics. His achievements in concept formation and theory formulation have also renewed the standard set by Godel and Alfred Tarski for the general intellectual interest and importance of technical work (...) in foundations. Friedman pioneered the now well-established and flourishing field of Reverse Mathematics, whose aim is to calibrate the intrinsic logico-mathematical consistency-strength of all the important theorems of mathematics. He has relentlessly pursued the full extent of the incompleteness phenomena into which Godel provided the first revealing glimpse. The Godel--Friedman program, as it is now deservingly called, seeks to find simple, natural and elegant mathematical statements of a combinatorial nature, that can be proved to be independent of set theory even when extended by powerful large-cardinal existence axioms. (shrink)

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics. Feferman’s work was largely based in mathematical logic, but also branched out into methodological and philosophical issues, making it well known beyond the borders of the mathematics community. With regard to (...) methodological issues, Feferman supported concrete projects. On the one hand, these projects calibrate the proof theoretic strength of subsystems of analysis and set theory and provide ways of overcoming the limitations imposed by Gödel’s incompleteness theorems through appropriate conceptual expansions. On the other, they seek to identify novel axiomatic foundations for mathematical practice, truth theories, and category theory. In his philosophical research, Feferman explored questions such as “What is logic?” and proposed particular positions regarding the foundations of mathematics including, for example, his “conceptual structuralism.” The contributing authors of the volume examine all of the above issues. Their papers are accompanied by an autobiography presented by Feferman that reflects on the evolution and intellectual contexts of his work. The contributing authors critically examine Feferman’s work and, in part, actively expand on his concrete mathematical projects. The volume illuminates Feferman’s distinctive work and, in the process, provides an enlightening perspective on the foundations of mathematics and logic. (shrink)

ABSTRACT This essay has three goals. The first is to introduce the notion of fundamentality and to argue that physicalism can usefully be conceived of as a thesis about fundamentality. The second is to argue for the advantages of fundamentality physicalism over modal formulations and that fundamentality physicalism is what many who endorse modal formulations of physicalism had in mind all along. Third, I describe what I take to be the main obstacle for a fundamentality-oriented formulation of physicalism: ‘the problem (...) of abstracta’, which asks how physical can accommodate phenomena such as mathematics and universals, and which modal formulations do not face. I canvas three solutions: the inapt for ground solution, the concrete restriction, and the contingency restriction. (shrink)

Those who wish to claim that all facts about grounding are themselves grounded (“the meta-grounding thesis”) must defend against the charge that such a claim leads to infinite regress and violates the well-foundedness of ground. In this paper, we defend. First, we explore three distinct but related notions of “well-founded”, which are often conflated, and three corresponding notions of infinite regress. We explore the entailment relations between these notions. We conclude that the meta-grounding thesis need not lead to tension with (...) any of the three notions of “well-founded”. Finally, we explore the details of and motivations for further conditions on ground that one might add to generate a conflict between the meta-grounding thesis and a well-founded constraint. We explore these topics by developing and utilizing a formal framework based on the notion of a grounding structure. (shrink)

Ground offers the hope of vindicating and illuminating an classic philosophical idea: the layered conception, according to which reality is structured by relations of dependence, with physical phenomena on the bottom, upon which chemistry, then biology, and psychology reside. However, ground can only make good on this promise if it is appropriately formally behaved. The paradigm of good formal behavior can be found in the currently dominant grounding orthodoxy, which holds that ground is transitive, antisymmetric, irreflexive, and foundational. However, heretics (...) have recently challenged the orthodoxy. In this paper, I examine ground’s ability to vindicate the layered conception upon various relaxations of the orthodox assumptions. I argue that highly unorthodox views of ground can still vindicate the layered conception and that, in some ways, the heretical views enable ground to better serve as a guide to reality’s layering than do orthodox views of ground. (shrink)

An ethic of care acknowledges the centrality of the role of caring relationships in moral education. Care ethics requires a conception of ?care? that differs from the quotidian use of the word. In order to teach care ethics more effectively, this article discusses four interrelated ways that teachers? understandings of care differ from care ethics: (1) conflating the term of reference ?care? with its quotidian use; (2) overlooking the challenge of developing caring relationships; (3) tending toward monocultural understandings of care; (...) and (4) separating affect and intellect. Awareness of these conceptions of care supports teacher educators to teach care ethics in more meaningful and relevant ways. We explore stories and their dramatization as a medium to facilitate effective and in-depth teaching of care ethics. (shrink)

... al- Ḥairin being exhausted without having fully supplied the demand, I prepared a second, revised edition of the Translation. ...

Why was there a meltdown at the Fukushima power plant? Why do some people get cancer and not others? Why is global warming happening? Why does one person get depressed in the face of life's vicissitudes while another finds resilience? Questions like these--questions of causality--form the basis of modern scientific inquiry, posing profound intellectual and methodological challenges for researchers in the physical, natural, biomedical, and social sciences. In this groundbreaking book, noted psychiatrist and author Peter Rabins offers a conceptual framework (...) for analyzing daunting questions of causality. Navigating a lively intellectual voyage between the shoals of strict reductionism and relativism, Rabins maps a three-facet model of causality and applies it to a variety of questions in science, medicine, economics, and more. Throughout this book, Rabins situates his argument within relevant scientific contexts, such as quantum mechanics, cybernetics, chaos theory, and epigenetics. A renowned communicator of complex concepts and scientific ideas, Rabins helps readers stretch their minds beyond the realm of popular literary tipping points, blinks, and freakonomic explanations of the world. (shrink)

In a series of recent papers, Jonathan Schaffer presents a novel framework for understanding grounding. Metaphysical laws play a central role. In addition, Schaffer argues that, contrary to what many have thought, there is no special 'explanatory gap' between consciousness and the physical world. Instead, explanatory gaps are everywhere. I draw out and criticize the methodology for metaphysics implicit in Schaffer's presentation. In addition, I argue that even if we accept Schaffer's picture, there remains a residual explanatory gap between consciousness (...) and the physical. The residual gap does most of the same philosophical work as the original. Schaffer has introduced a troublesome metaphysical methodology that fails to follow through on its biggest promise: to deflate the explanatory gap. (shrink)

In ‘Just what is full-blooded platonism?’ Greg Restall outlines several objections to Mark Balaguer's theory of full-blooded platonism. I reply to these objections by explicating the semantic framework for the reference of mathematical terms that full-blooded platonism requires. Expanding upon these replies, I then explain how the full-blooded platonist, in light of the explicated semantic framework, should treat mathematical terms and statements in order to avoid certain pitfalls.

This dissertation contains four independent essays addressing a cluster of related topics in the philosophy of mind. Chapter 1: “Fundamentality Physicalism” argues that physicalism can usefully be conceived of as a thesis about fundamentality. The chapter explores a variety of other potential formulations of physicalism (particularly modal formulations), contrasts fundamentality physicalism with these theses, and offers reasons to prefer fundamentality physicalism over these rivals. Chapter 2:“Modal Rationalism and the Demonstrative Reply to the Master Argument Against Physicalism” introduces the Master Argument (...) Against Physicalism and investigates its crucial premise: the inference from an a priori gap between the physical and consciousness to a lack of necessitation between the two. I argue against the strong form of modal rationalism that underwrites the master argument and offer a more moderate rationalist view. I offer a novel demonstrative reply to the master argument, according to which a connection between conscious experience and demonstratives, not dualism, is the source of the epistemic gap between consciousness and the physical. Chapter 3: “Conceptual Mastery and the Knowledge Argument” argues that Frank Jackson’s famous anti-physicalist knowledge argument featuring Mary, a brilliant neuroscientist raised in a black and white room, founders on a dilemma. Either (i) Mary cannot know the relevant experiential truths because of trivial obstacles that have no bearing on the truth of physicalism or (ii) once the obstacles have been removed, Mary can know the relevant truths. Chapter 4: “Toward a Theory of Conceptual Mastery” investigates the question “Under what conditions does a thinker fully understand, or have mastery of, a concept?” I argue against three views of conceptual mastery, according to which conceptual mastery is a matter of holding certain beliefs, being disposed to make certain inferences, or having certain intuitions. I propose and respond to objections to my own “meaning postulate view” of the conditions under which a thinker has mastery of a concept. (shrink)

In this review article we discuss some of the applications of noncommutative geometry in physics that are of recent interest, such as noncommutative many-body systems, noncommutative extension of Special Theory of Relativity kinematics, twisted gauge theories and noncommutative gravity.

I make three claims about the interactions between concept mastery and the knowledge argument. First, I argue that, contra Ball, the concept mastery response to the knowledge argument does not suffer from the heterogeneity of concept mastery. Second, I argue that, when doing metaphysics by relating propositions on the basis of whether a hypothetical agent who knew a base collection could infer a target proposition, it is legitimate to rely on propositions that are not contained in the base, as long (...) as those propositions are required for mastery of relevant concepts. One upshot is that, when checking whether the physical truths a priori entail the consciousness truths, it is fair game to rely on substantive truths about consciousness. Third, I argue that the only version of the knowledge argument that has any hope of succeeding against physicalism completely lacks the argument's driving intuition: that Mary learns something new when she emerges from the black and white room. (shrink)

Agents can think using concepts they do not fully understand. This paper investigates the question “Under what conditions does a thinker fully understand, or have mastery of, a concept?” I lay out a gauntlet of problems and desiderata with which any theory of concept mastery must cope. I use these considerations to argue against three views of concept mastery, according to which mastery is a matter of holding certain beliefs, being disposed to make certain inferences, or having certain intuitions. None (...) of these attitudes is either necessary or sufficient for mastery. I propose and respond to objections to my own recognition view of the conditions under which a thinker has mastery of a concept. (shrink)

According to the scrutability argument against physicalism, an a priori gap between the physical and conscious experience entails a lack of necessitation and the falsity of physicalism. This paper investigates the crucial premise of the scrutability argument: the inference from an a priori gap to a lack of necessitation. This premise gets its support from modal rationalism, according to which there are important, potentially constitutive, connections between a priori justification and metaphysical modality. I argue against the strong form of modal (...) rationalism that underwrites the scrutability argument and suggest a more moderate rationalist view. I offer a novel demonstrative reply to the scrutability argument, according to which demonstratives play a vital role in the generation of meaning for our representations of conscious experience. This connection between conscious experience and demonstratives, rather than a metaphysical gap generated by the truth of dualism, is the source of the epistemic gap between consciousness and the physical. (shrink)

According to Frank Jackson’s famous knowledge argument, Mary, a brilliant neuroscientist raised in a black and white room and bestowed with complete physical knowledge, cannot know certain truths about phenomenal experience. This claim about knowledge, in turn, implies that physicalism is false. I argue that the knowledge argument founders on a dilemma. Either (i) Mary cannot know the relevant experiential truths because of trivial obstacles that have no bearing on the truth of physicalism or (ii) once the obstacles have been (...) removed, Mary can know the relevant truths. If we give Mary the epistemological capabilities necessary to draw metaphysical conclusions about physicalism, she will, while trapped in the black and white room, be able to know every truth about phenomenal experience. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

This paper draws a distinction between the existential quantifier and the symbol ‘∃’ used to express it, on the one hand, and existence and ‘exists’, on the other. It argues that some popular arguments in metaphysics, including arguments against vague existence and arguments against deflationary metaontology (which views ontological disputes as lacking substance), are guilty of fudging this distinction. The paper draws some lessons for metaphysical debate about existence and highlights some heretofore ignored and attractive positions in logical space.

Thought: A Journal of Philosophy, EarlyView.

Six years ago, when I last wrote on tobacco policy, my perspective was to offer an assessment of the strengths and weaknesses of a halfcentury of tobacco control strategies aimed at reducing the health risks associated with cigarette smoking. I began with a discussion of informational strategies; then turned to public place restrictions; and followed with a treatment of excise tax initiatives. In my view, restrictions on advertising and promotion and resort to tort litigation had been less effective as control (...) efforts, but nonetheless also warranted consideration. In the ensuing years, there have been a number of significant developments that have altered the course of tobacco control policy. Prominent among these developments has been the authority granted to the Food and Drug Administration in the Family Smoking Prevention and Tobacco Control Act of 2009; the resort by the industry to litigation in a new guise - particularly reliant on the First Amendment - as an offensive weapon targeting regulatory controls; and the publication of the 2012 Surgeon General’s Report on youth smoking, which makes the case for top-priority attention to underage smoking behavior. These and related measures point to new pathways for breaking through a perceived recent loss of momentum in achieving further reductions in tobacco-related disease, without abandoning what has worked in the recent past. I attempt to pull together these multiple fronts in a Section focused primarily on youth smoking, assessing the promise of present efforts to reduce the harms associated with tobacco. Finally, I offer some brief thoughts from a broader public-health perspective, discussing the framework of tobacco control initiatives from the vantage point of the obesity problem. (shrink)