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.]
2004
1.
F.J. Pelletier (2004) "On Some Alleged Misconceptions
Concerning Fuzzy Logic" Artificial
Intelligence Review 22: 71-82.
2003
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.
2002
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.
2001
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)
2000
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 http://www.thecanadianencyclopedia.com .
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.
1999
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.
1998
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.
1997
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).
1996
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.
1995
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.
1994
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ÉÓ]
1993
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.
1992
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.
1991
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.
1990
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.
1989
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.
1988
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.
1987
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.
1986
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.
1985
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.
1984
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.
1983
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.
1982
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).
1981
1.
F.J.
Pelletier (1981) "The Structure of the Subjective Lexicon" in B.
Rieger (ed.) Empirical Semantics (Brockmeyer:
Bochum) pp. 569-621. [569KB]
1980
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]
1979
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.
1978
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.
1977
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.
1975
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.
1974
1.
F.J. Pelletier (1974) "On Some Proposals for the Semantics of
Mass Terms" Jour. Phil. Logic
pp. 87-108. [775KB]
1973
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.]
1972
1.
F.J. Pelletier (1972) "Restricted Quantification and Sortal
Quantification" Phil. Studies 23: pp. 400-404.