This article aims to give an overview of Carnap’s 1928 book Logical Structure of the World or Aufbau and the most influential interpretations of its significance. After giving an outline of the book in Section 2, I turn to the first sustained interpretations of the book offered by Goodman and Quine in Section 3. Section 4 explains how this empirical reductionist interpretation was largely displaced by its main competitor. This is the line of interpretation offered by Friedman and Richardson which (...) focuses on issues of objectivity. In Section 5, I turn to two more recent interpretations that can be thought of as emphasizing Carnap’s concern with rational reconstruction. Finally, the article concludes by noting some current work by Leitgeb that aims to develop and update some aspects of the Aufbau project for contemporary epistemology. (shrink)

In everyday life we either express our beliefs in all-or-nothing terms or we resort to numerical probabilities: I believe it's going to rain or my chance of winning is one in a million. The Stability of Belief develops a theory of rational belief that allows us to reason with all-or-nothing belief and numerical belief simultaneously.

The thesis defended in this article is that by uttering or publishing a great many declarative sentences in assertoric mode, one does not actually assert that their conjunction is true – one rather asserts that the vast majority of these sentences are true. Accordingly, the belief that is expressed thereby is the belief that the vast majority of these sentences are true. In the article, we make this proposal precise, we explain the context-dependency of belief that corresponds to it, we (...) point out why our everyday oral practice of single assertions is not affected by it, and we argue that the proposal leads to a way out of the Paradox of the Preface. (shrink)

In Minimal Rationality, Christopher Cherniak boldly challenges the myth of Man the the Rational Animal and the central role that the "perfectly rational...

The aim of this paper is to give a certain algebraic account of truth: we want to define what we mean by De Morgan-valued truth models and show their existence even in the case of semantical closure: that is, languages may contain their own truth predicate if they are interpreted by De Morgan-valued models. Before we can prove this result, we have to repeat some basic facts concerning De Morgan-valued models in general, and we will introduce a notion of truth (...) both on the object- and on the metalanguage level appropriate for such models. The definitions and the existence theorem are extensions of Kripke's, Woodruff's, and Visser's concepts and results concerning three- and four-valued truth models. (shrink)

This study takes inquiry as the starting point for epistemological theorising. It uses this idea to develop new and systematic answers to some of the most fundamental questions in epistemology, including about the nature of core epistemic phenomena as well as their value and the extent to which we possess them.

One of the fundamental problems of epistemology is to say when the evidence in an agent’s possession justifies the beliefs she holds. In this paper and its prequel, we defend the Bayesian solution to this problem by appealing to the following fundamental norm: Accuracy An epistemic agent ought to minimize the inaccuracy of her partial beliefs. In the prequel, we made this norm mathematically precise; in this paper, we derive its consequences. We show that the two core tenets of Bayesianism (...) follow from the norm, while the characteristic claim of the Objectivist Bayesian follows from the norm along with an extra assumption. Finally, we consider Richard Jeffrey’s proposed generalization of conditionalization. We show not only that his rule cannot be derived from the norm, unless the requirement of Rigidity is imposed from the start, but further that the norm reveals it to be illegitimate. We end by deriving an alternative updating rule for those cases in which Jeffrey’s is usually supposed to apply. (shrink)

The coherence objection to the doctrine of the Incarnation maintains that it is impossible for one individual to have both the attributes of God and the attributes of a human being. This article examines Thomas Aquinas’s answer to this objection. I challenge the dominant, mereological interpretation of Aquinas’s position and, in light of this challenge, develop and defend a new alternative interpretation of Aquinas’s response to this important objection to Christian doctrine.

Assertion is the central vehicle for the sharing of knowledge. Whether knowledge is shared successfully often depends on the quality of assertions: good assertions lead to successful knowledge sharing, while bad ones don't. In Sharing Knowledge, Christoph Kelp and Mona Simion investigate the relation between knowledge sharing and assertion, and develop an account of what it is to assert well. More specifically, they argue that the function of assertion is to share knowledge with others. It is this function that (...) supports a central norm of assertion according to which a good assertion is one that has the disposition to generate knowledge in others. The book uses this functionalist approach to motivate further norms of assertion on both the speaker and the hearer side and investigates ramifications of this view for other questions about assertion. (shrink)

