What does it mean to be media literate in today’s world? How are we transformed by the many media infrastructures around us? We are immersed in a world mediated by information and communication technologies (ICTs). From hardware like smartphones, smartwatches, and home assistants to software like Facebook, Instagram, Twitter, and Snapchat, our lives have become a complex, interconnected network of relations. Scholarship on media literacy has tended to focus on developing the skills to access, analyze, evaluate, and create media messages (...) without considering or weighing the impact of the technological medium—how it enables and constrains both messages and media users. Additionally, there is often little attention paid to the broader context of interrelations which affect our engagement with media technologies. -/- This book addresses these issues by providing a transdisciplinary method that allows for both practical and theoretical analyses of media investigations. Informed by postphenomenology, media ecology, philosophical posthumanism, and complexity theory the author proposes both a framework and a pragmatic instrument for understanding the multiplicity of relations that all contribute to how we affect—and are affected by—our relations with media technology. The author argues persuasively that the increased awareness provided by this posthuman approach affords us a greater chance for reclaiming some of our agency and provides a sound foundation upon which we can then judge our media relations. This book will be an indispensable tool for educators in media literacy and media studies, as well as academics in philosophy of technology, media and communication studies, and the post-humanities. (shrink)

While it seems to be evident that the vision of the eternal return of the same is the solution to the riddle mentioned in "On the vision and the riddle," exactly what constitutes the riddle is anything but clear. Li ke all good riddles the solution demands a paradigm shift. Nietzsche's riddle is solved by a radical rethinking of the concept of time, from a straight line to a circle. I give a detailed account of how Nietzsche's riddle is formulated (...) in such a way tha t the eternal return of the same is the only possible solution. (shrink)

This article reviews and criticizes Joseph Heath’s market failures approach (MFA) to business ethics. Our criticism is organized into three sections. First, we argue that, even under the ideal assumptions of perfect competition, when markets generate Pareto-efficient distributions, Heath’s approach does not rule out significant harms. Second, we show that, under nonideal conditions, the MFA is either too demanding, if efficiency is to be attained, or not sufficiently demanding, if the goal of Pareto efficiency is abandoned. Finally, we argue that (...) Heath’s appeal to regulations and specific moral requirements as a remedy for market failures is unlikely to safeguard efficiency and exposes a number of general worries regarding the moral force of the MFA. We end this article with a constructive suggestion on how to adjust the MFA to avoid these problems while preserving its contractualist and Paretian spirit. (shrink)

For over 20 years, Jaegwon Kim’s Causal Exclusion Argument has stood as the major hurdle for non-reductive physicalism. If successful, Kim’s argument would show that the high-level properties posited by non-reductive physicalists must either be identical with lower-level physical properties, or else must be causally inert. The most prominent objection to the Causal Exclusion Argument—the so-called Overdetermination Objection—points out that there are some notions of causation that are left untouched by the argument. If causation is simply counterfactual dependence, for example, (...) then the Causal Exclusion Argument fails. Thus, much of the existing debate turns on the issue of which account of causation is appropriate. In this paper, however, I take a bolder approach and argue that Kim’s preferred version of the Causal Exclusion Argument fails no matter what account one gives of causation. Any notion of causation that is strong enough to support the premises of the argument is too strong to play the role required in the logic of the argument. I also consider a second version of the Causal Exclusion Argument, and suggest that although it may avoid the problems of the first version, it begs the question against a particular form of non-reductive physicalism, namely emergentism. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

An investigation of what Frege means by his doctrine that functions (and so concepts) are 'unsaturated'. We argue that this doctrine is far less peculiar than it is usually taken to be. What makes it hard to understand, oddly enough, is the fact that it is so deeply embedded in our contemporary understanding of logic and language. To see this, we look at how it emerges out of Frege's confrontation with the Booleans and how it expresses a fundamental difference between (...) Frege's approach to logic and theirs. (shrink)

How should your opinion change in light of an epistemic peer's? We show that the pooling rule known as "upco" is the unique answer satisfying some natural desiderata. If your revised opinion will impact your other views by Jeffrey conditionalization, then upco is the only standard pooling rule that ensures the order in which peers are consulted makes no difference. Popular alternatives like linear pooling, geometric pooling, and harmonic pooling cannot boast the same. In fact, no alternative can that possesses (...) four minimal properties these proposals all share. (shrink)

