Here is a listing of my older (pre-2005) publications, listed by year, starting from 2004.  Most of these are downloadable, and mostly pdf files.  (Some of the very old ones are scans of printed versions).

[A free pdf reader can be got from here, should you need one.]




1.     F.J. Pelletier (2004) "On Some Alleged Misconceptions Concerning Fuzzy Logic" Artificial Intelligence Review 22: 71-82.




1.     F.J. Pelletier (2003) "Context Dependence and Compositionality" Mind and Language 18: 148-161.

2.     F.J. Pelletier & R. Elio (2003) "Enumerating the Preconditions of Agent Message Types" in Y. Xiang & C. Brahim (eds.) Advances in Artificial Intelligence: Proceeedings of the 16th Conference of CSCSI. (Springer Verlag). pp. 50-65.

3.     F.J. Pelletier & A. Urquhart (2003) "Synonymous Logics" Journal of Philosophical Logic 32: 259-285.

4.     F.J. Pelletier & R. Stainton (2003) "On 'The Denial of Bivalence is Absurd'" Australasian Journal of Philosophy 81: 369-382.




1.     F.J. Pelletier & G.N. Carlson (2002) "The Average American has 2.3 Children" Journal of Semantics 19: 73-104.

2.     F.J. Pelletier & R. Thomason (2002) "Twenty-Five Years of Linguistics and Philosophy" Linguistics and Philosophy 25: 507-529.  [600 KB]

3.     G.N. Carlson, F.J. Pelletier, R. Thomason (eds.) (2002) Special 25th Anniversary Issue of Linguistics and Philosophy v. 25 nos. 5-6.

4.     G. Sutcliffe, C. Suttner, F.J. Pelletier (2002) "The IJCAR ATP System Competition" Journal of Automated Reasoning 28: 307-320.

5.     F.J. Pelletier, G. Sutcliffe, C. Suttner (2002) "The Development of CASC" AI Communications 15: 79-90.

6.     F.J. Pelletier & R. Elio (2002) "Logic and Cognition" in P. Gärdenfors, J. Wolenski, K. Kijania-Placet (Eds.) In the Scope of Logic, Methodology, and Philosophy of Science, Vol. 1 (Dordrecht: Kluwer) in Synthese Library #315. pp. 137-156.




1.     F.J. Pelletier & G. Sutcliffe (2001) "CASC: Effective Evaluation having an Effect" in Holger Hoos & Thomas Stützle (eds.) Proceedings of the IJCAI Workshop in Empirical Methods in Artificial Intelligence (Seattle, Aug. 2001) pp. 33-40.

2.     G. Sutcliffe, C. Suttner, F.J. Pelletier (2001) "The IJCAR ATP System Competition: All the details" Univ. Miami technical report UM-CSC-2001-001. (pdf.gz)




1.     F.J. Pelletier (2000) "Did Frege Believe Frege's Principle? " Journal of Logic, Language, and Information 10: 87-114.

2. F.J. Pelletier (2000) "Goldman on Rationality" Social Epistemology 14: 239-245.

3.     F.J. Pelletier & E. Zalta (2000) "How to Say Goodbye to the Third Man" Noěs 34: 165-202.

4.     F.J. Pelletier (2000) "Semantic Compositionality: The Argument from Ambiguity and Free Algebras" in M. Faller, S. Kaufmann, M. Pauly   Formalizing the Dynamics of Information (Stanford: CSLI), pp. 207-218.

5.     F.J. Pelletier 2000) "A History of Natural Deduction and Elementary Logic Textbooks" in J. Woods, B. Brown (eds) Logical Consequence: Rival Approaches, Vol. 1. (Oxford: Hermes Science Pubs) pp. 105-138.

6.     F.J. Pelletier (2000) "Relation of Computer Science to Other Disciplines" 1500 words. Portion of “Computer Science” entry in the new, revised version of Canadian Encyclopedia.  Main entry by Jonathan Schaeffer .

