Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...

What is an inference rule? This question does not have a unique answer. One usually finds two distinct standard answers in the literature; validity inference $(\sigma \vdash_\mathrm{v} \varphi$ if for every substitution $\tau$, the validity of $\tau \lbrack\sigma\rbrack$ entails the validity of $\tau\lbrack\varphi\rbrack)$, and truth inference $(\sigma \vdash_\mathrm{t} \varphi$ if for every substitution $\tau$, the truth of $\tau\lbrack\sigma\rbrack$ entails the truth of $\tau\lbrack\varphi\rbrack)$. In this paper we introduce a general semantic framework that allows us to investigate the notion of inference (...) more carefully. Validity inference and truth inference are in some sense the extremal points in our framework. We investigate the relationship between various types of inference in our general framework, and consider the complexity of deciding if an inference rule is sound, in the context of a number of logics of interest: classical propositional logic, a nonstandard propositional logic, various propositional modal logics, and first-order logic. (shrink)

Although it is known that reachability in undirected finite graphs can be expressed by an existential monadic second-order sentence, our main result is that this is not the case for directed finite graphs (even in the presence of certain "built-in" relations, such as the successor relation). The proof makes use of Ehrenfeucht-Fraisse games, along with probabilistic arguments. However, we show that for directed finite graphs with degree at most k, reachability is expressible by an existential monadic second-order sentence.

We do a quantitative analysis of modal logic. For example, for each Kripke structure M, we study the least ordinal μ such that for each state of M, the beliefs of up to level μ characterize the agents' beliefs (that is, there is only one way to extend these beliefs to higher levels). As another example, we show the equivalence of three conditions, that on the face of it look quite different, for what it means to say that the agents' (...) beliefs have a countable description, or putting it another way, have a "countable amount of information". The first condition says that the beliefs of the agents are those at a state of a countable Kripke structure. The second condition says that the beliefs of the agents can be described in an infinitary language, where conjunctions of arbitrary countable sets of formulas are allowed. The third condition says that countably many levels of belief are sufficient to capture all of the uncertainty of the agents (along with a technical condition). The fact that all of these conditions are equivalent shows the robustness of the concept of the agents' beliefs having a "countable description". (shrink)

The descriptive complexity of a problem is the complexity of describing the problem in some logical formalism. One of the few techniques for proving separation results in descriptive complexity is to make use of games on graphs played between two players, called the spoiler and the duplicator. There are two types of these games, which differ in the order in which the spoiler and duplicator make various moves. In one of these games, the rules seem to be tilted towards favoring (...) the duplicator. These seemingly more favorable rules make it easier to prove separation results, since separation results are proven by showing that the duplicator has a winning strategy. In this paper, the relationship between these games is investigated. It is shown that in one sense, the two games are equivalent. Specifically, each family of graphs used in one game to prove a separation result can in principle be used in the other game to prove the same result. This answers an open question of Ajtai and the author from 1989. It is also shown that in another sense, the games are not equivalent, in that there are situations where the spoiler requires strictly more resources to win one game than the other game. This makes formal the informal statement that one game is easier for the duplicator to win. (shrink)

We consider the issue of what an agent or a processor needs to know in order to know that its messages are true. This may be viewed as a first step to a general theory of cooperative communication in distributed systems. An honest message is one that is known to be true when it is sent (or said). If every message that is sent is honest, then of course every message that is sent is true. Various weaker considerations than honesty (...) are investigated with the property that provided every message sent satisfies the condition, then every message sent is true. (shrink)