There are three main moral theories: virtue ethics, the deontological approach and utilitarianism. The concern here is how they interrelate, why they come into focus at different times and places, and how they are configured in their application to a modern democratic society. Person-oriented virtue ethics was the dominant understanding in Ancient Greece but within the Western tradition this was later subordinated to the monotheism of Ancient Judaism as modified by Christianity. Of growing importance by the eighteenth century was rights (...) theory which was often still situated religiously. Kant’s principle of the categorical imperative has been highly influential but was challenged by the emerging nature of industrial and capitalist society. Utilitarianism, within which the moral rightness of activity resides in its tendency to promote happiness or unhappiness, represented the decisive move from the transcendental to the immanent approach. Although all three approaches to moral theory continue to be relevant to identifiable situations and aspects of modern society, there has been a substantial turn towards a heavily modified utilitarianism associated with parliamentary democracy and market economies founded on property ownership. The root cause of this is the ability of utilitarianism, as opposed to the other approaches, to handle considerations of number and probability. The concept of utility is fundamental in economics but the idea has evolved away from its origins to mean “preference”. There is a sense in which the straightforward appeal of basic utilitarianism has been “leased out” in modified form to a set of institutional arrangements. Certain “pressure points” in a modern society are noted which pose particular problems pertinent to moral theory. Bernard Williams argues persuasively for an appropriately modified form of virtue ethics. (shrink)

Nietzsche announces his intentions to publish a “physiology of aesthetics”, namely a naturalistic explanation for how aesthetic judgements are grounded in the physiology of both the one experiencing the work, and the creator of it. But as well as the physiological reduction of aesthetic judgements, Nietzsche in many places across his oeuvre frames the apparatus of physiology, especially the prescriptive dimension of self-cultivation, in terms amenable to being treated as ‘aesthetic’. The first section will mount a (re-) defense of the (...) use of aestheticized language for discussing Nietzschean self-cultivation. The second section demonstrates an aesthetic evaluation of capacities that make possible the acquisition and removal of instinctual components, ultimately arguing for Nietzsche’s qualified indeterminism regarding the capacity for self-cultivation. The third section will assess the pres- ence of another aesthetic measure, this time in terms of envisaging one’s psycho-physiology by reference to an external spectacle. The final section discusses metaethical questions stemming from Nietzsche’s prescriptive language regarding the aestheticization of our physiology. (shrink)

This is the second part of my theological dialogue with ChatGPT on the meaning of God. We explore the nature of God's agency, will, goodness, the problem of evil and suffering, the meaning of sin, and the meaning and nature of the redemptive act of Christ.

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. (...) I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. -/- It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do. (shrink)

Orthodox semantics for natural language modals give rise to two puzzles for their interactions with disjunction: Ross’s puzzle and the puzzle of free choice permission. It is widely assumed that each puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from the truth of a possibility or necessity modal with an embedded disjunction, hearers infer that each disjunct is compatible with the relevant set of worlds. I argue that Diversity inferences are too weak to explain the full (...) range of data. Instead, I argue, modals with embedded disjunctions license ‘Independence’ inferences: from the truth of a modal with an embedded disjunction, hearers infer that each disjunct is an independent alternative among the relevant set of worlds. I then develop a bilateral inquisitive semantics for modals that predicts the validity of these Independence inferences. My account vindicates common intuitions about both Ross’s puzzle and the puzzle of free choice permission, and explains the full range of data. (shrink)

In the world according to Hume, people are complicated creatures, with convoluted, often contradictory characters. Consider, for example, Hume's controversial assessment of Charles I: "The character of this prince, as that of most men, if not of all men, was mixed .... To consider him in the most favourable light, it may be affirmed, that his dignity was free from pride, his humanity from weakness, his bravery from rashness, his temperance from austerity, his frugality from avarice .... To speak the (...) most harshly of him, we may affirm, that many of his good qualities were attended with some latent frailty, which, though seemingly inconsiderable, was able, when seconded by the extreme malevolence of his fortune, to disappoint them of all their influence: His beneficent disposition was clouded by a manner not very gracious; his virtue was tinctured with superstition; his good sense was disfigured by a deference to persons of a capacity inferior to his own; and his moderate temper exempted him not from hasty and precipitate resolutions." This sketch shows Charles in all his complexities, with his virtues, near virtues, and contradicting virtues. I have quoted it at length because it is hard to summarize without losing the subtleties that lie within it. Hume's moral theory is based fundamentally on judgments of character, 2 so those subtleties are important to his view. The character sketches that pervade the.. (shrink)

