This paper contributes to the mathematical foundations of the model for utility theory developed by Richard Jeffrey in The Logic of Decision [5]. In it I discuss the relationship of Jeffrey's to classical models, state and interpret an existence theorem for numerical utilities and subjective probabilities and restate a theorem on their uniqueness.

In this paper I discuss some of the mathematics behind an often quoted existence theorem from Richard Jeffrey's The Logic of Decision (Jeffrey 1990) in order to pose several new questions about the meaning and value of that mathematics for decision theory.

In The Logic of Decision Richard Jeffrey defends a version of expected utility theory that advises agents to choose acts with an eye to securing evidence for thinking that desirable results will ensue. Proponents of "causal" decision theory have argued that Jeffrey's account is inadequate because it fails to properly discriminate the causal features of acts from their merely evidential properties. Jeffrey's approach has also been criticized on the grounds that it makes it impossible to extract a unique probability/utility representation (...) from a sufficiently rich system of preferences (given a zero and unit for measuring utility). The existence of these problems should not blind us to the fact that Jeffrey's system has advantages that no other decision theory can match: it can be underwritten by a particularly compelling representation theorem proved by Ethan Bolker; and it has a property called partition invariance that every reasonable theory of rational choice must possess. I shall argue that the non-uniqueness problem can be finessed, and that it is impossible to adequately formulate causal decision theory, or any other, without using Jeffrey's theory as one's basic analysis of rational desire. (shrink)

I have two aims for the present paper, one narrow and one broad. The narrow aim is to show that a class of data originally described by Lynsey Wolter empirically undermine the leading treatments of complex demonstratives that have been described in the literature. The broader aim of the paper is to show that Wolter demonstratives, as I will call the constructions I focus on, are a threat not just to existing treatments, but to any possible theory that retains the (...) uncontroversial assumptions that relative clauses always form a constituent with the nouns they modify, and that semantic composition proceeds sequentially and locally, with the inputs to interpretation having the structure syntax tells us they do. (shrink)

Between 1945 and 1953, while the Soviet Union confronted postwar reconstruction and Cold War crises, its unchallenged leader Joseph Stalin carved out time to study scientific disputes and dictate academic solutions. He spearheaded a discussion of "scientific" Marxist-Leninist philosophy, edited reports on genetics and physiology, adjudicated controversies about modern physics, and wrote essays on linguistics and political economy. Historians have been tempted to dismiss all this as the megalomaniacal ravings of a dying dictator. But in Stalin and the Soviet Science (...) Wars, Ethan Pollock draws on thousands of previously unexplored archival documents to demonstrate that Stalin was in fact determined to show how scientific truth and Party doctrine reinforced one another. Socialism was supposed to be scientific, and science ideologically correct, and Stalin ostensibly embodied the perfect symbiosis between power and knowledge. Focusing on six major postwar debates in the Soviet scientific community, this elegantly written book shows that Stalin's forays into scholarship can be understood only within the context of international tensions, institutional conflicts, and the growing uncertainty about the proper relationship between scientific knowledge and Party-dictated truths. The nature of Stalin's interventions makes clear that more was at stake than high politics: these science wars were about asserting that the Party was rational and modern, and about codifying the Soviet worldview in a battle for the hearts and minds of people around the globe during the early Cold War. Ultimately, however, the effort to develop a scientific basis for Soviet ideology undermined the system's legitimacy. (shrink)

We read with great interest Garland, Morain and Sugarman’s manuscript on the obligations of clinicians to participate in pragmatic clinical trials (PCTs) (Garland, Morain and Sugarman 2023). We bel...

