In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.

This chapter contains sections titled: An Approach to the Logic of Action Normative Act Positions.

In this paper we attempt to supply answers to questions of the following kinds: How are database Integrity Constraints to be characterised formally? How is the concept of violation of an IC to be understood? What is the epistemic status of an IC? Following an analysis of the standard treatment of ICs, based on a simple example, we recall how Reiter provided a clear definition of the epistemic status of ICs. On Reiter's approach, ICs are implicitly supported by statements that (...) are guaranteed to be true; this property is explicit in the standard view of ICs, and we proceed to show how the standard view of ICs may be refined in the light of Reiter's work. We then supply formal definitions of the properties of Validity and Completeness which have to be enforced using ICs, and we give general formal results concerning techniques which can be used to check these properties. We propose to split the overall information involved in Integrity Checking into three components called DB, SAF and IC. DB represents a description of the world that is not necessarily guaranteed to be correct; SAF represents the information about the world that is guaranteed to be true, and which is used to check violations of Validity or Completeness; and IC defines the parts of DB for which the properties of Validity or Completeness must be enforced. (shrink)

The paper presents a logical framework for the representation of interactions between institutional agents, human agents and software agents. A case study is used to analyze how obligations on institutional agents are “propagated” to human and software agents, and how actions performed by these agents count as actions that satisfy the obligations imposed to institutional agents. It is shown that the relationship between the different kinds of obligations and actions can be represented in terms of the concept of “count as” (...) proposed by Searle, of role and of causality. The logical framework focus on those three concepts. (shrink)

The communication process is analysed on the basis of the notions of trust and agency. The aim of the paper is to clarify the role played by causality on the one hand and the role played by logical consequences of assumptions about trust in information sources on the other hand. The first part is informal and the second part refers to the logical framework of modal logic though it requires a quite limited background in this area.

Trust may have many different informal definitions. In this work, formal definitions are proposed in Modal Logic in order to have clear rules for reasoning about trust. We start from trust in some properties of an information source, like sincerity, competence or vigilance, about a given proposition. Then, this definition is extended to trust about all the propositions which are about a given topic. A further extension is about all the propositions which inform about a given individual. Specific logics are (...) presented for reasoning about the fact that a given proposition is about a given topic and for reasoning about the fact that a proposition informs about a given individual. At the end, we give a brief extension to qualitative graded trust. (shrink)

We propose a translation into Modal Logic of the ideas that formalise belief change in the Situation Calculus. This translation is extended to the case of revision. In the conclusion is presented a set of open issues.

During a dialogue, agents exchange information with each other and need thus to deal with incoming information. For that purpose, they should be able to reason effectively about trustworthiness of information sources. This paper proposes an argument-based system that allows an agent to reason about its own beliefs and information received from other sources. An agent's beliefs are of two kinds: beliefs about the environment and beliefs about trusting sources . Six basic forms of trust are discussed in the paper (...) including the most common one on sincerity. Starting with a base which contains such information, the system builds two types of arguments: arguments in favour of trusting a given source of information and arguments in favour of believing statements which may be received from other agents. We discuss how the different arguments interact and how an agent may decide to trust another source and thus to accept information coming from that source... (shrink)

The interactions among the components of a biological system can be given a logical representation that is useful for reasoning about them. One of the relevant problems that may be raised in this context is finding what would explain a given behaviour of some component; in other terms, generating hypotheses that, when added to the logical theory modelling the system, imply that behaviour. Temporal aspects have to be taken into account, in order to model the causality relationship that may link (...) the behaviour of a given component to that of another one. This paper presents a hypothesis generation method for linear temporal logic theories whose formulae have a restricted syntactic form, which is however sufficient to model cellular and molecular interactions, as they are often represented by biologists. The method exploits the duality between hypothesis generation and consequence finding, and can therefore be also used to infer the consequences of a given fact. It is based on a resolution system proposed by Cavalli and Fariñas del Cerro in 1984. (shrink)

