Nomic Necessity for Platonists
نویسندگان
چکیده
منابع مشابه
Nomic-Role Nonreductionsim: Identifying Properties by Total Nomic Roles
I introduce “nomic-role nonreductionism” as an alternative to causal-role functionalism in the philosophy of mind. It is inspired by recent trends in cognitive science that emphasize embodied cognition and multi-level methods of explanation in the special sciences. While causal-role functionalists identify mental properties by an intra-level transition theory that describes relations between in...
متن کاملHale on some Arguments for the Necessity of Necessity
Hale (1999) presents an argument from McFetridge (1990) for his conclusion, and states (1999, p. 32) that there is an obvious objection. His paper aims to supplement McFetridge’s argument to meet that objection. He concludes that this establishes the necessity of necessity. Below are two independent complaints against Hale. The first is directed against McFetridge’s argument. It is independent ...
متن کاملNecessity for surgical audit.
For me the word audit has two meanings. Firstly, the regular study and analysis of facts about patients directly under one's own care; secondly, a more public accounting for practices, errors, and mishaps. The distinotion is more than trivial in my specialty, for while the one may be accepted the other may be equally as strongly resisted or its purpose vitiated by the emotions it arouses. It is...
متن کاملNoninterference for Intuitionist Necessity
We study indexed necessity modalities in intuitionist S4. These provide the logical foundation required by a variety of applications, such as capability-based policy languages for access control and type theories for exceptional computation. We establish noninterference properties capturing the limitations on information flow between formulas under the scope of necessity modalities with differe...
متن کاملExplicit Substitutions for Constructive Necessity
This paper introduces a -calculus with explicit substitutions, corresponding to an S4 modal logic of constructive necessity. As well as being semantically well motivated, the calculus can be used (a) to develop abstract machines, and (b) as a framework for specifying and analysing computation stages in the context of functional languages. We prove several syntactic properties of this calculus,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Thought: A Journal of Philosophy
سال: 2013
ISSN: 2161-2234
DOI: 10.1002/tht3.99