In Winter 2017, the first author piloted a course in formal logic in which we aimed to (a) improve student engagement and mastery of the content, and (b) reduce maths anxiety and its negative effects on student outcomes, by adopting student oriented teaching including peer instruction and classroom flipping techniques. The course implemented a partially flipped approach, and incorporated group-work and peer learning elements, while retaining some of the traditional lecture format. By doing this, a wide variety of student learning (...) preferences could be provided for. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

In lieu of an abstract, here is a brief excerpt of the content:Scrutinizing the Art of TheaterAaron Meskin (bio)IntroductionIn his 1992 address to the American Society for Aesthetics, Peter Kivy suggested that philosophers of art might do best by giving up on “grand theorizing” (that is, pursuing the definition of art).1 In its place he proposed that they pursue the “careful and imaginative philosophical scrutiny of the individual arts and their individual problems.”2 Of course John Passmore and others had said (...) similar things at earlier points,3 but philosophical aesthetics has, it seems to me, finally and robustly taken the turn toward the philosophies of the arts. Much of the best work in philosophical aesthetics over the last fifteen years or so has pursued the route Kivy suggested. James Hamilton’s The Art of Theater is part of this turn—it is careful and imaginative scrutiny of the art of theater done at the very highest level, and I am delighted to have this opportunity to comment on it.4In what follows I shall address a number of issues raised by Hamilton’s work: the definition of theatrical enactment; the place of pretending and imagining in theatrical performance; the nature of Hamilton’s “ingredients model” and its relation to more traditional accounts of the work/performance relation; the account of theatrical style on offer; and the question of what we have learned from experimental theater.But before I move on to address those aspects of the book’s content in detail, let me say something about the pedagogical significance of this work. Although there are a number of legitimate ways to teach introductory courses on aesthetics and the philosophy of art (for example, by following a historical progression or by structuring it around certain key issues), one increasingly attractive option is to teach a course that focuses on those aforementioned individual arts and their individual problems. So, for example, I used to regularly teach graduate seminars in aesthetics to students enrolled [End Page 51] in a fine arts doctoral program. These students studied music, art education, the visual arts, theater, and dance; the seminars were designed to provide them with a broad foundation in philosophical aesthetics. Since they typically had no background in philosophy, I made the effort to assign readings and topics relevant to their own artistic practices and interests. Providing them with contemporary cutting-edge philosophical material on music and the visual arts was not hard. Kivy’s work, as well as that by Jerrold Levinson, Arthur Danto, Richard Wollheim, and others, makes that fairly easy. And intriguingly—since philosophers are commonly said to have ignored the art of dance—there’s even a decent amount of recent philosophical work on that art form by such authors as Graham McFee, Frances Sparshott, and Noël Carroll and Sally Banes.5 But where to turn to for the theater students? I would often read some of Aristotle’s Poetics with them, but I have to admit that the serious students of the theater that I encountered in those seminars typically knew that text much better than I did. (Still, I hope I challenged their breezy assumptions about catharsis!) We would read Hume on tragedy together—fun, but not really so much about the theater—and sometimes a bit of Nietzsche. But there was never much to give them from contemporary philosophers on the subject—a few articles here and there, of course, but nothing that clearly laid out the big and distinctive issues that the art form of theater raises. Nothing, to put the point a bit differently, that would provide any evidence that there really was a lively and extant philosophy of theater out there, as there are lively and extant philosophies of film, music, literature, and photography. In short, for those attracted to the prospect of teaching aesthetics as the philosophies of arts, the dearth of good work on theater by contemporary philosophers has been a significant source of frustration and even a bit of an embarrassment.The book in question is not the only recent philosophical work on theater. There are fine articles on the topic by David Osipovich, David Saltz, and Paul Woodruff, among others. Hamilton himself has a string of... (shrink)