This important book charts the development of philosophical thinking about history over the past 250 years, combining extracts from key texts with new explanatory and critical discussion. The book is designed to make the work of thinkers such as Hume, Herder, Hegel, Dilthey, Nietzsche, Heidegger and Foucault accessible to students with no prior knowledge of Western philosophy. An introductory section is followed by nine further chapters exploring contrasting schools of thought. The volume reveals the origins of contemporary trends in the (...) discipline and relates wider philosophical reflections to the study of history itself. It also points to connections between philosophy of history and literary and cultural theory which have developed in recent decades. (shrink)

Winner of the 1975 National Book Award, this brilliant and widely acclaimed book is a powerful philosophical challenge to the most widely held political and social positions of our age--liberal, socialist, and conservative.

Theories of discourse bring to realism new ideas about how knowledge develops and how representations of reality are influenced. We gain an understanding of the conceptual aspect of social life and the processes by which meaning is produced. This collection reflects the growing interest realist critics have shown towards forms of discourse theory and deconstruction. The diverse range of contributions address such issues as the work of Derrida and deconstruction, discourse theory, Eurocentrism and poststructuralism. What unites all of the contributions (...) is a sense that it is essential to provide a realist alternative to the hitherto dominance of social constructionism, hermeneutics and postmodernism, over many of the issues discussed. By developing a realist perspective the different authors attempt to embed discourse within the structured nature of the reality of the world. Realism can situate language, discourse and ideology within context specific, or 'causally efficacious' circumstances. Realism can help to uncover issues of power, representation, and subjectivity and how discursive and other social practices produce real effects. This can help us understand the manner in which social structures are reproduced through various forms of ideology and discourse. And by knowing this, we can start to address questions concerning human emancipation and how the world is to be transformed. (shrink)

Robert Stern investigates how scepticism can be countered by using transcendental arguments concerning the necessary conditions for the possibility of experience, language, or thought. He shows that the most damaging sceptical questions concern neither the certainty of our beliefs nor the reliability of our belief-forming methods, but rather how we can justify our beliefs.

What is right in the corporation is not what is right in a man's home or in his church," a former vice-president of a large firm observes. "What is right in the corporation is what the guy above you wants from you." Such sentiments pervade American society, from corporate boardrooms to the basement of the White House. In Moral Mazes, Robert Jackall offers an eye-opening account of how corporate managers think the world works, and of how big organizations shape (...) moral consciousnss. Based on extensive interviews with managers at every level of two industrial firms and of a large public relations agency, Moral Mazes takes the reader inside the intricate world of the corporation. It is a world where hard work does not necessarily lead to success, but where sharp talk, self-promotion, powerful patrons, and sheer luck might; where intense competition is masked by cheerfully bland public faces; where intentions are cloaked and frankness is simply one of many guises; and where words are always provisional and accountability often depends on the ability to outrun mistakes. In this topsy-turvy world, managers must bring often unforgiving technology and always difficult people together to make money, an uncompromising task demanding continual compromises with conventional verities. Moral issues are translated into practical concerns and into issues of public relations. Sooner or later, managrs ask themselves: How does one act in such a world and maintain a sense of personal integrity? Moral Mazes is a brilliant, sometimes disturbing, often wildly funny study of corporate thinking, decision-making, and morality. It is an analytical work of great importance, one filled with compelling real life stories of the men and women charged with running the business of America. It is a book for anyone interested in how big organizations actually function, or who is concerned with the current moral malaise in our public life. (shrink)

