Mares and Goldblatt, 163–187, 2006) provided an alternative frame semantics for two quantified extensions of the relevant logic R. In this paper, I show how to extend the Mares-Goldblatt frames to accommodate identity. Simpler frames are provided for two zero-order logics en route to the full logic in order to clarify what is needed for identity and substitution, as opposed to quantification. I close with a comparison of this work with the Fine-Mares models for relevant logics with identity and a (...) discussion of constant and variable domains. (shrink)

An important question for proponents of non-contractive approaches to paradox is why contraction fails. Zardini offers an answer, namely that paradoxical sentences exhibit a kind of instability. I elaborate this idea using revision theory, and I argue that while instability does motivate failures of contraction, it equally motivates failure of many principles that non-contractive theorists want to maintain.

There is a recent and growing trend in philosophy that involves deferring to the claims of certain disciplines outside of philosophy, such as mathematics, the natural sciences, and linguistics. According to this trend— deferentialism , as we will call it—certain disciplines outside of philosophy make claims that have a decisive bearing on philosophical disputes, where those claims are more epistemically justified than any philosophical considerations just because those claims are made by those disciplines. Deferentialists believe that certain longstanding philosophical problems (...) can be swiftly and decisively dispatched by appeal to disciplines other than philosophy. In this paper we will argue that such an attitude of uncritical deference to any non-philosophical discipline is badly misguided. With reference to the work of John Burgess and David Lewis, we consider deference to mathematics. We show that deference to mathematics is implausible and that main arguments for it fail. With reference to the work of Michael Blome-Tillmann, we consider deference to linguistics. We show that his arguments appealing to deference to linguistics are unsuccessful. We then show that naturalism does not entail deferentialism and that naturalistic considerations even motivate some anti-deferentialist views. Finally, we set out deferentialism’s failings and present our own anti-deferentialist approach to philosophical inquiry. (shrink)

This paper will develop ideas from [44]. We will generalize their work in two directions. First, we provide axioms for justification logics over the base logic B and show that the logic permits a proof of the internalization theorem. Second, we provide alternative frames that more closely resemble the standard versions of the ternary relational frames, as well as a more general approach to the completeness proof. We prove that soundness and completeness hold for justification logics over a wide variety (...) of base logics. Finally, we will strengthen Belnap’s variable sharing for the justification logic context, demonstrating that the justifications are properly relevant justifications. (shrink)

What is required for you to know what a certain property is? And what is required for you to have the concept of that property? Hume held that a person who has never tasted a pineapple cannot know what the property tasting like a pineapple is. He also thought that this person cannot have the corresponding concept. A subsequent tradition in empiricism generalises these claims at least to all the so-called "secondary qualities." I will argue that this tradition is mistaken. (...) I will argue that there is no more of a philosophically significant connection between the property tasting like a pineapple and your taste experiences of pineapples than there is between the property having a mass and your tactile experiences when lifting objects. Likewise with respect to the corresponding concepts. (shrink)

As local food activities expand and grow, an important question to answer is how various participants contribute to a local food system’s overall vitality and strength. This paper does so by focusing on the relationships between locally-oriented farm and retail actors and assessing what the configuration of these relationships tells us about the workings of the broader local food system. Such an analysis reveals two things. Empirically, it shows the important role food retailers play in the overall vibrancy of local (...) food exchanges: food retailers form crucial links holding the broader system together and significantly expanding consumer access to local foods. Further, different retailer types have distinct impacts on network configurations, each serving particular roles in the development and maintenance of local food systems. Methodologically, this paper shows the value of applying social network analysis techniques to the study of local food systems: such an approach yields insights that may not be as readily assessable from other strategies. In this paper, I overview common network analysis techniques and apply them to a case study of local food activities in New England, suggesting how such an approach might be applied to local food systems in other places. (shrink)

We defend Joseph Melia's thesis that the role of mathematics in scientific theory is to 'index' quantities, and that even if mathematics is indispensable to scientific explanations of concrete phenomena, it does not explain any of those phenomena. This thesis is defended against objections by Mark Colyvan and Alan Baker.

We present an extension of the basic revision theory of circular definitions with a unary operator, □. We present a Fitch-style proof system that is sound and complete with respect to the extended semantics. The logic of the box gives rise to a simple modal logic, and we relate provability in the extended proof system to this modal logic via a completeness theorem, using interpretations over circular definitions, analogous to Solovay’s completeness theorem forGLusing arithmetical interpretations. We adapt our proof to (...) a special class of circular definitions as well as to the first-order case. (shrink)