This essay develops a joint theory of rational (all-or-nothing) belief and degrees of belief. The theory is based on three assumptions: the logical closure of rational belief; the axioms of probability for rational degrees of belief; and the so-called Lockean thesis, in which the concepts of rational belief and rational degree of belief figure simultaneously. In spite of what is commonly believed, this essay will show that this combination of principles is satisfiable (and indeed nontrivially so) and that the principles (...) are jointly satisfied if and only if rational belief is equivalent to the assignment of a stably high rational degree of belief. Although the logical closure of belief and the Lockean thesis are attractive postulates in themselves, initially this may seem like a formal “curiosity”; however, as will be argued in the rest of the essay, a very reasonable theory of rational belief can be built around these principles that is not ad hoc and that has various philosophical features that are plausible independently. In particular, this essay shows that the theory allows for a solution to the Lottery Paradox, and it has nice applications to formal epistemology. The price that is to be paid for this theory is a strong dependency of belief on the context, where a context involves both the agent's degree of belief function and the partitioning or individuation of the underlying possibilities. But as this essay argues, that price seems to be affordable. (shrink)

We formulate and explore two basic axiomatic systems of type-free subjective probability. One of them explicates a notion of finitely additive probability. The other explicates a concept of infinitely additive probability. It is argued that the first of these systems is a suitable background theory for formally investigating controversial principles about type-free subjective probability.

Highlights of a difficult history -- The preliminary identification of our topic -- Approaches -- Bradley's protest -- James's disjunctive theory -- The source of Bradley's dissatisfaction -- Behaviourism and after -- Heirs of Bradley in the twentieth century -- The underlying metaphysical issue -- Explanatory tactics -- The basic distinction -- Metaphysical categories and taxonomies -- Adverbialism, multiple realizability, and natural kinds -- Adverbialism and levels of explanation -- Taxonomies and supervenience relations -- Rejecting the process : first view (...) -- Supervenience-failure -- The modal commitments of the process : first view -- The interference argument : a putative problem for adverbialist accounts -- Cognitive unison -- The problem with attitude based adverbialism -- Gilbert Ryle and Alan White -- White's argument against disposition-based adverbialism -- The cognitive unison theory -- Tasks -- Cognitive processes -- Potential service of a task -- Superordinate tasks -- Some features of the theory -- Divided attention -- Degrees of attention and merely partial attention -- The causal life of attention -- Mental causation -- How to respond to mental causation objections -- The causal role of attention -- Attention as an enabling condition -- Counterfactuals -- The causal relevance of attention per se -- Counterfactuals and causally relevant properties -- Objections to counterfactual analysis of causation and of causal relevance -- The extrinsicness of unison -- The privative character of unison and the problem of absence causation -- Causal exclusion -- Consequences for cognitive psychology -- Psychology and metaphysics -- The metaphysical commitments of the process-identifying project -- The diverse explanatory construals of current psychological results -- Reasons for deflation -- Inductively unreliable properties -- Questions without answers -- The positive payoff -- Philosophical work for the theory of attention -- Putting attention to philosophical work -- Attention and reference -- Attention and consciousness -- Prospects for optimism. (shrink)

The ethics of autonomous cars and automated driving have been a subject of discussion in research for a number of years :28–58, 2016). As levels of automation progress, with partially automated driving already becoming standard in new cars from a number of manufacturers, the question of ethical and legal standards becomes virulent. For exam-ple, while automated and autonomous cars, being equipped with appropriate detection sensors, processors, and intelligent mapping material, have a chance of being much safer than human-driven cars in (...) many regards, situations will arise in which accidents cannot be completely avoided. Such situations will have to be dealt with when programming the software of these vehicles. In several instances, internationally, regulations have been passed, based on legal considerations of road safety, mostly. However, to date, there have been few, if any, cases of a broader ethics code for autonomous or automated driving preceding actual regulation and being based on a broadly composed ethics committee of independent experts. In July 2016, the German Federal Minister of Transport and Digital Infrastructure, Alexander Dobrindt, appointed a national ethics committee for automated and connected driving, which began its work in September 2016. In June 2017, this committee presented a code of ethics which was published in German and in English. It consists of 20 ethical guidelines. Having been a member of this committee, I will present the main ethical topics of these guidelines and the discussions that lay behind them. (shrink)