Permissivism says that for some propositions and bodies of evidence, there is more than one rationally permissible doxastic attitude that can be taken towards that proposition given the evidence. Some critics of this view argue that it condones, as rationally acceptable, sets of attitudes that manifest an untenable kind of arbitrariness. I begin by providing a new and more detailed explication of what this alleged arbitrariness consists in. I then explain why Miriam Schoenfield’s prima facie promising attempt to answer the (...) Arbitrariness Objection, by appealing to the role of epistemic standards in rational belief formation, fails to resolve the problem. Schoenfield’s strategy is, however, a useful one, and I go on to explain how an alternative form of the standards-based approach to Permissivism – one that emphasizes the significance of the relationship between people’s cognitive abilities and the epistemic standards that they employ – can respond to the arbitrariness objection. (shrink)

This is a paradigmatic work of contemporary philosophy.

In this book, Dr. Robert J. Levine reviews federal regulations, ethical analysis, and case studies in an attempt to answer these questions.

This is the most important book on Hegel to have appeared in the past ten years. Robert Pippin offers a completely new interpretation of Hegel's idealism, which focuses on Hegel's appropriation and development of kant's theoretical project. Hegel is presented neither as a precritical metaphysician nor as a social theorist, but as a critical philosopher whose disagreements with Kant, especially on the issue of intuitions, enrich the idealist arguments against empiricism, realism and naturalism. In the face of the dismissal (...) of absolute idealism as either unintelligible or implausible, Pippin explains and defends an original account of the philosophical basis for Hegel's claims about the historical and social nature of selfconsciousness, and so of knowledge itself. (shrink)

One of our great behavioral scientists, the bestselling author of Behave, plumbs the depths of the science and philosophy of decision-making to mount a devastating case against free will, an argument with profound consequences Robert Sapolsky's Behave, his now classic account of why humans do good and why they do bad, pointed toward an unsettling conclusion: We may not grasp the precise marriage of nature and nurture that creates the physics and chemistry at the base of human behavior, but (...) that doesn't mean it doesn't exist. Now, in Determined, Sapolsky takes his argument all the way, mounting a brilliant (and in his inimitable way, delightful) full-frontal assault on the pleasant fantasy that there is some separate self telling our biology what to do. Determined offers a marvelous synthesis of what we know about how consciousness works-the tight weave between reason and emotion and between stimulus and response in the moment and over a life. One by one, Sapolsky tackles all the major arguments for free will and takes them out, cutting a path through the thickets of chaos and complexity science and quantum physics, as well as touching ground on some of the wilder shores of philosophy. He shows us that the history of medicine is in no small part the history of learning that fewer and fewer things are somebody's "fault"; for example, for centuries we thought seizures were a sign of demonic possession. Yet, as he acknowledges, it's very hard, and at times impossible, to uncouple from our zeal to judge others and to judge ourselves. Sapolsky applies the new understanding of life beyond free will to some of our most essential questions around punishment, morality, and living well together. By the end, Sapolsky argues that while living our daily lives recognizing that we have no free will is going to be monumentally difficult, doing so is not going to result in anarchy, pointlessness, and existential malaise. Instead, it will make for a much more humane world. (shrink)

Classical American pragmatism: the pragmatist -- Enlightenment-and its problematic semantics -- Analyzing pragmatism: pragmatics and pragmatisms -- A Kantian rationalist pragmatism: pragmatism -- Inferentialism, and modality in Sellars's arguments against -- Empiricism -- Linguistic pragmatism and pragmatism about norms: an arc of -- Thought from Rorty's eliminative materialism to his pragmatism -- Vocabularies of pragmatism: synthesizing naturalism and -- Historicism -- Towards an analytic pragmatism: meaning-use analysis -- Pragmatism, expressivism, and anti-representationalism: -- Local and global possibilities.

Robert Hanna presents a fresh view of the Kantian and analytic traditions that have dominated continental European and Anglo-American philosophy over the last two centuries, and of the connections between them. But this is not just a study in the history of philosophy, for out of this emerges Hanna's original approach to two much-contested theories that remain at the heart of contemporary philosophy. Hanna puts forward a new 'cognitive-semantic' interpretation of transcendental idealism, and a vigorous defense of Kant's theory (...) of analytic and synthetic necessary truth, making this compelling reading for all who are interested in these fundamental philosophical issues. (shrink)