This booklet is a Korean adaptation and translation of Part VIII of forall x: Calgary (Fall 2021 edition), which is intended to be introductory material for modal logic. The original text is based on Robert Trueman's A Modal Logic Primer, which is revised and expanded by Richard Zach and Aaron Thomas-Bolduc in forall x: Calgary. (forall x: Calgary is based on forall x: Cambridge by Tim Button, which is in turn based on forall x by P. D. Magnus, (...) and also includes material from forall x: Lorain County Remix by Cathal Woods and J. Robert Loftis.) This booklet is licensed under a Creative Commons Attribution 4.0 license. (shrink)

Kant’s moral philosophy both enjoins the acquisition of self-knowledge as a duty, and precludes certain forms of its acquisition via what has become known as the Opacity Thesis. This article looks at several recent attempts to solve this difficulty and argues that they are inadequate. I argue instead that the Opacity Thesis rules out only the knowledge that one has acted from genuine moral principles, but does not apply in cases of moral failure. The duty of moral self-knowledge applies therefore (...) only to one’s awareness of one’s status as a moral being and to the knowledge of one’s moral failings, both in particular actions and one’s overall character failings, one’s vices. This kind of knowledge is morally salutary as an aid to discovering one’s individual moral weakness as well as the subjective ends for which one acts, and in this way for taking up the morally required end of treating human beings as human beings. In this way, moral self-knowledge can be understood as a necessary element of moral improvement, and I conclude by suggesting several ways to understand it thereby as genuinely primary among the duties to oneself. (shrink)

Merold Westphal's book is a wonderful introduction to the history of philosophy.

It is widely held that, in his pre-Critical works, Kant endorsed a necessitation account of laws of nature, where laws are grounded in essences or causal powers. Against this, I argue that the early Kant endorsed the priority of laws in explaining and unifying the natural world, as well as their irreducible role in in grounding natural necessity. Laws are a key constituent of Kant’s explanatory naturalism, rather than undermining it. By laying out neglected distinctions Kant draws among types of (...) natural law, grounding relations, and ontological levels, I show that his early works present a coherent and sophisticated laws-first account of the natural order. (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)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Adam Smith sought to explain the persistence of slavery as an institution in Wealth of Nations and Lectures on Jurispridence. In order to accomplish this he also drew on arguments he had developed in the Theory of Moral Sentiments. The result was a sophisticated explanation which bridged economic, psychological, and moral considerations. After presenting Smith’s explanation I will consider a discussion of the moral wrong of slavery in Ottobah Cugoano, the author of the incisive criticism of the slave trade Thoughts (...) and Sentiments on the Evil of Slavery (1787). I will suggest that Cugoano’s account of what is morally wrong in slavery shows an important lacuna in Smith‘s views. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

I reconstruct J. H. Lambert’s views on how practical grounds relate to epistemic features, such as certainty. I argue, first, that Lambert’s account of moral certainty does not involve any distinctively practical influence on theoretical belief. However, it does present an interesting form of fallibilism about justification as well as a denial of a tight link between knowledge and action. Second, I argue that for Lambert, the persistence principle that underwrites induction is supported by practical reasons to believe; this indicates (...) that Lambert is a moderate pragmatist about reasons for theoretical belief. (shrink)

The aim of this paper is to bring recent work on metaphysical grounding to bear on the phenomenon of social construction. It is argued that grounding can be used to analyze social construction and that the grounding framework is helpful for articulating various claims and commitments of social constructionists, especially about social identities, e.g., gender and race. The paper also responds to a number of objections that have been leveled against the application of grounding to social construction from Elizabeth Barnes, (...) Mari Mikkola, and Jessica Wilson. (shrink)

ABSTRACT This article distinguishes nine senses of polarization and provides formal measures for each one to refine the methodology used to describe polarization in distributions of attitudes. Each distinct concept is explained through a definition, formal measures, examples, and references. We then apply these measures to GSS data regarding political views, opinions on abortion, and religiosity—topics described as revealing social polarization. Previous breakdowns of polarization include domain-specific assumptions and focus on a subset of the distribution’s features. This has conflated multiple, (...) independent features of attitude distributions. The current work aims to extract the distinct senses of polarization and demonstrate that by becoming clearer on these distinctions we can better focus our efforts on substantive issues in social phenomena. (shrink)