7.     F.J. Pelletier & G.N. Carlson (2000) "Average Noun Phrases" in Proceedings of SALT 10. pp. 17-26.  [See journal version from 2002, above]

8.      F.J. Pelletier (2000) Review of Petr Hájek The Metamathematics of Fuzzy Logic in Bulletin of Symbolic Logic 6: 342-346.

9.     G.N. Carlson & F.J. Pelletier (2000) "Review of Murasugi & Stainton Philosophy and Lingusitics" for Dialogue 39: 605-608.




1.     F.J. Pelletier (1999) "A Brief History of Natural Deduction" History and Philosophy of Logic v.20, pp. 1-31.

2.     R. Elio & F.J. Pelletier (1999) "An Analysis of Belief Update Theories" in J.Wiles & T.Dartnell (Eds) Perspectives on Cognitive Science (Stamford,CT:Ablex Pubs) pp. 131-148. [scanned: 1.3MB]

3.     F.J. Pelletier (1999) "Review of van Deemter & Peters Ambiguity and Underspecification” in Reviews in Philosophy v. 28, pp. 305-309.





1.     F.J.Pelletier (1998) "Natural Deduction Theorem Proving in THINKER" Studia Logica 60: 3-43. [550KB]   (The Appendix, with generated proofs, is in a separate Appendix). 

2.      A. Kazmi & F.J. Pelletier (1998) "Is Compositionality Formally Vacuous?" Linguistics and Philosophy v. 21, pp. 629-633.

3.       J. Delgrande & F.J. Pelletier (1998) "Formal Senses of Relevance in Default Reasoning" Erkenntnis 49: 137-173.

4.     F.J. Pelletier (1998) "Mass Terms" in The Routledge Encyclopedia of Philosophy. (1700 word entry).

5.     F.J. Pelletier (1998) Review of T. Moody Philosophy of Artificial Intelligence for Minds and Machines 6: 266-273.




1.     F.J. Pelletier & R. Elio (1997) "What Should Default Reasoning Be, By Default?" Computational Intelligence  17: 165-187.

2.     R.Elio & F.J. Pelletier (1997) "Belief Revision as Propositional Update" Cognitive Science 21: 419-460. (Reprinted in J. Adler & L. Rips (eds.) 2008 Reasoning: Studies of Human Inference and Its Foundations. Cambridge UP), pp. 566-596.

3.     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.  [scanned: 790KB]

4.     F.J. Pelletier (1997) "Thinking of 'Not'" in Arrazola, Korta, Pelletier (eds.) Discourse, Interaction, and Communication. pp. 37-53.

5.     X. Huang, J. Pelletier, F. Pfenning & J. Siekmann (eds.) First International Workshop in Proof Transformation and Presentation April 1997, Dagstuhl, Germany.

6.     F.J. Pelletier & G. Sutcliffe (1997) "Erratum to some Errata to Automated Theorem Proving Problems" Journal of Automated Reasoning 18, p. 135.

7.     F.J.Pelletier, G.Sutcliffe & C.Suttner (1997) "Conclusions about the CADe-13 Automated Theorem Proving Contests" Jour. Automated Reasoning 18: 287-296.

8.     X. Arrazola, K. Korta, F.J. Pelletier (eds.) (1997) Discourse, Interaction, and Communication (Kluwer Academic Press).




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

2.     F.J. Pelletier (1996) Review of Ramsay: Formal Methods in Artificial Intelligence; Journal of Symbolic Logic 61: 347-351.




1.     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. #31: 8-14.  [this download is entire 16-page newsletter]

2.     F.J. Pelletier & I. Berkeley (1995) "Vagueness" in R. Audi (ed.) Cambridge Dictionary of Philosophy (Cambridge UP), pp. 825-827.

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

4.     M. Krifka & F.J. Pelletier (1995) "Generics: A Comprehensive Bibliography" in Carlson & Pelletier (eds) The Generic Book pp. 427-449.