The assumption that philosophers rely on intuitions to justify their philosophical positions has recently come under substantial criticism. In order to protect philosophy from experimental findings that suggest that intuitions are epistemically problematic, a number of metaphilosophers have argued that intuitions play no substantial epistemic role in philosophy. This paper focuses on attempts to deny intuitions’ epistemic role through exegetical analysis of original thought experiments. Using Deutsch’s particularly well-developed exegesis of Gettier’s 10 coin case as an exemplar of this method, (...) I examine the challenges the strategy faces. I argue that intuition denial fails to provide a satisfactory account of how verdicts of thought experiments are justified. Instead, it commits intuition deniers to the conclusion that the arguments of Gettier, Kripke, Thomson, and others are bad arguments. As a result, rather than defusing challenges to the case method raised by experimental philosophers, intuition denial ultimately leads to the same troubling conclusion – that philosophers hold their positions on bad grounds. (shrink)

The practical criteria by which developmental biologists choose their model systems have evolutionary correlates. The result is a sample that is not merely small, but biased in particular ways, for example towards species with rapid, highly canalized development. These biases influence both data collection and interpretation, and our views of how development works and which aspects of it are important.

Agriculture occupies 38% of the planet’s terrestrial surface, using 70% of freshwater resources. Its modern practice is dominated by an industrial–productivist discourse, which has contributed to the simplification and degradation of human and ecological systems. As such, agricultural transformation is essential for creating more sustainable food systems. This paper focuses on discursive change. A prominent discursive alternative to industrial–productivist agriculture is regenerative agriculture. Regenerative discourses are emergent, radically evolving and diverse. It is unclear whether they have the potential to generate (...) the changes required to shift industrial–productivist agriculture. This paper presents a literature-based discourse analysis to illustrate key thematic characteristics of regenerative agricultural discourses. The analysis finds that such discourses: situate agricultural work within nested, complex living systems; position farms as relational, characterised by co-evolution between humans and other landscape biota; perceive the innate potential of living systems as place-sourced; maintain a transformative openness to alternative thinking and practice; believe that multiple regenerative cultures are necessary for deeply regenerative agriculture; and depart from industrialism to varying degrees. The paper concludes by reviewing three transformative opportunities for regenerative discourses—discourse coalitions, translocal organising and collective learning. (shrink)

Which function is computed by a Turing machine will depend on how the symbols it manipulates are interpreted. Further, by invoking bizarre systems of notation it is easy to define Turing machines that compute textbook examples of uncomputable functions, such as the solution to the decision problem for first-order logic. Thus, the distinction between computable and uncomputable functions depends on the system of notation used. This raises the question: which systems of notation are the relevant ones for determining whether a (...) function is computable? These are the acceptable notations. I argue for a use criterion of acceptability: the acceptable notations for a domain of objects D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {D}}$$\end{document} are the notations that we can use for the usual D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {D}}$$\end{document}-activities. Acceptable notations for natural numbers are ones that we can count with. Acceptable notations for logical formulas are the ones that we can use in inference and logical analysis. And so on. This criterion makes computability a relative notion—whether a function is computable depends on which notations are acceptable, which is relative to our interests and abilities. I argue that this is not a problem, however, since there is independent reason for taking the extension of computable function to be relative to contingent facts. Similarly, the fact that the use criterion makes a mathematical distinction depend on practical concerns is also not a problem because it dovetails with similar phenomena in other areas of computability theory, namely the roles of notation in computation over real numbers and of Extended Church’s Thesis in complexity theory. (shrink)

Jacques Rancière is one of France's leading intellectuals and a recent addition to the who's who of Continental philosophy. Since his time as a student at the Ecole normale supérieure, Rancière has generated a body of work that is at once wide-ranging, interdisciplinary, and consistent. His arguments for a postfoundational and postliberal democratic understanding of politics have influenced, echoed, or demanded critical response from such other Continental luminaries as Slavoj Žižek (1999, 2004) and Alain Badiou (2005). Much of this cachet (...) is no doubt due to Rancière's central thesis regarding the sources, uses, and ends of politics. According to this argument, politics does not derive from putative a priori .. (shrink)

