Attributes | Values |
---|
rdf:type
| |
Description
| - 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 %22John believes that D%22. 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.
- 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 %22John believes that D%22. 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. (en)
|
Title
| - Hyperintensions and procedural isomorphism: Alternative (1/2;)
- Hyperintensions and procedural isomorphism: Alternative (1/2;) (en)
|
skos:prefLabel
| - Hyperintensions and procedural isomorphism: Alternative (1/2;)
- Hyperintensions and procedural isomorphism: Alternative (1/2;) (en)
|
skos:notation
| - RIV/67985955:_____/10:00355522!RIV11-AV0-67985955
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/67985955:_____/10:00355522
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - hyperintensions; procedural isomorphism (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - The Analytical Way: Proceedings of the 6th European Congress of Analytic Philosophy
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| - College Publications. Department of Computer Science
|
https://schema.org/isbn
| |