Search
Skip to Search Results-
1995
Pelletier, Francis J., Sutcliffe, Geoff
Introduction: In 1986 Pelletier published an annotated list of logic problems, intended as an aid for students, developers, and researchers to test their automated theorem proving (ATP) systems. The 75 problems in the list are subdivided into propositional logic (Problems 1-17), monadic-predicate...
-
1997
Pelletier, Francis J., Elio, Renée
This study examines the problem of belief revision, defined as deciding which of several initially accepted sentences to disbelieve, when new information presents a logical inconsistency with the initial set. In the first three experiments, the initial sentence set included a conditional...
-
2008
Pelletier, Francis J., Jin, Yi, Delgrande, James
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to provide an update operator that is intuitive, in that its definition is based on a recursive decomposition of the update...
-
2007
Pelletier, Francis J., Pagin, Peter
Introduction: It is traditional, at least since Grice, to make a distinction between what is called the literal meaning of an utterance and what is meant by that utterance. The former notion is sometimes thought of as ‘‘the dictionary meanings of words plus standard semantic effects of the...
-
2013
Because of ‘arguments from the infinity of language’, compositionality is often seen as a ‘non-negotiable’ feature of any theory of the semantics of natural language. But there are a number of features of ‘ordinary language discourse’ that make it seem that compositionality is not true of natural...
-
1982
Pelletier, Francis J., Schubert, Lenhart K.
Introduction: We describe an approach to parsing and logical translation that was inspired by Gazdar's work on context-free grammar for English. Each grammar rule consists of a syntactic part that specifies an acceptable fragment of a parse tree, and a semantic part that specifies how the logical...
-
2010
This chapter introduces the linguistic phenomena that are called “genericity” (both the so‐called reference to a kind and the characterizing statement types) and shows how they have figured into a wide range of fields, such as ethics and philosophy of science (both within philosophy), commonsense...
-
2012
This chapter investigates the rationale for having the lexical categories or features mass and count. Some theories make the features be syntactic; others make it be semantic. It is concluded here that none of the standard accounts of their function actually serve the purpose for which they are...
-
2012
Pelletier, Francis J., Lepore, Ernest
This paper is an investigation into the role of linguistics in philosophical theorizing. In particular, we will show how linguistic evidence can be adduced in support of an event approach to action verbs and their adverbial modifiers: if we increase the adicity of verbs, if we allow there to be...
-
2013
Pelletier, Francis J., Asher, Nicholas
In Pelletier and Asher (1997) we presented a modal conditional analysis of the semantic interpretation of characterizing generics (in the terminology of Krifka et al. 1995). Since that time there have been a number of advances to our understanding of this area: Cohen (1999a,b, 2005), Leslie...