This is a position paper concerning the role of empirical studies of human default reasoning in the formalization of AI theories of default reasoning. We note that AI motivates its theoretical enterprise by reference to human skill at default reasoning, but that the actual research does not make any use of this sort of information and instead relies on intuitions of individual investigators. We discuss two reasons theorists might not consider human performance relevant to formalizing default reasoning: (a) that intuitions (...) are sufficient to describe a model, and (b) that human performance in this arena is irrelevant to a competence model of the phenomenon. We provide arguments against both these reasons. We then bring forward three further considerations against the use of intuitions in this arena: (a) it leads to an unawareness of predicate ambiguity, (b) it presumes an understanding of ordinary language statements of typicality, and (c) it is similar to discredited views in other fields. We advocate empirical investigation of the range of human phenomena that intuitively embody default reasoning. Gathering such information would provide data with which to generate formal default theories and against which to test the claims of proposed theories. Our position is that such data are the very phenomena that default theories are supposed to explain. (shrink)

James Higginbotham presents a theory of semantic interpretation which violates the principle of semantic compositionality. He gives an argument by means of an example construction in favor of his contention. I show that compositioinal theories have more resources than some researchers give it credit for, and that these can be used in two different ways to account for the phenomenon Higginbotham describes.

We investigate the notion of relevance as it pertains to ‘commonsense’, subjunctive conditionals. Relevance is taken here as a relation between a property (such as having a broken wing) and a conditional (such as birds typically fly). Specifically, we explore a notion of ‘causative’ relevance, distinct from ‘evidential’ relevance found, for example, in probabilistic approaches. A series of postulates characterising a minimal, parsimonious concept of relevance is developed. Along the way we argue that no purely logical account of relevance (even (...) at the metalevel) is possible. Finally, and with minimal restrictions, an explicit definition that agrees with the postulates is given. (shrink)

statistical linguistics with its own conception the main it is very clearly written. If the of what semantics is, IL, or some variant of..

In this study, we examine the problem of belief revision, defined as deciding whic h of several initially-accepted sentences to disbelieve, when new information presents a l ogical inconsistency with the initial set. In the first three experiments, the initial sentence set included a conditional sentence, a non-conditional sentence, and an inferred conclusi on drawn from the first two. The new information contradicted the inferred conclusion. Results indicated that the conditional sentences were more readily abandoned than non-c onditional sentences, even (...) when either choice would lead to a consistent belief state, and that this preference was more pronounced when problems used natural language cover sto ries rather than symbols. The pattern of belief revision choices differed depending on whe ther the contradicted conclusion from the initial belief set had been a modus ponens or m odus tollens inference. Two additional experiments examined alternative model-theoretic definitions of minimal change to a belief state, using problems that contained multiple mo dels of the initial belief state and of the new information that provided the contradiction. The results indicated that people did not follow any of four formal definitions of minimal change on these problems. The new information and the contradiction it offered was not, for example, used to select a particular model of the initial belief state as a way of reconci ling the contradiction. The preferred revision was to retain only those initial sentences th at had the same, unambiguous truth value within and across both the initial and new info rmation sets. The study and results are presented in the context of certain logic-based for malizations of belief revision, syntactic and model-theoretic representations of belief stat es, and performance models of human deduction. Principles by which some types of sent ences might be more "entrenched" than others in the face of contradiction are also discuss ed from the perspective of induction and theory revision. (shrink)

Although advances in the underlying theory of a subdiscipline of AI can result in impressive increases in the performance of systems that employ such an underlying theory, this sometimes seems to be almost "by accident." The reason for this impression is that the impressive new advance in performance sometimes seems to be a feature merely of the specific example tests that are being demonstrated. And this impression is further strengthened when one notes that, in general, a localized theoretical advance is (...) only rarely suflicient to increase the overall performance of any complex system. As a result of all these considerations, researchers who make theoretical advances are left desiring some method that would demonstrate that the advance really does have general, overall positive consequences for their system's performance. (shrink)

