This article examines how facial recognition technology reshapes the philosophical debate over the ethics of video surveillance. When video surveillance is augmented with facial recognition, the data collected is no longer anonymous, and the data can be aggregated to produce detailed psychological profiles. I argue that – as this non-anonymous data of people’s mundane activities is collected – unjust risks of harm are imposed upon individuals. In addition, this technology can be used to catalogue all who publicly participate in political, (...) religious, and socially stigmatised activities, and I argue that this would undermine central interests of liberal democracies. I examine the degree to which the interests of individuals and the societal interests of liberal democracies to maintain people’s obscurity while in public coincide with privacy interests, as popularly understood, and conclude that there is a practical need to articulate a novel right to obscurity to protect the interests of liberal democratic societies. (shrink)

This paper examines recent arguments by Michael Walzer and Uwe Steinhoff for justifying or excusing indiscriminate terrorism by means of invoking ‘emergency’ circumstances. While both authors claim that the principle of non-combatant immunity can be justifiably overridden under extreme circumstances, it is argued here that neither provides a convincing argument as to when and why the survival of some innocents ought to counterbalance the harms or rights violations of indiscriminate terrorism. A defensible emergency justification for indiscriminate terrorism is proposed and (...) shown to open the door to a broader, non-emergency rationale for conceivably excusing or justifying indiscriminate terrorism. (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)

In order to address whether states can ever have the proper authority to militarily punish other international agents, I examine three attempts to justify punitive warfare from Augustine, Grotius and Locke for their relevance to both our contemporary international legal and political order and our contemporary security threats from sporadic terrorist or militant violence. Once a plausible model for a state’s valid authority to punish international agents is found, I will consider what punitive aims it can support and what challenges (...) such punitive warfare would have in satisfying the remaining jus ad bellum conditions. (shrink)

This paper criticizes three assumptions regarding terrorism and the agents who carry it out: 1) terrorists are always indiscriminate in their targeting, 2) terrorism is never effective in combating oppression, and 3) terrorists never participate in fair negotiations as they merely wish to switch places with their oppressors. By criticizing these three prejudices against terrorism, the paper does not attempt to justify or excuse terrorism generally nor in the specific case of Sri Lanka which is examined. Instead, it creates the (...) necessary room for such justifications or excuses to be critically appraised by dismantling the popular myths surrounding terrorism. (shrink)

Emerging from the growing swell of recent literature concerning Kant's practical philosophy, one interpretation of his procedure for testing maxims has crested above others. The influential interpretation to which I refer believes that the categorical imperative guides a procedure that finds maxims impermissible when they cannot be universalized without producing a 'practical' contradiction. As a major proponent of the practical contradiction interpretation, Christine Korsgaard claims that, while there is textual support for this point of view, she is more concerned with (...) developing a defensible interpretation of maxim testing for a ‘Kantian’ system of morality. Accordingly, one cannot simply attempt to evaluate such a theory solely by considering its various incongruities with Kant's specific claims and arguments. Instead, my evaluation of the practical contradiction interpretation will examine: whether it is a procedure that is applicable to a full range of maxims; whether it maintains a distinct advantage over the alternative readings; and whether it is an internally coherent and consistent model for testing maxims. I propose, here, that regardless of the practical contradiction test's many advantages, it fails with regard to all three of these questions. (shrink)

In this paper, a two-fold strategy is carried out for gaining conceptual clarity in response to the question: What is terrorism? The first stage is to defend a broad working definition of terrorism that emphasizes the instrumental employment of terror or fear to obtain any number of possible ends. As proposed in this paper, Terrorism is an act or threat of violence to persons or property that elicits terror, fear, or anxiety regarding the security of human life or fundamental rights (...) and that functions as an instrument to obtain further ends. This instrumentality relies upon either an explicit or implicit threat of separate acts of future violence. It is argued that such a functionalist approach to defining terrorism captures the core qualities that unite the broad family of both political and nonpolitical terrorist actions. At the same time, the proposed definition avoids the problems associated with other approaches that either focus upon the terrorist’s ‘unconventional’ tactics, or the ‘innocence’ of their targets, or their coercive intentions. The breadth of the proposed definition allows for the more nuanced typological analysis in the second stage. The typology is primarily an analysis of the modes of terrorism’s instrumentality. Thus, the broad phenomenon of terrorism is divided according to factors of targets, the degree of force employed, agency, and the geographic context of the action. It is only by drawing out the diverse types of terrorism that the projects of morally evaluating terrorism and formulating a just response to terrorism can take place in a concrete and meaningful way. (shrink)

