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)

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)

In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition.

In this article, we present a definition of a hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including HYPE and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results.

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)

In relevant logics, necessary truths need not imply each other. In justification logic, necessary truths need not all be justified by the same reason. There is an affinity to these two approaches that suggests their pairing will provide good logics for tracking reasons in a fine-grained way. In this paper, I will show how to extend relevant logics with some of the basic operators of justification logic in order to track justifications or reasons. I will define and study three kinds (...) of frames for these logics. For the first kind of frame, I show soundness and highlight a difficulty in proving completeness. This motivates two alternative kinds of frames, with respect to which completeness results are obtained. Axioms to strengthen the justification logic portions of these logics are considered. I close by developing an analogy between the dot operator of justification logic and theory fusion in relevant logics. (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)

The operational semantics of Urquhart is a deep and important part of the development of relevant logics. In this paper, I present an overview of work on Urquhart’s operational semantics. I then present the basics of collection frames. Finally, I show how one kind of collection frame, namely, functional set frames, is equivalent to Urquhart’s semilattice semantics.

In this paper, an incompleteness theorem for modal extensions of relevant logics is proved. The proof uses elementary methods and builds upon the work of Fuhrmann.

Growth in CSR-washing claims in recent decades has been dramatic in numerous academic and activist contexts. The discourse, however, has been fragmented, and still lacks an integrated framework of the conditions necessary for successful CSR-washing. Theorizing successful CSR-washing as the joint occurrence of five conditions, this paper undertakes a literature review of the empirical evidence for and against each condition. The literature review finds that many of the conditions are either highly contingent, rendering CSR-washing as a complex and fragile outcome. (...) This finding runs counter to the dominant perception in the general public, among activists, and among a vocal contingent of academics that successful CSR-washing is rampant. (shrink)

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)

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)

This article responds to critical views of John Rhym, Martin Rossouw, Ludo de Roo, and Annie Sandrussi on my 2017 book Phenomenology of Film: A Heideggerian Account of the Film Experience. The article also takes up positive footholds from the analyses of Chiara Quaranta and Jason Wirth. The main topics addressed include Martin Heidegger’s ontic-ontological distinction; the notion of film-as-philosophy; being-in-the-world read as being-in-the-film-world; and questions surrounding the facticity and identity of the film viewer.

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)

It is widely agreed that reactive attitudes play a central role in our practices concerned with holding people responsible. However, it remains controversial which emotional attitudes count as reactive attitudes such that they are eligible for this central role. Specifically, though theorists near universally agree that guilt is a reactive attitude, they are much more hesitant on whether to also include shame. This paper presents novel arguments for the view that shame is a reactive attitude. The arguments also support the (...) view that shame is a reactive attitude in the sense that concerns moral accountability. The discussion thereby challenges both the view that shame is not a reactive attitude at all, suggested by philosophers such as R. Jay Wallace and Stephen Darwall, and the view that shame is a reactive attitude but does not concern moral accountability, recently defended by Andreas Carlsson and Douglas Portmore. (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.

One of the many claims about the value of local food is that local food exchanges generate trust between producers and consumers. To what degree is this actually the case and how does such trust develop? Drawing on interview and fieldwork data in one local food system in the Northeastern U.S., I show how local food participants build trust and reciprocity with one another in order to mitigate the challenges imposed by the conventional system. This trust and reciprocity builds primarily (...) through three mechanisms: reliable, positive relationships; demonstrations of good will toward one another; and a shared understanding of the value of locally-oriented food. Through these mechanisms, local food operators are able to build a healthy, stable local food system, able to better resist the pressures of the conventional system in which it must continually operate. (shrink)

Justification logics provide frameworks for studying the fine structure of evidence and justification. Traditionally, these logics do not impose any closure requirements on justification. In this paper, we argue that for some applications they should subject justification to closure under some variety of logical consequence. Specifically, we argue, building on ideas from Beall, that the non-classical logic FDE offers a particularly attractive notion of consequence for this purpose and define a justification logic where justification is closed under FDE consequence. We (...) show the resulting logic to be sound and complete. Lastly, we discuss how the closure of justification under FDE ontrasts closure under related non-classical logics and how our approach contrasts with some alternatives. (shrink)

Relevant logics are a family of non-classical logics characterized by the behavior of their implication connectives. Unlike some other non-classical logics, such as intuitionistic logic, there are multiple philosophical views motivating relevant logics. Further, different views seem to motivate different logics. In this article, we survey five major views motivating the adoption of relevant logics: Use Criterion, sufficiency, meaning containment, theory construction, and truthmaking. We highlight the philosophical differences as well as the different logics they support. We end with some (...) questions for future research. (shrink)

This interdisciplinary study explores the relevance and application of Martin Heidegger’s phenomenology to key issues in the philosophy film. It develops a comprehensive look at how Heidegger’s thought illuminates historical and contemporary problems the film medium poses to philosophers.

We present some proof-theoretic results for the normal modal logic whose characteristic axiom is \. We present a sequent system for this logic and a hypersequent system for its first-order form and show that these are equivalent to Hilbert-style axiomatizations. We show that the question of validity for these logics reduces to that of classical tautologyhood and first-order logical truth, respectively. We close by proving equivalences with a Fitch-style proof system for revision theory.

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)

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)

