Structured meanings and reflexive domains (Q1207340)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Structured meanings and reflexive domains |
scientific article; zbMATH DE number 149609
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Structured meanings and reflexive domains |
scientific article; zbMATH DE number 149609 |
Statements
Structured meanings and reflexive domains (English)
0 references
1 April 1993
0 references
If structured meanings are used to solve problems caused by the failure of substitutivity of logical equivalents in belief and other such contexts, it is known that problems are caused by iterated operators which appear to have to take themselves as arguments. The author explores ways of using techniques developed by Dana Scott which allow functions to apply to themselves and thereby allow a treatment of iterated operators.
0 references
intensional logic
0 references
propositional attitudes
0 references
hyperintensional operators
0 references
iterated operators
0 references
0 references
0.83332133
0 references
0.82661176
0 references
0 references