It is widely acknowledged that Isaiah Berlin’s seminal essay “Two Concepts of Liberty” has to a large extent set the tone and determined the content of the debates within political philosophy in the English-speaking world. Berlin maintains that the conceptual and institutional history of liberty can be understood in terms of the various responses to the logically distinct questions: “Who governs me?” and “How far does government interfere with me?”. In Berlin’s first question, the salient issue is whether the valid (...) authority to positively rule an individual resides within the individual herself or in some external person, social class, institution, empirical circumstance, or tradition. In contrast with the personal freedom to direct oneself, the second issue is concerned with liberating the individual from the coercion of others, especially the government, by limiting authority as such. Berlin dedicates much of his essay to demonstrating that the positive and negative concepts of liberty are not merely two sides of the same coin; rather, he argues that in human psychology and history these mark “two profoundly divergent and irreconcilable attitudes to the ends of life”. According to Berlin’s line of reasoning, to perceive the personal authority to rule oneself as one’s primary end requires a sacrifice of one’s negative liberty. Reciprocally, to make the limitation of authority and coercion in general one’s highest end demands that one relinquish some positive freedom. (shrink)

It is widely acknowledged that Isaiah Berlin’s seminal essay “Two Concepts of Liberty” has to a large extent set the tone and determined the content of the debates within political philosophy in the English-speaking world. Berlin maintains that the conceptual and institutional history of liberty can be understood in terms of the various responses to the logically distinct questions: “Who governs me?” and “How far does government interfere with me?”. In Berlin’s first question, the salient issue is whether the valid (...) authority to positively rule an individual resides within the individual herself or in some external person, social class, institution, empirical circumstance, or tradition. In contrast with the personal freedom to direct oneself, the second issue is concerned with liberating the individual from the coercion of others, especially the government, by limiting authority as such. Berlin dedicates much of his essay to demonstrating that the positive and negative concepts of liberty are not merely two sides of the same coin; rather, he argues that in human psychology and history these mark “two profoundly divergent and irreconcilable attitudes to the ends of life”. According to Berlin’s line of reasoning, to perceive the personal authority to rule oneself as one’s primary end requires a sacrifice of one’s negative liberty. Reciprocally, to make the limitation of authority and coercion in general one’s highest end demands that one relinquish some positive freedom. (shrink)

The usefulness of Just War Theory (JWT) has been called into question in recent years for two key reasons. First, military conflicts today less frequently fit the model traditionally assumed by JWT of interstate wars between regular armies. Second, there is a perception that JWT has lost its critical edge after its categories and principles have been co-opted by bellicose political leaders. This paper critically examines two responses to these concerns which shift the locus of responsibility for wars towards either (...) individual citizens or soldiers. Both attempts to revitalize JWT rely upon idealized conditions which preclude their pragmatic employment. I propose that, in order to arrive at a non-idealized JWT that individuals can apply in a critical fashion, an alternative focus upon a more basic question of political philosophy is required: Under what conditions, if any, are individual soldiers or citizens politically obligated to fight for their state? (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)

This interdisciplinary analysis presents an innovative examination of the nature of pride and humility, including all their slippery nuances and points of connection. By combining insights from visual art, literature, philosophy, religious studies, and psychology, this volume adapts a complementary rather than an oppositional approach to examine how pride and humility reinforce and inform one another. This method produces a robust, substantial, and meaningful description of these important concepts. The analysis takes into account key elements of pride and humility, including (...) self-esteem and self-confidence, human interconnectedness, power's function and limitations, and the role of fear. Shawn R. Tucker explores the many inflections of these terms, inflections that cast them by turns as positive or negative, emboldening or discouraging, and salubrious or vicious depending upon the context and manner in which they are used. (shrink)

Gilroy and Wade wrote 20 years ago that every policy presupposes an underlying moral argument that justifies it. This claim is now rarely contested: policy making is an inescapably moral enterprise...

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 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)

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)

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)

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)

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)

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)

An “insightful” and in-depth look at anti-science politics and its deadly results (Maria Konnikova, New York Times–bestselling author of The Biggest Bluff). Thomas Jefferson said, “Wherever the people are well informed, they can be trusted with their own government.” But what happens when they aren’t? From climate change to vaccinations, transportation to technology, health care to defense, we are in the midst of an unprecedented expansion of scientific progress—and a simultaneous expansion of danger. At the very time we need them (...) most, scientists and the very idea of objective knowledge are being bombarded by a vast, well-funded war on science, and the results are deadly. Whether it’s driven by identity politics, ideology, or industry, the result is an unprecedented erosion of thought in Western democracies as voters, policymakers, and justices actively ignore scientific evidence, leaving major policy decisions to be based more on the demands of the most strident voices. This compelling book investigates the historical, social, philosophical, political, and emotional reasons why evidence-based politics are in decline and authoritarian politics are once again on the rise on both left and right—and provides some compelling solutions to bring us to our collective senses, before it's too late. “If you care about attacks on climate science and the rise of authoritarianism, if you care about biased media coverage and shake-your-head political tomfoolery, this book is for you.”—The Guardian. (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)

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)

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)

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)

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)

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)