This article surveys influential views on the topic of film-as-philosophy, principally the positions of Bruce Russell, Thomas Wartenburg, Noël Carroll, and Stephen Mulhall. Historically, this conversation has been restricted to a somewhat conservative view initiated by Russell and defended by others, according to which the film medium is fundamentally incapable of generating positive philosophical achievement in purely cinematic fashion. One of my interests is to show how the dialogue initiated by Russell suffers from relying on overly restrictive notions of what (...) philosophy is and the ways in which it occurs. A goal of the article is to articulate the phenomenological suppositions embedded in the very concept of film-as-philosophy, particularly insofar as the concept seems to assume a phenomenological model that unites screen and viewer. I argue that the origins of the debate overlook the aspect in which films do not engage in philosophical activity completely in their own right, but that instead, this occurrence is essentially predicated upon the participative aspect of the viewer experience. In the course of summarizing each of the leading positions, I describe how the history of the debate has gradually anticipated an appreciation of the phenomenological manner in which screen and viewer co-instantiate philosophy’s occurrence through film. I defend Mulhall’s position and devote some space to drawing out the manner in which his argumentation regarding film-as-philosophy supposes a fundamental screen-viewer dynamic that is phenomenological in nature. (shrink)

In classically based modal logic, there are three common conceptions of necessity, the universal conception, the equivalence relation conception, and the axiomatic conception. They provide distinct presentations of the modal logic S5, all of which coincide in the basic modal language. We explore these different conceptions in the context of the relevant logic R, demonstrating where they come apart. This reveals that there are many options for being an S5-ish extension of R. It further reveals a divide between the universal (...) conception of necessity on the one hand, and the axiomatic conception on the other: The latter is consistent with motivations for relevant logics while the former is not. For the committed relevant logician, necessity cannot be the truth in all possible worlds. (shrink)

In this paper, I examine the ethics of nonviolent protest when a violent response is either foreseen or intended. One central concern is whether protesters, who foresee a violent response but persist, are provoking the violence and whether they are culpable for any eventual harms. A second concern is whether it is permissible to publicize the violent response for political advantage. I begin by distinguishing between two senses of the term provoke: a normative sense where a provocateur knowingly imposes an (...) unjustified risk of a violent response, and a descriptive sense where the respondent feels provoked. I argue that, when the risk of a violent response is justified, the protesters are not provocateurs but akin to nonculpable, entrapping agents who create an opportunity for the regime to respond with disproportionate violence. The regime’s response can disclose its brutality or criminality and this can be fairly publicized for political advantage. When nonviolent protesters create an unjustified risk of violence either because the injustice they oppose is insufficient to justify the risk of a violent response or because the risked harms are disproportionate with the likely political advantages derived from the protest, they are partially culpable provocateurs. However, I argue these partially culpable provocateurs can still permissibly publicize the disproportionate violence of the regime so as to shape public opinion. (shrink)

Chris Daly; Tropes, Proceedings of the Aristotelian Society, Volume 94, Issue 1, 1 June 1994, Pages 253–262, https://doi.org/10.1093/aristotelian/94.1.253.

In this paper, we build on earlier work by Standefer (Logic J IGPL 27(4):543–569, 2019) in investigating extensions of substructural logics, particularly relevant logics, with the machinery of justification logics. We strengthen a negative result from the earlier work showing a limitation with the canonical model method of proving completeness. We then show how to enrich the language with an additional operator for implicit commitment to circumvent these problems. We then extend the logics with axioms for D, 4, and 5, (...) which requires additional justification term operators, following the work of Pacuit (in proceedings of the fifth panhellenic logic symposium, 2005) and Rubtsova (in Grigoriev D, Harrison J (eds) Computer science—theory and applications, CSR 2006; J Logic Comput 16(5):671–684, 2006), and present the required modifications to the frame semantics. We present a simplification of the neighborhood frames from the earlier work and we close by investigating the distinctive contribution of the + operator to the logic. (shrink)

There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In (...) this paper, I explore the limits of what a relevant connective is, showing how some basic criteria motivated by the ideology of relevant logicians provide robust limits on potential connectives. These criteria provide some plausible necessary conditions on being a relevant connective. (shrink)