5.     G.N. Carlson & F.J. Pelletier (eds.) (1995) The Generic Book Chicago: University of Chicago Press.




1.      F.J. Pelletier (1994) "Fuzzy Logic: A Misplaced Appeal" IEEE Expert  August 1994, 29- [download includes Elkan plus commentaries plus replies]  [1.6MB]

2.     F.J. Pelletier (1994) "The Principle of Semantic Compositionality" Topoi 13: 11-24.

                         (Reprinted with additions in S.Davis & B. Gillon (eds.) 2004 Semantics: A Reader

                         Oxford UP, pp.133-156)

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

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

5.     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. [scanned]

6.     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. [See material in published versions: (1997 “What Should…” and 1997 “Belief Revision…”]

7.     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. [See published version: 1998]

8.     F.J. Pelletier & R. Elio (1994) What Should Default Reasoning be, By Default? Technical Report TR94-13, Dept. Computing Science, Univ. Alberta, (iii+24). [Much of this material was published in 1997 “What Should…” and some in 2005 “The Case for…”]




1.     F.J. Pelletier & R. Elio (1993) Some Truths about Default Reasoning. Technical Report TR93-12, Dept. Computing Science, Univ. Alberta, (iv+68).  [Much of this can be found in 2005 “The Case for…”]

2.     F.J. Pelletier (1993) Modal Logic Theorem Proving in thinker, Technical Report TR93-14, Dept. Computing Science, Univ. Alberta, (iii+63). [Some of this is in 1998 “Natural Deduction…” and 1993 “Identity…”, but the majority of it is unpublished material about translation methods in modal logic]

3.     F.J. Pelletier (1993) "Identity in Automated Modal Logic Theorem Proving" Studia Logica 52: 291-308.

4.     F.J. Pelletier (1993) "Semantic Tableaux for Systems including the B(rowerische) and G(each) Axioms" Working Notes for AAAI Fall Symposium, Research Triangle. [scanned]

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

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

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




1.     F.J. Pelletier (1992) Review of Lowe: Kinds of Being; Journal of History and Philosophy of Logic 13: 125-128.  [this also contains the other short reviews from that issue] [885KB]

2.     F.J. Pelletier (1992) "How Semantic Tableaux Methods Separate Classical and Modal Rules" Working Notes for AAAI Fall Symposium, Asilomar.




1.     F.J. Pelletier & L. Schubert (1991) Review of Turner: Logics for Artificial Intelligence; Journal of Symbolic Logic. v. 56, pp. 399-400.

2.     F.J. Pelletier (1991) "The Philosophy of Automated Theorem Proving" Proceedings of IJCAI-91, Vol. II (Morgan-Kaufmann) pp.1039-1045.

3.     F.J. Pelletier (1991) "Mass Terms" in B. Smith/J. Burkhardt (eds) Handbook of Metaphysics and Ontology (Philosophia Press: Munich) pp. 495-499

4.     F.J. Pelletier (1991) "The Society for Exact Philosophy" Ruch Filozoficzny  (Poland) pp. 107-118.




1.     F.J. Pelletier (1990) Parmenides, Plato, and the Semantics of Not-Being. Chicago: University of Chicago Press.

2.     F.J. Pelletier & N. Martin (1990) "Proving Post's Functional Completeness Theorem" Notre Dame Journal of Formal Logic pp. 462-475.




1.     F.J. Pelletier & D. Szafron (1989) "Some Notes on Prolog Technology Theorem Proving" Univ. Alberta Dept. Computing Science Tech Report TR89-10.

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

                     [Expanded version reprinted in second edition [2003] of this Handbook, volume 10, pp.

                     265-350]   [673KB]

3.     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.  [scanned: very large file]

4.     F.J. Pelletier (1989) "Another Argument against Vague Objects" Journal of Philosophy 86: 481-492.




1.     F.J. Pelletier & W.D. Sharp (1988) "On Teaching Functional Incompleteness in Symbolic Logic Classes" Notre Dame Journal of Formal Logic pp. 235-248.

2.     F.J. Pelletier (1988) "The Good, The Bad, and the Ugly".  Translated into Hungarian, published in Tertium non Datur, 5: 89-115. [740KB]  [This paper (in English) was presented at a joint Assn. Symbolic Logic/ Linguistic Society of America meeting in Stanford 1987(?).  It was translated into Hungarian by Pólos Lászlo for publication in Tertium non Datur. I am very grateful to Lászlo for this. Portions of it were adapted for 1985 “Not-So-Strange…”  above and for 1989 “Another Argument…”.   The version online here is a pdf generated from the original MacWrite document(!)]

3.     F.J. Pelletier (1988) "Vacuous Relatives and the (Non-) Context-Freeness of English" Linguistics and Philosophy  pp. 255-260.

4.     L. Schubert & F.J. Pelletier (1988) Review of Turner: Logics for Artificial Intelligence; Canadian AI Magazine pp. 36-37. [See our 1991 review in Jour. Symbolic Logic]

5.     F.J. Pelletier (1988) "Errata for 75 Problems" Journal of Automated Reasoning 4: 235-236.




1.     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.  [2.1MB]

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

3.     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). [The three papers are: Pelletier & Schubert (1989) and Schubert & Pelletier (1987, 1989)].