Conflict is a ubiquitous feature of community life, and communities based on inquiry are no exception. Sometimes, conflict escalates into crisis. A crisis may help a community by providing opportunities for its members to recognize and ameliorate their shortcomings, but it may also destroy a community or limit its ability to sustain productive projects. In this discussion, I articulate two orientations towards crisis: crisis-philia (loving crises and seeking them out) and crisis-phobia (fearing crises and seeking to avoid them). I argue, (...) drawing heavily from my experience as a participant in the Summer Seminar of the Institute for the Advancement of Philosophy for Children, that neither orientation is satisfactory. Instead of crisis-philia or crisis-phobia, we ought to get into the habit of inquiring, as a community, about whether our current obstacles to accomplishing our work derive from being constrained by too much (imperfect) structure or from too little stability. When we find it is the former, we ought to seek crises; when we find it is the latter, we ought to avoid crises. After making my case, I offer an example of what it looks look like to implement this conclusion in practice. (shrink)

When performing a skilled action—whether something impressive like a double somersault or something mundane like reaching for a glass of water—you exercise control over your bodily movements. Specifically, you guide their course. In what does that control consist? In this dissertation, I argue that it consists in attending to what you are doing. More specifically, in attending, agents harness their perceptual and perceptuomotor states directly and practically in service of their goals and, in doing so, settle the fine-grained manner in (...) which their bodies will move—details an intention alone leaves unsettled. This requires, among other things, that we reject views on which agents’ control is identical with their practical rationality. When all goes well, agents attentionally prioritize what is motivationally relevant to them to the exclusion of what would otherwise distract them from achieving their goals. However, sometimes agents attend distractedly—i.e., without prioritizing. As the aim of attention is to avoid distraction, this entails the possibility of defective attention. Defective attention, in turn, casts light on scenarios in which agents lose control over what they are doing, as when a skilled practitioner ‘chokes under pressure’. A complaint sometimes levelled against accounts, like mine, that claim to reduce agents’ control of their behaviour to that of causally efficacious mental states or events is that these accounts invariably deprive agents themselves of their rightful role in the generation of behaviour. This is the “Disappearing Agent Problem” for “reductive” or “event-causal” theories of action. I argue that, correctly understood, extant reductive theories do face a genuine Disappearing Agent Problem. However, it is a problem we solve by recognizing the role that conscious attention plays in making an action the agent’s own. Accordingly, I develop and defend an attentional account of action ownership. On this view, allocating conscious attention in service of your goals is sufficient for a kind of conscious perspective (“motivational perspective”), which, when active in controlling your behaviour, constitutes the behaviour as your own doing. As I explain, such perspective also contributes to explaining the subjective structure of your perceptual awareness of the world around you. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

In this paper, I will discuss an objection to Buck-Passing accounts of value, such as Reasons Fundamentalism. Buck-Passing views take value to be derivative of or reducible to reasons. The objection is that since there can be value in possible worlds in which there are no reasons, value must not be ontologically derivative of reasons. Thus, BP is false. In this paper, I show that by accepting a dispositionalist revision, BP can allow such worlds while maintaining that reasons are interestingly (...) prior to value, and without having to adopt any controversial metaphysics. I show this by exploring the debate over the nature of dispositions, identifying the diverse resources BP can appeal to. The paper proceeds as follows. I first explain BP. Next, I discuss a few versions of the challenge, settling on what seems to be the strongest form. Following this, I show that on many accounts of dispositions, while we should accept that particular instances of dispositions are prior to their particular manifestations, we should also accept that there is a sense in which dispositions are dependent on their manifestations. This provides BP with resources to respond to the challenge: BP can accept a dispositional revision, without committing to a theory of dispositions. Finally, I will respond to two objections. The first is about whether there are dispositions with impossible manifestations, contrary to my thesis that dispositions depend on their manifestations. The second is about whether there could be value where it would be impossible for that value to give reasons. (shrink)