This article examines selected texts in which Martin Heidegger thematizes the ontology of images, in order to adduce a view of how he under­stands their merits and limitations. I am primarily interested in the images seen in art works, especially those in film and photography, given Heidegger’s strong criticism of the latter alongside other 20th-century communicative media. The goal of the article is not to determine what is Heidegger’s central or overall position regarding images, as it is not clear that (...) he has such a position. Rather, the goal is to analyze how his various statements on images, as well as imagination, fit together. I contrast Heidegger’s critical views in “The Age of the World Picture” with other texts in which he describes images more favorably. I also devote some space to texts in which Heidegger treats imagination and the origin of images more broadly. (shrink)

When asked which of our concepts are normative concepts, metaethicists would be quick to list such concepts as GOOD, OUGHT, and REASON. When asked why such concepts belong on the list, metaethicists would be much slower to respond. Matti Eklund is a notable exception. In his recent book, Choosing Normative Concepts, Eklund argues by elimination for “the Normative Role view” that normative concepts are normative in virtue of having a “normative role” or being “used normatively”. One view that Eklund aims (...) to eliminate is “the Metaphysical view” that normative concepts are normative in virtue of referring to normative properties. In addition to arguing that Eklund’s objection looks doubtful by its own lights, we argue that there are several plausible versions of the Metaphysical view that Eklund doesn’t eliminate, defending various claims about normative concepts and their relationships to deliberation, competence, reference, and possession along the way. (shrink)

In Saving Truth from Paradox, Hartry Field presents and defends a theory of truth with a new conditional. In this paper, I present two criticisms of this theory, one concerning its assessments of validity and one concerning its treatment of truth-preservation claims. One way of adjusting the theory adequately responds to the truth-preservation criticism, at the cost of making the validity criticism worse. I show that in a restricted setting, Field has a way to respond to the validity criticism. I (...) close with some general considerations on the use of revision-theoretic methods in theories of truth. (shrink)

This paper addresses the question of how local can be defined in practice. It contributes to the growing literature on local food systems and particularly our understanding of what counts as local and the elements that influence those contours. While most of our conceptions of local food tend to rely on an articulation of either proximity traveled or relationship between entities, I argue that a more nuanced and complete understanding must take account of both of these aspects. I draw on (...) a dataset of locally oriented farm and food-related establishments in southern New England to identify how far local food travels in this region and how interconnected local food establishments are with one another and use these and other measures to tease out the tension between proximity and relationship as measures of local. I find that these two aspects not only are connected to each other in a complex dynamic, but also are bound up with other structural factors as well. (shrink)

Few debates in environmental philosophy have been more heated than the one over the nature of wilderness. And yet, when one surveys the present scene, one finds that a variety of different conceptions of wilderness are still quite popular – some more so in certain professions than others. In this paper, I look at three popular conceptions of wilderness with an eye toward sussing out the good and the bad them. I look at what I call (1) the folk view (...) of wilderness, (2) Leopold’s conception of wilderness, and (3) the legal conception of wilderness (as found in the Wilderness Act of 1964). In the final part of the paper, I sketch out a sort of spectrum account of wilderness, one that I argue allows us to capture more cases of wilderness and might serve as a useful tool in future conservation efforts. (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)