The concept of homology arose from classical studies of comprative morphology, and took on a new signficance with the advent of evolutionary theory. It is currentlyl undergoing antoher metamorphosis: many developmental geneticists now dfine homology as shared patterns of gene expression. However, this ne usage conflaes difinition with criteri, and fails to recognize the meaninful asignments of homology must speify a biologcal level. We argue the although developmental genetic data can help identify homologus structures. they are niether necessary nor sufficient, (...) and do not in any case jutify a new definition of homology. (shrink)

Free choice sequences play a key role in the intuitionistic theory of the continuum and especially in the theorems of intuitionistic analysis that conflict with classical analysis, leading many classical mathematicians to reject the concept of a free choice sequence. By treating free choice sequences as potentially infinite objects, however, they can be comfortably situated alongside classical analysis, allowing a rapprochement of these two mathematical traditions. Building on recent work on the modal analysis of potential infinity, I formulate a modal (...) theory of the free choice sequences known as lawless sequences. Intrinsically well-motivated axioms for lawless sequences are added to a background theory of classical second-order arithmetic, leading to a theory I call $MC_{LS}$. This theory interprets the standard intuitionistic theory of lawless sequences and is conservative over the classical background theory. (shrink)

Individuals are increasingly switching from hiring tax professionals to prepare their tax returns to self-filing with tax software, yet there is little research about how interacting with tax software influences compliance decisions. Using an experiment, we examine the effect of preparation method, tax software versus tax professional, on willingness to lie. Results from a structural equation model based on data collected from 211 actual taxpayers confirm the hypotheses and show individuals are more willing to lie to tax software than a (...) human tax professional. Our results also suggest this effect is jointly mediated by perceptions of social presence and the perceived detectability of the lie. Beyond the practical implications for tax enforcement, our findings broadly contribute to accounting and other literatures by examining the theoretical mechanisms that explain why individuals interact differently with computers versus humans. We also extend prior research on interactions between humans and computers by examining economically motivated lies. (shrink)

Most philosophers recognize that applying the standard semantics for complex demonstratives to non-deictic instances results in truth conditions that are anomalous, at best. This fact has generated little concern, however, since most philosophers treat non-deictic demonstratives as marginal cases, and believe that they should be analyzed using a distinct semantic mechanism. In this paper, I argue that non-deictic demonstratives cannot be written off; they are widespread in English and foreign languages, and must be treated using the same semantic machinery that (...) is applied to deictic instances. (shrink)

Genetic variability and diversity are the result of a mutation-selection balance that acts permanently within and between species. The presence of deleterious mutations is a necessary consequence of this process and thus the price paid by a species for its capacity for further evolution (Haldane 1937, Am Nat 71:337–349). Recent estimations of mutation rate in the human lineage has revived the debate as to whether the high number of deleterious mutations poses a severe problem for the future of mankind. Theoretical (...) considerations allow a scenario in which the survival of the human race is maintained by truncation selection of deleterious mutations that removes as many mutations as appear anew in every generation. In this case our genetic burden is carried by those individuals that suffer a genetic death resulting from random distribution of deleterious alleles. Nevertheless, one has to ask whether the mutation rate may set absolute limits on the complexity of a species. (shrink)

Abstract In this article, I attempt to trace Emmanuel Levinas's notion of transcendence and its relation to infinity to his Talmudic lectures to offer both a philosophical diagnosis as well as a counter to the essentialist logic of what Levinas considers the traditional or ?metaphysical? concept of time. This opens my speculative argument up to two levels of interpretation as it requires an historical investigation into the cultural context that conditioned Levinas's particular understanding of transcendence and infinity in relation to (...) his turn toward Talmud and sacred Jewish texts in the years following World War Two. But it also requires that we take seriously the critique of history as inadequate to such a task that is inherent in Levinas's presentation of these concepts. All of this hinges on the role and place of ?time? in Levinas. I consider Levinas's category of ?time immemorial? as a counter to the essentialist logic of what Levinas considers the traditional or ?metaphysical? concept of time which I claim is at the core of the ?realist? attitude toward the practice of history founded upon the categories of agency, experience, memory, testimony, and most recently the importance of ?presence?. This in turn leads me to propose two possible alternatives, through Freud and Derrida, that conserve Levinas's critique of the essentialist understanding of time uncoupled from any transcendent or theological mechanism. (shrink)

