Ed Zalta

Orcid: 0000-0001-6488-3496

Affiliations:
  • Stanford University, Department of Philosophy, Stanford, CA, USA
  • University of Massachusetts Amherst, Amherst, MA, USA (former, PhD 1981)


According to our database1, Ed Zalta authored at least 17 papers between 1980 and 2025.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
A Defense of Logicism.
Bull. Symb. Log., 2025

2024
Number Theory and Infinity Without Mathematics.
J. Philos. Log., October, 2024

Metaphysics of Routley Star.
Australas. J. Log., 2024

2020
Mechanizing Principia Logico-Metaphysica in Functional Type-Theory.
Rev. Symb. Log., 2020

2019
Computer Science and Metaphysics: A Cross-Fertilization.
CoRR, 2019

2015
Automating Leibniz's Theory of Concepts.
Proceedings of the Automated Deduction - CADE-25, 2015

2014
The Fundamental Theorem of World Theory.
J. Philos. Log., 2014

2011
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations.
J. Log. Comput., 2011

2007
Steps Toward a Computational Metaphysics.
J. Philos. Log., 2007

2006
What is neologicism?
Bull. Symb. Log., 2006

2004
Frege, Boolos, and Logical Objects.
J. Philos. Log., 2004

2002
Stanford encyclopedia of philosophy: a dynamic reference work.
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2002

1999
Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege's Grundgesetze in Object Theory.
J. Philos. Log., 1999

1997
A Classically-Based Theory of Impossible Worlds.
Notre Dame J. Formal Log., 1997

A Solution to the Problem of Updating Encyclopedias.
Comput. Humanit., 1997

1993
Twenty-five basic theorems in situation and world theory.
J. Philos. Log., 1993

1980
An alternative theory of nonexistent objects.
J. Philos. Log., 1980


  Loading...