Search

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...

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

Zupko, Jack

Buridan was a brilliant logician and, thanks to his many students who spread his teachings and writings throughout universities in Italy and central Europe, one of the most influential interpreters of Aristotle in the later MA. His logical masterwork, the Summulae de Dialectica, is a...

1993

Zupko, Jack

Nominalists, it is said, are defined by their opposition to the needless multiplication of entities. For most fourteenth-century nominalists, parsimony was in the first instance a logico-semantic matter, raising the question of how one should explain the truth conditions of sentences without...

1986

Pelletier, Francis J., Rudnicki, Piotr

Introduction: Some problems that are difficult for automated theorem provers (ATPs) are so merely because of their size, but not because of any logical or conceptual complexity. Examples of this type of difficult problem have been published in the past: see Pelletier [1986: problems 12, 29, 34,...

1977

Pelletier, Francis J.

It is an extremely popular view among logicians and some linguists (McCawley, Hurford) that there are two distinct or's in English - an \"inclusive\" and an \"exclusive\". It seems equally popular among lexicographers, experts on proper usage, and some linguists (R. Lakoff) that there is only...

1984

Pelletier, Francis J.

I wish to first formulate a criterion according to which two systems of logic might be said to be \"really the same system\" in spite of their having different vocabulary — especially where the difference is in the logical operators each has. One way of doing this might be to show that the...

1984

Pelletier, Francis J.

P.P. Gibbins closes his article (\"The Strange Modal Logic of Indeterminacy\" Logique et Analyse #100 :443446) with \"But indeterminacy generates a strange modal logic. The semantical business of there being classes of indeterminate worlds accessible to no worlds not even to themselves is strange...

1990

Linsky, Bernard

THE TITLE OF this paper is in the past tense to indicate that the question it will address is whether the Axiom of Reducibility is a principle of logic according to the view of logic that Russell had when writing the first edition of Principia Mathematica.' It is often said that Logicism was a...