In this essay, I argue that a proper understanding of the historicity of love requires an appreciation of the irreplaceability of the beloved. I do this through a consideration of ideas that were first put forward by Robert Kraut in “Love De Re” (1986). I also evaluate Amelie Rorty's criticisms of Kraut's thesis in “The Historicity of Psychological Attitudes: Love is Not Love Which Alters Not When It Alteration Finds” (1986). I argue that Rorty fundamentally misunderstands Kraut's Kripkean analogy, and (...) I go on to criticize her claim that concern over the proper object of love should be best understood as a concern over constancy. This leads me to an elaboration of the distinct senses in which love can be seen as historical. I end with a further defense of the irreplaceability of the beloved and a discussion of the relevance of recent debates over the importance of personal identity for an adequate account of the historical dimension of love. (shrink)

One of the fundamental problems of epistemology is to say when the evidence in an agent’s possession justifies the beliefs she holds. In this paper and its sequel, we defend the Bayesian solution to this problem by appealing to the following fundamental norm: Accuracy An epistemic agent ought to minimize the inaccuracy of her partial beliefs. In this paper, we make this norm mathematically precise in various ways. We describe three epistemic dilemmas that an agent might face if she attempts (...) to follow Accuracy, and we show that the only inaccuracy measures that do not give rise to such dilemmas are the quadratic inaccuracy measures. In the sequel, we derive the main tenets of Bayesianism from the relevant mathematical versions of Accuracy to which this characterization of the legitimate inaccuracy measures gives rise, but we also show that Jeffrey conditionalization has to be replaced by a different method of update in order for Accuracy to be satisfied. (shrink)

This handbook article gives a critical overview of recent discussions of epistemic authority. It favors an account that brings into balance the dictates of rational deference with the ideals of intellectual self-governance. A plausible starting point is the conjecture that neither should rational deference to authorities collapse into total epistemic submission, nor the ideal of mature intellectual self-governance be conflated with (illusions of) epistemic autarky.

If an agent believes that the probability of E being true is 1/2, should she accept a bet on E at even odds or better? Yes, but only given certain conditions. This paper is about what those conditions are. In particular, we think that there is a condition that has been overlooked so far in the literature. We discovered it in response to a paper by Hitchcock (2004) in which he argues for the 1/3 answer to the Sleeping Beauty problem. (...) Hitchcock argues that this credence follows from calculating her fair betting odds, plus the assumption that Sleeping Beauty’s credences should track her fair betting odds. We will show that this last assumption is false. Sleeping Beauty’s credences should not follow her fair betting odds due to a peculiar feature of her epistemic situation. (shrink)

This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and the (...) predicate logic of the system. The propositional logic of HYPE is shown to contain first-degree entailment, to have the Finite Model Property, to be decidable, to have the Disjunction Property, and to extend intuitionistic propositional logic conservatively when intuitionistic negation is defined appropriately by HYPE’s logical connectives. Furthermore, HYPE’s first-order logic is a conservative extension of intuitionistic logic with the Constant Domain Axiom, when intuitionistic negation is again defined appropriately. The system allows for simple model constructions and intuitive Euler-Venn-like diagrams, and its logical structure matches structures well-known from ordinary mathematics, such as from optimization theory, combinatorics, and graph theory. HYPE may also be used as a general logical framework in which different systems of logic can be studied, compared, and combined. In particular, HYPE is found to relate in interesting ways to classical logic and various systems of relevance and paraconsistent logic, many-valued logic, and truthmaker semantics. On the philosophical side, if used as a logic for theories of type-free truth, HYPE is shown to address semantic paradoxes such as the Liar Paradox by extending non-classical fixed-point interpretations of truth by a conditional as well-behaved as that of intuitionistic logic. Finally, HYPE may be used as a background system for modal operators that create hyperintensional contexts, though the details of this application need to be left to follow-up work. (shrink)