This article explores the synthesis between the theories and practice of Humanistic Management and Self-Determination Theory of Motivation (SDT). Moving from Economistic to Humanistic Management involves considering human action as uniting internal and external dimensions, having ethics as a guide for a good life, viewing society as a community of people, and being open to beauty and transcendence. The recently elucidated 50-year legacy of SDT describes it as a truly human science of motivation that takes into consideration our attributes as (...) persons, including our capacities for awareness and self-regulation. It also focuses on one’s capacity for autonomy as it applies to individual functioning, interpersonal relationships, and societal interactions. SDT posits a continuum of motivational regulation ranging from amotivation through controlled to autonomous motivation. The current empirical study of Millennials' motivation to support local and global hunger charities based on social media communication employs the complete SDT continuum. Digitalization and globalization have fundamentally changed the nature of human communication. Millennials are central to the humanistic functioning of today’s society. The study findings of the dominance of integrated personal value autonomy demonstrates the necessity of assessing the complete set of SDT motivations in various contexts and situations. Given that SDT and Humanistic Management investigations have mainly involved corporations, one must also be open to investigating the humanistic management of non-profit social and governmental organizations. The non-greenwashed triple sustainability values of corporate, social and environmental good are pertinent targets for Humanistic Management research and Practices. (shrink)

Virtue ethics is now widely recognized as an alternative to Kantian and consequentialist ethical theories. However, moral philosophers have been slow to bring virtue ethics to bear on topics in applied ethics. Moreover, environmental virtue ethics is an underdeveloped area of environmental ethics. Although environmental ethicists often employ virtue-oriented evaluation (such as respect, care, and love for nature) and appeal to role models (such as Henry Thoreau, Aldo Leopold, and Rachel Carson) for guidance, environmental ethics has not been well informed (...) by contemporary work on virtue ethics. With _Character and Environment_, Ronald Sandler remedies each of these deficiencies by bringing together contemporary work on virtue ethics with contemporary work on environmental ethics. He demonstrates the many ways that any ethic of character can and should be informed by environmental considerations. He also develops a pluralistic virtue-oriented environmental ethic that accommodates the richness and complexity of our relationship with the natural environment and provides effective and nuanced guidance on environmental issues. These projects have implications not only for environmental ethics and virtue ethics but also for moral philosophy more broadly. Ethical theories must be assessed on their theoretical and practical adequacy with respect to all aspects of the human ethical situation: personal, interpersonal, and environmental. To the extent that virtue-oriented ethical theory in general, and Sandler's version of it in particular, provides a superior environmental ethic to other ethical theories, it is to be preferred not just as an environmental ethic but also as an ethical theory. _Character and Environment_ will engage any reader with an interest in environmental ethics, virtue ethics, or moral philosophy. (shrink)

Virtue ethics is now widely recognized as an alternative to Kantian and consequentialist ethical theories. However, moral philosophers have been slow to bring virtue ethics to bear on topics in applied ethics. Moreover, environmental virtue ethics is an underdeveloped area of environmental ethics. Although environmental ethicists often employ virtue-oriented evaluation and appeal to role models for guidance, environmental ethics has not been well informed by contemporary work on virtue ethics. With _Character and Environment_, Ronald Sandler remedies each of these (...) deficiencies by bringing together contemporary work on virtue ethics with contemporary work on environmental ethics. He demonstrates the many ways that any ethic of character can and should be informed by environmental considerations. He also develops a pluralistic virtue-oriented environmental ethic that accommodates the richness and complexity of our relationship with the natural environment and provides effective and nuanced guidance on environmental issues. These projects have implications not only for environmental ethics and virtue ethics but also for moral philosophy more broadly. Ethical theories must be assessed on their theoretical and practical adequacy with respect to all aspects of the human ethical situation: personal, interpersonal, and environmental. To the extent that virtue-oriented ethical theory in general, and Sandler's version of it in particular, provides a superior environmental ethic to other ethical theories, it is to be preferred not just as an environmental ethic but also as an ethical theory. _Character and Environment_ will engage any reader with an interest in environmental ethics, virtue ethics, or moral philosophy. (shrink)

