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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F10%3A00355522" target="_blank" >RIV/67985955:_____/10:00355522 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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 urgedbe 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 aretwo 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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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 urgedbe 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 aretwo 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.

Druh

D - Stať ve sborníku

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2010

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

The Analytical Way: Proceedings of the 6th European Congress of Analytic Philosophy

ISBN

978-1-84890-014-1

ISSN

—

e-ISSN

—

Počet stran výsledku

32

Strana od-do

—

Název nakladatele

College Publications. Department of Computer Science

Místo vydání

London

Místo konání akce

Krakow

Datum konání akce

21. 8. 2008

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—