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

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Hyperintensions and procedural isomorphism: Alternative (1/2;) Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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	Z
http://linked.open...avai/riv/aktivity	Z(AV0Z90090514)
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Jesperson, Bjorn
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Filosofický ústav AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	262546
http://linked.open...ai/riv/idVysledku	RIV/67985955:_____/10:00355522
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	hyperintensions; procedural isomorphism (en)
http://linked.open.../riv/klicoveSlovo	procedural isomorphism hyperintensions
http://linked.open...ontrolniKodProRIV	[880B04FCFF71]
http://linked.open...v/mistoKonaniAkce	Krakow
http://linked.open...i/riv/mistoVydani	London
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	AA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...UplatneniVysledku	2010
http://linked.open...iv/tvurceVysledku	Jesperson, Bjorn
http://linked.open...vavai/riv/typAkce	EUR - Evropská
http://linked.open.../riv/zahajeniAkce	2008-08-21 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Transdisciplinary research into selected key areas of philosophy and related disciplines, in particular, logic, classical and medieval studies, and the theory of science. Editions and publications of corresponding texts and electronic databases.
number of pages	32 (xsd:int)
http://purl.org/ne...btex#hasPublisher	College Publications. Department of Computer Science
https://schema.org/isbn	978-1-84890-014-1

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software