Hyperintensions and procedural isomorphism: Alternative (1/2;)

0355522 - FLÚ 2011 RIV GB eng C - Conference Paper (international conference)
Jespersen, Bjorn
Hyperintensions and procedural isomorphism: Alternative (1/2;).
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.), s. 299-320. ISBN 978-1-84890-014-1.
[6th European Congress of Analytic Philosophy. Krakow (PL), 21.08.2008-26.08.2008]
Institutional research plan: CEZ:AV0Z90090514
Keywords : hyperintensions * procedural isomorphism
Subject RIV: AA - Philosophy ; Religion

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.
Permanent Link: http://hdl.handle.net/11104/0194271