4.     L.K. Schubert & F.J. Pelletier (1987) "An Outlook on Generic Statements" in M. Krifka (ed) Proceedings of the Tübingen Conference on Generics SNS-Bericht 88-42, Universität Tübingen, pp. 357-371.




1.     F.J. Pelletier (1986) "Seventy-Five Graduated Problems for Testing Automatic Theorem Provers" Jour. Automated Reasoning 2: pp. 191-216. [690KB]

2.     F.J. Pelletier & P. Rudnicki (1986) "Non-Obviousness" Newsletter of the Association for Automated Reasoning, No. 6 p. 4-5. [this download is entire 6-page newsletter]

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.





1.     F.J. Pelletier (1985) "Scope Ambiguity with Quantifiers and Tense Operators" Linguistic Inquiry, pp. 330-334.

2.     M. Romanycia & F.J. Pelletier (1985) "What is a Heuristic?" Computational Intelligence  1: 47-58.




1.     F.J. Pelletier (1984) "Six Problems in Translational Equivalence" Logique et Analyse, pp. 423-434. [800KB]

2.     J. King-Farlow & F.J. Pelletier (eds.) (1984) New Essays on Aristotle Canadian Association for Publishing in Philosophy.

3.      F.J. Pelletier (1984) "The Not-So-Strange Modal Logic of Indeterminacy" Logique et Analyse, pp. 415-422. [585KB]

4.     F.J. Pelletier and L.K. Schubert (1984) "Two theories for computing the logical form of mass expressions", Proc. of the 10th Int. Conf. On Computational Linguistics (COLING-84), July 2-6, Stanford Univ., Stanford, CA, pp.  108-111.




1.     F.J. Pelletier (1983) "Plato on Not-Being" Midwest Studies in Philosophy pp. 35-65.

2.     F.J. Pelletier (1983) Review of McCawley:  What Every Linguist Has Always Wanted to Know About Logic; Canadian Philosophical Reviews pp. 85-87.

3.     F.J. Pelletier & D. Wilson (1983) "Heuristic Theorem Proving" in W. Maxwell (ed.) Thinking:  The Expanding Frontier Franklin Press:  Philadelphia pp. 237-250. [scanned, large file]

4.     J. King-Farlow & F.J. Pelletier (eds.) (1983) New Essays on Plato Canadian Association for Publishing in Philosophy.