If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of (...) sentences has not been developed very far. By introducing possible-worlds semantics for the language of arithmetic plus the unary predicate □, we tackle both problems. Given a frame (W, R) consisting of a set W of worlds and a binary relation R on W, we investigate whether we can interpret □ at every world in such a way that □ $\ulcorner A \ulcorner$ holds at a world ᵆ ∊ W if and only if A holds at every world $\upsilon$ ∊ W such that ᵆR $\upsilon$ . The arithmetical vocabulary is interpreted by the standard model at every world. Several 'paradoxes' (like Montague's Theorem, Gödel's Second Incompleteness Theorem, McGee's Theorem on the ω-inconsistency of certain truth theories, etc.) show that many frames, e.g., reflexive frames, do not allow for such an interpretation. We present sufficient and necessary conditions for the existence of a suitable interpretation of □ at any world. Sound and complete semi-formal systems, corresponding to the modal systems K and K4, for the class of all possible-worlds models for predicates and all transitive possible-worlds models are presented. We apply our account also to nonstandard models of arithmetic and other languages than the language of arithmetic. (shrink)

Suppose you ask yourself whether your father's record collection includes a certain recording of The Trout and venture to find out. At that time, you embark on an inquiry into whether your father owns the relevant recording. Your inquiry is a project with a specific goal: finding out whether your father owns the recording. This fact about your inquiry generalizes: inquiry is a goal-directed enterprise. A specific inquiry can be individuated by the question it aims to answer and by who (...) aims to answer the question. Your inquiry into whether your father owns the recording differs from your inquiry into how many records your father owns because different questions are being asked. Your inquiry into whether your father owns the recording differs from my inquiry into whether he does because different people are inquiring. The goal of inquiry into a given question by an agent, α, can be characterized, neutrally, as α's having the answer to that question. I will here focus only on inquiries into whether questions and characterize the goal of inquiry into whether φ by α as α's having the answer to the question whether φ. (shrink)

This paper is built around a single, simple idea. It is widely agreed that there is a distinctive kind of awareness each of us has of his own bodily actions. This action-awareness is different from any perceptual awareness a subject may have of his own actions; it can exist in the absence of such perceptual awareness. The single, simple idea around which this paper is built is that the distinctive awareness that subjects have of their own mental actions is a (...) form of action-awareness. Subjects’ awareness of their own mental actions is a species of the same genus that also includes the distinctive awareness of bodily actions. More specifically, I claim. (shrink)

Christopher Hookway presents a series of essays on the work of Charles Sanders Peirce (1839-1913), the 'founder of pragmatism' and one of the most important and original American philosophers.

Is it possible to give an explicit definition of belief in terms of subjective probability, such that believed propositions are guaranteed to have a sufficiently high probability, and yet it is neither the case that belief is stripped of any of its usual logical properties, nor is it the case that believed propositions are bound to have probability 1? We prove the answer is ‘yes’, and that given some plausible logical postulates on belief that involve a contextual “cautiousness” threshold, there (...) is but one way of determining the extension of the concept of belief that does the job. The qualitative concept of belief is not to be eliminated from scientific or philosophical discourse, rather, by reducing qualitative belief to assignments of resiliently high degrees of belief and a “cautiousness” threshold, qualitative and quantitative belief turn out to be governed by one unified theory that offers the prospects of a huge range of applications. Within that theory, logic and probability theory are not opposed to each other but go hand in hand. (shrink)

How does good combine with bad? Most creatures are neither so blessed as to only enjoy good nor so cursed as to only suffer bad. Rather, the good and bad they receive throughout their lives combine to produce their overall quality of life. But it’s not just whole lives that have combined good and bad. Many stretches within contain both positive and negative occurrences whose value is joined to form the overall quality of that span of time. In a single (...) morning someone might wake up, brush their teeth, stub their toe groggily lumbering down the stairs, and have a sip of coffee that’s tasty but so hot they burn their tongue. These events are good and bad for them to various degrees, and their value comes together to form an overall value for them of that morning. A single moment, even, can have combined value from distinct pockets of good and bad that occur simultaneously. The tastiness of the coffee is good, but the pain of the heat is bad. They combine to form an overall value of the sipping moment – negative if the pain outweighed the flavor. Thus, wellbeing and illbeing combine. But how? How can someone rightly chastise themselves for sipping the overly hot coffee when it was, in fact, good because it was tasty? To pose the question starkly, a life can be bad, even so bad to not be worth living, and yet it can have many instances of good, where these goods are, in themselves, pure of any negativity. But how can good make something bad? (shrink)

What kinds of sentences with truth predicate may be inserted plausibly and consistently into the T-scheme? We state an answer in terms of dependence: those sentences which depend directly or indirectly on non-semantic states of affairs (only). In order to make this precise we introduce a theory of dependence according to which a sentence φ is said to depend on a set Φ of sentences iff the truth value of φ supervenes on the presence or absence of the sentences of (...) Φ in/from the extension of the truth predicate. Both φ and the members of Φ are allowed to contain the truth predicate. On that basis we are able define notions such as ungroundedness or self-referentiality within a classical semantics, and we can show that there is an adequate definition of truth for the class of sentences which depend on non-semantic states of affairs. (shrink)

Philosophers often have tried to either reduce "disagreeable" objects or concepts to (more) acceptable objects or concepts. Reduction is regarded attractive by those who subscribe to an ideal of ontological parsimony. But the topic is not just restricted to traditional metaphysics or ontology. In the philosophy of mathematics, abstraction principles, such as Hume's principle, have been suggested to support a reconstruction of mathematics by logical means only. In the philosophy of language and the philosophy of science, the logical analysis of (...) language has long been regarded to be the dominating paradigm, and liberalized projects of logical reconstruction remain to be driving forces of modern philosophy. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

A number of cases involving self-locating beliefs have been discussed in the Bayesian literature. I suggest that many of these cases, such as the sleeping beauty case, are entangled with issues that are independent of self-locating beliefs per se. In light of this, I propose a division of labor: we should address each of these issues separately before we try to provide a comprehensive account of belief updating. By way of example, I sketch some ways of extending Bayesianism in order (...) to accommodate these issues. Then, putting these other issues aside, I sketch some ways of extending Bayesianism in order to accommodate self-locating beliefs. Finally, I propose a constraint on updating rules, the "Learning Principle", which rules out certain kinds of troubling belief changes, and I use this principle to assess some of the available options. (shrink)

This is part A of a paper in which we defend a semantics for counterfactuals which is probabilistic in the sense that the truth condition for counterfactuals refers to a probability measure. Because of its probabilistic nature, it allows a counterfactual ‘ifAthenB’ to be true even in the presence of relevant ‘Aand notB’-worlds, as long such exceptions are not too widely spread. The semantics is made precise and studied in different versions which are related to each other by representation theorems. (...) Despite its probabilistic nature, we show that the semantics and the resulting system of logic may be regarded as a naturalistically vindicated variant of David Lewis’ truth-conditional semantics and logic of counterfactuals. At the same time, the semantics overlaps in various ways with the non-truth-conditional suppositional theory for conditionals that derives from Ernest Adams’ work. We argue that counterfactuals have two kinds of pragmatic meanings and come attached with two types of degrees of acceptability or belief, one being suppositional, the other one being truth based as determined by our probabilistic semantics; these degrees could not always coincide due to a new triviality result for counterfactuals, and they should not be identified in the light of their different interpretation and pragmatic purpose. However, for plain assertability the difference between them does not matter. Hence, if the suppositional theory of counterfactuals is formulated with sufficient care, our truth-conditional theory of counterfactuals is consistent with it. The results of our investigation are used to assess a claim considered by Hawthorne and Hájek, that is, the thesis that most ordinary counterfactuals are false. (shrink)

In this paper a theory of finitistic and frequentistic approximations — in short: f-approximations — of probability measures P over a countably infinite outcome space N is developed. The family of subsets of N for which f-approximations converge to a frequency limit forms a pre-Dynkin system $${{D\subseteq\wp(N)}}$$. The limiting probability measure over D can always be extended to a probability measure over $${{\wp(N)}}$$, but this measure is not always σ-additive. We conclude that probability measures can be regarded as idealizations of (...) limiting frequencies if and only if σ-additivity is not assumed as a necessary axiom for probabilities. We prove that σ-additive probability measures can be characterized in terms of so-called canonical and in terms of so-called full f-approximations. We also show that every non-σ-additive probability measure is f-approximable, though neither canonically nor fully f-approximable. Finally, we transfer our results to probability measures on open or closed formulas of first-order languages. (shrink)

Forms and Concepts is the first comprehensive study of the central role of concepts and concept acquisition in the Platonic tradition. It sets up a stimulating dialogue between Plato s innatist approach and Aristotle s much more empirical response. The primary aim is to analyze and assess the strategies with which Platonists responded to Aristotle s (and Alexander of Aphrodisias ) rival theory. The monograph culminates in a careful reconstruction of the elaborate attempt undertaken by the Neoplatonist Proclus (6th century (...) AD) to devise a systematic Platonic theory of concept acquisition.". (shrink)

A critical interrogation of elements of Hobbes's political and natural philosophy and its capacity to enrich our understanding of the natural of democratic life.

In this paper, I aim to develop a novel virtue reliabilist account of justified belief, which incorporates insights from both process reliabilism and extant versions of virtue reliabilism. Like extant virtue reliabilist accounts of justi- fied belief, the proposed view takes it that justified belief is a kind of competent performance and that competent performances require reliable agent abilities. However, unlike extant versions of virtue reliabilism, the view takes abilities to essentially involve reliable processes. In this way, the proposed takes (...) a leaf from process reliabilism. Finally, I will provide reason to believe that the view compares favourably with both extant versions of virtue reliabilism and process reliabilism. In particular, I will show that in taking abilities to essentially involve reliable processes, the view has an edge over extant versions of virtue reliabilism. Moreover, I will argue that the proposed view can either solve or defuse a number of classical problems of process reliabilism, including the new evil demon problem, the problem of clairvoyant cases and the generality problem. (shrink)

Essentialists claim that at least some individuals or kinds have essences. This raises an important but little-discussed question: how do we come to know what the essence of something is? This paper examines Aristotle’s answer to this question. One influential interpretation (viz., the Explanationist Interpretation) is carefully expounded, criticized, and then refined. Particular attention is given to what Aristotle says about this issue in DA I.1, APo II.2, and APo II.8. It is argued that the epistemological claim put forward in (...) DA I.1 differs from that put forward in APo II.2 and II.8, contrary to what has been claimed by Explanationists, and that each of these distinct epistemological claims rests on a distinct non-epistemological thesis about essence. Consequently, an ‘Enriched Explanationist Interpretation’ is developed which takes into account both of the aforementioned elements in Aristotle’s epistemology of essence. The paper concludes by highlighting an insight the preceding exegetical discussion offers to contemporary essentialists seeking to explain how we come to know what something’s essence is. (shrink)

"Throughout history, some books have changed the world. They have transformed the way we see ourselves - and each other. They have inspired debate, dissent, war and revolution. They have enlightened, outraged, provoked and comforted. They have enriched lives - and destroyed them. Now Penguin brings you the works of the great thinkers, pioneers, radicals and visionaries whose ideas shook civilization and helped make us who we are. Plato's retelling of the discourses between Socrates and his friends on such subjects (...) as love and desire, truth and illusion, spiritual transcendence and the qualities of a good ruler, profoundly affected the ways in which we view human relationships, society and leadership - and shaped the whole tradition of Western philosophy."--Publisher's website. (shrink)

This book offers a broad-based critical survey of recent anti-realist arguments in the philosophy of science, cultural theory, hermeneutics, the sociology of knowledge and the interpretation of quantum-mechanics.

This article outlines what a formal theory of truth should be like, at least at first glance. As not all of the stated constraints can be satisfied at the same time, in view of notorious semantic paradoxes such as the Liar paradox, we consider the maximal consistent combinations of these desiderata and compare their relative advantages and disadvantages.

If an agent believes that the probability of E being true is 1/2, should she accept a bet on E at even odds or better? Yes, but only given certain conditions. This paper is about what those conditions are. In particular, we think that there is a condition that has been overlooked so far in the literature. We discovered it in response to a paper by Hitchcock (2004) in which he argues for the 1/3 answer to the Sleeping Beauty problem. (...) Hitchcock argues that this credence follows from calculating her fair betting odds, plus the assumption that Sleeping Beauty’s credences should track her fair betting odds. We will show that this last assumption is false. Sleeping Beauty’s credences should not follow her fair betting odds due to a peculiar feature of her epistemic situation. (shrink)

An influential thought-experiment by Derek Parfit sought to establish that people have a preference for unpleasant events to lie in the past rather than the future. In recent discussions of Parfit’s argument, this purported preference is modelled as a discounting phenomenon, as is the tensed emotion of relief, which Arthur Prior argued demonstrated that there is an objective metaphysical difference between the past and the future. Looking at recent work demonstrating some psychological past/future asymmetries that are more clearly instances of (...) discounting I argue that this existing philosophical literature fails to distinguish between what are clearly two quite different psychological phenomena. This affects recent attempts to respond to Prior’s metaphysical argument, because it is not clear that they have identified the right phenomenon to be explained. It also affects Parfit’s thought-experiment, because the purported unitary ‘preference’ may in fact be an amalgam of these two quite different psychological phenomena. (shrink)

The so-called Paradox of Serious Possibility is usually regarded as showing that the standard axioms of belief revision do not apply to belief sets that are introspectively closed. In this article we argue to the contrary: we suggest a way of dissolving the Paradox of Serious Possibility so that introspective statements are taken to express propositions in the standard sense, which may thus be proper members of belief sets, and accordingly the normal axioms of belief revision apply to them. Instead (...) the paradox is avoided by making explicit, for any occurrence of an introspective modality in the object language, the belief state to which this occurrence refers; this will make it impossible for any doxastic modality to refer to two distinct belief sets within one and the same context of doxastic appraisal. By this move the standard derivation of a contradiction from the theory of belief revision in the presence of introspectively closed belief sets does not go through any more, and indeed the premisses of the Paradox of Serious Possibility become jointly consistent once they are reformulated with our amended introspective modalities only. Additionally, we present a probabilistic version of the Paradox of Serious Possibility which can be avoided in a perfectly analogous manner. (shrink)

This is Part B of an article that defends non-eliminative structuralism about mathematics by means of a concrete case study: a theory of unlabeled graphs. Part A motivated an understanding of unlabeled graphs as structures sui generis and developed a corresponding axiomatic theory of unlabeled graphs. Part B turns to the philosophical interpretation and assessment of the theory: it points out how the theory avoids well-known problems concerning identity, objecthood, and reference that have been attributed to non-eliminative structuralism. The part (...) concludes by explaining how the theory relates to set theory, and what remains to be accomplished for non-eliminative structuralists. (shrink)

Can we discover morality in nature? Flowers and Honeybees extends the considerable scientific knowledge of flowers and honeybees through a philosophical discussion of the origins of morality in nature. Flowering plants and honeybees form a social group where each requires the other. They do not intentionally harm each other, both reason, and they do not compete for commonly required resources. They also could not be more different. Flowering plants are rooted in the ground and have no brains. Mobile honeybees can (...) communicate the location of flower resources to other workers. We can learn from a million-year-old social relationship how morality can be constructed and maintained over time. (shrink)

ISBN 3110150077 (paperback) DEM 58.00 A collection of invited papers on the role of preferences and desires in practical reasoning: including rational decision making, the concept of welfare, and ethics. With a substantial introduction and a bibliographical survey. culture-specific and universal factors.