The Greek philosopher Aristotle, writing over two thousand years before Wall Street, called people who engaged in activities which did not contribute to society "parasites." In his latest work, renowned scholar Robert C. Solomon asserts that though capitalism may require capital, but it does not require, much less should it be defined by the parasites it inevitably attracts. Capitalism has succeeded not with brute strength or because it has made people rich, but because it has produced responsible citizens and--however (...) unevenly--prosperous communities. It cannot tolerate a conception of business that focuses solely on income and vulgarity while ignoring traditional virtues of responsibility, community, and integrity. Many feel that there is too much lip-service and not enough understanding of the importance of cooperation and integrity in corporate life. This book rejects the myths and metaphors of war-like competition that cloud business thinking and develops an "Aristotelean" theory of business. The author's approach emphasizes several core concepts: the corporation as community, the search for excellence, the importance of integrity and sound judgment, as well as a more cooperative and humane vision of business. Solomon stresses the virtues of honesty, trust, fairness, and compassion in the competitive business world, and confronts the problem of "moral mazes" and what he posits as its solution--moral courage. (shrink)

This is the first book-length study in any language to examine in detail and critically assess the second part of Kant's ethics- -an empirical, impure part, which determines how best to apply pure principles to the human situation. Drawing attention to Kant's under-explored impure ethics, this revealing investigation refutes the common and long-standing misperception that Kants ethics advocates empty formalism. Making detailed use of a variety of Kantian texts never before translated into English, author Robert B. Louden reassesses the (...) strengths and weaknesses of Kantian ethics as a whole, once the second part is re-admitted to its rightful place within Kant's practical philosophy. (shrink)

In his influential article ‘Essence and Modality’, Fine proposes a definition of necessity in terms of the primitive essentialist notion ‘true in virtue of the nature of’. Fine’s proposal is suggestive, but it admits of different interpretations, leaving it unsettled what the precise formulation of an Essentialist definition of necessity should be. In this paper, four different versions of the definition are discussed: a singular, a plural reading, and an existential variant of Fine’s original suggestion and an alternative version proposed (...) by Correia which is not based on Fine’s primitive essentialist notion. The first main point of the paper is that the singular reading is untenable. The second that given plausible background assumptions, the remaining three definitions are extensionally equivalent. The third is that, this equivalence notwithstanding, Essentialists should adopt Correia’s version of the definition, since both the existential variant, which has de facto been adopted as the standard version of the definition in the literature, and the plural reading suffer from problems connected to Fine’s primitive essentialist notion. (shrink)

Epistemic Sentimentalism is the view that emotional experiences such as fear and guilt are a source of immediate justification for evaluative beliefs. For example, guilt can sometimes immediately justify a subject’s belief that they have done something wrong. In this paper I focus on a family of objections to Epistemic Sentimentalism that all take as a premise the claim that emotions possess a normative property that is apparently antithetical to it: epistemic reason-responsiveness, i.e., emotions have evidential bases and justifications can (...) be demanded of them. I respond to these objections whilst granting that emotions are reason-responsive. This is not only dialectically significant vis-à-vis the prospects for Epistemic Sentimentalism, but also supports a broader claim about the compatibility of a mental item’s being reason-responsive and its being a generative source of epistemic justification. (shrink)

This paper concerns the applications of two-dimensional modal semantics to the explanation of the contents of speech and thought. Different interpretations and applications of the apparatus are contrasted. First, it is argued that David Kaplan's two-dimensional semantics for indexical expressions is different from the use that I made of a formally similar framework to represent the role of contingent information in the determination of what is said. But the two applications are complementary rather than conflicting. Second, my interpretation of the (...) apparatus is contrasted with that of David Chalmers, Frank Jackson, and David Lewis. It is argued that this difference reflects a contrast between internalist and externalist approaches to the problem of intentionality. (shrink)