Agent communication languages (ACLs) invoke speech act theory and define individual message types by reference to particular combinations of beliefs and desires of the speaker (feasibility preconditions). Even when the mental states are restricted to a small set of nested beliefs, it seems that there might be a very large number of different possible preconditions, and therefore a very large number of different message types. With some constraints on the mental attitude of the speaker, we enumerate the possible belief states (...) that could serve as preconditions for individual message types, and we identify how these states correspond to different possible message types. We then compare these with FIPA’s primitive message types. Our approach clarifies the nature of core message types in an ACL, and perhaps settles issues concerning just how many, and what types of, speech acts should be seen as primitive in such languages. (shrink)

Default reasoning occurs when the available information does not deductively guarantee the truth of the conclusion; and the conclusion is nonetheless correctly arrived at. The formalisms that have been developed in Artificial Intelligence to capture this mode of reasoning have suffered from a lack of agreement as to which non-monotonic inferences should be considered correct; and so Lifschitz 1989 produced a set of “Nonmonotonic Benchmark Problems” which all future formalisms are supposed to honor. The present work investigates the extent to (...) which humans follow the prescriptions set out in these Benchmark Problems. (shrink)

Psychologism in logic is the doctrine that the semantic content of logical terms is in some way a feature of human psychology. We consider the historically influential version of the doctrine, Psychological Individualism, and the many counter-arguments to it. We then propose and assess various modifications to the doctrine that might allow it to avoid the classical objections. We call these Psychological Descriptivism, Teleological Cognitive Architecture, and Ideal Cognizers. These characterizations give some order to the wide range of modern views (...) that are seen as psychologistic because of one or another feature. Although these can avoid some of the classic objections to psychologism, some still hold. (shrink)

Department of Computing Science Departments of Philosophy and Computing Science University of Alberta University of Alberta Edmonton, Alberta T6G 2H1 Edmonton, Alberta T6G 2H..

Average-NPs, such as the one in the title of this paper, have been claimed to be ‘linguistically identical’ to any other definite-NPs but at the same time to be ‘semantically inconsistent’ with these other definite-NPs. To some this is an ironclad proof of the irrelevance of semantics to linguistics. We argue that both of the initial claims are wrong: average-NPs are not ‘linguistically identical’ to other definite-NPs but instead show a number of interesting divergences, and we provide a plausible semantic (...) account for them that is not ‘semantically inconsistent’ with the account afforded other definite-NPs but in fact blends quite nicely with one standard account of the semantics for NPs. (shrink)

Advances in the underlying theory of a subdiscipline of AI can result in an apparently impressive improvement in the performance of a system that incorporates the advance. This impression typically comes from observing improved performance of the new system on some test problems. However, the improvement in performance may be for only the problems used in the testing, and performance on other problems may be degraded, possibly resulting overall in an degradation of the system’s performance. This comes about typically when (...) the incorporation of the new feature increases the resources required overall, but the feature has bene- fits on only some problems (e.g., those used to test the new new system). In general, a localized theoretical advance is only rarely sufficient to increase the overall performance of any complex system. Therefore, researchers who make theoretical advances, also need some way to demonstrate that an advance really does have general, overall positive consequences for system.. (shrink)

Ternary exclusive or is the (two valued) truth function that is true just in case exactly one of its three arguments is true. This is an interesting truth function, not definable in terms of the binary exclusive or alone, although the binary case is definable in terms of the ternary case. This article investigates the types of truth functions that can be defined by ternary exclusive or, and relates these findings to the seminal work of Emil Post.

A certain direction in cognitive science has been to try to “ground” public language statements in some species of mental representation. A central tenet of this trend is that communication – that is, public language – succeeds (when it does) because the elements of this public language are in some way correlated with mental items of both the speaker and the audience so that the mental state evoked in the audience by the use of that piece of public language is (...) the one that the speaker wanted to evoke. The “meaning”, therefore, of an utterance – and of the parts of an utterance, such as individual sentences and their parts, the individual words, etc. – is, in this view, some mental item. Successful communication requires that there be widespread agreement amongst speakers of the same public language as to the mental entities that are correlated with any particular public words. (shrink)

Vagueness: an expression is vague if and only if it is possible that it give rise to a “borderline case.” A borderline case is a situation in which the application of a particular expression to a (name of) a particular object does not generate an expression with a definite TRUTH-VALUE. That is, the piece of language in question neither applies to the object nor fails to apply.