For any teacher, student or practitioner of the architecture and the law of states, the passing of John Rawls, over a year later, is doubtless still providing an unusual moment in modern liberal de...

We explore the relationship between analytic behavior of a computable real valued function and the computability-theoretic complexity of the individual values of its derivative almost-everywhere. Given a computable function f, the values of its derivative \\), where they are defined, are uniformly computable from \, the Turing jump of the input. It is known that when f is \, the values of \\) are actually computable from x. We construct a \ function f so that, almost everywhere, \\ge _T x'\). (...) Although the values \\) at each point x cannot uniformly compute the corresponding jumps \ of the inputs x almost everywhere for any \ function f, we produce an example of a \ function f such that \\ge _T \emptyset '\) uniformly on subsets of arbitrarily large measure, effectively. We also explore analogous questions for weaker smoothness conditions, such as for f differentiable everywhere, and f differentiable almost everywhere. (shrink)

The voice for all animals and people dedicated to a sustainable future for all species.

Citing the poem’s most obvious example, the devils’ forced transformation into snakes, this essay argues that the Dantean contrapasso at work in this Book Ten episode factors more generally into Paradise Lost. In Dante’s Inferno, often the damned suffer punishments in which they reenact for eternity the sins they committed in life. The same principle applies to Milton’s Satan, and all the devils. Book Five’s account of their initial rebellion, wherein Satan misleads them and they prove willfully misled, sets the (...) pattern by which he and his followers are debased. Such debasement, culminating in the death of the sinner’s will, also pertains to Milton’s idea of the spiritual condition of any human sinner. (shrink)

I present unexplored and unaccounted for uses of 'wants'. I call them advisory uses, on which information inaccessible to the desirer herself helps determine what she wants. I show that extant theories by Stalnaker, Heim, and Levinson fail to predict these uses. They also fail to predict true indicative conditionals with 'wants' in the consequent. These problems are related: intuitively valid reasoning with modus ponens on the basis of the conditionals in question results in unembedded advisory uses. I consider two (...) fixes, and end up endorsing a relativist semantics, according to which desire attributions express information-neutral propositions. On this view, 'wants' functions as a precisification of 'ought', which exhibits similar unembedded and compositional behavior. I conclude by sketching a pragmatic account of the purpose of desire attributions that explains why it made sense for them to evolve in this way. (shrink)

In Generation Existential, Ethan Kleinberg shifts the focus to the initial reception of Heidegger's philosophy in France by those who first encountered it.

Together with Plato's Republic, Jean-Jacques Rousseau's Social Contact is regarded as one of the most original examples of Utopian political engineering in the history of ideas. Similar to the Republic, Rousseau's Social Contract is better known today for its author's idiosyncratic view of political justice than its lessons on law-making or governance in any concrete sense. Challenging this common view, Rousseau, Law and the Sovereignty of the People examines the Genevan's contribution as a constitutionalist and builder of institutions, relating his (...) major ideas to issues and debates in twenty-first century political science. Ethan Putterman explores how Rousseau's just state would actually operate, investigating how laws would be drafted, ratified and executed, arguing that the theory of the Social Contract is more pragmatic and populist than many scholars assume today"--Provided by publisher. (shrink)