Moving away from the strong body of critique of pervasive ‘bad data’ practices by both governments and private actors in the globalized digital economy, this book aims to paint an alternative, more optimistic but still pragmatic picture of the datafied future. The authors examine and propose ‘good data’ practices, values and principles from an interdisciplinary, international perspective. From ideas of data sovereignty and justice, to manifestos for change and calls for activism, this collection opens a multifaceted conversation on the kinds (...) of futures we want to see, and presents concrete steps on how we can start realizing good data in practice. (shrink)

The status of risk factors and disease remains a disputed question in the theory and practice of medicine and healthcare, and so does the related question of delineating disease boundaries. I present a framework based on Bernard Lonergan’s account of emergent probability for differentiating (1) generically distinct levels of systematic function within organisms and between organisms and their environments and (2) the methods of functional, genetic, and statistical investigation. I then argue on this basis that it is possible to understand (...) disease in terms of biological or higher intra-level dysfunction, risk factors—including genetic risk factors—in terms of statistical inter-level conditioning of a given stage or developmental sequence of systematic functioning, and the empirical boundaries of disease in terms of the limits of both functional categorization (from an epistemic standpoint) and upper-level integration of lower-level processes and events (from an ontological standpoint). (shrink)

According to the response-dependence view of moral responsibility, a person is morally responsible just in case, and in virtue of the fact that, she is an appropriate target for reactive attitudes. This paper raises a new puzzle regarding response-dependence: there is a mismatch between the granularity of the reactive attitudes and of responsibility facts. Whereas the reactive attitudes are comparatively coarse-grained, responsibility facts can be quite fine-grained. This poses a challenge for response-dependence, which seeks to ground facts about responsibility in (...) facts about the reactive attitudes. Specifically, reactive attitudes are not enough for grounding facts about degrees of moral responsibility. The responsedependence view thus requires significant revisions or supplementations. (shrink)

This book examines influential conceptions of sport and then analyses the interplay of challenging borderline cases with the standard definitions of sport. It is meant to inspire more thought and debate on just what sport is, how it relates to other activities and human endeavors, and what we can learn about ourselves by studying sport.

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and (...) model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course. (shrink)

Daly, Brendan People place great value on the prayers of priests, and often ask priests to pray for them or family members. St Monica told her son St Augustine just before her death not to worry about burying her in Ostia, away from her native land. Then she said, 'Lay this body anywhere, and do not let the care of it be a trouble to you at all. Only this I ask: that you will remember me at the Lord's (...) altar, wherever you are'.1 She realised the value of the prayers of a priest. (shrink)

Thomas Hofweber argues that the thesis of direct reference is incompatible with physicalism, the claim that the nonphysical supervenes on the physical. According to Hofweber, direct reference implies that some physical objects have object-dependent properties, such as being Jones’s brother, which depend on particular objects for their existence and identity. Hofweber contends that if some physical objects have object-dependent properties, then Local-Local Supervenience (the physicalist doctrine on which he concentrates) fails. In this note, we argue that Hofweber has failed to (...) show that the possession by physical objects of object-dependent properties implies the falsity of Local-Local Supervenience. (shrink)

In this paper, I consider what it might mean to approach boredom as a problem of post-history, rather than of modernity as such. Post-history, or ‘end of history’, in this sense, is linked with the impossibility or unlikelihood of political-systemic change, and thus with the disappearance of the contingency or temporal flux that had been understood as the context or prerequisite of political action and political freedom. I will, argue, firstly, that both Rousseau and Fukuyama depict societies that are ‘post-historical’, (...) in this sense, and which are marked by ‘boredom’ of this specifically post-historical kind. Secondly, I will argue that both thinkers link post-historical boredom with the disappearance or diminution of the ‘drive for recognition’ that both understood as both an agent and effect of ‘history’. Thirdly, I will argue that while Fukuyama understands post-historical boredom as an ‘irritant’ that threatens to restart history without quite succeeding in doing so, Rousseau understands it as an essentially stabilising (and happy) condition that maintains post-historical man in an equilibrium modelled on the order of nature itself. And fourthly, I consider certain ways in which this ‘post-historical’ boredom might coexist and overlap with the ‘promise of intensity’ experienced in post-Fordist neoliberal society. (shrink)

