

Zalta's Objective  Factasia Attitude 

1. To describe the logic underlying thought and reasoning by extending classical propositional, predicate, and modal logic.  In Factasia, logic, including abstract ontology, and the mathematics necessary for science, are prerequisite to metaphysics, not a part of it. Taking classical set theory to be adequate (if not ideal) for the mathematics needed by science, factasian metaphysics works within that context. 
2. To describe the laws governing universal entities such as properties, relations, and propositions.  To the extent that such entities are required for logic or mathematics then they are considered in Factasia to be a part of logic or mathematics, and for these purposes set theory suffices (though other alternatives may be equally acceptable). If universal entities are needed for science then their theory would be a part of metaphysics, but, Factasian metaphysics works by conservative means within an abstract ontology provided by logic, so in effect everything is made out of sets. 
3. To identify theoretical mathematical objects and relations as well as the natural mathematical objects such as natural numbers and natural sets.  As far as Factasia is concerned this is mathematics not metaphysics, and is prerequisite to metaphysics. More important than this arbitrary choice of scope for metaphysics, Factasia rests broadly content with modern "classical" foundations for mathematics. The metaphysician can work from alternative logical and mathematical bases, but since we allege universality of set theory the reasons would be pragmatic rather than fundamental. 
5. To systematize our modal thoughts about possible (actual, necessary) objects, states of affairs, situations and worlds.  I guess this must be metaphysics, but I can't really see how it bears upon science. "Possible worlds" is a point at which metaphysics feeds back into the notion of logical truth and suggests to me that I should perhaps consider logic to be a part of metaphysics rather than a prerequisite to it. However, it doesn't suggest it strongly enough for me to actually do it. So the Factasia position is that there is some of this which is logic, and some which is metaphysics, and they have to be worked out to fit together. I'm sticking to set theory (or HOST) for the logic. The possible worlds figure in the account of how set theory relates to (captures) the notion of logical truth. Modal logics are for reasoning about necessity, but do not provide a basis for establishing the full range of necessary truths. Set theory (+conservative extensions) provides a formalisation of the necessary truths, if you want to reason about necessity this can be done within this framework (if you like, by embedding a modal logic). 
6. To account for the deviant logic propositional attitude reports, explain the informativeness of identity statements, and give a general account of the objective and cognitive content of natural language.  I'm not sure that any of this belongs in my conception of Metaphysics. I guess the main issue in relation to advocacy of set theory is "how does set theory cope with the problems which provoke in ordinary language the use a referentially opaque constructs". I think I would deal with this in the arguments for the universality of set theory, and so it would come under philosophy of logic. This doesn't actually give an account of these things it just argues that the account, if you must have one (and its not clear that you need it for science) can be constructed in the context of set theory (if it can be constructed at all). 
7. To axiomatize the philosophical objects postulated by other philosophers.  I believe that these are pretty irrelevant to the conduct of science, but if you think of it as a thought experiment about how science might have developed if scientists had taken these philosophers seriously then I would have to accept it as metaphysics. This is handy since otherwise I would have excluded from metaphysics pretty much all the metaphysics which has been done in the past. (which is still more generous than many have been in this century) If you were serious about using this for science then it would still be advisable to do it in something like set theory. 