About: Transparent Quantification into Hyperintensional objectual attitudes

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

About: Transparent Quantification into Hyperintensional objectual attitudes 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
rdfs:seeAlso	http://link.springer.com/article/10.1007/s11229-014-0578-z
Description	We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive empirical attitudes (e.g. finding the site of Troy) validate, furthermore, quantifying over intensions and extensions, and so do non-factive attitudes, both empirical and non-empirical (e.g. calculating the last decimal of the expansion of Pi), provided the entity to be quantified over exists. We focus mainly on mathematical attitudes, because they are uncontroversially hyperintensional. We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive empirical attitudes (e.g. finding the site of Troy) validate, furthermore, quantifying over intensions and extensions, and so do non-factive attitudes, both empirical and non-empirical (e.g. calculating the last decimal of the expansion of Pi), provided the entity to be quantified over exists. We focus mainly on mathematical attitudes, because they are uncontroversially hyperintensional. (en)
Title	Transparent Quantification into Hyperintensional objectual attitudes Transparent Quantification into Hyperintensional objectual attitudes (en)
skos:prefLabel	Transparent Quantification into Hyperintensional objectual attitudes Transparent Quantification into Hyperintensional objectual attitudes (en)
skos:notation	RIV/61989100:27240/14:86089968!RIV15-MSM-27240___
http://linked.open...avai/riv/aktivita	S
http://linked.open...avai/riv/aktivity	S
http://linked.open...iv/cisloPeriodika	3
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Duží, Marie Jespersen, Bjorn
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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	Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatiky
http://linked.open...dnocenehoVysledku	51083
http://linked.open...ai/riv/idVysledku	RIV/61989100:27240/14:86089968
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Transparent Intensional Logic; ramified type hierarchy; structured meaning; extensional logic of hyperintensions; objectual attitude; non-propositional attitude; quantifying-in; Hyperintensional context (en)
http://linked.open.../riv/klicoveSlovo	Transparent Intensional Logic Hyperintensional context non-propositional attitude objectual attitude quantifying-in ramified type hierarchy extensional logic of hyperintensions structured meaning
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[695D6AC1783E]
http://linked.open...i/riv/nazevZdroje	Synthese
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...UplatneniVysledku	2014
http://linked.open...v/svazekPeriodika	192
http://linked.open...iv/tvurceVysledku	Duží, Marie Jespersen, Bjorn
issn	0039-7857
number of pages	43 (xsd:int)
http://bibframe.org/vocab/doi	10.1007/s11229-014-0578-z
http://localhost/t...ganizacniJednotka	27240

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