Evolutionary developmental biologists categorize many different kinds of things, from ontogenetic stages to modules of gene activity. The process of categorization—the establishment of “kinds”—is an implicit part of describing the natural world in consistent, useful ways, and has an essentially practical rather than philosophical basis. Kinds commonly serve one of three purposes: they may function (1) as practical tools for communication; (2) to support prediction and generalization; or (3) as a basis for theoretical discussions. Beyond the minimal requirement that classifications (...) reflect biological reality, what sorts of kinds or classification will be useful in advancing a research program depends on the epistemological context. Thus, the important meaning of “natural” in “natural kinds” is not “natural with respect to nature,” but “natural with respect to the question.” This conclusion arises from the recognition that the proper role of concepts (e.g. natural kind, module, homology, model) is not to answer biological questions, but rather to help frame them. From a scientist’s perspective, arguing about the wording (or existence) of a single definition of “natural” or “kind” is beside the point: we get more work done by letting the question at hand determine what kinds of kinds are natural, on the basis of their ability to help answer it. We should be content to let “natural kinds” remain vague, multivalent, and–therefore broadly useful. For a philosopher like Hacking, the diverse, disparate, and ultimately incommensurable uses of the term “natural kind” have diluted its value so far that it loses all meaning. For practicing scientists, however, defining useful kinds in the context of particular questions and systems remains a productive epistemological strategy. (shrink)

In this paper, I argue that the ‘social meanings’ associated with sociolinguistic variation put pressure on the standard philosophical conception of language, according to which the foremost thing we do with words is exchange information. Drawing on parallels with the explanatory challenge posed by slurs and pejoratives, I argue that the best way to understand social meanings is to think of them in speech act theoretic terms. I develop a distinctive form of pluralism about the performances realized by means of (...) sociolinguistic variants, and I claim that engagement with such performances is an utterly pervasive feature of our linguistic activity. (shrink)

I discuss two critiques of Dignāga’s epistemology, one from Candrakīrti and another from Jayarāśi. I argue that they are two versions of what I call the core problem: if the content of Dignāga’s epistemology were correct, two fundamental beliefs within this epistemological theory could not be established or known to be true, as Dignāga claims they are. In response to objections found within the classical Indian tradition as well as several plausible contemporary objections, I then argue that the core problem (...) remains a serious issue with which those sympathetic to Dignāga ought to contend. (shrink)

When J.R. Cash (Johnny Cash) sings that he shot a man in Reno just to watch him die, audiences impressed by the singer's skillful creation and depiction of a nihilistic lyrical subject clap and cheer. When Terrell Doyley (Skengdo) and Joshua Malinga (A.M.) sang broadly similar lyrics at a concert in 2018, London's Metropolitan Police and the Crown Prosecution Service took them to be describing violent acts they had participated in and violent intentions they harbored, and the lyrics were used (...) as the basis for legal proceedings against the singers that resulted in convictions. In this paper, I will argue that Doyley and Malinga's case illustrates a distinctive and important form that epistemic injustice can take. By failing to see their lyrics as speech that involves the exercise of their capacity for imagination, the police and prosecutors treat them as an impoverished sort of epistemic agent. I will call the wrong involved in cases like this one poetic injustice. (shrink)

Although much technical and philosophical attention has been given to relevance logics, the notion of relevance itself is generally left at an intuitive level. It is difficult to find in the literature an explicit account of relevance in formal reasoning. In this article I offer a formal explication of the notion of relevance in deductive logic and argue that this notion has an interesting place in the study of classical logic. The main idea is that a premise is relevant to (...) an argument when it contributes to the validity of that argument. I then argue that the sequents which best embody this ideal of relevance are the so-called perfect sequents—that is, sequents which are valid but have no proper subsequents that are valid. Church’s theorem entails that there is no recursively axiomatizable proof-system that proves all and only the perfect sequents, so the project that emerges from studying perfection in classical logic is not one of finding a perfect subsystem of classical logic, but is rather a comparative study of classifying subsystems of classical logic according to how well they approximate the ideal of perfection. (shrink)

The problem of peer disagreement is to explain how you should respond when you and a peer have the same evidence bearing on some proposition and are equally competent epistemic agents, yet have reached opposite conclusions about. According to Christensen's Independence Thesis, in assessing the effect of your peer's disagreement, you must not rely on the reasoning behind your initial belief. I note that ‘the reasoning behind your initial belief’ can be given either a token or type reading. I argue (...) that the type reading is false, but the token reading is extremely weak. (shrink)