The discovery of a 1932 typewriter apparently signed by Heidegger raises questions about its authenticity and purpose, and prompts us to reconsider the validity of Heidegger’s portrayal of typewriters as devices that alienate writing from the hand and exemplify the modern oblivion of being.

This article explores the ambivalent relationship of neo-Aristotelian naturalism to ethical supervenience. One of the main proponents of this approach, Michael Thompson, holds a position that leads to a rejection of local ethical supervenience. It is argued that this rejection implicitly undermines a premise held by other prominent neo-Aristotelian naturalists, such as Philippa Foot or Rosalind Hursthouse, who implemented Thompson’s species-relative logic of ethical evaluations into their theories. This premise—that there is a systematic connection between the virtuous life and the (...) benefit of the individual—could be re-established if neo-Aristotelian naturalism abandoned the species-essentialist understanding of life-forms and instead accepted local ethical supervenience as an ethical frame of reference. Although this article derives its problem from the main works of the aforementioned authors, its interest lies not mainly in exegesis, but in the systematic discussion of the logical status and the functionality of the concept of life-form in neo-Aristotelian naturalism. This discussion will be enriched by the inclusion of the logical distinctions and insights from modern philosophical biology. (shrink)

Some years ago, Machery, Mallon, Nichols, and Stich reported the results of experiments that reveal, they claim, cross-cultural differences in speaker’s ‘intuitions’ about Kripke’s famous Gödel–Schmidt case. Several authors have suggested, however, that the question they asked their subjects is ambiguous between speaker’s reference and semantic reference. Machery and colleagues have since made a number of replies. It is argued here that these are ineffective. The larger lesson, however, concerns the role that first-order philosophy should, and more importantly should not, (...) play in the design of such experiments and in the evaluation of their results. (shrink)

Much of our information comes to us indirectly, in the form of conclusions others have drawn from evidence they gathered. When we hear these conclusions, how can we modify our own opinions so as to gain the benefit of their evidence? In this paper we study the method known as geometric pooling. We consider two arguments in its favour, raising several objections to one, and proposing an amendment to the other.

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

to appear in Lambert, E. and J. Schwenkler (eds.) Transformative Experience (OUP) -/- L. A. Paul (2014, 2015) argues that the possibility of epistemically transformative experiences poses serious and novel problems for the orthodox theory of rational choice, namely, expected utility theory — I call her argument the Utility Ignorance Objection. In a pair of earlier papers, I responded to Paul’s challenge (Pettigrew 2015, 2016), and a number of other philosophers have responded in similar ways (Dougherty, et al. 2015, Harman (...) 2015) — I call our argument the Fine-Graining Response. Paul has her own reply to this response, which we might call the Authenticity Reply. But Sarah Moss has recently offered an alternative reply to the Fine-Graining Response on Paul’s behalf (Moss 2017) — we’ll call it the No Knowledge Reply. This appeals to the knowledge norm of action, together with Moss’ novel and intriguing account of probabilistic knowledge. In this paper, I consider Moss’ reply and argue that it fails. I argue first that it fails as a reply made on Paul’s behalf, since it forces us to abandon many of the features of Paul’s challenge that make it distinctive and with which Paul herself is particularly concerned. Then I argue that it fails as a reply independent of its fidelity to Paul’s intentions. (shrink)

In this paper, we attempt to show that if Plantinga’s free will defence succeeds, his O Felix Culpa theodicy fails. For if every creaturely essence suffers from transworld depravity, then given that Jesus has a creaturely essence (as we attempt to show), it follows that Incarnation and Atonement worlds cannot be actualized by God, in which case we have anything but a felix culpa.

