’,
Xing Tao Tao (trans.), in
Zhexue Yicong [Philosophical Translations], 1
(1994): 45–53, Beijing: Chinese Academy of Social Sciences.
Home Page
| 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] |
| A61. | “An Axiom Forestalling Modal Collapse and its Application
(in Object Theory),” forthcoming in S. Mousavian (ed.),
Russell, Meinong, and the Foundations of Logic: Themes from Bernard
Linsky (Synthese Library), Cham: Springer. [Preprint of A61 available online] [Abstract of A61] |
| A60. | “A Defense of Logicism,”
coauthors:
Hannes Leitgeb and
Uri Nodelman,
Bulletin of Symbolic Logic, 31/1 (March 2025): 88–152. [doi:10.1017/bsl.2024.28] [Preprint of A60 available online] [Abstract of A60] |
| A59. | “The Power of Predication and Quantification”,
in G.S. Ciola, M. Crimi, and C. Normore
(eds.), Existence and Nonexistence in the History of
Logic, Open Philosophy, 8/1 (2025). [Published online open access] [doi:10.1515/opphil-2024-0059] [Preprint of A59 available online] [Abstract of A59] |
| A58. | “The Metaphysics of Routley Star,” The
Australasian Journal of Logic, 21/4 (2024): 141–176. [Published online open access] [doi:10.26686/ajl.v21i4.9053] [Preprint of A58 available online] [Abstract of A58] |
| A57. | “Number Theory and Infinity Without Mathematics,”
coauthor: Uri Nodelman,
Journal of Philosophical Logic, 53 (2024): 1161–1197. [PDF Viewable but not Downloadable from Publisher] [doi:10.1007/s10992-024-09762-7] [Preprint of A57 available online] [Abstract of A57] |
| A56. | “Mathematical Pluralism,” Noûs,
58/2 (2024): 306–332. [Published online open access] [doi:10.1111/nous.12451] [Preprint of A56 available online] [Abstract of A56] |
| A55. | “In Defense of Relations,” Dialectica,
76/2 (2022): 351–401.
[doi:10.48106/dial.v76.i2.07 [Preprint of A55 available online] [Abstract of A55] |
| 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 of A54 available online] [Abstract of A54] |
| A53. | “Revisiting the ‘Wrong Kind of Object’
Problem”, coauthor:
Merel Semeijn,
OrganonF, 28/1 (2021): 168–197. [doi:10.31577/orgf.2021.28108] [Preprint of A53 available online in PDF] [Abstract of A53] |
| 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. [doi:10.1007/978-3-030-38242-1_4] [Preprint of A52 available online in PDF] [Abstract of A52] |
| 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 of A51 available online in PDF] [Abstract of A51] |
| 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 of A50 available online in PDF] [Abstract of A50] |
| 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 of A49 available online in PDF] [Abstract of A49] |
| 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 of A48 available online in PDF] [Abstract of A48] |
| 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 of A47 available online in PDF] [Abstract of A47] |
| 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 of A46 available online in PDF] [Abstract of A46] |
| A45. | “Worlds and Propositions Set Free”,
coauthors:
Otávio Bueno and
Christopher Menzel,
Erkenntnis, 79 (2014): 797–820. [doi:10.1007/s10670-013-9565-x] [Preprint of A45 available online in PDF] [Abstract of A45] |
| A44. | “Foundations for Mathematical Structuralism”, coauthor:
Uri Nodelman,
Mind, 123/489 (2014): 39–78. [doi:10.1093/mind/fzu003] [Preprint of A44 available online in PDF] [Abstract of A44] |
| A43. | “The Fundamental Theorem of World Theory”, coauthor:
Christopher Menzel,
Journal of Philosophical Logic, 43/2 (2014): 333–363.
[doi:10.1007/s10992-012-9265-z] [Preprint of A43 available online in PDF] [Abstract of A43] |
| A42. | “The Tarski T-Schema is a Tautology (Literally)”,
Analysis, 74/1 (2014): 5–11.
[doi:10.1093/analys/ant099] [Preprint of A42 available online in PDF] [Abstract of A42] |
| A41. | “A Defense of Contingent Logical Truths”, coauthor:
Michael Nelson,
Philosophical Studies, 157/1 (2012): 153–162.
[doi:10.1007/s11098-010-9624-y] [Preprint of A41 available online in PDF] [Abstract of A41] |
| 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.
[doi:10.1093/logcom/exq017] [Preprint of A40 available online in PDF] [Abstract of A40] |
| A39. | “A Computationally-Discovered Simplification of the Ontological Argument”,
coauthor: Paul E. Oppenheimer,
Australasian Journal of Philosophy, 89/2 (June 2011): 333–349.
[doi:10.1080/00048401003674482] [Preprint of A39 available online in PDF] [Abstract of A39] |
| A38. | “Bennett and ‘Proxy Actualism’”,
coauthor: Michael Nelson,
Philosophical Studies, 142/2 (2009): 277–292.
[doi:10.1007/s11098-007-9186-9] [Preprint of A38 available online in PDF] [Abstract of A38] |
| 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 of A37 available online in PDF] [Abstract of A37] |
| A36. | “Reflections on the Logic of the Ontological Argument”,
coauthor: Paul E. Oppenheimer,
Studia Neoaristotelica,
4/1 (2007): 28–35.
[doi:10.5840/studneoar20074114] [Preprint of A36 available online in PDF] [Abstract of A36] |
| A35. | “Steps Toward a Computational Metaphysics”,
coauthor: Branden Fitelson,
Journal of Philosophical Logic, 36/2 (April 2007): 227–247
[doi:10.1007/s10992-006-9038-7] [Preprint of A35 available online in PDF] [Abstract of A35] [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. [doi:10.1111/j.1468-0068.2006.00626.x] [Preprint of A34 available online in PDF] [Abstract of A34] |
| A33. | “Essence and Modality”,
Mind, 115/459 (July 2006): 659–693. [doi:10.1093/mind/fzl659] [Two Errata] [Preprint of A33 available online in PDF] [Abstract of A33] [Note: In converting the LaTeX in the preprint to the format used for publication in Mind, a couple of symbols were omitted. The preprint contains the corrections, as does the Errata page at Mind.] |
| A32. | “What is Neologicism?”,
coauthor: Bernard Linsky,
The Bulletin of Symbolic Logic, 12/1 (2006): 60–99. [doi:10.2178/bsl/1140640944] [Preprint of A32 available online in PDF] [Abstract of A32] |
| A31. | “A Nominalist's Dilemma and its Solution”,
coauthor:
Otávio Bueno,
Philosophia Mathematica,
13 (2005): 297–307.
[doi:10.1093/philmat/nki033] [Preprint of A31 available online in PDF] [Abstract of A31] |
| 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 of A30 available online in PDF] [Abstract of A30] |
| A29. | “Frege, Boolos, and Logical Objects”,
coauthor: David J. Anderson,
Journal of Philosophical Logic, 33/1 (February 2004): 1–26. [doi:10.1023/B:LOGI.0000019236.64896.fd] [Preprint of A29 available online in PDF] [Abstract of A29] |
| A28. | “Referring to Fictional
Characters”, dialectica, 57/2 (2003):
243–254.
[doi:10.1111/j.1746-8361.2003.tb00269.x] [Preprint of A28 available online in PDF] [Abstract of A28] [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 T1 below). The English manuscript was published in 2003.] |
| A27. | “A Common Ground and Some Surprising Connections”,
Southern Journal of Philosophy, XL
(Supplement 2002): 1–25. [doi:10.1111/j.2041-6962.2002.tb01921.x] [Preprint of A27 available online in PDF] [Abstract of A27] [Note: 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.] |
| A26. | “Fregean Senses, Modes of Presentation, and Concepts”,
Philosophical Perspectives, 15 (2001): 333–359.
[doi:10.1111/0029-4624.35.s15.15] [Preprint of A26 available online in PDF] [Abstract of A26] |
| A25. | “Neo-Logicism? An Ontological Reduction of Mathematics to Metaphysics”,
Erkenntnis, 53/1–2 (2000), 219–265. [doi:10.1023/A:1005614102033] [Preprint of A25 available online in PDF] [Abstract of A25] |
| 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 of A24 available online in PDF] [Abstract of A24] |
| A23. | “How to Say Goodbye to the Third Man”,
coauthor: Francis Jeffry Pelletier,
Noûs, 34/2 (2000): 165–202. [doi:10.1111/0029-4624.00207] [Preprint of A23 available online in PDF] [Abstract of A23] |
| A22. | “A (Leibnizian) Theory of Concepts”,
Philosophiegeschichte und logische Analyse / Logical
Analysis and History of Philosophy, 3 (2000): 137–183. [Preprint of A22 available online in PDF] [Abstract of A22] |
| 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. [doi:10.1023/A:1004330128910] [Preprint of A21 available online in PDF] [Abstract of A21] |
| 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 of A20 available online in PDF] [Abstract of A20] |
| 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). [doi:10.1305/ndjfl/1039540774] [Preprint of A19 available online in PDF] [Abstract of A19] |
| A18. | “The Modal Object Calculus and its Interpretation”,
Advances in Intensional Logic, Maarten de Rijke (ed.),
Dordrecht: Kluwer, 1997, pp. 249--279 [Preprint of A18 available online in PDF] [Abstract of A18] |
| 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. [doi:10.1007/BF00354491] [Preprint of A17 available online in PDF] [Abstract of A17] |
| A16. | “Naturalized Platonism vs. Platonized Naturalism”,
coauthor:
Bernard Linsky, The Journal of Philosophy,
XCII/10 (October 1995): 525--555. [doi:10.2307/2940786] [Preprint of A16 available online in PDF] [Abstract of A16] |
| A15. | “Two (Related) World Views”,
Noûs, 29/2 (1995): 189--211. [doi:10.2307/2215658] [Preprint of A15 available online in PDF] [Abstract of A15] |
| 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.
[doi:10.2307/2214181] [Preprint of A14 available online in PDF] [Abstract of A14] |
| A13. | “Twenty-Five Basic Theorems in Situation and World Theory”,
Journal of Philosophical Logic, 22 (1993):
385–428. [doi:10.1007/BF01052533] [Preprint of A13 available online in PDF] [Abstract of A13] [Note: This is a revised and expanded version of ‘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.] |
| A12. | “A Philosophical Conception of Propositional Modal Logic”,
Philosophical Topics, 21/2 (Fall 1993):
263--281. [doi:10.5840/philtopics199321213] [Preprint of A12 available online in PDF] [Abstract of A12] |
| A11. | “Replies to the Critics”,
Philosophical Studies, 69/2–3 (March 1993):
231–242. [doi:10.1007/BF00990087] [Preprint of A11 available online in PDF] [Abstract of A11] |
| A10. | “On Mally's Alleged Heresy: A Reply”,
History and Philosophy of Logic, 13/1
(1992): 59–68. [doi:10.1080/01445349208837194] [Preprint of A10 available online in PDF] [Abstract of A10] |
| A9 | “On the Logic of the Ontological Argument”,
coauthor:
Paul E. Oppenheimer,
Philosophical Perspectives, 5 (1991): 509–529. [doi:10.2307/2214107] [Preprint of A9 available online in PDF] [Abstract of A9] [Note: This was selected for republication in The Philosopher’s Annual: 1991, Volume XIV (1993): 255–275.] |
| A8. | “Is Lewis a Meinongian?”, coauthor:
Bernard Linsky,
Australasian Journal of Philosophy, 69/4
(December 1991): 438–453. [doi:10.1080/00048409112344871] [Preprint of A8 available online in PDF] [Abstract of A8] |
| 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 of A7 available online in PDF] [Abstract of A7] |
| A6. | “Logical and Analytic Truths That Are Not Necessary”,
The Journal of Philosophy, 85/2 (February
1988): 57–74. [doi:10.2307/2026992] [Preprint of A6 available online in PDF] [Abstract of A6] |
| A5. | “A Comparison of Two Intensional Logics”,
Linguistics and Philosophy, 11 (February 1988): 59–89. [doi:10.1007/BF00635757] [No preprint of A5 available online] [Abstract of A5] |
| A4. | “On the Structural Similarities Between Worlds and Times”,
Philosophical Studies, 51/2 (March 1987): 213–239. [doi:10.1007/BF00353648] [No preprint of A4 available online] [Abstractof A4] |
| A3. | “Lambert, Mally, and the Principle of Independence”,
Grazer Philosophische Studien, 25/26 (1985/1986): 447–459. [doi:10.5840/gps1985/8625/2620] [No preprint of A3 available online] [Abstract of A3] |
| A2. | “Meinongian Type Theory and Its Applications”,
Studia Logica, 41/2–3 (1982): 297–307. [doi:10.1007/BF00370351] [No preprint of A2 available online] [Abstract of A2] |
| A1. | “An Alternative Theory of Nonexistent Objects”,
coauthor: Alan McMichael, Journal of Philosophical Logic,
9 (1980): 297–313. [doi:10.1007/BF00248396] [No preprint of A1 available online] [Abstract of A1] |
| 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 Nodelman, Information Standards Quarterly, 22/4 (Fall 2010): 15–16. [E9 available online] |
| 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:10.5860/crln.67.8.7670] |
| 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:10.1111/1467-9973.00225] |
| 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.] |
See the web pages at: https://mally.stanford.edu/cm/