The education of students and professionals in business ethics is an increasingly important goal on the agenda of business schools and corporations. The present study provides a meta-analysis of 25 previously conducted business ethics instructional programs. The role of criteria, study design, participant characteristics, quality of instruction, instructional content, instructional program characteristics, and characteristics of instructional methods as moderators of the effectiveness of business ethics instruction were examined. Overall, results indicate that business ethics instructional programs have a minimal␣impact on increasing (...) outcomes related to ethical perceptions, behavior, or awareness. However, specific criteria, content, and methodological moderators of effectiveness shed light on potential recommendations for␣improving business ethics instruction. Implications for␣future research and practice in business ethics are discussed. (shrink)

Recently, philosophers have offered compelling reasons to think that demonstratives are best represented as variables, sensitive not to the context of utterance, but to a variable assignment. Variablists typically explain familiar intuitions about demonstratives—intuitions that suggest that what is said by way of a demonstrative sentence varies systematically over contexts—by claiming that contexts initialize a particular assignment of values to variables. I argue that we do not need to link context and the assignment parameter in this way, and that we (...) would do better not to. (shrink)

_ Source: _Volume 7, Issue 3, pp 147 - 172 The Indian Buddhist philosopher Vasubandhu has seldom been considered in conjunction with the problem of external-world skepticism despite the fact that his text, _Twenty Verses_, presents arguments from ignorance based on dreams. In this article, an epistemological phenomenalist interpretation of Vasubandhu is supported in opposition to a metaphysical idealist interpretation. On either interpretation, Vasubandhu gives an invitation to the problem of external-world skepticism, although his final conclusion is closer to skepticism (...) on the epistemological phenomenalist interpretation. The article ends with reflections on what light Vasubandhu might shed on the issue of whether skepticism is a natural problem in epistemology as well as why, despite Vasubandhu, the skeptical problem was not a central issue in the later Indian tradition. (shrink)

Leading animal models are powerful tools for translational research, but they also present obstacles. Poorly conducted preclinical research in animals is a common cause of translational failure, but even when such research is well-designed and carefully executed, challenges remain. In particular, dominant models may bias research directions, elide essential aspects of human disease, omit important context, or subtly shift research targets. Recognizing these stumbling blocks can help us find ways to avoid them: employing a wider range of models, incorporating more (...) realistic environmental conditions, better aligning studies between animals and patients, and focusing on human biology and therapeutic goals. Such changes are costly; but insisting it would be impractical or unrealistic to change strategies offers no way out of the current impasse. Rather, we must acknowledge the obstacles as well as the advantages presented by core models, and direct some of our investments in translational research toward getting around them. The dominance of biomedical research by a handful of animal models introduces subtle but significant obstacles to translation. Recognizing these obstacles is a critical first step toward finding ways around them; this paper describes how dominant models can create roadblocks, and suggests strategies to improve the efficiency of translation from animal models to humans. (shrink)

Much has been written on whether practical knowledge (knowledge-how) reduces to propositional knowledge (knowledge-that). Less attention has been paid to what we call deliberative knowledge (knowledge-to), i.e., knowledge ascriptions embedding other infinitival questions, like _where to meet_, _when to leave_, and _what to bring_. We offer an analysis of knowledge-to and argue on its basis that, regardless of whether knowledge-how reduces to knowledge-that, no such reduction of knowledge-to is forthcoming. Knowledge-to, unlike knowledge-that and knowledge-how, requires the agent to have formed (...) certain conditional intentions. We discuss the philosophical implications for knowledge-how, deliberative questions, and virtue. (shrink)

I present a paradoxical combination of desires. I show why it's paradoxical, and consider ways of responding. The paradox saddles us with an unappealing trilemma: either we reject the possibility of the case by placing surprising restrictions on what we can desire, or we deny plausibly constitutive principles linking desires to the conditions under which they are satisfied, or we revise some bit of classical logic. I argue that denying the possibility of the case is unmotivated on any reasonable way (...) of thinking about mental content, and rejecting those desire-satisfaction principles leads to revenge paradoxes. So the best response is a non-classical one, according to which certain desires are neither determinately satisfied nor determinately not satisfied. Thus, theorizing about paradoxical propositional attitudes helps constrain the space of possibilities for adequate solutions to semantic paradoxes more generally. (shrink)