Experiments are presented showing that visual search for Mueller-Lyer (ML) stimuli is based on complete configurations, rather than component segments. Segments easily detected in isolation were difficult to detect when embedded in a configuration, indicating preemption by low-level groups. This preemption—which caused stimulus components to become inaccessible to rapid search—was an all-or-nothing effect, and so could serve as a powerful test of grouping. It is shown that these effects are unlikely to be due to blurring by simple spatial filters at (...) early visual levels. It is proposed instead that they are due to more sophisticated processes that rapidly bind contour fragments into spatially-extended assemblies. These results support the view that rapid visual search cannot access the primitives formed at the earliest stages of visual processing; rather, it can access only higher-level, more ecologically-relevant structures. (shrink)

Ronald Barnett pursues this quest through an exploration of pairs of contending concepts that speak to the idea of the university such as space and time; being ...

This is the first publication of these ideas in book form. 'It is a rare treat--important, original philosophy that is also a pleasure to read.

ABSTRACT:The notion of stakeholder salience based on attributes (e.g., power, legitimacy, urgency) is applied in the family business setting. We argue that where principal institutions intersect (i.e., family and business); managerial perceptions of stakeholder salience will be different and more complex than where institutions are based on a single dominant logic. We propose that (1) whereas utilitarian power is more likely in the general business case, normative power is more typical in family business stakeholder salience; (2) whereas in a general (...) business context legitimacy is socially constructed; for family stakeholders, legitimacy is based on heredity; and (3) whereas temporality and criticality are somewhat independent in general-business urgency, they are linked in the family business case because of family ties and family-centered non-economic goals. We apply this theoretical framework to position and integrate the contributions to this special section ofBusiness Ethics Quarterlyon “Stakeholder Theory, Ethics, Corporate Social Responsibility, and Family Enterprise.”. (shrink)

In this paper I explore the extent to which a perspectival understanding of scientific knowledge supports forms of “scientific pluralism.” I will not initially attempt to formulate a general characterization of either perspectivism or scientific pluralism. I assume only that both are opposed to two extreme views. The one extreme is a (monistic) metaphysical realism according to which there is in principle one true and complete theory of everything. The other extreme is a constructivist relativism according to which scientific claims (...) about any reality beyond that of ordinary experience are merely social conventions. (shrink)

Bad Faith and Sincerity: Does Sartre's Analysis Rest on a Mistake? In this opening chapter, I intend to deal with an issue that vexed my earliest ...

ABSTRACT:The notion of stakeholder salience based on attributes (e.g., power, legitimacy, urgency) is applied in the family business setting. We argue that where principal institutions intersect (i.e., family and business); managerial perceptions of stakeholder salience will be different and more complex than where institutions are based on a single dominant logic. We propose that (1) whereas utilitarian power is more likely in the general business case, normative power is more typical in family business stakeholder salience; (2) whereas in a general (...) business context legitimacy is socially constructed; for family stakeholders, legitimacy is based on heredity; and (3) whereas temporality and criticality are somewhat independent in general-business urgency, they are linked in the family business case because of family ties and family-centered non-economic goals. We apply this theoretical framework to position and integrate the contributions to this special section ofBusiness Ethics Quarterlyon “Stakeholder Theory, Ethics, Corporate Social Responsibility, and Family Enterprise.”. (shrink)

In this chapter I consider the place of the topic of racial and ethnic urban residential segregation factors into political philosophy. I begin with a short history of residential segregation and the ghetto, and their role in systems of racial domination and oppression, and remarks on the general neglect of this topic in contemporary political philosophy, including in nonideal political philosophy, which proports to take on examples of real-world injustices and inequalities. I then examine, from the standpoint of liberal-egalitarian political (...) theory, what segregation, as a concept, entails, and its harms to individuals, communities, and societies. Segregation in all its forms (residential, educational, and employment, as well as in political and legal systems) is an instance of injustice and inequality and a major component of processes that maintain injustice and inequality, so it requires correction and rectification of some sort. Desegregation and integration are typically forwarded as solutions to the ills and injustices of segregation. They seem synonymous, but are they? To answer this question, I survey the prominent conceptualizations of both during the civil rights movement and the contemporary debate over those terms and political theoretical positions. In the conclusion I outline my partial defense of the idea of integration. (shrink)

