منابع مشابه
Deference and Self-knowledge
1 Deference and Self-Knowledge It has become increasingly popular to suggest that non-individualistic theories of content1 undermine our purported a priori knowledge of such contents because they entail that we lack the ability to distinguish our thoughts from alternative thoughts with different contents. However, problems relating to such knowledge of ‘comparative’ content tell just as much ag...
متن کاملIntensionality and context change
It is arguably desirable to have a theory of meaning that (i) does not identify propositions with sets of worlds, (ii) enables to capture the dynamic character of semantic interpretation and (iii) provides the basis for a semantic program that incorporates and extends the achievements of Montague semantics. A theory of properties and propositions that meets these desiderata is developed and sev...
متن کاملIntensionality, Definability and Computation
We look at intensionality from the perspective of computation. In particular, we review how game semantics has been used to characterize the sequential functional processes, leading to powerful and flexible methods for constructing fully abstract models of programming languages, with applications in program analysis and verification. In a broader context, we can regard game semantics as a first...
متن کاملMonads and Intensionality∗
Monads are a concept of category theory which can be used to structure functional programs or even define nonstandard interpretations of the λ-calculus. These nonstandard functional languages share many of Lucid’s unusual features, such as the distinction between synchronic and general functions. In fact Lucid is exactly one of these languages, determined by a simple stream monad. We therefore ...
متن کاملExpressiveness via Intensionality and Concurrency
Computation can be considered by taking into account two dimensions: extensional versus intensional, and sequential versus concurrent. Traditionally sequential extensional computation can be captured by the λ-calculus. However, recent work shows that there are more expressive intensional calculi such as S F-calculus. Traditionally process calculi capture computation by encoding the λ-calculus, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophical Studies
سال: 2016
ISSN: 0031-8116,1573-0883
DOI: 10.1007/s11098-016-0675-6