Actualism and Higher-Order Worlds

@article{Hayaki2003ActualismAH,
  title={Actualism and Higher-Order Worlds},
  author={Reina Hayaki},
  journal={Philosophical Studies},
  year={2003},
  volume={115},
  pages={149-178}
}
  • Reina Hayaki
  • Published 2003
  • Computer Science
  • Philosophical Studies
It has been argued that actualism – the view that there are no non-actual objects – cannot deal adequately with statementsinvolving iterated modality, because such claims require reference, either explicit or surreptitious, to non-actualobjects. If so, actualists would have to reject the standard semantics for quantified modal logic (QML). In this paper I develop an account of modality which allows the actualist tomake sense of iterated modal claims that are ostensibly aboutnon-actual objects… Expand
THE TRANSIENCE OF POSSIBILITY
The standard view of metaphysical necessity is that it is truth in all possible worlds, and therefore that the correct modal logic for metaphysi cal necessity is S5, in models of which all worlds areExpand
WF-Fl-BASTI 2 Course Syllabus « Towards a Contemporary Ontology : The New Dual Paradigm in Natural Sciences . Part II »
The course aims at presenting a first formalization of the natural realism (NR), as the formal ontology of the evolutionary cosmology based on QFT. Following Quine’s remark that a theory ofExpand
Inner and Outer Truth
The Modal Problem of Nonbeing. The problem of nonbeing is all too familiar: To deny that certain things exist we must refer to the things whose existence we wish to deny. But we cannot refer toExpand
Chapter IV : Modal homotopy type theory
We now proceed to take the final step in our journey towards modal homotopy type theory. Analytic philosophers have put modal logic to extensive use in their exploration of so-called alethic,Expand
Fictions within fictions
This paper examines the logic of fictions within fictions. I argue that consistently nested consistent fictions must have certain formal characteristics. The most important is that they form a treeExpand

References

SHOWING 1-10 OF 26 REFERENCES
A Problem for Actualism About Possible Worlds
T he notion of a possible world has many uses in the formal philosophy of language. Its primary use, of course, is in the interpretation of sentences about necessity and possibility. A proposition isExpand
THE LOGIC OF WHAT MIGHT HAVE BEEN
In earlier work I argued (following Hugh Chandler) that the conventionally accepted system S5 of (first-order) modal propositional logic, and even the weaker system S4, embody an invalid pattern ofExpand
IN DEFENSE OF THE SIMPLEST QUANTIFIED MODAL LOGIC
By combining the laws of classical quantification theory with the modal propositional logic K in the most direct manner, one produces the simplest Quantified Modal Logic. The models of this simpleExpand
Quantification in Modal Logic
TLDR
QML is confronted with a number of decisions concerning the quantifiers, and these in turn prompt new questions about the semantics of identity, terms, and predicates. Expand
Completeness and Correspondence in the First and Second Order Semantics for Modal Logic
Publisher Summary This chapter focuses on normal logics and first order properties of the accessibility relation. There are three main themes, a positive, a negative, and a comparative. The chapterExpand
Basic Modal Logic
TLDR
Modal logic is meant to capture seeming entailments between such alethic and deontic notions, and a semantics for modal logic can be understood in terms of a framework of world-models. Expand
Counterpart Theory and Quantified Modal Logic
you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal,Expand
Quantifiers and Propositional Attitudes
Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may useExpand
In defense of the contingently nonconcrete
Reponse a la critique de l'actualisme developpee par J. Tomberlin dans l'article precedent («Actualism or possibilism?», in «Philosophical studies», vol. 84, n° 2-3, 1996, pp. 263-81). CorrigeantExpand
Naming and necessity.
...
1
2
3
...