This book argues that the philosophical history of India contains a tradition of skepticism about philosophy represented most clearly by three figures: Nāgārjuna, Jayarāśi, and Śrī Harṣa. Furthermore, understanding this tradition ought to be an important part of our contemporary metaphilosophical reflections on the purposes and limits of philosophy.

Individuals with high levels of growth mindsets believe that attributes are malleable. Although links between acute stress responses and growth mindsets of thought, emotion, and behaviour are central to the conceptualisation of psychological disorders and their treatment, such links have yet to be examined. Undergraduate participants (N = 135) completed a modified Trier Social Stress Test (TSST), and their salivary cortisol and anxiety were assessed throughout the session. Hierarchical linear models revealed that higher growth mindset of behaviour was associated with (...) lower cortisol levels at 25-min after the TSST onset (i.e. peak cortisol stress reactivity) in men, but not in women. Considering one’s gender may be critical in understanding the relationship between growth mindset and stress responses. (shrink)

Ignacio Jane has argued that second-order logic presupposes some amount of set theory and hence cannot legitimately be used in axiomatizing set theory. I focus here on his claim that the second-order formulation of the Axiom of Separation presupposes the character of the power set operation, thereby preventing a thorough study of the power set of infinite sets, a central part of set theory. In reply I argue that substantive issues often cannot be separated from a logic, but rather must (...) be presupposed. I call this the logic-metalogic link. There are two facets to the logic-metalogic link. First, when a logic is entangled with a substantive issue, the same position on that issue should be taken at the meta- level as at the object level; and second, if an expression has a clear meaning in natural language, then the corresponding concept can equally well be deployed in a formal language. The determinate nature of the power set operation is one such substantive issue in set theory. Whether there is a determinate power set of an infinite set can only be presupposed in set theory, not proved, so the use of second-order logic cannot be ruled out by virtue of presupposing one answer to this question. Moreover, the legitimacy of presupposing in the background logic that the power set of an infinite set is determinate is guaranteed by the clarity and definiteness of the notions of all and of subset. This is also exactly what is required for the same presupposition to be legitimately made in an axiomatic set theory, so the use of second-order logic in set theory rather than first-order logic does not require any new metatheoretic commitments. (shrink)

Retrieved from unpublished manuscript remains, Arthur Schopenhauer’s Eristic Dialectics (1830–1831) has been largely ignored both by philosophers and rhetoricians. The work is highly enigmatic in that its intended meaning vacillates between playful irony and Machiavellian seriousness. Adopting an esoteric perspective, this article argues that the tract can be read as simultaneously operating on two levels: an exoteric, cynical one, according to which Schopenhauer accepts that people are going to argue irrespective of the truth and as a result provides tools for (...) defeating one’s opponents, and a deeper, esoteric level, which functions not cynically but, in Peter Sloterdijk’s language, kynically, as a satirical unmasking of the cynical impulses animating the study and practice of argumentation, especially as evinced in the rhetorical-humanist tradition. Such an interpretation reveals that, while a minor work, Eristic Dialectics offers a sophisticated philosophical critique of “the art of persuasion.”. (shrink)

The twenty-first century will witness an unprecedented decline in the diversity of the world’s languages. While most philosophers will likely agree that this decline is lamentable, the question of what exactly is lost with a language has not been systematically explored in the philosophical literature. In this paper, I address this lacuna by arguing that language loss constitutes a problematic form of illocutionary silencing. When a language disappears, past and present speakers lose the ability to realize a range of speech (...) acts that can only be realized in that language. With that ability, speakers lose something in which they have a fundamental interest: their standing as fully empowered members of a linguistic community. (shrink)