Among our conscious states are conscious thoughts. The question at the center of the recent growing literature on cognitive phenomenology is this: In consciously thinking P, is there thereby any phenomenology—is there something it’s like? One way of clarifying the question is to say that it concerns whether there is any proprietary phenomenology associated with conscious thought. Is there any phenomenology due to thinking, as opposed to phenomenology that is due to some co-occurring sensation or mental image? In this paper (...) we will present two arguments that a “yes” answer to this question of cognitive phenomenology can be obtained via appeal to the HOT theory of consciousness, especially the version articulated and defended by David Rosenthal. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 61.3 (2000) 453-471 [Access article in PDF] Liberty, Authority, and Trust in Burke's Idea of Empire Richard Bourke When Edmund Burke first embarked upon a parliamentary career, British political life was in the process of adapting to a series of critical reorientations in both the dynamics of party affiliation and the direction of imperial policy. During the period of the Seven Years' (...) War, a reconstituted militia became a focus for patriotic enthusiasm, uniting national sentiment against France and effectively eradicating the remnants of Jacobite rhetoric and aspiration. Traditional opposition between Tory and Whig became irrelevant, while Court and Country jointly came to the support of the Pitt-Newcastle ministry. However, in due course the Old Corps disintegrated as George III succeeded to the throne with the promise of an end to factional strife and the beginning of a patriotic alliance in government. But while competing ideologies and interests on the domestic political scene were undergoing comprehensive realignment, the pursuit of a blue-water policy in tandem with strategic continental campaigns brought Britain's struggle against France into North America, the Caribbean, and India. Trade continued to expand into Asia and West Africa, but the principles of commercial advantage were continually brought into open conflict with the exigencies of war. The division of power in Europe became embroiled in a substantial redivision of empire, and by 1763 British territorial expansion had reached its zenith.When Burke was appointed private secretary to the Marquis of Rockingham, with the national debt standing at an all time high and the demands of imperial defense unlikely to diminish, the politics of empire called for urgent attention from all sections of the political establishment. In particular the Rockinghamites, adopting a posture of aloofness from venality and petty interest, were obliged to advance policies for imperial government on the solid basis of political principle. 1 Coming into parliament as a member for Wendover in the wake of [End Page 453] Grenville's Stamp Act, at a time when the East India Company was assuming control of the revenue in Bengal, Burke set about formulating a doctrine of imperial sovereignty which would be serviceable to the party either in power or in opposition and which would be adequate to the complex reality of detached and extensive empire. The immediate reception of that inquiry, both in Britain and on the Continent, into the fraught world of post-Revolutionary political debate has had the long-term effect of distorting the order of emphasis in terms of which his career as a whole ought properly to be understood.The vigorous elaboration, in opposition to the Jacobin experiment in France, of the conditions under which moderate government could be exercised within the context of an absolute sovereignty was expressed in terms which had originally been invoked as part of a sustained attempt to reconcile civility with empire. As we shall see, that attempt involved a process of delicate coordination by means of which the interests of freedom would be brought into harmony with the demands of public power. In that sense the effort to make liberty and authority mutually responsible can be said to constitute the core ambition of Burke's political rhetoric. In this context responsibility defines the optimally beneficial relation between government and people on the one hand and national sovereignty and the extended empire on the other. This article outlines the practical and theoretical exploration of those relations within the frame of Burke's intervention in the world of eighteenth-century political discourse.Burke was of course well placed in 1765 to evolve a theory of imperial government that was at once ideologically compelling and politically viable. In his capacity as secretary to William Gerard Hamilton in the early 1760s he had already examined the corruption of legitimate empire as represented by the introduction of penal legislation into Ireland after 1694. The Tracts Relating to Popery Laws set out to convict the Irish Parliament in Dublin of flagrant misrule. A subordinate legislature within the empire is charged with having employed... (shrink)

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

Hobbes's place in the history of political philosophy is a highly controversial one. An international symposium held at Queen Mary, University of London in February 2009 was devoted to debating his significance and legacy. The event focussed on recent books on Hobbes by Quentin Skinner and Philip Pettit, and was organised around four commentaries on these new works by distinguished scholars. This paper is designed to introduce the subject of the symposium together with the commentaries and subsequent responses from Petit (...) and Skinner. It examines the themes of language and liberty in the philosophy of Hobbes and concludes by highlighting some of the ways in which further research into Hobbes's debt to Aristotle's Politics will prove fruitful and illuminating. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

Drawing mainly from the Tractatus Logico-Philosophicus and his middle period writings, strategic issues and problems arising from Wittgenstein’s philosophy of mathematics are discussed. Topics have been so chosen as to assist mediation between the perspective of philosophers and that of mathematicians on their developing discipline. There is consideration of rules within arithmetic and geometry and Wittgenstein’s distinctive approach to number systems whether elementary or transfinite. Examples are presented to illuminate the relation between the meaning of an arithmetical generalisation or theorem (...) and its proof. An attempt is made to meet directly some of Wittgenstein’s critical comments on the mathematical treatment of infinity and irrational numbers. (shrink)

This analysis shows Cantor's diagonal definition in his 1891 paper was not compatible with his horizontal enumeration of the infinite set M. The diagonal sequence was a counterfeit which he used to produce an apparent exclusion of a single sequence to prove the cardinality of M is greater than the cardinality of the set of integers N.