Two common forms of natural deduction proof systems are found in the Gentzen–Prawitz and Jaśkowski–Fitch systems. In this paper, I provide translations between proofs in these systems, pointing out the ways in which the translations highlight the structural rules implicit in the systems. These translations work for classical, intuitionistic, and minimal logic. I then provide translations for classical S4 proofs.

The recent outbreak of Ebola in West Africa has killed thousands of people, including healthcare workers. African responses have been varied and largely ineffective. The WHO and the international community’s belated responses have yet to quell the epidemic. The crisis is characteristic of a failure to properly comply with the International Health Regulations 2005. More generally, it stems from a failure of international health justice as articulated by a range of legal institutions and instruments, and it should prompt us to (...) question the state and direction of approaches to the governance of global public health. This paper queries what might be done to lift global public health as a policy arena to the place of prominence that it deserves. It argues that there are at least two critical reasons for the past, present and easily anticipated future failings of the global public health regime. After exploring those, it then articulates a new way forward, identifying three courses of action that might be adopted in realising better health outcomes and global health justice, namely value, institutional and legal reform. (shrink)

_An Introduction to Philosophical Methods_ is the first book to survey the various methods that philosophers use to support their views. Rigorous yet accessible, the book introduces and illustrates the methodological considerations that are involved in current philosophical debates. Where there is controversy, the book presents the case for each side, but highlights where the key difficulties with them lie. While eminently student-friendly, the book makes an important contribution to the debate regarding the acceptability of the various philosophical methods, and (...) so it will also be of interest to more experienced philosophers. (shrink)

This paper distinguishes revolutionary fictionalism from other forms of fictionalism and also from other philosophical views. The paper takes fictionalism about mathematical objects and fictionalism about scientific unobservables as illustrations. The paper evaluates arguments that purport to show that this form of fictionalism is incoherent on the grounds that there is no tenable distinction between believing a sentence and taking the fictionalist's distinctive attitude to that sentence. The argument that fictionalism about mathematics is ‘comically immodest’ is also evaluated. In place (...) of those arguments, an argument against fictionalism about abstract objects of any kind is presented in the last section. This argument takes the form of a trilemma against the fictionalist. (shrink)

Various theorists have endorsed the “communication argument”: communicative capacities are necessary for morally responsible agency because blame aims at a distinctive kind of moral communication. I contend that existing versions of the argument, including those defended by Gary Watson and Coleen Macnamara, face a pluralist challenge: they do not seem to sit well with the plausible view that blame has multiple aims. I then examine three possible rejoinders to the challenge, suggesting that a context-specific, function-based approach constitutes the most promising (...) modification of the communication argument. (shrink)

Medical professionals often deny patients who inject opioids a second or third heart valve replacement, even if such a surgery is medically indicated. However, such a position is not well defended. As this paper demonstrates, the ethical literature on the topic too often fails to develop and apply an ethical lens to analyse the issue of multiple valve replacements. This paper addresses this lacuna by analysing the case of Mr Walsh, a composite case which protects the identity of any one (...) patient, through the principlist approach of Beauchamp and Childress. It argues that the hospital should offer Mr Walsh, a second valve replacement because the procedure is: medically indicated, autonomously requested, non-maleficent, beneficent and does not violate a formal account of justice. The paper concludes with clinical ethical guidelines for valve surgery for patients with opioid use disorder. (shrink)

Why Only Us? Language and Evolution By BerwickRobert C. and ChomskyNoamMassachusetts Institute of Technology, 2015. 224 pp. £17.95 paper.

Functionalist accounts of blame have been rising in popularity. Proponents of the approach claim that, by defining blame in terms of its function or functions, their account has the advantage of being able to accommodate a wide range of attitudes and activities as blame; but their opponents question the extensional and explanatory adequacy of such accounts. This paper contributes to this burgeoning literature by presenting new challenges to the existing functionalist accounts. The fundamental problem, I shall argue, lies in the (...) fact that they all focus on using functions to define blame as a type of practice, but this strategy fails to pick out a unique moral-psychological type and does not offer a complete set of extension-determining criteria for the concept of blame. This amounts to a serious theoretical disadvantage. I consider various responses to the challenges throughout the paper, concluding that the best reply available to the functionalist theorist involves using functions to directly define blame tokens. (shrink)

