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)

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)

In William Ockham on Metaphysics, Jenny E. Pelletier gives an account of Ockham's concept of metaphysics as the science of being and God as it emerges sporadically throughout his philosophical and theological work.

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)

We often evaluate belief-forming processes, agents, or entire belief states for reliability. This is normally done with the assumption that beliefs are all-or-nothing. How does such evaluation go when we’re considering beliefs that come in degrees? I consider a natural answer to this question that focuses on the degree of truth-possession had by a set of beliefs. I argue that this natural proposal is inadequate, but for an interesting reason. When we are dealing with all-or-nothing belief, high reliability leads to (...) high levels of truth-possession. However, when it comes to degrees of belief, reliability and truth-possession part ways. The natural answer thus fails to be a good way to evaluate degrees of belief for reliability. I propose and develop an alternative method based on the notion of calibration, suggested by Frank Ramsey, which does not have this problem and consider why we should care about such assessments of reliability even if they are not tied directly to truth-possession. (shrink)

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)

The general aim of this volume is to investigate the nature of the relation between pictorial experience and aesthetic appreciation. In particular, it is concerned with the character and intimacy of this relationship: is there a mere causal connection between pictorial experience and aesthetic appreciation, or are the two relata constitutively associated with one another? The essays in the book's first section investigate important conceptual issues related to the pictorial experience of paintings. In Section II, the essays discuss the notion (...) of styles, techniques, agency, and facture, and also take into account the experience of photographic and cinematic pictures. The Pleasure of Pictures goes substantially beyond current debates in the philosophy of depiction to launch a new area of reflection in philosophical aesthetics. (shrink)