BackgroundRecent advancements in neuroscientific techniques have allowed us to make huge progress in our understanding of memories, and in turn has paved the way for new memory modification technologies that can modulate memories with a degree of precision, which was not previously possible. With advancements in such techniques, new and critical ethical questions have emerged. Understanding and framing these ethical questions within the current philosophical theories is crucial in order to systematically examine them as we translate these techniques to the (...) clinic.Main bodyIn this paper, we discuss the ethical implications of modern neuroscience techniques that aim to disrupt or enhance memories. We attempt to frame the MMTs in the context of existing ethical philosophical theories to provide a cohesive analysis of the myriad of ethical quagmires that might emerge from such technologies. We argue the application of Aristotle’s Golden Mean and multiple accounts of authenticity are useful in approaching the ethical questions surrounding MMTs. We then propose a framework in which ethical considerations can be systematically examined. Lastly, we provide caveats and considerations for the use of this framework. Overall, we provide a practical approach for the ethical use of MMTs depending on the situation.ConclusionWhile at face value, our model appears to put severe limitations on the application of MMTs, we are not completely opposed to their use, but rather our framework guides the agent to consider the implications before making any decisions. Most importantly, we argue that the use of MMTs does not reduce the responsibility of the initial decision, and the agent must accept the post-MMT self as the new “true self” regardless of the outcome. As the developmental trajectory of MMTs suggests we are getting closer to practical clinical applications, ethical concerns across a wide range of disciplines need to be addressed to develop best strategies and policies when dealing with MMTs. If this can be achieved, we believe the ethical use of MMTs is not only possible but would also be of tremendous benefit to many people suffering from memory-related mental disorders. (shrink)

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)

Environmental philosophy plays an important role, directly and indirectly, in many parts of society, including land and wildlife management (Leopold, 1949; Minteer, 2015), political activism (Abbey, 1968; Malm, 2020),and technological research and development (Baum & Owe, 2022; Donhauser et al., 2021). Environmental philosophy uncovers the ethical relationships existing between humans and the living and non-living world. It reveals the nuances of our scientific ecological concepts. And it tries to tell us how we might act – individually or collectively – to (...) better achieve our environmental goals. The aim of this special issue is to explore the limits and ever-expanding outer edges of this increasingly important area of philosophical thought. (shrink)

Circular denitions have primarily been studied in revision theory in the classical scheme. I present systems of circular denitions in the Strong Kleene and supervaluation schemes and provide complete proof systems for them. One class of denitions, the intrinsic denitions, naturally arises in both schemes. I survey some of the features of this class of denitions.

Proposes a shift in thinking about the connection of Malick's filmmaking and the philosophy of Heidegger. My approach considers Heidegger's philosophy of art in order to develop some outlines of a Heideggerian philosophy of film. I also consider some aspects of Terrence Malick's films viewed as exemplar instances of the philosophical theory of film Heidegger's work can support.

Attention to care in modern society has fallen out of view as an ethos of personal responsibility, free markets, and individualism has been in the ascendant. The Liberalism of Care argues that contemporary liberalism is suffering from a crisis of care, manifest in a decaying sense of collective political responsibility for citizens' well- being and for the most vulnerable members of our communities. The book maintains that this practical crisis stems from a theoretical one. We have lost the political language (...) of care, which, prior the 19th century, was commonly used to express these dimensions of political life. To recover that language, Shawn C. Fraistat turns to three prominent philosophers-Plato, Jean-Jacques Rousseau, and William Godwin-who illuminate the varied ways caring language and caring values have structured core debates in the history of Western political thought about the proper role of government, as well as the rights and responsibilities of citizens. The Liberalism of Care presents a distinctive vision for our liberal politics where political communities and citizens can utilize the ethic and practices of care to face practical challenges. (shrink)

Is art a form of communication? If so, what does art express or represent? How should we interpret the meaning of works created by more than one artist? Is art an adaptation, via natural selection? In what ways is art similar to—and different from—language? Art as Communication: Aesthetics, Evolution, and Signaling employs information theory, the theory of evolution, and the newly developed sender-receiver model of communication to reason about art, aesthetic behavior, and its communicative nature. Shawn Simpson considers whether (...) art, from a biological point of view, is the province of only humans or whether animals might reasonably be said to create art. Examining the work of evolutionary biologists, art theorists, linguists, and philosophers—including Charles Darwin, Stephen Davies, H. Paul Grice, and others—he addresses how well different theories of communication explain meaning and expression in art and argues that art is much more continuous with other forms of communication than previously thought. (shrink)