Introduction 3 Chapter One: Natural Cognition 11 Chapter Two: Maturational Naturalness 31 Chapter Three: Unnatural Science 83 Chapter Four: Natural Religion 145 Chapter Five: Surprising Consequences 223.

A sourcebook for developing and facilitating collaborative groups capable of continuously adapting to anticipate the evolving learning needs of students. Based on a theoretical foundation of schools as complex systems in which linear management models are no longer sufficient.

This paper examines two recent contributions to the hate speech literature – by Steven Heyman and Jeremy Waldron – which seek a justification for the legal restriction of hate speech in an account of the way that hate speech infringes against people’s dignity. These analyses look beyond the first-order hurts and disadvantages suffered by the immediate targets of hate speech, and consider the prospect of hate speech sustaining complex social structures whose wide-scale operations lower the social status of members of (...) targeted groups. In Heyman’s and Waldron’s accounts we find plausible insights into the nature of identity-based social hierarchies, and the harms that redound to subordinated people under the operations of such hierarchies. I argue, however, that both analyses are unsuccessful as justifications for the restriction of hate speech, because they do not ultimately provide reason to think that hate speech is responsible for creating or sustaining identity-based social hierarchies. (shrink)

What, if anything, do we epistemically owe to each other? Various “traditional” views of epistemology might hold either that we don’t epistemically owe anything to each other, because “what we owe to each other” is the realm of the moral, or that what we epistemically owe to each other is just to be epistemically responsible agents. Basu (2019) has recently argued, against such views, that morality makes extra-epistemic demands upon what we should believe about one another. So, what we owe (...) to each other is not just a matter of word and deed, but also of belief. And in fact, Basu argues, sometimes those moral demands require us to believe in ways that cut against orthodox epistemic norms. This paper has three aims. First, to offer two strategies for accommodating the kinds of cases Basu discusses while nonetheless holding that only epistemic normativity makes demands on belief. Second, to offer an alternative account of what we owe to each other that does not hold that morality demands that we sometimes believe against our evidence or in violation of epistemic norms. And third, to give a brief diagnosis of why it seems intuitive that morality makes extra-epistemic doxastic demands on us. Ultimately, I argue that what we epistemically owe to each other does not require us to violate orthodox, invariantist epistemic norms. Morality demands that we have a proper regard for others, not that we sometimes believe against our evidence. (shrink)

The Joy of Philosophy is a return to some of the perennial questions of philosophy--questions about the meaning of life; about death and tragedy; about the respective roles of rationality and passion in the good life; about love, compassion, and revenge; about honesty, deception, and betrayal; and about who we are and how we think about who we are. Recapturing the heart-felt confusion and excitement that originally brings us all to philosophy, internationally renowned teacher and lecturer Robert C. Solomon (...) offers both a critique of contemporary philosophy and an invitation to engage in philosophy in a different way. He attempts to save philosophy from itself and its self-imposed diet of thin arguments and logical analysis to recover the richness and complexity of life in thought. Solomon defends the passionate life in contrast to the life of thoughtful contemplation idealized by so many philosophers, attempting to recapture the kind of philosophy that Nietzsche celebrated as a "joyful wisdom.". (shrink)

A framework for pragmatic analysis is proposed which treats discourse as a game, with context as a scoreboard organized around the questions under discussion by the interlocutors. The framework is intended to be coordinated with a dynamic compositional semantics. Accordingly, the context of utterance is modeled as a tuple of different types of information, and the questions therein — modeled, as is usual in formal semantics, as alternative sets of propositions — constrain the felicitous flow of discourse. A requirement of (...) Relevance is satisfied by an utterance (whether an assertion, a question or a suggestion) iff it addresses the question under discussion. Finally, it is argued that the prosodic focus of an utterance canonically serves to reflect the question under discussion (at least in English), placing additional constraints on felicity in context. (shrink)