The semantics of noun phrases (NPs) is of crucial importance for both philosophy and linguistics. Throughout much of the history of the debate about the semantics of noun phrases there has been an implicit assumption about how they are to be understood. Basically, it is the assumption that NPs come only in two kinds. In this paper we would like to make that assumption explicit and discuss it and its status in the semantics of natural language. We will have a (...) look at how the assumption is to be understood more precisely, what its methodological status should be, whether it has been abandoned in recent work in semantics, and whether it should be abandoned in future work. To do all this, it’s best to start with some historical context. (shrink)

Computational semantics is the study of how to represent meaning in a way that computers can use. For the authors of this textbook, this study includes the representation of the meaning of natural language in logic formalisms, the recognition of certain relations that hold within this formalization (such as synonymy, consistency, and implication), and the computational implementation of all this. I think that, while there probably are not many courses devoted to computational semantics, this book could profitably be incorporated into (...) more traditional computational linguistics courses, especially when two courses are offered serially. The material here could be spread out and integrated into parts of a more standard pair of these courses, and it would result in a substantial widening of the knowledge that students come away with from these courses. (shrink)

However much one may wish for nonviolent solutions to the problems of unjust and unrestrained human violence that Glover explores in Humanity, some of those problems at present require violent responses. One cannot read his account of the Clinton administration’s campaign to sabotage efforts to stop the massacre in Rwanda in 1994 – a campaign motivated by fear that American involvement would cost American lives and therefore votes – without concluding that Glover himself believes that military intervention was morally required (...) in that case. Military intervention in another state that is intended to stop one group within that state from brutally persecuting or violating the human rights of members of another group is now known as “humanitarian intervention.” Those against whom the intervention is directed are almost always the government and its supporters, though this is not a necessary feature of humanitarian intervention. It is, however, a conceptual condition of humanitarian intervention that it does not occur at the request or with the consent of the government. The use of force within another state with the consent of the government counts as assistance rather than intervention. The principal reason that humanitarian intervention is contentious is that it seems to violate the target state’s sovereign right to control its own domestic affairs. Because humanitarian intervention is a response to human rights violations within the target state, it is regarded as altogether different from wars of defense against aggression. Indeed, since aggression is normally understood to be war against a state that.. (shrink)

Natural deduction is the type of logic most familiar to current philosophers, and indeed is all that many modern philosophers know about logic. Yet natural deduction is a fairly recent innovation in logic, dating from Gentzen and Jaśkowski in 1934. This article traces the development of natural deduction from the view that these founders embraced to the widespread acceptance of the method in the 1960s. I focus especially on the different choices made by writers of elementary textbooks—the standard conduits of (...) the method to a generation of philosophers—with an eye to determining what the ‘essential characteristics’ of natural deduction are. (shrink)

Most people are skeptical of the claim that the expectation that a person would have a life that would be well worth living provides a reason to cause that person to exist. In this essay I argue that to cause such a person to exist would be to confer a benefit of a noncomparative kind and that there is a moral reason to bestow benefits of this kind. But this conclusion raises many problems, among which is that it must be (...) determined how the benefits conferred on people by causing them to exist weigh against comparable benefits conferred on existing people. In particular, might the reason to cause people to exist ever outweigh the reason to save the lives of existing people? (shrink)

Jeff McMahan urges us to reject the view, dominant throughout history, that mere participation in an unjust war is not wrong.

Self-creation and autonomy -- Creation, society and the imaginary -- Self and world -- The living body -- The human psyche -- The whole world and more : the meaning of the monadic psyche and its fate -- Magmas -- Determination and the logic of indeterminate being -- Indeterminacy and interpretation -- Autonomy and meaning.

This book provides an original and provocative combination of ethnomethodological analysis and the concepts of linguistic philosophy with a breadth and clarity unusual in this field of writing. It is designed to be read by sociologists, psychologists and philosophers and concerns itself with the contributions of Wittgenstein, defending the claim for his relevance to the human sciences. However, this book goes some way beyond the usual limitations of such interdisciplinary works by outlining some empirical applications of ideas derived from the (...) Wittgenstein tradition. (shrink)