In a recent work, Kenneth Himma argues that the doctrines of exclusivism and hell in Christian theology lead to a reductio when combined with certain ethical principles about reproduction; he concludes that if both doctrines are true, then it is morally impermissible to procreate. Since the Christian tradition holds that procreation is at least morally permissible, if the argument is valid, then one or more of its premises should be abandoned. In response to this argument, I will present several theological (...) and philosophical objections, showing that no inconsistency has been demonstrated in holding Christian exclusivism, a traditional doctrine of hell, and the moral permissibility of procreation. (shrink)

In the Shadow of Bezalel: Aramaic, Biblical, and Ancient Near Eastern Studies in Honor of Bezalel Porten. Edited by AleJandro F. Botta. Culture and History of the Ancient Near East, vol. 60. Leiden: Brill, 2013. Pp. l + 429, illus. €228.

How different were the claims of Assyrian royal inscriptions from actual Neo-Assyrian practice? This essay explores this question by examining two unusual claims made by Sargon II in relation to his rule of Samaria. The first claim, which appears both in the Khorsabad annals and in a Nimrud prism, should be translated “I again settled Samaria, more than previously.” Based on the historical reconstruction derived from archaeological data, I argue that this phrase refers to the movement of exiles into areas (...) in the western part of the province of Samaria. These areas in the western part of the province, around the sites of Aphek, Hadid, and Gezer, experienced significant population increases in the Assyrian period. The second passage, in Sargon’s Great Display Inscription from Khorsabad, refers to Sargon’s treatment of non-deported Samaritans. It should be translated “I trained the remnant in their crafts.” The historical reality behind this claim is the shift in agricultural techniques and activities in Samaria as a result of the Assyrian conquest. The Assyrian domination of Samaria required the production of grain surpluses, which needed to be made available in the Aphek-Gezer region in the western part of the province of Samaria. In each of the claims from the royal inscriptions examined in this essay, we see that the royal inscriptions credit the king with activities performed by the provincial governor. They change the description of the activity to make it “fit for royalty.”. (shrink)

This article explores the thought of Tomasso de Vio, Cardinal Cajetan, on grace, justification and merit, situating his position vis-à-vis medieval, Reformation, and modern interlocutors. It examines a wide spectrum of Cajetan's works including his commentary on the Summa theologiae, the controversial work De fide et operibus contra Lutheranos, and his biblical commentaries on Matthew and Romans. It makes the argument that Cajetan preserves a Thomist perspective on grace and human action as they pertain to justification and salvation; that is, (...) Cajetan denies merit to any human action preceding justification but allows for restricted instances of merit for persons in a state of grace. The study examines potentially divergent positions in Cajetan's works and argues for overall consistency. In doing so, it presents Cajetan's thought on doctrinal issues which unfolded during the Reformation and persisted in the modern period. (shrink)

Philosophical study of changes in society with the evolution of civilization.

We identify the locally finite graphs that are quantifier-eliminable and their first order theories in the signature of distance predicates. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

This book argues for an underlying congruity in the epistemological programs of Cornelius Van Til and Alvin Plantinga. Through detailed engagement with their distinctive philosophical contexts, a reading is developed that contributes to the prevailing discourse on the theory of knowledge put forward by both thinkers.

This article examines Martin Heidegger's concept of conscience in Being and Time as it is manifested by the characters Don Draper from the television series Mad Men (Matthew Weiner, 2007-2013) and Chauncey Gardiner in the film Being There (Hal Ashby, 1979). The article suggests that Draper hears and occasionally responds to what Heidegger terms the “call of conscience,” whereas Gardiner neither hears this call nor responds to it. Gardiner poses a problem case for Heidegger’s account of Dasein by virtue of (...) failing to exhibit conscience. A question latent in Gardiner’s makeup is what causes him to be this way. The contrast of the characters Draper and Gardiner is approached through the lens of the portrayal of secret identity in filmic media. Both characters live public lives that are at odds with their genuine selves, but they react to this disconnect differently. Core concepts addressed vis-a-vis Heidegger’s account of conscience include facticity, falling, discourse, authenticity, and death. The article concludes that Draper hears and responds to conscience’s call because he has a discursive comprehension of the disconnect between his true self and the public life he has lived; a crucial component of the phenomenon of conscience according to Heidegger is the existential capacity for discourse. Gardiner, in contrast, does not hear conscience at all because his Dasein lacks the discursive element that conscience requires in order to be activated. Gardiner’s being-in-the-world is such that he fails to understand the divide between his lived self and his public self. For Gardiner, these are the same. (shrink)