Attributes | Values |
---|
rdf:type
| |
Description
| - We describe an extensional logic of hyperintensions (Tichý’s Transparent Intensional Logic: TIL) that comes with a context-invariant semantics, a ramified type hierarchy, partial functions, and hyperintensions that may fail to yield an object. TIL preserves transparency and compositionality for all contexts, does not turn attitude reports into oratio obliqua, and so validates quantifying into hyperintensional contexts. Section 1 summarizes the relevant semantic foundations. Section 2 sets out the relevant logical foundations. Section 3 proves a general rule of quantifying into hyperintensional contexts.
- We describe an extensional logic of hyperintensions (Tichý’s Transparent Intensional Logic: TIL) that comes with a context-invariant semantics, a ramified type hierarchy, partial functions, and hyperintensions that may fail to yield an object. TIL preserves transparency and compositionality for all contexts, does not turn attitude reports into oratio obliqua, and so validates quantifying into hyperintensional contexts. Section 1 summarizes the relevant semantic foundations. Section 2 sets out the relevant logical foundations. Section 3 proves a general rule of quantifying into hyperintensional contexts. (en)
|
Title
| - Transparent quantification into hyperintensional contexts
- Transparent quantification into hyperintensional contexts (en)
|
skos:prefLabel
| - Transparent quantification into hyperintensional contexts
- Transparent quantification into hyperintensional contexts (en)
|
skos:notation
| - RIV/61989100:27240/11:86079015!RIV13-GA0-27240___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(GAP401/10/0792), Z(AV0Z90090514)
|
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/61989100:27240/11:86079015
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - TIL, quantification, hyperintensional context, rules for existential generalization (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
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Duží, Marie
- Jespersen, Bjorn
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open...ain/vavai/riv/wos
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |