FRANCIS JEFFRY PELLETIER
Ph.D. DISSERTATION (Philosophy)
"Some Problems of Non-Singular Reference: A Logic for Mass, Sortal, and Adverbial Terms" (UCLA, 1971). Montgomery Furth (Chm.), John Perry, Keith Donnellan, Barbara Hall Partee (Linguistics), Frank Lewis (Classics).
M.A. ESSAY (Philosophy)
"Tarski's Theory of Truth without Infinite Sequences" (Univ. Nebraska, 1966). Charles Sayward (Supervisor)
M.Sc. THESIS (Linguistics)
"The Structure of the Subjective Lexicon" (Univ. of Alberta, 1978) W.J. Baker (Chm.), Gary Prideaux, Bruce Derwing, Mary Lois Markworth, W.W. Rozeboom (Psychology).
M.Sc. THESIS (Computing Science)
"Completely Non-Clausal, Completely Heuristically Driven Automatic Theorem Proving" (Univ. of Alberta, 1983) Lenhart K. Schubert (Chm.), Jeffrey R. Sampson, W. David Sharp (Philosophy).
PRIMARY RESEARCH AREAS
Philosophy of Language Formal Semantics Modern Philosophical Analysis
SECONDARY RESEARCH AND TEACHING AREAS
Formal Logic Ancient Greek Philosophy
Empiricism (History of Modern Philosophy)PUBLICATIONS--These are divided into the following categories:
A. Mass Terms
B. Generics
C. Compositionality
D. Computational & Mathematical Linguistics
E. Vagueness
F. Other Philosophy of Language
2. Cognitive Science
3. History of Philosophy
A. Ancient Greek
B. Early Modern
C. Modern
4. Logic and Philosophy of Logic
5. Automated Theorem Proving
6. Artificial Intelligence
1. Language
1. F.J. Pelletier (1974) "On Some Proposals for the Semantics of Mass Terms" Jour. Phil. Logic pp. 87-108.
3. Editor of Special Issue of Synthese ("On Mass Terms ") (Synthese v. 31, Nos. 3/4) 1975.
4. F.J. Pelletier (1975) "A Bibliography of Recent Work on Mass Terms" Synthese 31: 523-526.
(Updated and reprinted in Pelletier Mass Terms 1979: pp. 295-298).
5. F.J. Pelletier (ed.) (1979) Mass Terms: Some Philosophical Problems Reidel: Dordrecht.
6. F.J. Pelletier (1979) "Editorial Introduction" in Pelletier Mass Terms pp. vii-xii.
7. F.J. Pelletier (1979) "Sharvy on Mass Predication" in Pelletier Mass Terms pp. 55-61.
8. L.K. Schubert & F.J. Pelletier (1987) Three Papers on the Logical Form of Generics, Habituals, and Mass Terms, (co-author: L.K. Schubert) Technical Report TR87-3, Dept. of Computing Science, Univ. of Alberta, (iv+235).
9. L.K. Schubert & F.J. Pelletier (1987) "Problems in Representing the Logical Form of Generics, Bare Plurals, and Mass Terms" in E. Lepore (ed) New Directions in Semantics Academic Press, 1987: 387-453.
10. F.J. Pelletier & L.K. Schubert (1989) "Mass Expressions" in D. Gabbay & F. Guenthner (eds) Handbook of Philosophical Logic, Vol. 4 (Dordrecht: Reidel) 1989: 327-407.
11. F.J. Pelletier (1991) "Mass Terms" in B. Smith (ed) Handbook of Metaphysics and Ontology (Philosophia Press: Munich) pp. 495-499.
12. F.J. Pelletier (1998) "Mass Terms" in The Routledge Encyclopedia of Philosophy.
1. L.K. Schubert & F.J. Pelletier (1987) Three Papers on the Logical Form of Generics, Habituals, and Mass Terms, (co-author: L.K. Schubert) Technical Report TR87-3, Dept. of Computing Science, Univ. of Alberta, (iv+235).
2. L.K. Schubert & F.J. Pelletier (1987) "An Outlook on Generic Statements" in M. Krifka (ed) Proceedings of the Tübingen Conference on Generics Tech Report, Univ. Tübingen, pp. ???
3. L.K. Schubert & F.J. Pelletier (1987) "Problems in Representing the Logical Form of Generics, Bare Plurals, and Mass Terms" in E. Lepore (ed) New Directions in Semantics Academic Press, pp. 387-453.
4. L.K. Schubert & F.J. Pelletier (1989) "Generically Speaking, Or, Using Discourse Representation Theory to Interpret Generics" in G. Chierchia, B. Partee, R. Turner (eds) Property Theory, Type Theory, and Semantics, Vol. II Kluwer pp. 193-268.
5. G.N. Carlson & F.J. Pelletier (eds) (1995) The Generic Book Chicago: University of Chicago Press.
6. M.Krifka, F.J. Pelletier, G.Carlson, A. ter Meulen, G.Chierchia & G.Link (1995) "Genericity: An Introduction" in Carlson & Pelletier (eds) The Generic Book pp. 1-124.
7. M. Krifka & F.J. Pelletier (1995) "Generics: A Comprehensive Bibliography" in Carlson & Pelletier (eds) The Generic Book pp. 427-449.
8. F.J. Pelletier & N. Asher (1997) "Generics and Defaults" in J. van Benthem & A. ter Meulen (eds) Handbook of Logic and Language (Amsterdam: North Holland) pp. 1125-1177.
(Postscipt version)1. F.J. Pelletier (1993) "Remarks on Internal and External Semantics" in J.Macnamara & G.Reyes (eds) The Logical Foundations of Cognition (Oxford UP), pp. 283-295.
2. F.J. Pelletier (1994) "On an Argument Against Semantic Compositionality" in D.Prawiz & D. Westerståhl (eds) Logic and Philosophy of Science in Uppsala (Kluwer Pubs) pp. 599-610.
3. F.J. Pelletier (1994) "The Principle of Semantic Compositionality" Topoi 13: 11-24.
4. F.J. Pelletier (1994) "Semantic Compositionality: The Argument from Synonymy" in R.Casati, B.Smith, G.White (eds) Philosophy and the Cognitive Sciences (Vienna: Hölder-Pichler-Tempsky) pp. 208-214.
5. A. Kazmi & F.J. Pelletier (1998) "Is Compositionality Formally Vacuous?" Linguistics and Philosophy v. 21, pp. 629-633.
6. F.J. Pelletier (forthcoming) "Did Frege Believe Frege's Principle?" Journal of Logic, Language, and Information
7. F.J. Pelletier (forthcoming) "Semantic Compositionality: The Argument from Ambiguity and Free Algebras" Proceedings of Seventh Conference on Logic, Language, and Computation.
D. Computational & Mathematical Linguistics
1. F.J. Pelletier (1980) "The Generative Power of Rule Orderings in Formal Grammars" Linguistics pp. 17-72.
2. L.K. Schubert & F.J. Pelletier (1982) "From English to Logic: Context-Free Computation of 'Conventional' Logic Translations" American Jour. Computational Linguistics pp. 26-44.
(Reprinted, with corrections, in B. Grosz, K. Spark-Jones, B. Webber Readings in Natural Language Processing (Morgan Kaufmann Pub. Co.: Los Gatos, Cal) 1986: 293-311.)
3. F.J. Pelletier (1988) "Vacuous Relatives and the (Non-) Context-Freeness of English" Linguistics and Philosophy pp. 255-260.
4. F.J. Pelletier (1998) "Review of van Deemter & Peters Ambiguity and Underspecification" in Reviews in Philosophy.
1. F.J. Pelletier (1985) "The Not-So-Strange Modal Logic of Indeterminacy" Logique et Analyse, pp. 415-422.
2. F.J. Pelletier (1988) "The Good, The Bad, and the Ugly". Translated into Hungarian, published in Tertium non Datur, 5: 89-115.
3. F.J. Pelletier (1989) "Another Argument against Vague Objects" Journal of Philosophy 86: 481-492.
4. F.J. Pelletier & I. Berkeley (1995) "Vagueness" in R.Audi (ed) Cambridge Dictionary of Philosophy (Cambridge UP), pp. 825-827.
F. Other Philosophy of Language
1. F.J. Pelletier (1972) "Restricted Quantification and Sortal Quantification" Phil. Studies pp. 400-404.
2. J. King-Farlow & F.J. Pelletier (1977) "Pains Across Persons Across Possible Worlds" Idealistic Studies pp. 61-75.
3. F.J. Pelletier (1977) "Or" Theoretical Linguistics pp. 61-74.
(Translated into Russian and published in I. Popov (ed) (1986) New Directions in Linguistics from Abroad (Progress Publishers: Moscow) pp. 318-335.)
4. F.J. Pelletier (1977) "({How/Why}) Does Linguistics Matter to Philosophy?" Southern Jour. Philosophy pp. 393-426.
5. F.J. Pelletier (1978) "Formal Philosophy" Metaphilosophy pp. 320-341.
6. F.J. Pelletier (1980) Review of Hacking: Why Does Language Matter to Philosophy?; Linguistics and Phil. pp. 429-436.
7. C. Normore & F.J. Pelletier, eds. (1980) New Essays in Philosophy of Language Canadian Association for Publishing in Philosophy.
8. F.J. Pelletier (1982) "(X)" Notre Dame Journal of Formal Logic pp. 316-326.
9. F.J. Pelletier (1985) "Scope Ambiguity with Quantifiers and Tense Operators" Linguistic Inquiry, pp. 330-334.
1. W. Cooper & F.J. Pelletier (1975) Review of Campbell: Body and Mind; Dialogue pp. 354-356.
2. F.J. Pelletier (1981) "The Structure of the Subjective Lexicon" in B. Rieger (ed.) Empirical Semantics (Brockmeyer: Bochum) pp. 569-621.
3. F.J. Pelletier & R. Elio (1993) Some Truths about Default Reasoning. Technical Report TR93-12, Dept. Computing Science, Univ. Alberta, (iv+68).
4. F.J. Pelletier & R. Elio (1993) "Human Benchmarks on AI's Benchmark Problems" Proceedings of the 15th Congress of the Cognitive Science Society (Boulder, Co.) pp. 406-411.
5. F.J. Pelletier & R. Elio (1994) What Should Default Reasoning be, By Default? Technical Report TR94-13, Dept. Computing Science, Univ. Alberta, (iii+24).
6. F.J. Pelletier & R. Elio (1994) "The Effect of Syntactic Form on Simple Belief Revision and Updates" Proceedings of the 16th Cognitive Science Society pp. 260-266.
7. F.J. Pelletier & R. Elio (1994) "On Relevance in Nonmonotonic Reasoning: Some Empirical Studies", in R. Greiner & D. Subramanian (eds) Relevance: AAAI 1994 Fall Symposium Series, (Palo Alto: AAAI Press) pp. 64-67.
8. R.Elio & F.J.Pelletier (1996) "On Reasoning with Default Rules and Exceptions" in G.Cottrell (Ed) Proceedings of the 18th Annual Conference on Cognitive Science (Lawrence Erlbaum: Hillsdale, NJ) pp. 131-136.
9. R. Elio & F.J. Pelletier (1997 forthcoming) "An Analysis of Belief Update Theories" in J.Wiles (Ed) Perspectives on Cognitive Science (Ablex Pubs).
10. F.J. Pelletier & R. Elio (1997) "What Should Default Reasoning Be, By Default?" Computational Intelligence 17: 165-187.
11. R.Elio & F.J. Pelletier (1997 forthcoming) "Belief Revision as Propositional Update" Cognitive Science 77pp.
12. X. Arrazola, K. Korta, F.J. Pelletier, eds. (1997) Discourse, Interaction, and Communication (Kluwer Academic Press).
13. F.J. Pelletier (1997) "Thinking of `Not'" in Arrazola, Korta, Pelletier (eds) Discourse, Interaction, and Communication., pp. 37-53.
1. F.J. Pelletier (1975) "On Reading 'Incompatibility' in Plato's Sophist" Dialogue pp. 143-146.
2. F.J. Pelletier (1979) "Aristotle on Sameness and Referential Opacity" Noûs pp. 283-311.
3. J. King-Farlow & F.J. Pelletier (eds) (1983) New Essays on Plato Canadian Association for Publishing in Philosophy.
4. F.J. Pelletier (1983) "Plato on Not-Being" Midwest Studies in Philosophy pp. 35-65.
5. J. King-Farlow & F.J. Pelletier (eds) (1984) New Essays on Aristotle Canadian Association for Publishing in Philosophy.
6. F.J. Pelletier (1990) Parmenides, Plato, and the Semantics of Not-Being. Chicago: University of Chicago Press.
7. F.J. Pelletier & E. Zalta (forthcoming) "How to Say Goodbye to the Third Man" Nous.
versions available1. C. Jarrett, C. Normore & F.J. Pelletier (eds) (1977) New Essays in Rationalism and Empiricism. Canadian Association for Publishing in Philosophy.
2. F.J. Pelletier "Locke's Doctrine of Substance" Canadian Journal of Philosophy, Sup. Vol. pp. 121-140.
1. F.J. Pelletier & J. King-Farlow (1975) "Russell on Relations" Southern Journal of Philosophy pp. 359-367.
2. F.J. Pelletier (1991) "The Society for Exact Philosophy" Ruch Filozoficzny (Poland) pp. 107-118.
3. F.J. Pelletier (1991) Review of Lowe: Kinds of Being; Journal of History and Philosophy of Logic.
4. F.J. Pelletier (1998) "A Brief History of Natural Deduction" History and Philosophy of Logic v.20, pp. 1-31. (
Postscript Version)5. F.J. Pelletier (forthcoming) "A History of Natural Deduction and Elementary Logic Textbooks" in. D. Gabbay, J. Woods, B. Brown Proceedings of the Society of Exact Philosophy.
(Postscript version of galley proofs)6. F.J. Pelletier (forthcoming) "Did Frege Believe Frege's Principle?" Journal of Logic, Language, and Information
4. Logic and Philosophy of Logic
1. F.J. Pelletier (1973) Review of Purtill: Logic for Philosophers: Dialogue pp. 171-174.
2. F.J. Pelletier (1973) "Copi's Theory of Logical Types" Journal of Symbolic Logic pp. 174-177.
3. C.Morgan & F.J. Pelletier (1977) "Some Notes Concerning Fuzzy Logics" Linguistics and Philosophy pp. 79-97.
4. F.J. Pelletier (1983) Review of McCawley: What Every Linguist Has Always Wanted to Know About Logic; Canadian Philosophical Reviews pp. 85-87.
5. F.J. Pelletier (1985) "Six Problems in Translational Equivalence" Logique et Analyse, pp. 423-434.
6. F.J. Pelletier (1985) "The Not-So-Strange Modal Logic of Indeterminacy" Logique et Analyse, pp. 415-422.
7. F.J. Pelletier & W.D. Sharp (1988) "On Teaching Functional Incompleteness in Symbolic Logic Classes" Notre Dame Journal of Formal Logic pp. 235-248.
8. F.J. Pelletier & N. Martin (1990) "Proving Post's Functional Completeness Theorem" Notre Dame Journal of Formal Logic pp. 462-475.
9. F.J. Pelletier & L. Schubert (1991) Review of Turner: Logics for Artificial Intelligence; Journal of Symbolic Logic.
10. F.J. Pelletier (1993) "Identity in Automated Modal Logic Theorem Proving" Studia Logica 52: 291-308.
11. F.J. Pelletier (1994) "The Paradox of Fuzzy Logic" IEEE Expert August 1994, 29-31.
12. F.J. Pelletier (1996) Review of Ramsay: Formal Methods in Artificial Intelligence; Journal of Symbolic Logic 1996
13. F.J. Pelletier (1998) "A Brief History of Natural Deduction" History and Philosophy of Logic v.20, pp. 1-31. (
Postscript Version)14. F.J. Pelletier (forthcoming) "A History of Natural Deduction and Elementary Logic Textbooks" in. D. Gabbay, J. Woods, B. Brown Proceedings of the Society of Exact Philosophy.
(Postscript version of galley proofs)1. F.J. Pelletier (1982) Completely Non-Clausal, Completely Heuristically Driven Automatic Theorem Proving. Technical Report TR82-7, Dept. of Computing Science, Univ. of Alberta, (xiii+285).
2. F.J. Pelletier & D. Wilson (1983) "Heuristic Theorem Proving" in W. Maxwell (ed.) Thinking: The Expanding Frontier Franklin Press: Philadelphia pp. 237-250.
3. F.J. Pelletier (1986) "thinker" in J. Siekmann (ed) Proceedings of the 8th International Conference on Automated Deduction (Berlin: Springer Verlag) pp. 701-702.
4. F.J. Pelletier (1986) "Seventy-Five Graduated Problems for Testing Automatic Theorem Provers" Jour. Automated Reasoning pp. 191-216.
5. F.J. Pelletier & P. Rudnicki (1986) "Non-Obviousness" Newsletter of the Association for Automated Reasoning, No. 6 p. 4-5.
6. F.J. Pelletier (1987) Further Developments in thinker, an Automated Theorem Prover , Technical Report TR-ARP-16/87, Automated Reasoning Project, Australia National Univ., (ii+57).
7. F.J. Pelletier (1988) "Errata for 75 Problems" Journal of Automated Reasoning 4: 235-236.
8. F.J. Pelletier & D. Szafron (1989) "Some Notes on Prolog Technology Theorem Proving" Univ. Alberta Dept. Computing Science Tech Report TR89-10.
9. F.J. Pelletier (1991) "The Philosophy of Automated Theorem Proving" Proceedings of IJCAI-91, Vol. II (Morgan-Kaufmann)1039-1045.
10. F.J. Pelletier (1992) "How Semantic Tableaux Methods Separate Classical and Modal Rules" Working Notes for AAAI Fall Symposium, Asilomar.
11. F.J. Pelletier (1993) Modal Logic Theorem Proving in thinker, Technical Report TR93-14, Dept. Computing Science, Univ. Alberta, (iii+63).
12. F.J. Pelletier (1993) "Identity in Automated Modal Logic Theorem Proving" Studia Logica 52: 291-308.
13. F.J. Pelletier (1993) "Semantic Tableaux for Systems including the B(rowerische) and G(each) Axioms" Working Notes for AAAI Fall Symposium, Research Triangle.
14. A. Edgar & F.J. Pelletier (1993) "Natural Language Explanations of Natural Deduction Proofs" Proceedings of First Pacific Rim Conference on Computational Linguistics (Vancouver) pp. 269-278.
15. F.J. Pelletier & G. Sutcliffe (1995) "The Story Behind An Erratum to some Errata to Automated Theorem Proving Problems" Newsletter of the Association for Automated Reasoning. #18: 8-14. (Expanded version of #16)
16. F.J. Pelletier & G. Sutcliffe (1997) "Erratum to some Errata to Automated Theorem Proving Problems" Journal of Automated Reasoning 18, p. 135.
16. F.J.Pelletier, G.Sutcliffe & C.Suttner (1997) "Conclusions about the CADe-13 Automated Theorem Proving Contests" Jour. Automated Reasoning 18: 287-296.
18. F.J.Pelletier (1998) "Natural Deduction Theorem Proving in THINKER" Studia Logica v. 60, pp. 3-43.
(rtf version of main paper and appendix of proofs)6. Artificial Intelligence (see also Cognitive Science)
1. Romanycia, M. & F.J. Pelletier (1985) "What is a Heuristic?" Computational Intelligence 1: 47-58.
2. F.J. Pelletier & L. Schubert (1988) Review of Turner: Logics for Artificial Intelligence; Canadian AI Magazine pp. 36-37.
3. F.J. Pelletier (1991) "The Philosophy of Automated Theorem Proving" Proceedings of IJCAI-91, Vol. II (Morgan-Kaufmann) pp. 1039-1045.
4. J. Delgrande & F.J. Pelletier (1994) "A Formal Approach to Relevance", in R. Greiner & D. Subramanian (eds) Relevance: AAAI 1994 Fall Symposium Series, (Palo Alto: AAAI Press) pp. 30-33.
5. F.J. Pelletier (1996) Review of Ramsay: Formal Methods in Artificial Intelligence; Journal of Symbolic Logic 1996
6. J. Delgrande & F.J. Pelletier (1998) "Formal Senses of Relevance in Default Reasoning" Erkenntnis v.49, pp. 137-173.