Exponents and critics of semantic presupposition have almost invariably based their discussion on the ('Standard') definition of presupposition implied by Frege and Strawson. In this study Noel Burton-Roberts argues convincingly against this definition, that leads it to a three-valued semantics. He presents a very simple semantic definition which is weaker, more general and leads to a semantics more easily interpreted as two-valued with gaps. The author shows that a wide range of intuitive facts that eluded the Standard definition follow directly (...) from this ('Revised') definition itself: facts about the presuppositions of compound sentences and modal sentences, about presuppositional conflict and about differences in the logical status of simple sentences suffering from presupposition failure. The book includes a detailed argument that an ambiguity of natural language negation, generally assumed to be necessary to the defence of semantic presupposition, is neither possible nor necessary in a presuppositional semantics. Noel Burton-Roberts has made an authoritative contribution to a debate which has involved philosophers and linguists for many years. His command of the issues, his clarity of exposition and his theoretical insight may well serve to change the boundaries of that debate. (shrink)

We make the case that the Prisoner’s Dilemma, notwithstanding its fame and the quantity of intellectual resources devoted to it, has largely failed to explain any phenomena of social scientific or biological interest. In the heart of the paper we examine in detail a famous purported example of Prisoner’s Dilemma empirical success, namely Axelrod’s analysis of WWI trench warfare, and argue that this success is greatly overstated. Further, we explain why this negative verdict is likely true generally and not just (...) in our case study. We also address some possible defenses of the Prisoner’s Dilemma. (shrink)

In disagreements about trivial matters, it often seems appropriate for disputing parties to adopt a ‘middle ground’ view about the disputed matter. But in disputes about more substantial controversies (e.g. in ethics, religion, or politics) this sort of doxastic conduct can seem viciously acquiescent. How should we distinguish between the two kinds of cases, and thereby account for our divergent intuitions about how we ought to respond to them? One possibility is to say that ceding ground in a trivial dispute (...) is appropriate because the disputing parties are usually epistemic peers within the relevant domain, whereas in a more substantial disagreement the disputing parties rarely, if ever, qualify as epistemic peers, and so ‘sticking to one’s guns’ is usually the appropriate doxastic response. My aim in this paper is to explain why this way of drawing the desired distinction is ultimately problematic, even if it seems promising at first blush. (shrink)

This paper explores the relationship between eugenics, disability, and dehumanization, with a focus on forms of eugenics beyond Nazi eugenics.

Comprehensie collection of historical and contemporary philosophies of technology, including Plato, Aristotle, St. Simon, Comte, Marx, Heidegger, Mumford, Foucault.

Robert Stalnaker draws together in this volume his seminal work in metaphysics. The central theme is the role of possible worlds in articulating our various metaphysical commitments. The book begins with reflections on the general idea of a possible world, and then uses the framework of possible worlds to formulate and clarify some questions about properties and individuals, reference, thought, and experience. The essays also reflect on the nature of metaphysics, and on the relation between questions about what there (...) is and questions about how we talk and think about what there is. Two of the fourteen essays, plus an extensive introduction that sets the papers in context and draws out the essays' common threads, are published here for the first time. (shrink)

Externalist theories hold that a comprehensive understanding of mental disorder cannot be achieved unless we attend to factors that lie outside of the head: neural explanations alone will not fully capture the complex dependencies that exist between an individual’s psychiatric condition and her social, cultural, and material environment. Here, we firstly offer a taxonomy of ways in which the externalist viewpoint can be understood, and unpack its commitments concerning the nature and physical realization of mental disorder. Secondly, we apply a (...) strongly externalist approach to the case of Autistic Spectrum Disorder, and argue that this condition can be illuminated by appeal to the hypothesis of extended cognition. We conclude by briefly considering the significance this strongly externalist approach may have for psychiatric practice and pedagogy. (shrink)

Examines the skeptical arguments in David Hume's major work and analyzes the place of skepticism in his philosophy.