The capacity of visual attention/STM can be determined by change-detection experiments. Detecting the presence of change leads to an estimate of 4 items, while detecting the absence of change leads to an estimate of 1 item. Thus, there are two magical numbers in vision: 4 and 1. The underlying limits, however, are not necessarily those of central STM.

This latest volume in the eminent Minnesota Studies in the Philosophy of Science series examines the main features of the intellectual milieu from which logical empiricism sprang, providing the first critical exploration of this context by ...

Despite both positive and negative perceptions of the current state of higher education, the contemporary debate over what it is to be a university is limited. Most of all, it is limited imaginatively. The range of imagined options is narrow. The imagination has not been given anything even approaching a wide scope. As a result, our sense as to what a university could be and could become in the modern age is itself impoverished. If we are seriously to develop a (...) wide range of ideas of the university that is adequate to the challenges of the modern world, the imagination itself needs to be freed. Imagining the University seeks to address each of these sets of issues and will do so by first, identifying a very wide range of ideas of the university as it is now unfolding and could become; secondly, by evaluating those conceptions of the university with a classification of ideas of the university; and thirdly, by reflecting on the imagination itself, its current impoverishment and its possibilities. Whether studying, researching or deciding policy, this book is vital reading to all those involved in the planning and delivery of higher education. (shrink)

This text is not only perfect for a college course in argument analysis, but also as a reference tool when confronted with arguments outside the classroom experience.

First, I briefly characterize Dretske’s particular naturalization project, emphasizing his naturalistic reconstruction of the notion of representation. Second, I note some apparent similarities between his notion of representation and Husserl’s notion of intentionality, but I find even more important differences. Whereas Husserl takes intentionality to be an intrinsic, phenomenological feature of thought and experience, Dretske advocates an “externalist” account of mental representation. Third, I consider Dretske’s treatment of qualia, because he takes it to show that his representational account of mind (...) succeeds in naturalizing even the “subjective” features of experience. I claim that Dretske's argument for his account of qualia turns on an ambiguous characterization of qualia. I conclude that he succeeds in naturalizing qualia only if qualia are understood as nonphenomenological features of experience and that he therefore has less to say than he thinks about the subjective life of beings such as us. (shrink)

D. C. Matthew argues that although integration offers blacks social and economic benefits, it also creates the conditions for phenotypic devaluation that leads to harm against black self-worth and servile behavior. Therefore, he advises against integration because the resulting self-worth harms outweigh the benefits of integration. I argue that Matthew’s cost-benefit calculation against integration lacks the requisite evidence, and amounts to a luxury belief that will result in more harm. Moreover, his interpretation of behavior — which he construes as being (...) indicative of a lack of self-worth — is unfounded. Further, his cost-benefit calculation results in socially reactionary sexual policing and ideological purity tests. (shrink)

Multiple realizability has been at the heart of debates about whether the mind reduces to the brain, or whether the items of a special science reduce to the items of a physical science. I analyze the two central notions implied by the concept of multiple realizability: "multiplicity," otherwise known as property variability, and "realizability." Beginning with the latter, I distinguish three broad conceptual traditions. The Mathematical Tradition equates realization with a form of mapping between objects. Generally speaking, x realizes (or (...) is the realization of) y because elements of y map onto elements of x. The Logico-Semantic Tradition translates realization into a kind of intentional or semantic notion. Generally speaking, x realizes (or is the realization of) a term or concept y because x can be interpreted to meet the conditions for satisfying y. The Metaphysical Tradition views realization as a species of determination between objects. Generally speaking, x realizes (or is the realization of) y because x brings about or determines y. I then turn to the subject of property variability and define it in a formal way. I then conclude by discussing some debates over property identity and scientific theory reduction where the resulting notion of multiple realizability has played a central role, for example, whether the nonreductive consequences of multiple realizability can be circumvented by scientific theories framed in terms of narrow domain-specific properties, or wide disjunctive properties. (shrink)

