B1. | Abstract Objects: An Introduction to
Axiomatic Metaphysics, Dordrecht: D. Reidel, 1983. [Free Download, Compliments of Springer] |
B2. | Intensional Logic and the
Metaphysics of Intentionality, Cambridge, MA: The MIT
Press/Bradford Books, 1988. [Author's Watermarked Preprint] |
A59. | “A Defense of Logicism,”
coauthors: Hannes Leitgeb and Uri Nodelman, forthcoming,
Bulletin of Symbolic Logic. [Preprint available online] [Abstract] |
A58. | “In Defense of Relations,” forthcoming, dialectica,
special issue (‘The Metaphysics of Relational States’, J.~Plate,
ed.). [Preprint available online] [Abstract] |
A57. | “The Metaphysics of Routley Star,” The
Australasian Journal of Logic, 21(4) (2024): 141–176. [published online open access] [Preprint available online] [Abstract] |
A56. | “Number Theory and Infinity Without Mathematics,” Journal of
Philosophical Logic, coauthor: Uri Nodelman,
published online 08 August 2024. [PDF Viewable but not Downloadable from Publisher] [Preprint available online] [Abstract] |
A55. | “Mathematical Pluralism,” Noûs,
58(2) (2024): 306–332. [published online open access] [Preprint available online] [Abstract] |
A54. | “On Anselm's Ontological Argument in Proslogion II,”
coauthor: Paul E. Oppenheimer, History of Philosophy and
Logical Analysis, 25 (2022): 327–351.
doi:10.30965/26664275-bja10054 [Preprint available online] [Abstract] |
A53. | “Revisiting the ‘Wrong Kind of Object’
Problem”, coauthor: Merel Semeijn,
OrganonF, 28(1) (2021): 168–197. [Preprint available online in PDF] [Abstract] |
A52. | “Typed Object Theory”, in José L. Falguera and
Concha Martínez-Vidal (eds.), Abstract Objects: For and
Against (Synthese Library: Volume 422), Cham: Springer, 2020,
pp. 59–88. [Preprint available online in PDF] [Abstract] |
A51. | “Mechanizing Principia Logica-Metaphysica in
Functional Type Theory”, coauthors: Daniel Kirchner and
Christoph Benzmüller,
Review of Symbolic Logic, 13(1) (March 2020):
206–18., doi: 10.1017/S1755020319000297 [Preprint available online in PDF] [Abstract] |
A50. | “Computer Science and Metaphysics: A Cross-Fertilization”,
coauthors: Daniel Kirchner and Christoph Benzmüller,
Open Philosophy, 2 (2019): 230–251 (Special
Issue: Computer Modeling in Philosophy, Patrick Grim, ed.),
doi: 10.1515/opphil-2019-0015 [Preprint available online in PDF] [Abstract] |
A49. | ‘Unifying Three Notions of Concepts’, Theoria
(Special Issue: Context, Cognition and Communication; Tadeusz
Ciecierski and Paweł Grabarczyk, guest eds.),
87(1) (February 2021): 13–30; first online
05 June 2019, doi: 10.1111/theo.12187 [Preprint available online in PDF] [Abstract] |
A48. | “Mathematical Descriptions”,
coauthor: Bernard Linsky, Philosophical Studies,
176/2 (2019): 473–481;
full text view only, doi: 10.1007/s11098-017-1024-0 [Preprint available online in PDF] [Abstract] |
A47. | “Object Theory and Modal Meinongianism”,
coauthor: Otávio Bueno, Australasian Journal of Philosophy,
95/4 (2017): 761–778, doi: 10.1080/00048402.2016.1260609 [Preprint available online in PDF] [Abstract] |
A46. | “Automating Leibniz's Theory of Concepts”,
coauthors: Jesse Alama and Paul E. Oppenheimer,
in A. Felty and A. Middeldorp (eds.), Automated Deduction –
CADE 25: Proceedings of the 25th International Conference on Automated
Deduction (Lecture Notes in Artificial Intelligence: Volume
9195), Berlin: Springer, pp. 73–97, doi: 10.1007/978-3-319-21401-6_4 [Preprint available online in PDF] [Abstract] |
A45. | “Worlds and Propositions Set Free”,
coauthors: Otávio Bueno and Christopher Menzel,
Erkenntnis, 79 (2014): 797–820. [Preprint available online in PDF] [Abstract] |
A44. | “Foundations for Mathematical Structuralism”, coauthor:
Uri Nodelman,
Mind, 123/489 (2014): 39–78. [Preprint available online in PDF] [Abstract] |
A43. | “The Fundamental Theorem of World Theory”, coauthor:
Christopher Menzel,
Journal of Philosophical Logic, 43/2 (2014): 333–363.
[Preprint available online in PDF] [Abstract] |
A42. | “The Tarski T-Schema is a Tautology (Literally)”,
Analysis, 74/1 (2014): 5–11.
[Preprint available online in PDF] [Abstract] |
A41. | “A Defense of Contingent Logical Truths”, coauthor:
Michael Nelson,
Philosophical Studies, 157/1 (2012): 153–162.
[Preprint available online in PDF] [Abstract] |
A40. | “Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations”, coauthor:
Paul E. Oppenheimer,
Journal of Logic and Computation, 21 (2011): 351–374.
[Preprint available online in PDF] [Abstract] |
A39. | “A Computationally-Discovered Simplification of the Ontological Argument”,
coauthor: Paul E. Oppenheimer,
Australasian Journal of Philosophy, 89/2 (June 2011): 333–349.
[Preprint available online in PDF] [Abstract] |
A38. | “Bennett and ‘Proxy Actualism’”,
coauthor: Michael Nelson,
Philosophical Studies, 142/2 (2009): 277–292.
[Preprint available online in PDF] [Abstract] |
A37. | “Reflections on Mathematics”, in
Philosophy of Mathematics: Five Questions, V.F. Hendricks
and H. Leitgeb (eds.), New York, London: Automatic Press/VIP,
2007, pp. 313–328.
[Preprint available online in PDF] [Abstract] |
A36. | “Reflections on the Logic of the Ontological Argument”,
coauthor: Paul E. Oppenheimer,
Studia Neoaristotelica,
4/1 (2007): 28–35.
[Preprint available online in PDF] [Abstract] |
A35. | “Steps Toward a Computational Metaphysics”,
coauthor: Branden Fitelson,
Journal of Philosophical Logic, 36/2 (April 2007): 227–247
[Preprint available online in PDF] [Abstract] [Note: Subsequent to publication, the authors discovered some of the clauses needed to represent certain propositions of object theory in PROVER9 were omitted. This preprint has been corrected.] |
A34. | “Deriving and Validating Kripkean Claims Using the Theory of Abstract Objects”, Noûs, 40/4
(December 2006): 591-622. [Preprint available online in PDF] [Abstract] |
A33. | “Essence and Modality”,
Mind, 115/459 (July 2006): 659-693. [Preprint available online in PDF] [Abstract] [Published version freely available online from the publisher in PDF] [Note: In converting the LaTeX in the preprint to the format used for publication in Mind, a couple of symbols were omitted. The preprint can be used to determine what the missing symbols are.] |
A32. | “What is Neologicism?”,
coauthor: Bernard Linsky,
The Bulletin of Symbolic Logic, 12/1 (2006): 60-99. [Preprint available online in PDF] [Abstract] |
A31. | “A Nominalist's Dilemma and its Solution”,
coauthor:
Otávio Bueno,
Philosophia Mathematica,
13 (2005): 297-307.
[Published version freely available online from the publisher in PDF] [Abstract] |
A30. | “In Defense of the Law of Noncontradiction”, in The Law of
Noncontradiction: New Philosophical Essays, G. Priest,
J.C. Beall, B. Armour-Garb, eds., Oxford: Oxford University Press,
2004 [Preprint available online in PDF] [Abstract] |
A29. | “Frege, Boolos, and Logical Objects”,
coauthor: David J. Anderson,
Journal of Philosophical Logic, 33/1 (February 2004): 1-26 [Preprint available online in PDF] [Abstract] |
A28. | “Referring to Fictional
Characters”, Dialectica, 57/2 (2003):
243-254. [Note: This article was written in 1985. See the abstract in
Proceedings and Addresses of the American Philosophical
Association, 58/3 (February 1985): 573. It was
published in German translation in 1987 (see below). The English
manuscript was published in 2003.]
[Preprint available online in PDF] [Abstract] |
A27. | “A Common Ground and Some Surprising Connections”,
Southern Journal of Philosophy, XL
(Supplement 2002): 1-25. (Keynote lecture delivered at the Spindel Conference
entitled Origins: The Common Sources of the Analytic and
Phenomenological Traditions, September 2001, University of
Memphis, Philosophy Department) [Preprint available online in PDF] [Abstract] |
A26. | “Fregean Senses, Modes of Presentation, and Concepts”,
Philosophical Perspectives, 15 (2001): 333-359 [Preprint available online in PDF] [Abstract] |
A25. | “Neo-Logicism? An Ontological Reduction of Mathematics to Metaphysics”,
Erkenntnis, 53/1-2 (2000), 219-265 [Preprint available online in PDF] [Abstract] |
A24. | “The Road Between Pretense Theory and Object Theory”,
in Empty Names, Fiction, and the Puzzles of Non-Existence,
A. Everett and T. Hofweber (eds.), Stanford: CSLI
Publications, 2000, pp. 117-147 [Preprint available online in PDF] [Abstract] |
A23. | “How to Say Goodbye to the Third Man”,
coauthor: Francis Jeffry Pelletier,
Noûs, 34/2
(2000): 165-202 [Preprint available online in PDF] [Abstract] |
A22. | “A (Leibnizian) Theory of Concepts”,
Philosophiegeschichte und logische Analyse / Logical
Analysis and History of Philosophy, 3 (2000): 137-183 [Preprint available online in PDF] [Abstract] |
A21. | “Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege’s Grundgesetze in Object Theory”,
Journal of Philosophical Logic, 28/6 (1999): 619-660 [Preprint available online in PDF] [Abstract] |
A20. | “Mally's Determinates and Husserl's Noemata”,
in Ernst Mally - Versuch einer Neubewertung, A. Hieke (ed.),
St. Augustin: Academia-Verlag, 1998, pp. 9-28 [Preprint available online in PDF] [Abstract] |
A19. | “A Classically-Based Theory of Impossible Worlds”,
Notre Dame Journal of Formal Logic, 38/4 (Fall 1997):
640-660 (Special Issue: Graham Priest, Guest Editor) [Preprint available online in PDF] [Abstract] |
A18. | “The Modal Object Calculus and its Interpretation”,
Advances in Intensional Logic, Maarten de Rijke (ed.),
Dordrecht: Kluwer, 1997, pp. 249--279 [Preprint available online in PDF] [Abstract] |
A17. | “In Defense of the Contingently Non-Concrete”,
coauthor:
Bernard Linsky,
Philosophical Studies (Special
Issue entitled ‘Possibilism and Actualism’), 84/2-3 (December
1996): 283-294 [Preprint available online in PDF] [Abstract] |
A16. | “Naturalized Platonism vs. Platonized Naturalism”,
coauthor:
Bernard Linsky, The Journal of Philosophy,
XCII/10 (October 1995): 525--555 [Preprint available online in PDF] [Abstract] |
A15. | “Two Related World Views”,
Noûs, 29/2 (1995): 189--211 [Preprint available online in PDF] [Abstract] |
A14. | “In Defense of the Simplest Quantified Modal Logic”, coauthor: Bernard Linsky, Philosophical Perspectives (Volume 8: Logic and Language), J.~Tomberlin (ed.), Atascadero, CA: Ridgeview, 1994, pp.~431–58. [Preprint available online in PDF] [Abstract] |
A13. | “Twenty-Five Basic Theorems in Situation and World Theory”,
Journal of Philosophical Logic, 22 (1993):
385-428; revised and expanded from `A Theory of Situations', in
Situation Theory and Its Applications, J. Barwise, J. Gawron,
G. Plotkin, and S. Tutiya (eds.), Stanford: Center for the Study of
Language and Information Publications, 1991, 81-111 [Preprint available online in PDF] [Abstract] |
A12. | “A Philosophical Conception of Propositional Modal Logic”,
Philosophical Topics, 21/2 (Fall 1993):
263--281 [Preprint available online in PDF] [Abstract] |
A11. | “Replies to the Critics”,
Philosophical Studies, 69/2-3 (March 1993):
231-242 [Preprint available online in PDF] [Abstract] |
A10. | “On Mally's Alleged Heresy: A Reply”,
History and Philosophy of Logic, 13/1
(1992): 59-68 [Preprint available online in PDF] [Abstract] |
A9 | “On the Logic of the Ontological Argument”,
coauthor:
Paul E. Oppenheimer,
Philosophical Perspectives, 5 (1991): 509-529 [Preprint available online in PDF] [Abstract] |
A8. | “Is Lewis a Meinongian?”, coauthor:
Bernard Linsky,
Australasian Journal of Philosophy, 69/4
(December 1991): 438-453 [Preprint available online in PDF] [Abstract] |
A7. | “Singular Propositions, Abstract Constituents, and Propositional Attitudes”,
Themes from Kaplan, J. Almog, J. Perry, and H. Wettstein
(eds.), Oxford: Oxford University Press, 1989, 455-478 [Preprint available online in PDF] [Abstract] |
A6. | “Logical and Analytic Truths That Are Not Necessary”,
The Journal of Philosophy, 85/2 (February
1988): 57-74 [Preprint available online in PDF] [Abstract] |
A5. | “A Comparison of Two Intensional Logics”,
Linguistics and Philosophy, 11 (February 1988): 59-89 [No preprint available online] [DOI] [Abstract] |
A4. | “On the Structural Similarities Between Worlds and Times”,
Philosophical Studies, 51/2 (March 1987): 213-239 [No preprint available online] [DOI] [Abstract] |
A3. | “Lambert, Mally, and the Principle of Independence”,
Grazer Philosophische Studien, 25/26 (1985/1986): 447-459 [No preprint available online] [DOI] [Abstract] |
A2. | “Meinongian Type Theory and Its Applications”,
Studia Logica, 41/2-3 (1982): 297-307 [No preprint available online] [DOI] [Abstract] |
A1. | “An Alternative Theory of Nonexistent Objects”,
coauthor: Alan McMichael, Journal of Philosophical Logic,
9 (1980): 297-313 [No preprint available online] [DOI] [Abstract] |
C3. | “Reply to Ebert and Rossberg”,
in Reduction – Abstraction – Analysis
(Proceedings of the 31st International Ludwig Wittgenstein-Symposium
in Kirchberg, 2008), H. Leitgeb and A. Hieke (eds.), Kirchberg:
Austrian Ludwig Wittgenstein Society, 2009, pp. 311–319. [Preprint available online in PDF] |
C2. | “Mathematics: Truth and Fiction?”, coauthor:
Mark Colyvan,
Critical Study of Mark Balaguer's Platonism and Anti-Platonism in
Mathematics, in Philosophia Mathematica, 7/3 (1999):
336-349 [Preprint available online in PDF] |
C1. | “Review of Daniel Dennett's The Intentional Stance”, published in Review of Metaphysics, 43/2 (December 1989): 397-400 |
R5. | “Logic and Metaphysics”, Journal of Indian Council
of Philosophical Research, XXVII/2 (April--June 2010):
155–184; reprinted in A. Gupta and J. van Benthem (eds.),
Logic and Philosophy Today: Volume 2 (Studies in Logic: Volumes 30),
London: College Publications, pp. 153--182.
[Preprint available online in PDF]. |
R4. | “Frege’s Theorem and Foundations for Arithmetic”, Stanford Encyclopedia of Philosophy. Originally published under the title “Frege's Logic, Theorem, and Foundations for Arithmetic”, in the Summer 1998 Edition, URL = https://plato.stanford.edu/archives/sum1998/entries/frege-logic/ |
R3. | “Gottlob Frege”, Stanford Encyclopedia of Philosophy. Originally published in September 1995, but first archived in the Fall 1997 Edition, URL = https://plato.stanford.edu/archives/fall1997/entries/frege/ |
R2. | “Fictional Truth, Objects, and Characters”, Blackwell Companion to Metaphysics, J. Kim and E. Sosa (eds.), Oxford: Blackwell, 1992 |
R1. | “Systematic Metaphysics”, Handbook on Metaphysics and Ontology, H. Burkhardt and B. Smith (eds.), Philosophia Verlag, 1991 |
E9. | “The Funding Experience of the Stanford Encyclopedia of Philosophy,” coauthor: Uri Nodelmann, Information Standards Quarterly, 22/4 (Fall 2010): 15–16. [DOI] |
E8. | “The Stanford Encyclopedia of Philosophy: A University-Library Partnership in Support of Scholarly Communications and Open Access,” College & Research Libraries News, 67/8 (September 2006): 502–504, 507. [DOI] |
E7. | “The Stanford Encyclopedia of Philosophy: A Developed Dynamic Reference Work”, coauthors: Colin Allen and Uri Nodelman, Metaphilosophy, 33/1–2 (January 2002): 210–228; reprinted in Cyberphilosophy: The Intersection of Philosophy and Computing, James H. Moor and Terrell Ward Bynum, (eds.), Walden, MA: Blackwell, 2002, pp. 201–218. [Preprint availableonline] [DOI] |
E6. | “Lookupd Problems in Apple's Mac OS X Server”, coauthor: Colin Allen, Stepwise Information Server (May 20, 1999) (archived at the Internet Archive/Wayback Machine). |
E5. | “A Solution to the Problem of Updating Encyclopedias”, coauthor: Eric Hammer, Computers and the Humanities, 31/1 (1997): 47–60. |
E4. | “Philosophy and the World Wide Web”, American Philosophical Association Newsletter on Computer Use in Philosophy, 94/2 (Spring 1995): 29–33. |
E3. | “A Soft Touch”, Piano and Keyboard (formerly: The Piano Quarterly), 165 (November/December 1993): 13. |
E2. | “Are Algorithms Patentable?”, Notices of the American Mathematical Society, 35/6 (July/August 1988): 796–799. |
E1. | “Two Estrogen Receptors in Reproductive Tissue, coauthors: Roy Smith, Sharon Clarke, and Robert Taylor”, Journal of Steroid Biochemistry, 10 (1979): 31–35. |
T5. | Czech translation of A9, ‘O Logice Ontologického Dukazu’, Petr Hromek (trans.), in Studia Neoaristotelica, 4/1 (2007): 5–27. |
T4. | French translation of A27, ‘Une base commune et quelques liens surprenants’, Jimmy Plourde (trans.), in Action, Rationalité, et Décision (Actes du Colloque international de 2002 en hommage à J.-Nicolas Kaufmann), D. Fisette and D. Vanderveken (eds.), London: College Publications, 2008. |
T3. | Romanian translation of A22, ‘O Teorie Leibniziana a Conceptelor’, Delia-Ana Serbescu (trans.), in Analysis and Metaphysics, 4/2 (Supplement) (December 2005): 7–75. |
T2. | Chinese translation of A14, ‘’, Xing Tao Tao (trans.), in Zhexue Yicong [Philosophical Translations], 1 (1994): 45–53, Beijing: Chinese Academy of Social Sciences. |
T1. | German translation of A28, ‘Erzählung als Taufe des Helden: Wie man auf fiktionale Objekte Bezug nimmt’, Arnold Günther (trans.), in Zeitschrift für Semiotik 9/1–2 (1987): 85–95. [Note: This translation appeared 16 years prior to the publication in English.] |
WARNING: The following are subject to change on a daily basis without notice. However, feel free to peruse these documents if you are interested in my current research topics. But please do not disseminate or cite these works without first contacting the author.
See the web pages on computational metaphysics, at:
https://mally.stanford.edu/cm/