SearchSkip to Search Results
- 12Pelletier, Francis J.
- 1Elio, Renée
- 1Lee, Yun Sup.
- 1Linsky, Bernard
- 1Malo, Daria Gural.
- 1Newman, John
- 14Philosophy, Department of
- 8Philosophy, Department of/Journal Articles (Philosophy)
- 6Graduate Studies and Research, Faculty of
- 6Graduate Studies and Research, Faculty of/Theses and Dissertations
- 5Philosophy, Department of/Book Reviews (Philosophy)
- 1Philosophy, Department of/Book Chapters (Philosophy)
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...
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...
The first chapter of the thesis presents Frank P. Ramsey ’s seminal treatment of “If ... , then ...” statements. We also explain how Stalnaker and Thomason  picked up on Ramsey’s idea and undertook the task of giving truth conditions for counterfactual conditionals in contrast to...
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...
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...
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,...
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...