Obligations to reduce one’s green house gas emissions appear to be difficult to justify prior to large-scale collective action because an individual’s emissions have virtually no impact on the environmental problem. However, I show that individuals’ emissions choices raise the question of whether or not they can be justified as fair use of what remains of a safe global emissions budget. This is true both before and after major mitigation efforts are in place. Nevertheless, it remains difficult to establish an (...) obligation to reduce personal emissions because it appears unlikely that governments will in fact maintain safe emissions budgets. The result, I claim, is that under current conditions we lack outcome, fairness, promotional, virtue or duty based grounds for seeing personal emissions reductions as morally obligatory. (shrink)

I argue that Émilie Du Châtelet breaks with Christian Wolff regarding the scope and epistemological content of the principle of sufficient reason, despite his influence on her basic ontology and their agreement that the principle of sufficient reason has foundational importance. These differences have decisive consequences for the ways in which Du Châtelet and Wolff conceive of science.

I criticize the idea that theories of ‘fragmented’ or ‘compartmentalized’ belief (as found in, e.g., Lewis 1982, Egan 2008) can help to account for the puzzling phenomena they are often taken to account for. After introducing fragmentationalism and a paradigm case that purportedly motivates it, I criticize the view primarily on the grounds that the models and explanations it offers are at best trivial—as witnessed by examples of over-generation—and should be seen as merely re-describing in figurative terms the phenomena it (...) is designed to account for. I also point out that fragments, as used in these theories, are not likely to be psychologically real in any robust sense and so cannot be appealed to on such grounds. (shrink)

Liberalism has a complicated and sometimes uneasy relationship with truth. On one hand, liberalism requires that truth be widely valued and widely shared. It demands that governments be truthful and that citizens have ready access to numerous truths. Some liberals even take facilitating the discovery and dissemination of truth to be part of the raison d’être of liberal institutions. On the other hand, liberalism is averse to proclaiming or enforcing truth. It detaches truth from political legitimacy and deems certain truths (...) unfit to serve as bases of government. Some liberals have even suggested that liberal theory must work “without the concept of truth.” How has liberalism come to both demand truth and eschew it? This introductory section provides the beginnings of an answer by surveying some of the origins and core elements of liberal thought. (shrink)

In this paper, I investigate backward-looking accounts of death's badness. I begin by reviewing deprivationism—the standard, forward-looking account of death's badness. On deprivationism, death is bad for its victims when it deprives them of a good future. This account famously faces two problems—Lucretius’s symmetry problem and the preemption problem. This motivates turning to backward-looking accounts of death's badness on which death is bad for its victim (in a respect) when it involves a decline from a good life. I distinguish three (...) different backward-looking accounts of death's badness in terms of decline, and I argue for the attractiveness of one in particular. I conclude by considering how the backward-looking consideration of decline might factor into our overall account of death's badness. (shrink)

There appear to be few ways available to improve the prospects for international cooperation to address the threat of global warming within the very short timeframe for action. I argue that the most effective and plausible way to break the ongoing pattern of delay in the international climate regime is for economically powerful states to take the lead domestically and demonstrate that economic welfare is compatible with rapidly decreasing GHG emissions. However, the costs and risks of acting first can be (...) very large. This raises the question of whether it is fair to expect some states to go far ahead of others in an effort to improve the conditions for cooperation. I argue that a costly obligation to act unilaterally and to accept weak initial reciprocity can be justified and does not violate standards of fair burden sharing. Rather, the costs of creating the underlying conditions within which we can hope to achieve meaningful international cooperation are non-­‐ideal burdens for which we can appropriately assign fair shares. (shrink)