Towards the end of Aline Medeiros Ramos’s study of John Buridan on craft as an intellectual virtue, she mentions William Ockham in passing and points towards his conception of craft. In this paper, I take up her implicit invitation to explore that conception. I begin by reconstructing Ockham’s notion of craft, and then proceed to discuss three consequences of that conception: the moral neutrality of craft, the role of deliberation in craftwork, and the epistemic status of craft and the craftworker. (...) I conclude by summarizing a number of issues that Buridan, according to Medeiros Ramos, finds it important to discuss, and which are noticeably absent from Ockham’s considerations. (shrink)

In 2020, COVID-19, the Australia bushfires, and other global threats served as vivid reminders that human and nonhuman fates are increasingly linked. Human use of nonhuman animals contributes to pandemics, climate change, and other global threats which, in turn, contribute to biodiversity loss, ecosystem collapse, and nonhuman suffering. Jeff Sebo argues that humans have a moral responsibility to include animals in global health and environmental policy. In particular, we should reduce our use of animals as part of our pandemic (...) and climate change mitigation efforts and increase our support for animals as part of our adaptation efforts. Applying and extending frameworks such as One Health and the Green New Deal, Sebo calls for reducing support for factory farming, deforestation, and the wildlife trade; increasing support for humane, healthful, and sustainable alternatives; and considering human and nonhuman needs holistically. Sebo also considers connections with practical issues such as education, employment, social services, and infrastructure, as well as with theoretical issues such as well-being, moral status, political status, and population ethics. In all cases, he shows that these issues are both important and complex, and that we should neither underestimate our responsibilities because of our limitations, nor underestimate our limitations because of our responsibilities. Both an urgent call to action and a survey of what ethical and effective action requires, Saving Animals, Saving Ourselves is an invaluable resource for scholars, advocates, policy-makers, and anyone interested in what kind of world we should attempt to build and how. (shrink)

Some utterances of sentences such as ‘Every student failed the midterm exam’ and ‘There is no beer’ are widely held to be true in a conversation despite the facts that not every student in the world failed the midterm exam and that there is, in fact, some beer somewhere. For instance, the speaker might be talking about some particular course, or about his refrigerator. Stanley and Szabó (in Mind and Language v. 15, 2000) consider many different approaches to how contextual (...) information might give meaning to these ‘restricted quantifier domains’, and find all of them but one wanting. The present paper argues that their considerations against one of these other theories, considerations that turn on notions of compositionality, are incorrect. (shrink)

Governments today often apologize for past injustices and scholars increasingly debate the issue, with many calling for apologies and reparations. Others suggest that what matters are victims of injustice today, not injustices in the past. Spinner-Halev argues that the problem facing some peoples is not just the injustice of the past, but that they still suffer from injustice today. They experience what he calls enduring injustices, and it is likely that these will persist without action to address them. The history (...) of these injustices matters, not as a way to assign responsibility or because we need to remember more, but in order to understand the nature of the injustice and to help us think of possible ways to overcome it. Suggesting that enduring injustices fall outside the framework of liberal theory, Spinner-Halev spells out the implications of arguments for conceptions of liberal justice and progress, reparations, apologies, state legitimacy and post-nationalism. (shrink)

This paper argues against two prominent accounts of what it is to "promote a desire," found in the work of Stephen Finlay and Mark Schroeder.

In the case of an actual proper name such as ‘Aristotle’ opinions as to the Sinn may differ. It might, for instance, be taken to be the following: the pupil of Plato and teacher of Alexander the Great. Anybody who does this will attach another Sinn to the sentence ‘Aristotle was born in Stagira’ than will a man who takes as the Sinn of the name: the teacher of Alexander the Great who was born in Stagira. So long as the (...) Bedeutung remains the same, such variations of Sinn may be tolerated, although they are to be avoided.. (shrink)

In an attempt to address the theoretical gap between linguistics and philosophy, a group of semanticists, calling itself the Generic Group, has worked to develop a common view of genericity. Their research has resulted in this book, which consists of a substantive introduction and eleven original articles on important aspects of the interpretation of generic expressions. The introduction provides a clear overview of the issues and synthesizes the major analytical approaches to them. Taken together, the papers that follow reflect the (...) current state of the art in the semantics of generics, and afford insight into various generic phenomena. (shrink)

I argue that Husserlian phenomenology is metaphysically neutral, in the sense of being compatible with multiple metaphysical frameworks. For example, though Husserl dismisses the concept of an unknowable thing in itself as “material nonsense”, I argue that the concept is coherent and that the existence of such things is compatible with Husserl’s phenomenology. I defend this metaphysical neutrality approach against a number of objections and consider some of its implications for Husserl interpretation.

