Academic Appointments
-
Sr Research Scholar, Philosophy
All Publications
-
The Power of Predication and Quantification
OPEN PHILOSOPHY
2025; 8 (1)
View details for DOI 10.1515/opphil-2024-0059
View details for Web of Science ID 001422690200001
-
Number Theory and Infinity Without Mathematics
JOURNAL OF PHILOSOPHICAL LOGIC
2024
View details for DOI 10.1007/s10992-024-09762-7
View details for Web of Science ID 001286396800001
-
The Metaphysics of Routley Star
AUSTRALASIAN JOURNAL OF LOGIC
2024; 21 (4)
View details for Web of Science ID 001308591100001
-
Mathematical Pluralism
NOUS
2023
View details for DOI 10.1111/nous.12451
View details for Web of Science ID 000950266100001
-
On Anselm's Ontological Argument in Proslogion II
HISTORY OF PHILOSOPHY & LOGICAL ANALYSIS
2022; 25 (2): 327-351
View details for DOI 10.30965/26664275-BJA10054
View details for Web of Science ID 000908490200004
-
Revisiting the 'Wrong Kind of Object' Problem
ORGANON F
2021; 28 (1): 168–97
View details for DOI 10.31577/orgf.2021.28108
View details for Web of Science ID 000626637400008
-
Unifying Three Notions of Concepts
THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY
2021; 87 (1): 13–30
View details for DOI 10.1111/theo.12187
View details for Web of Science ID 000621397000003
-
MECHANIZING PRINCIPIA LOGICO-METAPHYSICA IN FUNCTIONAL TYPE-THEORY
REVIEW OF SYMBOLIC LOGIC
2020; 13 (1): 206–18
View details for DOI 10.1017/S1755020319000297
View details for Web of Science ID 000524934000007
-
Mathematical descriptions
PHILOSOPHICAL STUDIES
2019; 176 (2): 473–81
View details for DOI 10.1007/s11098-017-1024-0
View details for Web of Science ID 000454895300009
-
Computer Science and Metaphysics: A Cross-Fertilization
OPEN PHILOSOPHY
2019; 2 (1): 230–51
View details for DOI 10.1515/opphil-2019-0015
View details for Web of Science ID 000592497900019
-
Object Theory and Modal Meinongianism
AUSTRALASIAN JOURNAL OF PHILOSOPHY
2017; 95 (4): 761–78
View details for DOI 10.1080/00048402.2016.1260609
View details for Web of Science ID 000411515000010
-
Automating Leibniz's Theory of Concepts
Automated Deduction -- CADE 25: Proceedings of the 25th International Conference on Automated Deduction
Springer. 2015: 73–97
View details for DOI 10.1007/978-3-319-21401-6_4
-
Worlds and Propositions Set Free
ERKENNTNIS
2014; 79 (4): 797-820
View details for DOI 10.1007/s10670-013-9565-x
View details for Web of Science ID 000342439700004
-
The Fundamental Theorem of World Theory
JOURNAL OF PHILOSOPHICAL LOGIC
2014; 43 (2-3): 333-363
View details for DOI 10.1007/s10992-012-9265-z
View details for Web of Science ID 000338130900006
-
Foundations for Mathematical Structuralism
MIND
2014; 123 (489): 39-78
View details for DOI 10.1093/mind/fzu003
View details for Web of Science ID 000342720300002
-
The Tarski T-Schema is a tautology (literally)
ANALYSIS
2014; 74 (1): 5–11
View details for DOI 10.1093/analys/ant099
View details for Web of Science ID 000339551800002
-
A defense of contingent logical truths
PHILOSOPHICAL STUDIES
2012; 157 (1): 153-162
View details for DOI 10.1007/s11098-010-9624-y
View details for Web of Science ID 000297496800010
-
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
JOURNAL OF LOGIC AND COMPUTATION
2011; 21 (2): 351-374
View details for DOI 10.1093/logcom/exq017
View details for Web of Science ID 000289165700010
-
A Computationally-Discovered Simplification of the Ontological Argument
AUSTRALASIAN JOURNAL OF PHILOSOPHY
2011; 89 (2): 333-349
View details for DOI 10.1080/00048401003674482
View details for Web of Science ID 000289572400010
-
Bennett and "proxy actualism"
PHILOSOPHICAL STUDIES
2009; 142 (2): 277-292
View details for DOI 10.1007/s11098-007-9186-9
View details for Web of Science ID 000261958800008
-
Steps toward a computational metaphysics
JOURNAL OF PHILOSOPHICAL LOGIC
2007; 36 (2): 227-247
View details for DOI 10.1007/s10992-006-9038-7
View details for Web of Science ID 000245375600004
-
Deriving and validating Kripkean claims using the theory of abstract objects
NOUS
2006; 40 (4): 591-622
View details for Web of Science ID 000241926400001
-
Essence and modality
MIND
2006; 115 (459): 659-693
View details for DOI 10.1093/mind/fzl659
View details for Web of Science ID 000239761400006
-
What is neologicism?
BULLETIN OF SYMBOLIC LOGIC
2006; 12 (1): 60-99
View details for Web of Science ID 000236047600003
-
A Nominalist's Dilemma and its Solution
Philosophia Mathematica
2005; 13
View details for DOI 10.1093/philmat/nki033
-
Frege, Boolos, and logical objects
JOURNAL OF PHILOSOPHICAL LOGIC
2004; 33 (1): 1-26
View details for Web of Science ID 000220869900001
-
Referring to fictional characters
DIALECTICA
2003; 57 (2): 243-254
View details for Web of Science ID 000188355300012
-
The 'Stanford Encyclopedia of Philosophy' - A developed dynamic reference work
METAPHILOSOPHY
2002; 33 (1-2): 210-228
View details for Web of Science ID 000175936200014
-
Fregean senses, modes of presentation, and concepts
NOUS
2001: 335-359
View details for Web of Science ID 000172970900015
-
A common ground and some surprising connections
20th Annual Spindel Conference
UNIV MEMPHIS PRESS. 2001: 1–25
View details for Web of Science ID 000177552000001
-
How to say goodbye to the Third Man (Plato, 'Parmenides')
NOUS
2000; 34 (2): 165-202
View details for Web of Science ID 000167137600001
-
Neo-logicism - An ontological reduction of mathematics to metaphysics
ERKENNTNIS
2000; 53 (1-2): 219-265
View details for Web of Science ID 000165327500011
-
Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's Grundgesetze in object theory
JOURNAL OF PHILOSOPHICAL LOGIC
1999; 28 (6): 619-660
View details for Web of Science ID 000084537900005
-
A solution to the problem of updating encyclopedias
COMPUTERS AND THE HUMANITIES
1997; 31 (1): 47-60
View details for Web of Science ID 000071604300005
-
In defense of the contingently nonconcrete
PHILOSOPHICAL STUDIES
1996; 84 (2-3): 283-294
View details for Web of Science ID A1996WD28900009
-
Naturalized Platonism versus platonized naturalism
JOURNAL OF PHILOSOPHY
1995; 92 (10): 525-555
View details for Web of Science ID 000171895400002
-
2 (RELATED) WORLD-VIEWS + GUISE-THEORY AND OBJECT-THEORY
NOUS
1995; 29 (2): 189-211
View details for Web of Science ID A1995RA05000003
-
25 BASIC THEOREMS IN SITUATION AND WORLD THEORY
JOURNAL OF PHILOSOPHICAL LOGIC
1993; 22 (4): 385-428
View details for Web of Science ID A1993LG33600002
-
REPLIES TO THE CRITICS + MENZEL, DEUTSCH, ANDERSON, OBJECT THEORY, INTENSIONAL LOGIC, SENSE AND SUBSTITUTIVITY
Meeting of the Pacific Division of the American-Philosophical-Association
KLUWER ACADEMIC PUBL. 1993: 231–42
View details for Web of Science ID A1993KR41800012
-
ON MALLY ALLEGED HERESY - A REPLY
HISTORY AND PHILOSOPHY OF LOGIC
1992; 13 (1): 59-68
View details for Web of Science ID A1992GZ57400004
-
IS LEWIS A MEINONGIAN
AUSTRALASIAN JOURNAL OF PHILOSOPHY
1991; 69 (4): 438-453
View details for Web of Science ID A1991GR92500004
-
A COMPARISON OF 2 INTENSIONAL LOGICS
LINGUISTICS AND PHILOSOPHY
1988; 11 (1): 59-89
View details for Web of Science ID A1988M401700003
-
LOGICAL AND ANALYTIC TRUTHS THAT ARE NOT NECESSARY
JOURNAL OF PHILOSOPHY
1988; 85 (2): 57-74
View details for Web of Science ID A1988M055500001
-
ON THE STRUCTURAL SIMILARITIES BETWEEN WORLDS AND TIMES
PHILOSOPHICAL STUDIES
1987; 51 (2): 213-239
View details for Web of Science ID A1987G730400004
-
STORYTELLING AS BAPTISM OF THE HERO - HOW ONE REFERS TO FICTIONAL OBJECTS
ZEITSCHRIFT FUR SEMIOTIK
1987; 9 (1-2): 85-95
View details for Web of Science ID A1987H463400007