I examine Du Châtelet’s methodology for physics and metaphysics through the lens of her engagement with Newton’s Rules for Reasoning in Natural Philosophy. I first show that her early manuscript writings discuss and endorse these Rules. Then, I argue that her famous published account of hypotheses continues to invoke close analogues of Rules 3 and 4, despite various developments in her position. Once relevant experimental evidence and some basic constraints are met, it is legitimate to inductively generalize from observations; general (...) hypotheses can thereafter be assumed as true until contrary experiments show otherwise. I conclude by arguing that this account of induction plays an essential role in her metaphysics, both in an argument for simple substances—which has an inductive premise—and in her attempt to distinguish acceptable and unacceptable metaphysical commitments. (shrink)

Kyle Stanford has recently given substance to the problem of unconceived alternatives, which challenges the reliability of inference to the best explanation (IBE) in remote domains of nature. Conjoined with the view that IBE is the central inferential tool at our disposal in investigating these domains, the problem of unconceived alternatives leads to scientific anti-realism. We argue that, at least within the biological community, scientists are now and have long been aware of the dangers of IBE. We re-analyze the nineteenth-century (...) study of inheritance and development (Stanford’s case study) and extend it into the twentieth century, focusing in particular on both classical Mendelian genetics and the studies by Avery et al. on the chemical nature of the hereditary substance. Our extended case studies show the preference of the biological community for a different methodological standard: the vera causa ideal, which requires that purported causes be shown on non-explanatory grounds to exist and be competent to produce their effects. On this basis, we defend a prospective realism about the biological sciences. (shrink)

For Émilie Du Châtelet, I argue, a central role of the principle of sufficient reason is to discriminate between better and worse explanations. Her principle of sufficient reason does not play this role for just any conceivable intellect: it specifically enables understanding for minds like ours. She develops this idea in terms of two criteria for the success of our explanations: “understanding how” and “understanding why.” These criteria can respectively be connected to the determinateness and contrastivity of explanations. The crucial (...) role Du Châtelet’s principle of sufficient reason plays in identifying good explanations is often overlooked in the literature, or else run together with questions about the justification and likelihood of explanations. An auxiliary goal of the article is to situate Du Châtelet’s principle of sufficient reason with respect to some of the general epistemological and metaphysical commitments of her Institutions de Physique, clarifying how it fits into the broader project of that work. (shrink)

I investigate whether degreed beliefs are able to play the predictive, explanatory, and modeling roles that they are frequently taken to play. The investigation focuses on evidence—both from sources familiar in epistemology as well as recent work in behavioral economics and cognitive psychology—of variability in agents' apparent degrees of belief. Although such variability has been noticed before, there has been little philosophical discussion of its breadth or of the psychological mechanisms underlying it. Once these are appreciated, the inadequacy of degrees (...) of belief becomes clear. I offer a theoretical alternative to degrees of belief, what I call the filter theory. (shrink)

Polarization is a topic of intense interest among social scientists, but there is significant disagreement regarding the character of the phenomenon and little understanding of underlying mechanics. A first problem, we argue, is that polarization appears in the literature as not one concept but many. In the first part of the article, we distinguish nine phenomena that may be considered polarization, with suggestions of appropriate measures for each. In the second part of the article, we apply this analysis to evaluate (...) the types of polarization generated by the three major families of computational models proposing specific mechanisms of opinion polarization. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

Draft for presentation at the 14th International Kant-Congress, September 2024. -/- Abstract: Kant claims we intuit infinite space. There’s a problem: Kant thinks full awareness of infinite space requires synthesis—the act of putting representations together and comprehending them as one. But our ability to synthesize is finite. Tobias Rosefeldt has argued in a recent paper that Kant’s notion of decomposing synthesis offers a solution. This talk criticizes Rosefeldt’s approach. First, Rosefeldt is committed to nonconceptual yet determinate awareness of (potentially) infinite (...) space, but I argue that such awareness is (1) prima facie implausible, as well as contravened by textual evidence from Kant’s (2a) definitions of ‘infinity’ and (2b) account of geometrical construction. Second, scrutiny of how Kant thinks awareness of potential infinity is afforded by geometrical construction (e.g., extending a line segment ad indefinitum) indicates no essential role for decomposing synthesis. Familiar synthesis from parts to wholes is sufficient. (shrink)

