Hyperintensions and procedural isomorphism: Alternative (1/2;)
1.
SYSNO ASEP
0355522
Document Type
C - Proceedings Paper (int. conf.)
R&D Document Type
Conference Paper
Title
Hyperintensions and procedural isomorphism: Alternative (1/2;)
Author(s)
Jespersen, Bjorn (FLU-F)
Source Title
The Analytical Way: Proceedings of the 6th European Congress of Analytic Philosophy. - London : College Publications. Department of Computer Science, 2010 / Czarnecki T. ; Kijania-Placek K. ; Poller O. ; Wolenski J.
- ISBN 978-1-84890-014-1
Pages
s. 299-320
Number of pages
32 s.
Action
6th European Congress of Analytic Philosophy
Event date
21.08.2008-26.08.2008
VEvent location
Krakow
Country
PL - Poland
Event type
EUR
Language
eng - English
Country
GB - United Kingdom
Keywords
hyperintensions ; procedural isomorphism
Subject RIV
AA - Philosophy ; Religion
CEZ
AV0Z90090514 - FLU-F (2005-2011)
Annotation
It is a thrice-told tale in contemporary philosophical logic, especially epistemic logic and formal semantics, that at least the logical objects figuring as complements of explicit attitudes, not least sentential senses, need to be hyperintensionally individuated. As early as 1947, Carnap realized that a sentence like "John believes that D". constitutes neither an extensional nor intensional context. This prompted him to develop the notion of intensional isomorphism, which Church found wanting and urged be replaced by synonymous isomorphism.This paper, in turn, recommends the notion of procedural isomorphism as the principle governing the individuation of hyperintensions. The basic idea is that any two hyperintensions are identical as soon as they are two near-identical procedures, a procedure being an instruction that details what operations are to be applied to what entities in what order to produce a particular kind of product.