This edited volume presents new lines of research dealing with the language of thought and its philosophical implications in the time of Ockham. It features more than 20 essays that also serve as a tribute to the ground-breaking work of a leading expert in late medieval philosophy: Claude Panaccio. Coverage addresses topics in the philosophy of mind and cognition, concepts, logic and language, action theory, and more. A distinctive feature of this work is that it brings together contributions in both (...) French and English, the two major research languages today on the main theme in question. It unites the most renowned specialists in the field as well as many of Claude Panaccio’s former students who have engaged with his work over the years. In furthering this dialogue, the essays render key topics in fourteenth-century thought accessible to the contemporary philosophical community without being anachronistic or insensitive to the particularities of the medieval context. As a result, this book will appeal to a general population of philosophers and historians of philosophy with an interest in logic, philosophy of language, philosophy of mind, and metaphysics. (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.

An important issue in epistemology concerns the source of epistemic normativity. Epistemic consequentialism maintains that epistemic norms are genuine norms in virtue of the way in which they are conducive to epistemic value, whatever epistemic value may be. So, for example, the epistemic consequentialist might say that it is a norm that beliefs should be consistent, in that holding consistent beliefs is the best way to achieve the epistemic value of accuracy. Thus epistemic consequentialism is structurally similar to the family (...) of consequentialist views in ethics. Recently, philosophers from both formal epistemology and traditional epistemology have shown interest in such a view. In formal epistemology, there has been particular interest in thinking of epistemology as a kind of decision theory where instead of maximizing expected utility one maximizes expected epistemic utility. In traditional epistemology, there has been particular interest in various forms of reliabilism about justification and whether such views are analogous to—and so face similar problems to—versions of consequentialism in ethics. This volume presents some of the most recent work on these topics as well as others related to epistemic consequentialism, by authors that are sympathetic to the view and those who are critical of it. (shrink)

Although debate is a richly structured and prevalent form of discourse, it has received little scholarly attention. Logicians have focused on the structure of individual arguments-how they divide into premises and conclusions, which in turn divide into various constituents. In contrast, I focus on the structure of sets of arguments, showing how arguments are themselves constituents in high-level dialectical structures. I represent debates and positions by graphs whose vertices correspond to arguments and whose edges correspond to two inter-argument relations: "dispute" (...) and "support," respectively. On this basis I develop a theory of the structure of debate. (shrink)

Theories of the structure of affect make competing predictions about whether people can feel happy and sad at the same time. Considerable evidence that happiness and sadness can co-occur has accumulated in the past 15 years, but holes in the case remain. I describe those holes and suggest strategies for testing them in future research. I also explore the possibility that the case may never be closed, in part because the competing hypotheses may not be entirely falsifiable. Fortunately, hypotheses need (...) not be falsifiable to be useful. Research on mixed emotions has been generative and the body of research will continue to shed light on the structure of affect. (shrink)

A generic statement is a type of generalization that is made by asserting that a "kind" has a certain property. For example we might hear that marshmallows are sweet. Here, we are talking about the "kind" marshmallow and assert that individual instances of this kind have the property of being sweet. Almost all of our common sense knowledge about the everyday world is put in terms of generic statements. What can make these generic sentences be true even when there are (...) exceptions? A mass term is one that does not "divide its reference;" the word water is a mass term; the word dog is a count term. In a certain vicinity, one can count and identity how many dogs there are, but it doesn't make sense to do that for water--there just is water present. The philosophical literature is rife with examples concerning how a thing can be composed of a mass, such as a statue being composed of clay. Both generic statements and mass terms have led philosophers, linguists, semanticists, and logicians to search for theories to accommodate these phenomena and relationships. The contributors to this interdisciplinary volume study the nature and use of generics and mass terms. Noted researchers in the psychology of language use material from the investigation of human performance and child-language learning to broaden the range of options open for formal semanticists in the construction of their theories, and to give credence to some of their earlier postulations--for instance, concerning different types of predications that are available for true generics and for the role of object recognitions in the development of count vs. mass terms. Relevant data also is described by investigating the ways children learn these sorts of linguistic items: children can learn how to sue generic statements correctly at an early age, and children are adept at individuating objects and distinguishing them from the stuff of which they are made also at an early age. (shrink)

This is the second in a series of two papers by the same author on organisational values. The first paper, in the previous issue of Philosophy of Management,1 showed how senior managers interpret texts to constitute organisational values. The research showed that organisational values are constituted through three hermeneutic circles — fragmentation/integration, conceptuality/contextuality and temporality — that provide an integrated medium for interpreting values. The three hermeneutic circles are mediated by a fourth: the tropological circle, where metaphor and homonymy fuse (...) horizons, and synecdoche and metonymy relate parts and whole. Both texts and tropes mediate the transvaluation of organisational values across time. The first paper reported the findings and built a theoretical framework, while this second paper builds on the theoretical and empirical work to consider the implications for management practice. (shrink)

A range of stakeholders are interested in organisational values, with demands from consumers, trade unions and pressure groups. Organisations face the challenge of integrating employees from several cultures and overcoming value differences. Coupled with this emphasis on organisational values there is increasing interest in the role of discourse in constituting meaning. This research shows how texts constitute organisational values. Hermeneutics is used to analyse the texts of the Open University and UK FTSE4good companies. The research shows that organisational values are (...) constituted through three hermeneutic circles — fragmentation/integration, conceptuality/contextuality and temporality — that provide an integrated medium for interpreting values. The three hermeneutic circles are mediated by a fourth: the tropological circle, where metaphor and homonymy fuse horizons, and synecdoche and metonymy relate parts and whole. Both texts and tropes mediate the transvaluation of organisational values across time. In recontextualising its values the organisation becomes a metaphor of itself. (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)

Aron Gurwitsch’s Gestalt-inspired “field theory of consciousness” was introduced in the same period as Wolfgang Köhler’s theory of “electrical brain fields.” I consider parallels between these theories, drawing on results that have emerged in the last five years. First, I consider the claim that fields of consciousness supervene on electromagnetic fields in the brain, then I outline Gurwitsch’s field theory of consciousness, and finally I consider how the structures described by Gurwitsch might relate to structures in the brain’s electro-magnetic field. (...) Along the way, I expose a dogma (that qualia are paradigmatic conscious states) and develop an interpretation of Gurwitsch’s field theory. (shrink)