Du Châtelet holds that mathematical representations play an explanatory role in natural science. Moreover, she writes that things proceed in nature as they do in geometry. How should we square these assertions with Du Châtelet’s idealism about mathematical objects, on which they are ‘fictions’ dependent on acts of abstraction? The question is especially pressing because some of her important interlocutors (Wolff, Maupertuis, and Voltaire) denied that mathematics informs us about the properties of material things. After situating Du Châtelet in this (...) debate, this chapter argues, first, that her account of the origins of mathematical objects is less subjectivist than it might seem. Mathematical objects are non-arbitrary, public entities. While mathematical objects are partly mind-dependent, so are material things. Mathematical objects can approximate the material. Second, it is argued that this moderate metaphysical position underlies Du Châtelet’s persistent claims that mathematics is required for certain kinds of general knowledge, including in natural science. The chapter concludes with an illustrative example: an analysis of Du Châtelet’s argument that matter is continuous. A key premise in the argument is that mathematical representations and material nature correspond. (shrink)

Christopher Wellman is the strongest proponent of the natural-duty theory of political obligations and argues that his version of the theory can satisfy the key requirement of ; namely, justifying to members of a state the system of political obligations they share in. Critics argue that natural-duty theories like Wellman's actually require well-ordered states and/or their members to dedicate resources to providing the goods associated with political order to needy outsiders. The implication is that natural-duty approaches weaken the particularity requirement (...) and cannot justify to citizens the systems of political obligation they share in. I argue that the critics’ diagnosis of natural-duty approaches is correct, whereas the proposed implication is false. I maintain that 1) only natural-duty approaches can justify political obligations, and that 2) weakening the particularity requirement contributes to the theory's ability to justify a range-limited system of political obligations among compatriots. (shrink)

This article presents an argument for atheism that contains a premise stated from the first-person perspective and that is intended to rationally persuade people who satisfy certain conditions. The argument also contains a premise about what God would do, if God existed, that is acceptable to theists and is affirmed in some major monotheistic religious traditions. This article explains how the argument differs from some other familiar arguments for atheism and then discusses some critical responses to it.

Within the literature in green political theory on global environmental threats one can often find dissatisfaction with liberal theories of justice. This is true even though liberal cosmopolitans regularly point to global environmental problems as one reason for expanding the scope of justice beyond the territorial limits of the state. One of the causes for scepticism towards liberal approaches is that many of the most notable anti-cosmopolitan theories are also advanced by liberals. In this paper, I first explain why one (...) of the strongest expressions of liberal anti-cosmopolitanism cannot simply be dismissed because it may fail to support desired environmental ends. The political conception of justice represents one of the most important challenges to cosmopolitanism generally and is thus a serious challenge to viewing global environmental problems in terms of cosmopolitan justice. Second, I will show through the case of anthropogenic global warming that the political conception of justice under current conditions does have clear cosmopolitan implications despite its proponents' claims. (shrink)

Here we focus on two questions: What is the proper semantics for deontic modal expressions in English? And what is the connection between true deontic modal statements and normative reasons? Our contribution towards thinking about the first, which makes up the bulk of our paper, considers a representative sample of recent challenges to a Kratzer-style formal semantics for modal expressions, as well as the rival views—Fabrizio Cariani’s contrastivism, John MacFarlane’s relativism, and Mark Schroeder’s ambiguity theory—those challenges are thought to motivate. (...) These include the Professor Procrastinate challenge to Inheritance (the principle that ‘If ought p and p entails q, then ought q), as well as Parfit’s miners puzzle regarding information-sensitive deontic modals. Here we argue that a Kratzer-style view is able to meet all of the challenges we’ll consider. In addition, we’ll identify challenges for each of those rival views. Our overall conclusion is that a Kratzer-style semantics remains the one to beat. With this assumption in place, we then ask how we should understand the relationship between true deontic modal statements and normative reasons. Should, for example, we hold that the truth of such a statement entails the existence of a normative reason for some agent to comply? Here we argue that, in many cases, acceptance of Kratzer’s semantics for deontic modals leaves open for substantive normative theorizing the question of whether an agent has a normative reason to comply with what she ought to do. (shrink)

