Reply to Gregory Landini’s Review of Formal Ontology and Conceptual Realism

Abstract

In our discussion of Greg Landini's review, we should distinguish how the logical systems $\lambda$$HST$* and $HST^*_\lambda$ that I have developed are to be understood in my reconstructions of Gottlob Frege's and Bertrand Russell's (1903) ontologies as opposed to how $HST^*_\lambda$ is understood as a (proper) part of my ontology of conceptual realism. Both of these systems are type-free second-order predicate logics that allow predicate expressions (complex or simple) and formulas (propositional forms) to be nominalized and occur in formulas as abstract singular terms.