The past few years have seen a resurgence of interest in the scientific study of magic. Despite being only a few years old, this “new wave” has already resulted in a host of interesting studies, often using methods that are both powerful and original. These developments have largely borne out our earlier hopes (Kuhn et al., 2008) that new opportunities were available for scientific studies based on the use of magic. And it would seem that much more can still be (...) done along these lines. -/- But in addition to this, we also suggested that it might be time to consider developing an outright science of magic—a distinct area of study concerned with the experience of wonder that results from encountering an apparently impossible event1. To this end, we proposed a framework as to how this might be achieved (Rensink and Kuhn, 2015). A science can be viewed as a systematic method of investigation involving three sets of issues: (i) the entities considered relevant, (ii) the kinds of questions that can be asked about them, and (iii) the kinds of answers that are legitimate (Kuhn, 1970). In the case of magic, we suggested that this could be done at three different levels, each focusing on a distinct set of issues concerned with the nature of magic itself: (i) the nature of magical experience, (ii) how individual magic tricks create this experience, and (iii) organizing knowledge of the set of known tricks in a more comprehensive way (Rensink and Kuhn, 2015). Our framework also included a base level focused on how the methods of magic could be used as tools to investigate issues in existing fields of study. -/- Lamont (2010) and Lamont et al. (2010) raised a number of concerns about the possibility of such a science, which we have addressed (Rensink and Kuhn, 2015). More recently, Lamont (2015) raised a new objection, arguing that although base-level work (i.e., applications of magic methods) might be useful, there is too little structure in magic tricks for them to be studied in a systematic way at the other levels, ruling out a science of magic. We argue here, however, that although this concern raises some interesting challenges for this science, it does not negate the possibility that it could exist, and could contribute to the study of the mind. (shrink)

Civil Religion offers philosophical commentaries on more than twenty thinkers stretching from the sixteenth to the twentieth century. The book examines four important traditions within the history of modern political philosophy and delves into how each of them addresses the problem of religion. Two of these traditions pursue projects of domesticating religion. The civil religion tradition, principally defined by Machiavelli, Hobbes, and Rousseau, seeks to domesticate religion by putting it solidly in the service of politics. The liberal tradition pursues an (...) alternative strategy of domestication by seeking to put as much distance as possible between religion and politics. Modern theocracy is a militant reaction against liberalism, and it reverses the relationship of subordination asserted by civil religion: it puts politics directly in the service of religion. Finally, a fourth tradition is defined by Nietzsche and Heidegger. Aspects of their thought are not just modern, but hyper-modern, yet they manifest an often-hysterical reaction against liberalism that is fundamentally shared with the theocratic tradition. Together, these four traditions compose a vital dialogue that carries us to the heart of political philosophy itself. (shrink)

This is the first comprehensive introduction to Deleuze's work on literature. It provides thorough treatments of Deleuze's early book on Proust and his seminal volume on Kafka and minor literature. Deleuze on Literature situates those studies and many other scattered writings within a general project that extends throughout Deleuze's career-that of conceiving of literature as a form of health and the writer as a cultural physician.

In Dangerous Minds, Ronald Beiner traces the deeper philosophical roots of such far-right ideologues as Richard Spencer, Aleksandr Dugin, and Steve Bannon, to the writings of Nietzsche and Heidegger—and specifically to the aspects of their thought that express revulsion for the liberal-democratic view of life.

The underlying thesis of the research in ethical autonomy for lethal autonomous unmanned systems is that they will potentially be capable of performing more ethically on the battlefield than are human soldiers. In this article this hypothesis is supported by ongoing and foreseen technological advances and perhaps equally important by an assessment of the fundamental ability of human warfighters in today's battlespace. If this goal of better-than-human performance is achieved, even if still imperfect, it can result in a reduction in (...) noncombatant casualties and property damage consistent with adherence to the Laws of War as prescribed in international treaties and conventions, and is thus worth pursuing vigorously. (shrink)