Various cell types cooperate to create a highly organized and dynamic micro-environmental niche in the bone marrow. Over the past several years, the field has increasingly recognized the critical roles of the interplay between bone marrow environment and hematopoietic cells in normal and deranged hematopoiesis. These advances rely on several new technologies that have allowed us to characterize the identity and roles of these niches in great detail. Here, we review the progress of the last several years, list some of (...) the outstanding questions in the field and propose ways to target the diseased environment to better treat hematologic diseases. Understanding the extrinsic regulation by the niche will help boost hematopoiesis for regenerative medicine. Based on natural development of hematologic malignancies, we propose that combinatory targeting the niche and hematopoietic intrinsic mechanisms in early stages of hematopoietic malignancies may help eliminate minimal residual disease and have the highest efficacy. The bone marrow is the home for blood-forming hematopoietic stem and progenitor cells. Normal generation of blood and immune cells depends on highly regulated interactions between these stem and progenitor cells with their surrounding environment. Emerging evidence suggests that therapeutic interventions directed at these cellular interdependencies can help boost hematopoiesis and eradicate malignant hematopoietic cells. (shrink)

One will be hard-pressed to find a morally perfect agent in this world. It’s not that there aren’t any morally good people. It just takes a lot to be morally perfect. However, theists claim that God is morally perfect. (Atheists claim that if God exists, God is morally perfect.) Perhaps they are mistaken. This chapter presents an argument for the conclusion that God is not morally perfect. The argument depends upon two things: (1) the nature of the concept of moral (...) perfection, and (2) the modest theistic claim that God is involved in the affairs of the world. (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 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)

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)

The Advaita Vedānta notion of ātman/Brahman presents a serious philosophical challenge to this school-namely, it demands that they explain how all (reality) can be undivided, unchanging, and pure consciousness, yet appear to be everything but nondual, unchanging, and pure consciousness. The Advaita answer is avidyā, ajāna (ignorance). This answer tells us that Brahman does not really change; it is only ignorance that makes it appear to change. This answer has engendered as many questions as it has resolved, and it is (...) possible that they can be boiled down to the following: how can vidyā and avidyā be simultaneous and coterminous? After reviewing the Advaita responses to the debates regarding avidyā, which arose within Advaita and between Advaitins and their opponents, a traditional Advaita path will be followed by offering an analogy to illuminate this quandary. The strength of this contemporary analogy, based on holography, lies in its ability to illuminate the nature of Brahman as being without parts, without duality, without change; yet holography presents us with images that appear to change and be with parts. (shrink)

Disagreements about, within, and between religions are widespread. It’s no surprise, then, that there’s an enormous philosophical literature on religious diversity. But in recent years, philosophers working in mainstream epistemology have done a lot of work on disagreement in general. This work has focused in particular upon the epistemology of peer disagreement, i.e., disagreements between parties who are justifiably believed to be epistemic equals regarding the matter at hand. In this paper, I intend to defend a thesis in the epistemology (...) of peer disagreement from a significant objection. The thesis I intend to defend is the Equal Weight View (EWV). The objection, pressed by philosophers such as Alvin Plantinga, Timothy O’Connor, Charles Taliaferro, Brian Weatherson, and Adam Elga, is that EWV is self-undermining. In short, I argue two things. First, I argue that EWV is not self-undermining. Second, I argue that even if it were, this would give us no reason to think that EWV is false since there are obviously true epistemic principles that self-undermine (or at least do so potentially). The self-undermining objection to EWV fails. (shrink)

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.

In the aftermath of World War II, the government of the United States provided considerable funding for military projects that promised to provide a technological edge during the nascent Cold War. The most famous example is likely the V-2 rocket-testing program that began in the late 1940s. The 67 rockets launched from White Sands developed a knowledge base that was critically important to the launch of the first U.S. satellite in 1958 and to the subsequent manned space program. Less well (...) known are the large-scale information technology projects, undertaken in the 1950s and early 1960s, that provided a significant catalyst for research into digital computing, information processing, and the. (shrink)