1.         L.K. Schubert & F.J. Pelletier (1982) "From English to Logic:  Context-Free Computation of 'Conventional' Logic Translations" American Jour. Computational  Linguistics 8: pp. 26-44. [now Computational Linguistics]  (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.)

2.     F.J. Pelletier (1982) "(X)" Notre Dame Journal of Formal Logic pp. 316-326.

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




1.     F.J. Pelletier (1981) "The Structure of the Subjective Lexicon" in B. Rieger (ed.) Empirical Semantics (Brockmeyer: Bochum) pp. 569-621. [569KB]




2.     C. Normore & F.J. Pelletier (eds.) (1980) New Essays in Philosophy of Language Canadian Association for Publishing in Philosophy.

3.     F.J. Pelletier (1980) "The Generative Power of Rule Orderings in Formal Grammars" Linguistics pp. 17-72. [1.1MB]




1.      F.J. Pelletier (ed.) (1979) Mass Terms:  Some Philosophical Problems  Reidel: Dordrecht

2.     F.J. Pelletier (1979) "Sharvy on Mass Predication" in Pelletier Mass Terms pp. 55-61.

3.     F.J. Pelletier (1979) "Aristotle on Sameness and Referential Opacity" Nous  pp. 283-311. Errata.




1.     F.J. Pelletier (1978) "Formal Philosophy" Metaphilosophy  pp. 320-341.

2.     F.J. Pelletier (1977) "Locke's Doctrine of Substance" Canadian Journal of Philosophy, Sup. Vol.  pp. 121-140. 




1.     F.J. Pelletier (1977) "({How/Why}) Does Linguistics Matter to Philosophy?" Southern Jour. Philosophy 15 393-426.

2.     F.J. Pelletier (1977) "Or" Theoretical Linguistics pp. 61-74. [scanned, large file]

        (Translated into Russian [537KB] and published in I. Popov (ed) (1986) New Directions in Linguistics from Abroad (Progress Publishers: Moscow) pp. 318-335.  An English table of contents from this collection is here.)

3.     C.Morgan & F.J. Pelletier (1977) "Some Notes Concerning Fuzzy Logics” Linguistics and Philosophy pp. 79-97.  [720KB]

4.     J. King-Farlow & F.J. Pelletier (1977) "Pains Across Persons Across Possible Worlds" Idealistic Studies pp. 61-75.

5.     C. Jarrett, C. Normore & F.J. Pelletier (eds.) (1977) New Essays in Rationalism and Empiricism.  Canadian Association for Publishing in Philosophy.




1.     W. Cooper & F.J. Pelletier (1975) Review of Campbell: Body and Mind; Dialogue pp. 354-356. [scanned]

2.     J. King-Farlow & F.J. Pelletier (1975) "Russell on Relations" Southern Journal of Philosophy 359-367.

3.     F.J. Pelletier (1975) "Non-Singular Reference:  Some Preliminaries" Philosophia 5: 451-465.

(Reprinted in Pelletier Mass Terms 1979: pp. 1-14).

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). [See the later bibliography in Pelletier/Schubert “Mass Expressions”, 1989]

5.     F.J. Pelletier (1975) "On Reading 'Incompatibility' in Plato's Sophist" Dialogue  pp. 143-146.

6.     Editor of Special Issue of Synthese ("On Mass Terms ") (Synthese v. 31, Nos. 3/4) 1975.





1.     F.J. Pelletier (1974) "On Some Proposals for the Semantics of Mass Terms" Jour. Phil. Logic pp. 87-108.  [775KB]




1.     F.J. Pelletier (1973) "Copi's Theory of Logical Types" Journal of Symbolic Logic pp. 174-177.

2.     F.J. Pelletier (1973) Review of Purtill:  Logic for Philosophers:  Dialogue pp. 171-174. [A very cranky review.  Scanned.]




1.     F.J. Pelletier (1972) "Restricted Quantification and Sortal Quantification" Phil. Studies 23: pp. 400-404.