This book gives a comprehensive overview of central themes of finite model theory â expressive power, descriptive complexity, and zero-one laws â together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...) to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)
Questionnaire data obtained from 97 supervisory and nonsupervisory employees representing the Production, Production Services, Marketing, and Administration departments of an Israeli metal production plant were used to test the relationship between selected personal and organizational attributes and work related misbehavior. Following Vardi and Wiener''s (1996) framework, Organizational Misbehavior (OMB) was defined as intentional acts that violate formal core organizational rules. We found that there was a significant negative relationship between Organizational Climate and OMB, and between the Organizational Climate dimensions (...) (Warmth and Support, and Reward), and OMB. Also, the activities of misbehavior reported by both managers and employees were negatively related to the Rules, Instrumental and Caring dimensions of Ethical Climates as defined by Victor and Cullen (1988). (shrink)
Vardi, M.Y., Verification of concurrent programs: the automata-theoretic framework, Annals of Pure and Applied Logic 51 79–98. We present an automata-theoretic framework to the verification of concurrent and nondeterministic programs. The basic idea is that to verify that a program P is correct one writes a program A that receives the computation of P as input and diverges only on incorrect computations of P. Now P is correct if and only if a program PA, obtained by combining P and (...) A, terminates. We formalize this idea in a framework of ω-automata with a recursive set of states. This unifies previous works on verification of fair termination and verification of temporal properties. (shrink)
Principles can seem as entrenched in moral experience as Kant thinks space, time, and the categories are in human experience of the world. However not all cultures have such a view. Classical Indian and Chinese philosophies treat modification of the self as central to ethics. Decisions in particular cases and underlying principles are much less discussed. Ethics needs comparative philosophy in order not to be narrow in its concerns. A broader view can give weight to how people sometimes can change (...) who they are, in order to lead better lives. (shrink)
Many would consider the lengthening debate between moral realists and anti-realists to be draw-ish. Plainly new approaches are needed. Or might the issue, which most broadly concerns realism in relation to normative judgments, be broken down into parts or sectors? Physicists have been saying, in relation to a similarly longstanding debate, that light in some respects behaves like waves and in some respects like particles. Might realism be more plausible in relation to some kinds of normative judgments than others?
This book is concerned with the role of intuitions in the justification of philosophical theory. The author begins by demonstrating how contemporary philosophers, whether engaged in case-driven analysis or seeking reflective equilibrium, rely on intuitions as evidence for their theories. The author then provides an account of the nature of philosophical intuitions and distinguishes them from other psychological states. Finally, the author defends the use of intuitions as evidence by demonstrating that arguments for skepticism about their evidential value are either (...) self-defeating or guilty of arbitrary and unjustified partiality towards non-intuitive modes of knowledge. (shrink)
This entry addresses the nature and epistemological role of intuition by considering the following questions: (1) What are intuitions?, (2) What roles do they serve in philosophical (and other “armchair”) inquiry?, (3) Ought they serve such roles?, (4) What are the implications of the empirical investigation of intuitions for their proper roles?, and (5) What is the content of intuitions prompted by the consideration of hypothetical cases?
Joel Feinberg was a brilliant philosopher whose work in social and moral philosophy is a legacy of excellent, even stunning achievement. Perhaps his most memorable achievement is his four-volume treatise on The Moral Limits of the Criminal Law, and perhaps the most striking jewel in this crowning achievement is his passionate and deeply insightful treatment of paternalism.1 Feinberg opposes Legal Paternalism, the doctrine that “it is always a good reason in support of a [criminal law] prohibition that it is (...) necessary to prevent harm (physical, psychological, or economic) to the actor himself.” Against this doctrine Feinberg asserts that when an agent’s sufficiently voluntary choice causes harm to herself or risk of harm to herself, this category of harm-to-self is never a good reason in support of criminal law prohibition of that type of conduct. (shrink)
Much recent work on empathy in philosophy of mind and cognitive science has been guided by the assumption that minds are composed of intracranial phenomena, perceptually inaccessible and thus unobservable to everyone but their owners. I challenge this claim. I defend the view that at least some mental states and processes—or at least some parts of some mental states and processes—are at times visible, capable of being directly perceived by others. I further argue that, despite its initial implausibility, this view (...) receives robust support from several strands of empirical research. (shrink)
I defend a perceptual account of face-to-face mindreading. I begin by proposing a phenomenological constraint on our visual awareness of others' emotional expressions. I argue that to meet this constraint we require a distinction between the basic and non-basic ways people, and other things, look. I offer and defend just such an account.
The COVID-19 pandemic has led to intense conversations about ventilator allocation and reallocation during a crisis standard of care. Multiple voices in the media and multiple state guidelines mention reallocation as a possibility. Drawing upon a range of neuroscientific, phenomenological, ethical, and socio-political considerations, we argue that taking away someone’s personal ventilator is a direct assault on their bodily and social integrity. We conclude that personal ventilators should not be part of reallocation pools and that triage protocols should be immediately (...) clarified and explicitly state that personal ventilators will be protected in all cases. (shrink)
The problem of other minds has a distinguished philosophical history stretching back more than two hundred years. Taken at face value, it is an epistemological question: it concerns how we can have knowledge of, or at least justified belief in, the existence of minds other than our own. In recent decades, philosophers, psychologists, neuroscientists, anthropologists and primatologists have debated a related question: how we actually go about attributing mental states to others (regardless of whether we ever achieve knowledge or rational (...) justification in this domain). Until the mid-nineties, the latter debate – which sometimes goes under the name of the “mindreading” debate – was characterized by a fairly clear-cut opposition between two theoretical outlooks: “theory-theory” (TT) and “simulation theory” (ST). Theory-theorists typically argued that we attribute mental states to others on the basis of a “theory of mind” that is either constructed in early infancy and subsequently revised and modified (Gopnik 1996), or else is the result of maturation of innate mindreading “modules” (Baron-Cohen 1995). (shrink)
In this volume, Feinberg focuses on the meanings of "interest," the relationship between interests and wants, and the distinction between want-regarding and ideal-regarding analyses on interest and hard cases for the applications of the concept of harm. Examples of the "hard cases" are harm to character, vicarious harm, and prenatal and posthumous harm. Feinberg also discusses the relationship between harm and rights, the concept of a victim, and the distinctions of various quantitative dimensions of harm, consent, and offense, including the (...) magnitude, probability, risk, and "importance" of harm. (shrink)
While there is a steadily growing literature on epistemic injustice in healthcare, there are few discussions of the role that biomedical technologies play in harming patients in their capacity as knowers. Through an analysis of newborn and pediatric genetic and genomic sequencing technologies (GSTs), I argue that biomedical technologies can lead to epistemic injustice through two primary pathways: epistemic capture and value partitioning. I close by discussing the larger ethical and political context of critical analyses of GSTs and their broader (...) implications for just and equitable healthcare delivery. (shrink)
The extended mind thesis (EM) asserts that some cognitive processes are (partially) composed of actions consisting of the manipulation and exploitation of environmental structures. Might some processes at the root of social cognition have a similarly extended structure? In this paper, I argue that social cognition is fundamentally an interactive form of space management—the negotiation and management of ‘‘we-space”—and that some of the expressive actions involved in the negotiation and management of we-space (gesture, touch, facial and whole-body expressions) drive basic (...) processes of interpersonal understanding and thus do genuine social-cognitive work. Social interaction is a kind of extended social cognition, driven and at least partially constituted by environmental (non-neural) scaffolding. Challenging the Theory of Mind paradigm, I draw upon research from gesture studies, developmental psychology, and work on Moebius Syndrome to support this thesis. (shrink)
The multiverse view in set theory, introduced and argued for in this article, is the view that there are many distinct concepts of set, each instantiated in a corresponding set-theoretic universe. The universe view, in contrast, asserts that there is an absolute background set concept, with a corresponding absolute set-theoretic universe in which every set-theoretic question has a definite answer. The multiverse position, I argue, explains our experience with the enormous range of set-theoretic possibilities, a phenomenon that challenges the universe (...) view. In particular, I argue that the continuum hypothesis is settled on the multiverse view by our extensive knowledge about how it behaves in the multiverse, and as a result it can no longer be settled in the manner formerly hoped for. (shrink)
In an attempt to bridge the vast divide between classical Asian thought and contemporary Western philosophy, Joel J. Kupperman finds that the two traditions do not, by and large, supply different answers to the same questions. Rather, each tradition is searching for answers to their own set of questions--mapping out distinct philosophical investigations. In this groundbreaking book, Kupperman argues that the foundational Indian and Chinese texts include lines of thought that can enrich current philosophical practice, and in some cases (...) provide uniquely sophisticated insights. Special attention is given to the ethical issues of formation and fluidity of self, the nature and possibilities of choice, the compartmentalization of life implicit in some ethical systems, the variations of ethical demands from person to person, and the nature of philosophy itself as a communicative activity. This study will provide a wealth of information for philosophers seeking a closer knowledge of Asian philosophy and general readers with an interest in Eastern thought. (shrink)
This book traces how such a seemingly immutable idea as measurement proved so malleable when it collided with the subject matter of psychology. It locates philosophical and social influences reshaping the concept and, at the core of this reshaping, identifies a fundamental problem: the issue of whether psychological attributes really are quantitative. It argues that the idea of measurement now endorsed within psychology actually subverts attempts to establish a genuinely quantitative science and it urges a new direction. It relates views (...) on measurement by thinkers such as Holder, Russell, Campbell and Nagel to earlier views, like those of Euclid and Oresme. Within the history of psychology, it considers contributions by Fechner, Cattell, Thorndike, Stevens and Suppes, among others. It also contains a non-technical exposition of conjoint measurement theory and recent foundational work by leading measurement theorist R. Duncan Luce. (shrink)
We identify the computational complexity of the satisfiability problem for FO 2 , the fragment of first-order logic consisting of all relational first-order sentences with at most two distinct variables. Although this fragment was shown to be decidable a long time ago, the computational complexity of its decision problem has not been pinpointed so far. In 1975 Mortimer proved that FO 2 has the finite-model property, which means that if an FO 2 -sentence is satisfiable, then it has a finite (...) model. Moreover, Mortimer showed that every satisfiable FO 2 -sentence has a model whose size is at most doubly exponential in the size of the sentence. In this paper, we improve Mortimer's bound by one exponential and show that every satisfiable FO 2 -sentence has a model whose size is at most exponential in the size of the sentence. As a consequence, we establish that the satisfiability problem for FO 2 is NEXPTIME-complete. (shrink)
Is there anything peculiarly "photographic" about photography—something which sets it apart from all other ways of making pictures? If there is, how important is it to our understanding of photographs? Are photographs so unlike other sorts of pictures as to require unique methods of interpretation and standards of evaluation? These questions may sound artificial, made up especially for the purpose of theorizing. But they have in fact been asked and answered not only by critics and photographers but by laymen. Furthermore, (...) for most of this century the majority of critics and laymen alike have tended to answer these questions in the same way: that photographs and paintings differ in an important way and require different methods in interpretation precisely because photographs and paintings come into being in different ways. These answers are interesting because, even within the rather restricted classes of critics, photographers, and theorists, they are held in common by a wide variety of people who otherwise disagree strongly with each other—by people who think that photographs are inferior to paintings and people who believe they are superior; by people who think that photographs ought to be "objective" and those who believe they should be "subjective"; by those who believe that it is impossible for photographers to "create" anything and by those who believe that they should at least try. Joel Snyder teaches criticism and history of photography at the University of Chicago and is presently compiling a book of his own photographs. His contributions to Critical Inquiry include "Picturing Vision" and "Reflexions on Las Meninas: Paradox Lost", written with Ted Cohen in the Winter 1980 issue. Neil Walsh Allen produces educational audio-visual materials and has designed eight permanent exhibits on the history and applications of photography for the Smithsonian Institution. (shrink)
This paper is an exploration of how we do things with music—that is, the way that we use music as an esthetic technology to enact micro-practices of emotion regulation, communicative expression, identity construction, and interpersonal coordination that drive core aspects of our emotional and social existence. The main thesis is: from birth, music is directly perceived as an affordance-laden structure. Music, I argue, affords a sonic world, an exploratory space or nested acoustic environment that further affords possibilities for, among other (...) things, (1) emotion regulation and (2) social coordination. When we do things with music, we are engaged in the work of creating and cultivating the self, as well as creating and cultivating a shared world that we inhabit with others. I develop this thesis by first introducing the notion of a musical affordance . Next, I look at how emotional affordances in music are exploited to construct and regulate emotions. I summon empirical research on neonate music therapy to argue that this is something we emerge from the womb knowing how to do. I then look at social affordances in music, arguing that joint attention to social affordances in music alters how music is both perceived and appropriated by joint attenders within social listening contexts. In support, I describe the experience of listening to and engaging with music in a live concert setting. Thinking of music as an affordance-laden structure thus reaffirms the crucial role that music plays in constructing and regulating emotional and social experiences in everyday life. (shrink)
Dutch Book Arguments (DBAs) have been invoked to support various requirements of rationality. Some are plausible: probabilism and conditionalization. Others are less so: credal transparency and reflection. Anna Mahtani has argued for a new understanding of DBAs which, she claims, allow us to keep the DBAs for probabilism (and perhaps conditionalization) and reject the DBAs for credal transparency and reflection. I argue that Mahtani’s new account fails as (a) it does not support highly plausible requirements of rational coherence and (b) (...) it does not, even setting aside the first objection, succeed in undermining the DBAs for credal transparency or reflection. (shrink)
One of liberalism’s core commitments is to safeguarding individuals’ autonomy. And a central aspect of liberal social justice is the commitment to protecting the vulnerable. Taken together, and combined with an understanding of autonomy as an acquired set of capacities to lead one’s own life, these commitments suggest that liberal societies should be especially concerned to address vulnerabilities of individuals regarding the development and maintenance of their autonomy. In this chapter, we develop an account of what it would mean for (...) a society to take seriously the obligation to reduce individuals’ autonomy-related vulnerabilities to an acceptable minimum. In particular, we argue that standard liberal accounts underestimate the scope of this obligation because they fail to appreciate various threats to autonomy. (shrink)
The principle of legal paternalism justifies state coercion to protect individuals from self-inflicted harm, or in its extreme version, to guide them, whether they like it or not, toward their own good. Parents can be expected to justify their interference in the lives of their children on the ground that “daddy knows best.” legal paternalism seems to imply that since the state often can know the interests of individual citizens better than the citizens know them themselves, it stands as a (...) permanent guardian of those interests in loco parentis. Put in this blunt way, paternalism seems a preposterous doctrine. If adults are treated as children they will come in time to be like children. Deprived of the right to choose for themselves, they will soon lose the power of rational judgment and decision. Even children, after a certain point, had better not be “treated as children,” else they will never acquire the outlook and capability of responsible adults. (shrink)
In program synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system is open, then at each moment it reads input signals and writes output signals, which depend on the input signals and the history of the computation so far. The specification considers all possible input sequences. Thus, if the specification is linear, it should hold in every computation generated by the interaction, and if the specification is branching, it should hold in (...) the tree that embodies all possible input sequences. Often, the system cannot read all the input signals generated by its environment. For example, in a distributed setting, it might be that each process can read input signals of only part of the underlying processes. Then, we should transform a specification into a system whose output depends only on the readable parts of the input signals and the history of the computation. This is called synthesis with incomplete information. In this work we solve the problem of synthesis with incomplete information in its full generality. We consider linear and branching settings with complete and incomplete information. We claim that alternation is a suitable and helpful mechanism for coping with incomplete information. Using alternating tree automata, we show that incomplete information does not make the synthesis problem more complex, in both the linear and the branching paradigm. In particular, we prove that independently of the presence of incomplete information, the synthesis problems for CTL and CTL * are complete for EXPTIME and 2EXPTIME, respectively. (shrink)
I shall be concerned in this paper with some philosophical puzzles raised by so-called “wrongful life” suits. These legal actions are obviously of great interest to lawyers and physicians, but philosophers might have a kind of professional interest in them too, since in a remarkably large number of them, judges have complained that the issues are too abstruse for the courts and belong more properly to philosophers and theologians. The issues that elicit this judicial frustration are those that require the (...) application to border-line cases of such philosophically interesting concepts as acting, causing, and the one that especially interests me, harming. I first became interested in the concept of harming in my work on the moral limits of the criminal law, where I had to come to terms with John Stuart Mill's famous “harm principle”–the principle that it is always a good reason in support of a criminal prohibition, indeed, the only legitimate reason, that it will prevent harm to persons other than the actor. I could not very well criticize that principle until I decided what the word “harm” must mean in its formulation. I gave what I took to be the requisite analysis of harm in my book Harm to Others. Here I wish to improve that analysis, examine its implications for civil as well as criminal liability, and test it on conceptually hard cases, especially cases of prenatal harming, that is, cases in which the wrongful causative conduct occurs before the victim's birth, and the harmed state that is its upshot consists in being born in an impaired condition. (shrink)
We provide self-contained proof of a theorem relating probabilistic coherence of forecasts to their non-domination by rival forecasts with respect to any proper scoring rule. The theorem recapitulates insights achieved by other investigators, and clarifi es the connection of coherence and proper scoring rules to Bregman divergence.
I examine the warrants we have in light of the empirical successes of a kind of model I call ‘ hybrid models ’, a kind that includes climate models among its members. I argue that these warrants ’ strengths depend on inferential virtues that are not just explanatory virtues, contrary to what would be the case if inference to the best explanation provided the warrants. I also argue that the warrants in question, unlike those IBE provides, guide inferences only to (...) model implications about which there is real uncertainty. My conclusion provides criteria of adequacy for epistemologies of climate and other hybrid models. (shrink)
In this paper, I outline two strands of evidence for the conclusion that the dynamical approach to cognitive science both seeks and provides covering law explanations. Two of the most successful dynamical models—Kelso’s model of rhythmic finger movement and Thelen et al.’s model of infant perseverative reaching—can be seen to provide explanations which conform to the famous explanatory scheme first put forward by Hempel and Oppenheim. In addition, many prominent advocates of the dynamical approach also express the provision of this (...) kind of explanation as a goal of dynamical cognitive science. I conclude by briefly outlining two consequences. First, dynamical cognitive science’s explanatory style may strengthen its links to the so-called “situated” approach to cognition, but, secondly, it may also undermine the widespread intuition that dynamics is related to emergentism in the philosophy of mind. (shrink)