In an interesting experimental study, Bonini et al. (1999) present partial support for truth-gap theories of vagueness. We say this despite their claim to find theoretical and empirical reasons to dismiss gap theories and despite the fact that they favor an alternative, epistemic account, which they call ‘vagueness as ignorance’. We present yet more experimental evidence that supports gap theories, and argue for a semantic/pragmatic alternative that unifies the gappy supervaluationary approach together with its glutty relative, the subvaluationary approach.

Promotion is the relation between an act and a desire that obtains when the act advances or serves the desire. Under what conditions does an act promote a desire? Probabilistic accounts of promotion, the most prominent accounts, analyze promotion in terms of an increase in the probability of the desire’s satisfaction. In this paper, we clarify the promotion relation and explain why probabilistic accounts are attractive. Then we identify two questions probabilistic accounts must answer: the Baseline Question and the Interpretation (...) Question. We discuss and reject the three answers to the Baseline Question found in the literature, and explain the challenge future attempts at answering this question will face. Proponents of probabilistic accounts have not adequately addressed the Interpretation Question. We survey three answers to this question, finding each unsatisfactory. We conclude that no satisfactory probabilistic account has yet been offered, and that there are significant hurdles to providing one in the future. (shrink)

Source Hybridism about practical reasons is the position that facts that constitute reasons sometimes derive their normative force from external metaphysical grounds, and sometimes from internal. Although historically less popular than either Source Internalism or Source Externalism, hybridism has lately begun to garner more attention. Here, I further the hybridist's cause by defending Source Hybridism from three objections. I argue that we are not warranted in rejecting hybridism for any of the following reasons: that hybridists cannot provide an account of (...) normative weight, that hybridists are committed to implausible results concerning practical deliberation, or that Source Hybridism is objectionably unparsimonious. (shrink)

According to our traditional conception of agency, most human beings are agents and most, if not all, nonhuman animals are not. However, recent developments in philosophy and psychology have made it clear that we need more than one conception of agency, since human and nonhuman animals are capable of thinking and acting in more than one kind of way. In this paper, I make a distinction between perceptual and propositional agency, and I argue that many nonhuman animals are perceptual agents (...) and that many human beings are both kinds of agent. I then argue that, insofar as human and nonhuman animals exercise the same kind of agency, they have the same kind of moral status, and I explore some of the moral implications of this idea. (shrink)

In this article, I articulate and respond to an epistemological challenge to meta-normative realism. The challenge has it that, if realism about the normative is correct, and if evolutionary forces have significantly influenced our normative judgments, then it would be a remarkable coincidence if the content of the normative facts and our normative judgments were aligned. I criticize David Enoch's recent attempt to meet this challenge, but provide an alternative response that is structurally similar. I argue that if realism is (...) correct, then it would be remarkable if the content of our normative judgments and the normative facts were not significantly aligned. (shrink)

This paper exposes a common mistake concerning the division of linguistic labor. I characterize the mistake as an overgeneralization from natural kind terms; this misleads philosophers about which terms are subject to the division of linguistic labor, what linguistic labor is, how linguistic labor is divided, and how the extensions of non-natural kind terms subject to the division of linguistic labor are determined. I illustrate these points by considering Sally Haslanger’s account of the division of linguistic labor for social kind (...) terms and raising an objection to it. Then, I draw on Tyler Burge’s work to characterize a conception of the division of linguistic labor that avoids the mistaken overgeneralization and grounds 1–4 above in social norms and practices. (shrink)

The leitmotif of Freedom in Response, as the title suggests, is a reasoned exposition of the nature of freedom, as it is presented in the Bible and developed by such later theologians as Martin Luther. Oswald Bayer considers Luther's teachings on pastoral care, marriage, and the three estates, bringing in Kant and Hegel as conversation partners, together with Kant's friend and critic, the innovative theologian and philosopher Johann Georg Hamann. Oswald Bayer is a major contemporary Lutheran theologian, but so far (...) little of his work has been translated from German into English. This selection of essays indicates the depth and range of his thought on issues relating to theological ethics. (shrink)