By definition, pain is a sensory and emotional experience that is felt in a particular part of the body. The precise relationship between somatic events at the site where pain is experienced, and central processing giving rise to the mental experience of pain remains the subject of debate, but there is little disagreement in scholarly circles that both aspects of pain are critical to its experience. Recent experimental work, however, suggests a public view that is at odds with this conceptualisation. (...) By demonstrating that the public does not necessarily endorse central tenets of the “mental” view of pain (subjectivity, privacy, and incorrigibility), experimental philosophers have argued that the public holds a more “body-centric” view than most clinicians and scholars. Such a discrepancy would have important implications for how the public interacts with pain science and clinical care. In response, we tested the hypothesis that the public is capable of a more “mind-centric” view of pain. Using a series of vignettes, we demonstrate that in situations which highlight mental aspects of pain the public can, and does, recognize pain as a mental phenomenon. We also demonstrate that the public view is subject to context effects, by showing that the public’s view is modified when situations emphasizing mental and somatic aspects of pain are presented together. (shrink)

Tourism is one of the socio-economic trends that significantly contributes to the shift of the planetary system into the Anthropocene regime. At the same time, it is also a socio-cultural practice characteristic of the imperial mode of living, or consumerism. Thus, it is a form of commodification of nature, also a way of deepening social inequalities between a privileged minority of the global population and an exploited majority providing services to those whose socio-economic status allows them to travel for fun (...) and commoditised “experience”. This is not an inevitable activity, an activity in which environmental costs (carbon footprint, water footprint, energy consumption, and waste production) are necessary to ensure the basic resources of life. Tourism is therefore a form of luxury consumption. For any tourism model to be, not only, environmentally sustainable but also socially just, or at least acceptable, it would have to be accessible to all people. Ecotourism should also have to meet the criterion of a solidarity mode of living referred to as sufficiency. This is hardly conceivable in the climatic, demographic, and political regime of the Anthropocene. The latter is likely to be characterized by, among other things, mass migration of climate or environmental refugees on the one hand and climate apartheid of the states of the global North on the other. Ecotourism, accessible to an even smaller proportion of the world`s population than the current mass tourism, will thus be more likely to accentuate the social and environmental inequalities of which it is already a significant manifestation. Therefore, the question is whether the concept of ecotourism is not just another manifestation of greenwashing, i.e. an attempt to legitimize economic, social, and cultural activities that devastate the social and environmental environment. (shrink)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)

G. W. F. Hegel (1770–1831) has commonly been seen as Europe’s leading philosopher since Kant. His influence extended across the globe down to the Second World War – not least through his dissident disciple, Karl Marx. Since then, despite intermittent revivals, his importance has tended to be eclipsed by a rising tide of anti-modernist polemic, extending from Heidegger to postmodernism. Central to Hegel’s political thought was his view of the French Revolution. But notwithstanding its pivotal role in the development of (...) his ideas, his reaction to that event has been systematically misconstrued. In presenting a more faithful account of Hegel’s interpretation of his own era, the argument presented here places his response to contemporary developments in the context of a series of World Revolutions which framed the meaning of his age. This approach serves to illustrate the unique combination of historical and philosophical reasoning on which Hegel’s thought depended. In the process, reconstructing his arguments raises challenging questions about the applicability of bygone political ideas to later historical periods. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...) is mysterious why we care about justification, for neither of the accounts explains how justification is connected to anything of epistemic value. We will call this the Connection Problem. I begin by describing Dunn’s process reliabilism and Tang’s indicator reliabilism. I argue that, understood correctly, they are, in fact, extensionally equivalent. That is, Dunn and Tang reach the top of the same mountain, albeit by different routes. However, I argue that both face the Connection Problem. In response, I offer my own version of reliabilism, which is both process and indicator, and I argue that it solves that problem. Furthermore, I show that it is also extensionally equivalent to Dunn’s reliabilism and Tang’s. Thus, I reach the top of the same mountain as well. (shrink)

If a Zen Master kills a kitten, and does not hear its scream, does it make a sound? In this essay, I use the Zen story of Master Nansen's killing of a kitten as an entree into a reflection on the Zen experience of enlightenment. I argue that the story of Nansen and the cat, as presented in the Zen tradition, raises many questions and problems that must be resolved if we are to envision the enlightenment experience in a clear (...) way. (shrink)

The main focus of my comments is the role played in Dickie's view by the idea that "the mind has a need to represent things outside itself". But there are also some remarks about her (very interesting) suggestion that descriptive names can sometimes fail to refer to the object that satisfies the associated description.

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

This paper explores the relationship between the questioning attitude of wondering and a class of attitudes I call 'epistemic desires'. Broadly, these are desires to improve one's epistemic position on some question. A common example is the attitude of wanting to know the answer to some question. I argue that one can have any kind of epistemic desire towards any question, Q, without necessarily wondering Q, but not conversely. That is, one cannot wonder Q without having at least some epistemic (...) desire directed towards Q. I defend this latter claim from apparent counterexamples due to Friedman (2013) and Drucker (2022), and finish with a proposal on which epistemic desires, particularly the desire for understanding, play an explanatory role in distinguishing wondering from other forms of question-directed thought. (shrink)

An investigation of Frege's various contributions to the study of language, focusing on three of his most famous doctrines: that concepts are unsaturated, that sentences refer to truth-values, and that sense must be distinguished from reference.

In the recent philosophical literature on inquiry, epistemologists point out that their subject has often begun at the point at which you already have your evidence and then focussed on identifying the beliefs for which that evidence provides justification. But we are not mere passive recipients of evidence. While some comes to us unbidden, we often actively collect it. This has long been recognised, but typically epistemologists have taken the norms that govern inquiry to be practical, not epistemic. The recent (...) literature challenges this assumption and uncovers a rich range of questions about the epistemic normativity of inquiry. In this paper, I approach these questions from the formal side of epistemology. Developing out of the philosophy of science, as it did, this branch of epistemology has long discussed inquiry. And, building on the insights of Janina Hosiasson (1931), David Blackwell (1951), and I. J. Good (1967), it has produced a reasonably well-developed framework in which to understand norms of inquiry, both epistemic and practical. In the first half of the paper, I will present the pragmatic versions of this framework due to Hosiasson, Blackwell, and Good, and the epistemic version due to Graham Oddie (1997); in the second half of the paper, I put this framework to work, turning to some of the questions from the recent debate about inquiry and asking how the framework can help us answer them. Questions include: When should we initiate an inquiry, when should we continue it, when should we conclude it, and when should we reopen it? How do epistemic norms of inquiry relate to epistemic norms of belief or credence, and can they conflict, as Jane Friedman (2020) contends? How should we resolve the apparent puzzle raised by Friedman's example of counting the windows in the Chrysler Building? How should we direct our attention, as Georgi Gardiner (2022) asks? How should we choose and reason after receiving evidence we'd rather not have received? And how should we understand the epistemic error that occurs when someone is resistant to evidence in the way Mona Simion (2023) describes? (shrink)

This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.

This paper describes an attempt to repurpose Kant’s a priori psychology as the architectural blueprint for a machine learning system. First, it describes the conditions that must be satisfied for the agent to achieve unity of experience: the intuitions must be connected, via binary relations, so as to satisfy various unity conditions. Second, it shows how the categories are derived within this model: the categories are pure unary predicates that are derived from the pure binary relations. Third, I describe how (...) Kant’s cognitive architecture has been implemented in a computer system (the Apperception Engine) and show in detail what it is like for the system to construct a unified experience from a sequence of raw sensory input. (shrink)

It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, say, (...) Delta-3-1 comprehension axioms are not logical truths. What I am going to suggest, however, is that there is a special case to be made on behalf of Pi-1-1 comprehension. Making the case involves investigating extensions of first-order logic that do not rely upon the presence of second-order quantifiers. A formal system for so-called "ancestral logic" is developed, and it is then extended to yield what I call "Arché logic". (shrink)

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

This study examines the origins and main aspects of the Chinese concept of ecological civilization. Originally a philosophical concept, it was later developed into a political and constitutional principle and became the basis of several public policies of the Chinese government. The author also draws attention to several contradictions and weaknesses in the concept, which has been seen as a Chinese version of sustainable development and ultimately as a Chinese concept of global civilization.

We often learn the opinions of others without hearing the evidence on which they're based. The orthodox Bayesian response is to treat the reported opinion as evidence itself and update on it by conditionalizing. But sometimes this isn't feasible. In these situations, a simpler way of combining one's existing opinion with opinions reported by others would be useful, especially if it yields the same results as conditionalization. We will show that one method---upco, also known as multiplicative pooling---is specially suited to (...) this role when the opinions you wish to pool concern hypotheses about chances. The result has interesting consequences: it addresses the problem of disagreement between experts; and it sheds light on the social argument for the uniqueness thesis. (shrink)