There is a tension in Emilie Du Châtelet’s thought on mathematics. The objects of mathematics are ideal or fictional entities; nevertheless, mathematics is presented as indispensable for an account of the physical world. After outlining Du Châtelet’s position, and showing how she departs from Christian Wolff’s pessimism about Newtonian mathematical physics, I show that the tension in her position is only apparent. Du Châtelet has a worked-out defense of the explanatory and epistemic need for mathematical objects, consistent with their metaphysical (...) nonfundamentality. I conclude by sketching how Du Châtelet’s conception of mathematical indispensability differs interestingly from many contemporary approaches. (shrink)

The analogy between gustatory taste and critical or aesthetic taste plays a recurring role in the history of aesthetics. Our interest in this article is in a particular way in which gustatory judgments are frequently thought to be analogous to critical judgments. It appears obvious to many that to know how a particular object tastes we must have tasted it for ourselves; the proof of the pudding, we are all told, is in the eating. And it has seemed just as (...) obvious to many philosophers that aesthetic judgment requires first-person experience. In this article we argue that, despite its initial appeal, the claim that gustatory and critical judgments are analogous in this way is mistaken. The two sorts of judgments are, as a matter of fact, similar in their epistemology, but earlier theorists have got things entirely backward—neither gustatory judgment nor aesthetic judgment requires first-hand acquaintance with their objects. Our particular focus in this article is on arguing that first-person experience is not required to know how an item of food or drink tastes. In fact, there are a wide variety of ways in which we can acquire this knowledge. (shrink)

Martin Buber is a religious philosopher asking the question: what is the nature of man? Human persons are dialogical beings, who are ultimately related to God as the creator of the universe. This philosophy of dialogue is part of a general area of investigation, called Philosophical Anthropology.

Recent work has explored the extent to which intercollegiate athletics even belong at the university or meet the university’s mission. Just as play seems evident in athletics, it is also present in music, art, and theater. While these programs are popular targets when discussing possible cuts, few question their legitimacy at the university. In this article I argue that the justification for retaining the extracurricular status of intercollegiate sports should be based on their being especially playful. Indeed, on the basis (...) of this argument, I suggest that universities offer even greater and wider access to sport through club and intramural sports. However, while athletics might appear to be more playful, I hold that there is substantially more play present in university music, art, and theater programs than there is in intercollegiate sports. (shrink)

I defend the theory that one's life is meaningful to the extent that one promotes the good. Call this the good cause account (GCA) of the meaning of life. It holds that the good effects that count towards the meaning of one's life need not be intentional. Nor must one be aware of the effects. Nor does it matter whether the same good would have resulted if one had not existed. What matters is that one is causally responsible for the (...) good. I argue that the best theory of the meaning of life should clearly distinguish between subjective fulfillment and objective meaningfulness. The GCA respects the distinction. And it is superior to its leading rivals in the recent literature, most notably those of Erik Wielenberg and Susan Wolf. (shrink)

Many contemporary philosophers endorse the Humean-Lewisian Denial of Absolutely Necessary Connections (‘DANC’). Among those philosophers, many deny all or part of the Humean-Lewisian package of views about causation and laws. I argue that they maintain an inconsistent set of views. DANC entails that (1) causal properties and relations are, with a few possible exceptions, always extrinsic to their bearers, (2) nomic properties and relations are, with a few possible exceptions, always extrinsic to their bearers, and (3) causal and nomic properties (...) and relations globally supervene on non-causal, non-nomic properties and relations. Hence, one can’t be a consistent Half-Hearted Humean. Consistency demands giving up the core Humean thesis or facing up to its consequences. The upshot is that we face a stark choice: either there are absolutely necessary connections between distinct existents or it’s "just one damn thing after another.". (shrink)